Software Engineering With Abstractions

By Valdis Berzins and Luqi

A technical introduction to software engineering with a systematic approach that is both formal and practical. Traces the entire software-development process, using a formal specification language... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0201080044
• ISBN13: 9780201080049
• Release Date: January 1991
• Publisher: Addison-Wesley
• Length: 640 Pages
• Weight: 0.05 lbs.
• Dimensions: 10.0" x 1.3" x 7.0"

Customer Reviews

Practical introduction to formal specification and design.

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.