Related Books
Language: en
Pages: 349
Pages: 349
Type: BOOK - Published: 2013-03-01 - Publisher: John Wiley & Sons
This title provides a clear overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. The
Language: en
Pages: 646
Pages: 646
Type: BOOK - Published: 2011-03-28 - Publisher: Springer
This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphas
Language: en
Pages: 594
Pages: 594
Type: BOOK - Published: 2012-01-05 - Publisher: Springer Science & Business Media
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating
Language: en
Pages: 268
Pages: 268
Type: BOOK - Published: 1993 - Publisher: World Scientific
The intention of this book is to show how algebraic specification methods can be used for software development to support reliability, modifiability and reusabi
Language: en
Pages: 638
Pages: 638
Type: BOOK - Published: 2011-04-05 - Publisher: Springer
This book constitutes the documentation of the scientific outcome of the priority program Integration of Software Specification Techniques for Applications in E