Research Catalog

Title

Notations for software design / Loe M.G. Feijs, Hans B.M. Jonkers, and Cornelis A. Middelburg.

Author

Feijs, L. M. G. (Loe M. G.)

Publication

London ; New York : Springer-Verlag, [1994], ©1994.

Items in the Library & Off-site

Holdings

Details

Additional Authors

• Jonkers, H. B. M.
• Middelburg, Cornelis A.

Description

xii, 425 pages : illustrations; 24 cm.

Summary

• Notations for Software Design presents a wide variety of formal, mathematically-based, textual notations for describing software systems. Together these notations cover every stage of the software design process.
• Formal approaches to software development are currently being implemented by many companies. This volume explains formal specification and design using COLD-1, a wide-spectrum language which supports a variety of specification styles. COLD-1 was developed in an industrial environment in cooperation with academic research groups and partners in ESPRIT projects, and is now being used in real product design. Detailed case studies are used to show the language in action.
• The authors also create an important link between current and future practice by covering a number of commonly-used informal techniques, such as Venn diagrams and Petri nets.
• Notations for Software Design will enable the reader to develop a working knowledge of a wide variety of formal notations, and to use and apply these notations effectively. It will provide invaluable reading for practitioners in software development who are interested in using formal notations for producing dependable software, and will also be of interest to students of computer science.

Series Statement

Formal approaches to computing and information technology

Uniform Title

Formal approaches to computing and information technology.

Subject

Computer software > Development

Bibliography (note)

• Includes bibliographical references (p. [377]-382) and index.

Contents

1. Introduction -- 2. The Vending Machine Case -- 3. Patterns for Definitions -- 4. Patterns for Components -- 5. Mechanisms for Naming -- 6. The Automatic Railway Case -- 7. Pictorial Representations -- 8. More Pictorial Representations -- 9. Advanced Topics -- A Syntax of COLD-1 -- B Standard Library -- C Glossary of Terms.

ISBN

• 0387199020 (New York : acid-free paper) :
• 3540199020 (Berlin : acid-free paper)

LCCN

94029179

OCLC

• 30814712
• ocm30814712

Owning Institutions

Columbia University Libraries