Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	Oktober 1995
Genre:	EDV / Informatik
	CodeGeneration / Concurrency / datastructures / Design / Development / formalmethods / formalspecification / Inheritance / Language / Semantics / Software / Softwaredevelopment / Softwareengineering / Theoretische Informatik mehr...
ISBN:	9783540199786
EAN-Code:	9783540199786
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 24 mm
Gewicht:	663 gr
Seiten:	440
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Formal Object-Oriented Development provides a comprehensive overview of the use of formal object-oriented methods; it covers how and where they should be introduced into the development process, how they can be introduced selectively for critical parts of an application, and how to incorporate them effectively into existing deveopmental practices. The text is extensively illustrated, both with tutorial and self-assessment excercises and with examples of industrial applications from the reactive systems domain. This book will be of interest to academic and industrial researchers, software engineering practitioners and consultants, and will also provide invaluable reading material for students learning Z++ and VDM++.