In this dynamic and authoritative book, the authors combine academic research results with real-world industrial experiences, thus presenting a view on product line engineering that comes from both sides of the divide.
Here is an ideal textbook on software visualization. Topics covered include static program visualization, algorithm animation, visual debugging, as well as the visualization of the evolution of software.
Revised and updated, Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification. The text covers a wide range of formal specification techniques.
This book offers an in-depth evaluation of agile methods. It proves the benefits of agile software development, provides in-depth insights into experimental methods in the context of agile development and details various validity threats in empirical studies.
This book explains in clear language how you can make testing result-driven. It explains why testing is important and describes all of the activities involved in testing. It is enriched with recognizable examples, practical tips and useful checklists.
How do software companies innovate? Through a comprehensive frame of reference and a set of case studies, the authors provide insight and inspiration on practical techniques everyone building software products can use to increase their rate of innovation.
Focusing on ways to bridge the gap between formal and more intuitive software programming, this carefully graded text provides stepwise explanation of algorithm derivation and facilitates practical applications in computation geometry, among other fields.
This book features a collection of articles by software researchers and technologists whose contributions have shaped the field. It focuses on defining the achievements of software engineering in the past decades and showcasing visions for the future.
This book presents a vast array of software sizing methods including all five ISO/IEC-acknowledged Functional Sizing Methods. It also includes hands-on advice and practical examples of how to use functional size measurement to produce realistic estimates.