Notations for Software Design /
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 tha...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Format: | eBook |
| Language: | English |
| Published: |
London :
Springer London,
1994.
|
| Series: | Formal Approaches to Computing and Information Technology (FACIT)
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | 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. |
|---|---|
| Item Description: | Electronic resource. |
| Physical Description: | 1 online resource (xii, 425 pages 168 illustrations) |
| ISBN: | 9781447121077 (electronic bk.) 1447121074 (electronic bk.) |