Notations for Software Design

✍ Scribed by Loe M. G. Feijs, Hans B. M. Jonkers, Cornelis A. Middelburg (auth.)

• Publisher: Springer-Verlag London
• Year: 1994
• Tongue: English
• Leaves: 432
• Series: Formal Approaches to Computing and Information Technology (FACIT)
• Edition: 1
• Category: Library

✦ Synopsis

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.

✦ Table of Contents

Front Matter....Pages i-xii
Introduction....Pages 1-8
The Vending Machine Case....Pages 9-38
Patterns for Definitions....Pages 39-70
Patterns for Components....Pages 71-102
Mechanisms for Naming....Pages 103-124
The Automatic Railway Case....Pages 125-199
Pictorial Representations....Pages 201-258
More Pictorial Representations....Pages 259-323
Advanced Topics....Pages 325-376
Back Matter....Pages 377-425

✦ Subjects

Mathematical Logic and Formal Languages; Software Engineering; Programming Languages, Compilers, Interpreters