Validated Designs for Object-oriented Systems
- Kauf auf Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
This book describes an object-oriented design approach that combines the benefits of abstract modelling with the analytic power of formal methods, to give designs that can be rigorously validated assured with automated support.
Aimed at software architects, designers developers as well as computer scientists, no prior knowledge of formal methods is assumed. The elements of functional modelling are introduced using numerous examples exercises, industrial case studies experience reports. Industry-strength tools support the text.
This book describes an object-oriented design approach that combines the benefits of abstract modelling with the analytic power of formal methods, to give designs that can be rigorously validated & assured with automated support.
Aimed at software architects, designers & developers as well as computer scientists, no prior knowledge of formal methods is assumed. The elements of functional modelling are introduced using numerous examples & exercises, industrial case studies & experience reports. Industry-strength tools support the text. Go to www.vdmbook.com to download free-of-charge VDMTools Lite, which gives the possibility to try out examples from the book
- II. Modelling Object-oriented Systems in VDM++: Defining Data; Defining Functionality; Modelling Unordered Collections; Modelling Ordered Collections; Modelling Relationships
- III. Modelling in Practice: Three Case Studies; Model Structuring: The Enigma Cipher; Combining Views: The CSLaM System; TradeOne: From Enterprise Architecture to Business Application
- IV. From Models to Code: Concurrency in VDM++ Model Quality; Implementing in Java; A - Solutions to Exercises
- Bibliography
- List of Acronyms
- Subject Index
- Definitions Index.
- Autoren: John Fitzgerald , Peter G. Larsen , Paul Mukherjee , Nico Plat , Marcel Verhoef
- XII, 404 Seiten, 65 Abbildungen, Maße: 16,2 x 24,3 cm, Kartoniert (TB), Englisch
- Verlag: Springer, Berlin
- ISBN-10: 1852338814
- ISBN-13: 9781852338817
- Erscheinungsdatum: 03.02.2005
Validated Designs for Object-oriented Systems (PDF)
John Fitzgerald, Paul Mukherjee, Marcel Verhoef, Nico Plat, Peter Gorm Larsen
Statt 74.85 € 19
71.39 €
Das Praxisbuch zu QuarkXPress für Windows und Mac
Nikolaus Netzer, Detlev Hagemann
Statt 39.00 €
7.99 € *
Computerlexikon für Senioren für Dummies
Dan Gookin, Sandra Hardin Gookin
14.99 €
Checklisten Handbuch IT-Grundschutz
BSI - Bundesamt für Sicherheit in der Informationstechnik
54.00 €
Deep Learning kompakt für Dummies
John Paul Mueller, Luca Massaron
25.00 €
Verfahren zur Organisation von Abläufen in Rechnernetzwerken
Anvar Dzhanmurzaev
61.90 €
37.99 €
IT-Lösungen auf Basis von SysML und UML
Eric A. Nyamsi
37.99 €
Protektion 4.0: Das Digitalisierungsdilemma
Günter Müller
49.99 €
Mensch-Roboter-Interaktion
Christoph Bartneck, Tony Belpaeme, Friederike Eyssel, Takayuki Kanda, Merel Keijsers, Selma Sabanovi?
34.99 €
Grundlagen der Technischen Informatik
Dirk W. Hoffmann
42.99 €
IT-Controlling für die öffentliche Verwaltung kompakt
Andreas Gadatsch
19.99 €
Rowanvale Books Ltd: Lessons Learned? (ePub)
John Fitzgerald
Statt 2.99 € 19
2.49 €
Arcadia Publishing: Brainerd International Raceway (ePub)
John Fitzgerald
18.49 €
Cambridge University Press: Modelling Systems (PDF)
John Fitzgerald
74.99 €
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Keine Kommentare vorhanden
Jetzt bewertenSchreiben Sie den ersten Kommentar zu "Validated Designs for Object-oriented Systems".
Kommentar verfassen