 | |
| |
Software Engineering with Abstractions
 |
Author: Valdis Berzins
List Price: $59.99
Our Price: Click to see the latest and low price
ISBN: 0201080044
Publisher: Addison-Wesley Pub Co (01 July, 1991)
Edition: Hardcover
Sales Rank: 741,932
Average Customer Rating: 4 out of 5
|
Customer ReviewsRating: 4 out of 5
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.
| | | | | |
| |
