| 书目名称 | Specification of Software Systems |
| 编辑 | V. S. Alagar,K. Periyasamy |
| 视频video | |
| 丛书名称 | Texts in Computer Science |
| 图书封面 |  |
| 描述 | This is a textbook on software specification emphasizing formal methods that are relevant to requirements and design stages of software development. The aim of the book is to teach the fundamental principles of formal methods in the construction of modular and verifiable formal specifications. The book introduces several formal specification techniques and illustrates the expressive power of each technique with a number of examples. General Characteristics Traditional textbooks on software engineering discuss the difficulties and chal lenges that lie on the path from requirements analysis to implementation of a software product. Most of these books describe some techniques in detail and give hints on implementation of these techniques. Only a few among them deal with important software engineering principles and techniques, and discuss how a particular technique may be used to implement a given principle. There is very little exposure in these books to a rigorous approach to, or a systematic study of, the construction of verifiable software. Those who have acquired an understanding of the fundamental principles of software engineering from traditional textbooks will find the follo |
| 出版日期 | Textbook 19981st edition |
| 关键词 | Mathematica; Vienna Development Method; Z notation; development; formal method; formal methods; formal spe |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-1-4757-2920-7 |
| isbn_ebook | 978-1-4757-2920-7Series ISSN 1868-0941 Series E-ISSN 1868-095X |
| issn_series | 1868-0941 |
| copyright | Springer-Verlag New York 1998 |
发表于 2025-3-21 19:53:19
