Validated Designs for Object-oriented Systems - Softcover

Fitzgerald, John S.; Larsen, Peter Gorm; Mukherjee, Paul; Plat, Nico; Verhoef, Marcel

 
9781849969437: Validated Designs for Object-oriented Systems
Softcover
ISBN 10: 1849969434 ISBN 13: 9781849969437
Verlag: Springer, 2010

Inhaltsangabe

This book describes an object-oriented design approach that combines the benefits of abstract modeling with the analytic power of formal methods to give designs that can be rigorously validated and assured with automated support. Aimed at software architects, designers, and developers as well as computer scientists, the elements of functional modeling are introduced using numerous examples and exercises, industrial case studies, and experience reports. Industry-strength tools support the text.

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

Verlag
Springer
Erscheinungsdatum
2010
Sprache
Englisch
ISBN 10 
1849969434
ISBN 13 
9781849969437
Einband
Taschenbuch
Anzahl der Seiten
416
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland

Weitere beliebte Ausgaben desselben Titels

9781852338817: Validated Designs for Object-oriented Systems

Vorgestellte Ausgabe

ISBN 10:  1852338814 ISBN 13:  9781852338817
Verlag: Springer, 2005
Hardcover