| 书目名称 | Formal Specification Techniques for Engineering Modular C Programs |
| 编辑 | Yang Meng Tan |
| 视频video | |
| 丛书名称 | International Series in Software Engineering |
| 图书封面 |  |
| 描述 | Software is difficult to develop, maintain, and reuse. Twofactors that contribute to this difficulty are the lack of modulardesign and good program documentation. The first makes softwarechanges more difficult to implement. The second makes programs moredifficult to understand and to maintain. ..Formal Specification Techniques for Engineering Modular CPrograms. describes a novel approach to promoting programmodularity. The book presents a formal specification language thatpromotes software modularity through the use of abstract data types,even though the underlying programming language may not have suchsupport. This language is structured to allow useful information to beextracted from a specification, which is then used to performconsistency checks between the specification and its implementation...Formal Specification Techniques for Engineering Modular CPrograms. also describes a specification-driven, softwarere-engineering process model for improving existing programs. The aimof this process is to make existing programs easier to maintain andreuse while keeping their essential functionalities unchanged. ..Audience:. Suitable as a secondary text for graduate levelcourses in softw |
| 出版日期 | Book 1996 |
| 关键词 | C programming language; Factor; data types; design; documentation; language; object oriented design; progra |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-1-4615-4125-7 |
| isbn_softcover | 978-1-4613-6850-2 |
| isbn_ebook | 978-1-4615-4125-7Series ISSN 1384-6469 |
| issn_series | 1384-6469 |
| copyright | Springer Science+Business Media New York 1996 |
发表于 2025-3-21 19:15:48
