| 書目名稱 | Notations for Software Design |
| 編輯 | Loe M. G. Feijs,Hans B. M. Jonkers,Cornelis A. Mid |
| 視頻video | http://file.papertrans.cn/669/668225/668225.mp4 |
| 叢書名稱 | Formal Approaches to Computing and Information Technology (FACIT) |
| 圖書封面 |  |
| 描述 | .Notations for Software Design. aims to explain formal specification and design to practitioners in software development, and to set out the ingredients of a sound software design process. .It examines COLD-1, which is currently being implemented by Philips in many of its business centres. The fact that it is a wide-spectrum language which supports many styles of specification makes it an excellent basis for the volume. It also examines some widely-used informal techniques, such as Venn diagrams and Petri nets, thus creating a strong link between current and future practice. Rather than proposing new pictorial notations the authors place existing ones into a coherent framework, and explain practical ways of exploiting them in conjunction with COLD-1. |
| 出版日期 | Textbook 1994 |
| 關鍵詞 | Natural; Petri net; Signatur; Software Design; Turing; algorithms; data structures; design; development; form |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-1-4471-2107-7 |
| isbn_softcover | 978-3-540-19902-1 |
| isbn_ebook | 978-1-4471-2107-7 |
| copyright | Springer-Verlag London Limited 1994 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網安備110108008328)
GMT+8, 2025-10-5 23:34
發(fā)表于 2025-3-21 19:54:31
