返回Google圖書搜尋

The Construction of Formal Specifications

其他書名	An Introduction to the Model-based and Algebraic Approaches
出版	McGraw-Hill, 1994
主題	Computers / Software Development & Engineering / General
ISBN	00770773509780077077358
URL	http://books.google.com.hk/books?id=r7NQAAAAMAAJ&hl=&source=gbs_api

註釋Introducing two widely-used approaches to the formal specification of software systems, this book considers VDM and the algebraic approach. In each case, the emphasis is intuitive, rather than mathematical and shows the reader how to construct a formal specification from the first principles by using general procedures that can be followed each time. Familiar applications are referred to throughout and examples, small case studies and problems accompany each chapter. The two approaches are brought together in one large joint case study at the end of the book, as well as a section comparing and contrasting them.