Check nearby libraries
Buy this book
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.
Check nearby libraries
Buy this book
Previews available in: English
Showing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1 |
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Includes bibliographical references (p. [377]-382) and index.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created April 1, 2008
- 10 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
July 16, 2024 | Edited by MARC Bot | import existing book |
December 5, 2022 | Edited by ImportBot | import existing book |
September 24, 2022 | Edited by ImportBot | import existing book |
October 4, 2021 | Edited by ImportBot | import existing book |
April 1, 2008 | Created by an anonymous user | Imported from Scriblio MARC record |