Notations for Software Design

Loe M. G. Feijs

ISBN 10: 3540199020 / ISBN 13: 9783540199021

Verlag: Springer London, 1994

Beschreibung

Druck auf Anfrage Neuware - Printed after ordering - 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.

Bestandsnummer des Verkäufers 9783540199021

Bibliografische Details

• Titel: Notations for Software Design
• Verlag: Springer London
• Erscheinungsjahr: 1994
• Sprache: Englisch
• ISBN-10: 3540199020
• ISBN-13: 9783540199021
• Einband: Taschenbuch
• Zustand: Neu
• Abmessungen: 235B x 155 H x 24 T Millimeter Breite: 235 mm, Höhe: 155 mm, Tiefe: 24 mm
• Gewicht: 663 Gramm

Über diesen Titel

Inhaltsangabe

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.