ENGLISH

Notations for Software Design

By Loe M. G. Feijs , Hans B. M. Jonkers , Cornelis A. Middelburg (auth.)

Book information

Publisher
Springer-Verlag London
Year
1994
ISBN
978-3-540-19902-1, 978-1-4471-2107-7
DOI
10.1007/978-1-4471-2107-7
Language
english
Format
PDF
Filesize
9 MB (9385721 bytes)
Series
Formal Approaches to Computing and Information Technology (FACIT)
Edition
1
Pages
425\432
Orientation
yes
Scanned
yes
Time added
2013-08-01 04:00:00
CompilersInterpretersMathematical Logic and Formal Languages; Software

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.

Similar books