| 书目名称 | Notations for Software Design |
| 编辑 | Loe M. G. Feijs,Hans B. M. Jonkers,Cornelis A. Mid |
| 视频video | |
| 丛书名称 | 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 |
发表于 2025-3-21 19:54:31
