As well as an overview of UML and the more recent SysML, Debbabi and his co-authors investigate varied methodologies and techniques for the automatic verification and validation of systems engineering design models expressed in standardized modeling languages.
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.
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.
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.
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.
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.
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.
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.