| 書目名稱 | Programming with Specifications | | 副標(biāo)題 | An Introduction to A | | 編輯 | David Luckham | | 視頻video | http://file.papertrans.cn/761/760201/760201.mp4 | | 叢書名稱 | Monographs in Computer Science | | 圖書封面 |  | | 描述 | Topics ? what this book is about, ? its intended audience, ? what the reader ought to know, ? how the book is organized, ? acknowledgements. Specifications express information about a program that is not normally part of the program, and often cannot be expressed in a programming lan- guage. In the past, the word "specification" has sometimes been used to refer to somewhat vague documentation written in English. But today it indicates a precise statement, written in a machine processable language, about the purpose and behavior of a program. Specifications are written in languages that are just as precise as programming languages, but have additional capabilities that increase their power of expression. The termi- nology formal specification is sometimes used to emphasize the modern meaning. For us, all specifications are formal. The use of specifications as an integral part of a program opens up a whole new area of programming - progmmming with specifications. This book describes how to use specifications in the process of building programs, debugging them, and interfacing them with other programs. It deals with a new trend in programming - the evolution of specification languages | | 出版日期 | Book 1990 | | 關(guān)鍵詞 | Ada; Debugging; behavior; evolution; programming; programming language | | 版次 | 1 | | doi | https://doi.org/10.1007/978-1-4613-9685-7 | | isbn_softcover | 978-1-4613-9687-1 | | isbn_ebook | 978-1-4613-9685-7Series ISSN 0172-603X Series E-ISSN 2512-5486 | | issn_series | 0172-603X | | copyright | Springer-Verlag New York, Inc. 1990 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2026-1-29 19:28
發(fā)表于 2025-3-21 18:33:29
