Specification of Software Systems
Seiten
1998
Springer-Verlag New York Inc.
978-0-387-98430-8 (ISBN)
Springer-Verlag New York Inc.
978-0-387-98430-8 (ISBN)
- Titel erscheint in neuer Auflage
- Artikel merken
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.
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.
Erscheint lt. Verlag | 1.10.1998 |
---|---|
Reihe/Serie | Graduate Texts in Computer Science |
Zusatzinfo | 88 black & white illustrations |
Verlagsort | New York, NY |
Sprache | englisch |
Maße | 254 x 178 mm |
Gewicht | 1065 g |
Einbandart | gebunden |
Themenwelt | Mathematik / Informatik ► Informatik ► Betriebssysteme / Server |
Mathematik / Informatik ► Informatik ► Software Entwicklung | |
ISBN-10 | 0-387-98430-5 / 0387984305 |
ISBN-13 | 978-0-387-98430-8 / 9780387984308 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
der Ausbildungsbegleiter
Buch | Hardcover (2023)
Rheinwerk (Verlag)
39,90 €