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.
| Autorius: | Loe M. G. Feijs, Cornelis A. Middelburg, Hans B. M. Jonkers, |
| Serija: | Formal Approaches to Computing and Information Technology (FACIT) |
| Leidėjas: | Springer Berlin Heidelberg |
| Išleidimo metai: | 1994 |
| Knygos puslapių skaičius: | 440 |
| ISBN-10: | 3540199020 |
| ISBN-13: | 9783540199021 |
| Formatas: | 235 x 155 x 24 mm. Knyga minkštu viršeliu |
| Kalba: | Anglų |
Parašykite atsiliepimą apie „Notations for Software Design“
