Formal Object-Oriented Development (Formal Approaches to Computing and Information Technology (FACIT)) - Softcover

Lano, Kevin

 
9783540199786: Formal Object-Oriented Development (Formal Approaches to Computing and Information Technology (FACIT))
Softcover
ISBN 10: 3540199780 ISBN 13: 9783540199786
Verlag: Springer, 2013

Inhaltsangabe

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++.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

Dr. Kevin Lano is Reader in Software Engineering, Department of Informatics, King's College London, UK. Dr. Sobhan Yassipour Tehrani is a Lecturer, Department of Computer Science, University College London, UK.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2013
Sprache
Englisch
ISBN 10 
3540199780
ISBN 13 
9783540199786
Einband
Taschenbuch
Anzahl der Seiten
440
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland

Weitere beliebte Ausgaben desselben Titels

9781447130741: Formal Object-Oriented Development

Vorgestellte Ausgabe

ISBN 10:  144713074X ISBN 13:  9781447130741
Verlag: Springer, 2011
Softcover