Notations for Software Design (Formal Approaches to Computing and Information Technology (FACIT))

Loe M.G. Feijs/ Hans B.M. Jonkers/ Cornelis A. Middelburg

ISBN 10: 3540199020 / ISBN 13: 9783540199021

Published by Springer, 1994

About this Item

reprint edition. 437 pages. 9.25x6.10x1.00 inches. In Stock.

Seller Inventory # x-3540199020

Bibliographic Details

• Title: Notations for Software Design (Formal Approaches to Computing and Information Technology (FACIT))
• Publisher: Springer
• Publication Date: 1994
• Language: English
• ISBN 10: 3540199020
• ISBN 13: 9783540199021
• Binding: Paperback
• Condition: Brand New
• Weight: 0.67 kilograms

About this title

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.