| 書目名稱 | Formal Specification Techniques for Engineering Modular C Programs |
| 編輯 | Yang Meng Tan |
| 視頻video | http://file.papertrans.cn/346/345905/345905.mp4 |
| 叢書名稱 | 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 |
| 關(guān)鍵詞 | 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 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-10 07:57
發(fā)表于 2025-3-21 19:15:48
