Through fundamental contributions from leading researchers, this volume describes the use of formal modeling methods in the areas of requirements, design and validation. The self-contained chapters provide readers with rich background information and a diverse breadth of specialist material.
This update of the book Experimentation in Software Engineering introduces current trends of experimental evaluation in software engineering. Offers guidelines for evaluating methods, techniques and tools in software engineering focused on steps and processes.
This text on software engineering and knowledge management is comprised of self-contained chapters that provide clearly-stated learning objectives, in-depth presentations, practical applications, detailed references for further study and useful exercises.
This book is a concise account of the essential elements of knowledge and key skills needed to be a software architect. The explanations encompass the full range of architecture thinking, practices, and supporting technologies, including emerging techologies.
Engineering Web applications involves many challenges due to their distributed nature, content orientation, and wide spectrum of end users. The authors analyze these challenges, covering the entire product lifecycle from design to deployment and maintenance.
Software engineering research can trace its roots to a small number of highly influential individuals including Prof. Leon J. Osterweil. This book assembles Prof. Osterweil’s key publications as well as several new articles analyzing the impact of his work.