Specification of Software Systems

Vangalur S. Alagar, K. Periyasamy (Autoren)

Buch | Hardcover

442 Seiten

1998
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
Themenwelt	Mathematik / Informatik ► Informatik ► Software Entwicklung
ISBN-10	0-387-98430-5 / 0387984305
ISBN-13	978-0-387-98430-8 / 9780387984308
Zustand	Neuware