Specification of Software Systems
(Sprache: Englisch)
This book provides an introduction to program specification, illustrating the advantages it confers upon the software development process. Covering all three major specification languages (Larch, VDM, and Z), the book discusses specification in general, the...
Leider schon ausverkauft
versandkostenfrei
Buch
71.64 €
Produktdetails
Produktinformationen zu „Specification of Software Systems “
This book provides an introduction to program specification, illustrating the advantages it confers upon the software development process. Covering all three major specification languages (Larch, VDM, and Z), the book discusses specification in general, the abstraction process, the mathematical tools required, and the main formal methods.
Klappentext zu „Specification of Software Systems “
This graduate-level text provides a one semester introduction to program specification. Readers are assumed to have a working knowledge of software engineering and basic discrete mathematics, but otherwise this may be their first encounter with formal specification. It is based on graduate courses and courses offered to professionals working in the software industry. The authors emphasize the need for formal abstraction in specification and the advantages it confers upon the software process. In addition, the book covers all three major specification languages: Larch, VDM, and Z. Consequently, readers will be able to select a formal method that best suits their needs and application. The first part of the book discusses specification in general and the abstraction process. Next come chapters on the mathematical tools required. Thirdly, the authors devote a chapter each to the main formal methods with a significant example of the use of each discussed.
Inhaltsverzeichnis zu „Specification of Software Systems “
- The Role of Specifications- Specification Activities
- Specification Qualities
- Abstraction
- Formal Systems
- Logic
- Set Theory and Relations
- Algebraic Specifications
- Vienna Development Method
- The Z Notation
- Larch.
Bibliographische Angaben
- Autoren: V. S. Alagar , K. Periyasamy
- 1998, 442 Seiten, Maße: 18,5 x 24,1 cm, Gebunden, Englisch
- Verlag: Springer, Berlin
- ISBN-10: 0387984305
- ISBN-13: 9780387984308
Sprache:
Englisch
Kommentar zu "Specification of Software Systems"
0 Gebrauchte Artikel zu „Specification of Software Systems“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Specification of Software Systems".
Kommentar verfassen