Notations for Software Design |
|
| Author:
| Feijs, Loe M. G.
Jonkers, Hans B. M.
Middelburg, Cornelis A. |
| Series title: | Formal Approaches to Computing and Information Technology (FACIT) Ser. |
| ISBN: | 978-1-4471-2107-7 |
| Publication Date: | Dec 2012 |
| Publisher: | Springer
|
| Book Format: | Ebook |
| List Price: | USD $99.00 |
Book Description:
|
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,...
More Description 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.