Related Books

Software Specification Methods
Language: en
Pages: 349
Authors: Henri Habrias
Categories: Computers
Type: BOOK - Published: 2013-03-01 - Publisher: John Wiley & Sons

GET EBOOK

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
Specification of Software Systems
Language: en
Pages: 646
Authors: V.S. Alagar
Categories: Computers
Type: BOOK - Published: 2011-03-28 - Publisher: Springer

GET EBOOK

This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphas
Foundations of Algebraic Specification and Formal Software Development
Language: en
Pages: 594
Authors: Donald Sannella
Categories: Computers
Type: BOOK - Published: 2012-01-05 - Publisher: Springer Science & Business Media

GET EBOOK

This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating
Algebraic Specification Techniques and Tools for Software Development
Language: en
Pages: 268
Authors: Ingo Classen
Categories: Computers
Type: BOOK - Published: 1993 - Publisher: World Scientific

GET EBOOK

The intention of this book is to show how algebraic specification methods can be used for software development to support reliability, modifiability and reusabi
Integration of Software Specification Techniques for Applications in Engineering
Language: en
Pages: 638
Authors: Hartmut Ehrig
Categories: Computers
Type: BOOK - Published: 2011-04-05 - Publisher: Springer

GET EBOOK

This book constitutes the documentation of the scientific outcome of the priority program Integration of Software Specification Techniques for Applications in E