Für diesen Artikel ist leider kein Bild verfügbar.

Object-Oriented Specificatn Case Studies

Lano, Haughton (Autoren)

Buch | Softcover

272 Seiten

1993
Prentice Hall (Verlag)
978-0-13-097015-2 (ISBN)

Titel ist leider vergriffen;
keine Neuauflage

Artikel merken

This work aims to provide an introduction to the rapidly-growing area at the intersection of the fields of object-orientation and formal methods: formal approaches to system specification using object-oriented techniques.

Object-orientation and formal methods are widely regarded as two fields with significant potential for influence on the future of software engineering. This book aims to provide an introduction to the rapidly-growing area at the intersection of these fields: formal approaches to system specification using object-oriented techniques.

Specification and Analysis Techniques in Object-Oriented Methods. A Comparative Description of Object-Oriented Specification Languages. Object-Oriented Specification Languages in the Software Life Cycle. The UNIX File System: A MooZ Specification. An Object-Z Specification of a Mobile Phone System. Object-Oriented Specification in VDM+ +. Specifying a Concept Recognition System in Z + OOZE with Examples. Refinement in Fresco. SmallVDM: An Environment for Formal Specification and Prototyping in Smalltalk.

Erscheint lt. Verlag	1.10.1993
Verlagsort	Upper Saddle River
Sprache	englisch
Maße	172 x 235 mm
Gewicht	377 g
Themenwelt	Informatik ► Software Entwicklung ► Objektorientierung
ISBN-10	0-13-097015-8 / 0130970158
ISBN-13	978-0-13-097015-2 / 9780130970152
Zustand	Neuware