Customer Reviews

Specification of Software Systems (Texts in Computer Science)

5 star:		(7)
4 star:		(3)
3 star:		(4)
2 star:		(0)
1 star:		(1)

 

 

This is a well-written book, which provides a comprehensive knowledge in both breadth and depth for formal specification. Even it is a graduate level textbook. I found it's also a very useful reference book for the professionals who work on formal specification area or want to get the understanding of formal specification concepts. Most of the topics have been covered with abundant materials. Especially, the rich examples have provided a way to better understand how to apply different methods of specification in the actual systems. Some concepts mentioned in the book can be used in design and code inspection process to eliminate the potential issues in the later coding and verification testing stages. I highly recommend this book.

This book gives the theoretical explanation and practical application for formal specification.By reading the book, I understood the signification & advantage of the use of formal specification. In addition, by exercise with the three given specification languages (Larch, VDM, and Z) in the book, I learnt its application in software engineering. The book provides related knowledge of formal method as well.

In one word, this book gives a good introduction of formal specification. I use it as my guide for software specification and system design.

It provides comprehensive knowledge about formal specification. Though it is a graduate level textbook, it contains information to satisfy the hunger of many curious readers. Nicely utilized in the case studies. Highly recommended.

This book addresses a widespread dilemma in the world of computer based technology, which is the lack of formal specification of software systems. This problem, for a long time, dragged the industry into the struggle of exhausting labor and paying the increasingly high cost of maintenance. The book provides a clear, organized, and well-explained material on formal methods for specifying software systems. It is rich in the diversity and advanced techniques for software specification, reuse, and early error detection. It has been an excellent base for my research work that deals with designing real-time reactive systems. Note that this book is mainly directed to professionals and graduate students.

Complex software systems development requires formal approach to software specification. Current development practice mainly relies on informal or semi-formal notations, but there is a clear long-term trend towards higher formalization in software specifications. This book builds a bridge between informal or semi-formal specification styles, and pure formal specification approaches. Prerequisites: Elementary knowledge in mathematical logic and in software engineering.

A very nicely written book, which provides decent exposure to using formal specification. This should be useful for professionals and curious readers who want to get to know what is formal specification. Topics have been supplemented with sufficient case studies as well. Again, going through the pain-staking process of coming up with specification from the Analysis and Design phase should help in gaining good handle of the intricacies of the program.

This book covers right from from the basics of specification, providing anyone with a smooth learning curve. There is a detailed schematic analysis of Z, which anyone should find it extensively written. Also, the whole industry there is an apprehension about the use of formal specifications and in my belief by using it admirably for the various case studies proves a point or two.

I enjoy reading this book very much! Through a clear logic flow, the authors present what's the specification, the necessary of the formal method, and different formal specification methods. It is a well-organized book, the contents are extensive in terms of presenting several different specification method and also intensive in each category. It is a very good book for researchs in formal methods areas, also a good textbook for graduate students.

This book addresses a widespread dilemma in the world of computer based technology, which is the lack of formal specification of software systems. This problem, for a long time, dragged the industry into the struggle of exhausting labor and paying the increasingly high cost of maintenance. The book provides a clear, organized, and well-explained material on formal methods for specifying software systems. It is rich in the diversity and advanced techniques for software specification, reuse, and early error detection. It has been an excellent base for my research work that deals with designing real-time reactive systems. Note that this book is mainly directed to professionals and graduate students.

Complex software systems development requires formal approach to software specification. Current development practice mainly relies on informal or semi-formal notations, but there is a clear long-term trend towards higher formalization in software specifications. This book builds a bridge between informal or semi-formal specification styles, and pure formal specification approaches. Prerequisites: Elementary knowledge in mathematical logic and in software engineering.