| 書目名稱 | Formal Object-Oriented Development | | 編輯 | Kevin Lano | | 視頻video | http://file.papertrans.cn/346/345890/345890.mp4 | | 叢書名稱 | Formal Approaches to Computing and Information Technology (FACIT) | | 圖書封面 |  | | 描述 | .Formal Object-Oriented Development. provides a comprehensive overview of the use of formal object-oriented methods; it covers how and where they should be introduced into the development process, how they can be introduced selectively for critical parts of an application, and how to incorporate them effectively into existing deveopmental practices..The text is extensively illustrated, both with tutorial and self-assessment excercises and with examples of industrial applications from the reactive systems domain. This book will be of interest to academic and industrial researchers, software engineering practitioners and consultants, and will also provide invaluable reading material for students learning Z++ and VDM++. | | 出版日期 | Book 1995 | | 關(guān)鍵詞 | code generation; concurrency; data structures; design; development; formal methods; formal specification; i | | 版次 | 1 | | doi | https://doi.org/10.1007/978-1-4471-3073-4 | | isbn_softcover | 978-3-540-19978-6 | | isbn_ebook | 978-1-4471-3073-4 | | copyright | Springer-Verlag London Limited 1995 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-7 09:15
發(fā)表于 2025-3-21 19:15:47
