Software Engineering with Abstractions

Rating:
Summary: Practical introduction to formal specification and design.
Review: This book is a gentle introduction to formal methods for the design and implementation of software for large systems. It takes you through the whole software cycle and gives practical advice on the use of formal methods to handle the complexity typical of large, real-world applications. The reader is taught to use the formal specification language SPEC and is introduced to logic and other mathematical concepts useful in the design of software. Tools are also available to check the syntax of SPEC specifications, as well as generate Ada specifications directly from SPEC. I became familiar with this book when I took the introductory software engineering course taught by Professor Berzins at the Naval Postgraduate School. I have found this book useful in my real-world applications development.