Notations for Software Design - Couverture souple

Feijs, Loe M. G.; Jonkers, Hans B. M.; Middelburg, Cornelis A.

Couverture souple

ISBN 10 : 3540199020 ISBN 13 : 9783540199021

Editeur : Springer, 2013

Synopsis

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.

A propos du livre

À propos de la quatrième de couverture

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.

Détails de l'édition

• Éditeur: Springer
• Date d'édition: 2013
• Langue: anglais
• ISBN 10: 3540199020
• ISBN 13: 9783540199021
• Reliure: Broché
• Nombre de pages: 437
• Coordonnées du fabricant: Springer Nature Customer Service Center GmbH; ProductSafety@springernature.com; ; Europaplatz 3; Heidelberg; 69115; Allemagne