<< 1 >>
Rating: 
Summary: provides comprehensive knowledge
Review: decent book with extensive information.
Rating: 
Summary: Clear Logic Flow
Review: 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.
Rating:
Summary: An Excellent Book to Recommend
Review: 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.
Rating:
Summary: It's a good book.
Review: 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.
Rating:
Summary: It's a good book.
Review: 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.
Rating:
Summary: provides comprehensive knowledge
Review: 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.
<< 1 >>
| 
