Validated Designs for Object-oriented Systems

• Κύριοι συγγραφείς: Fitzgerald, John (Συγγραφέας), Larsen, Peter Gorm (Συγγραφέας), Mukherjee, Paul (Συγγραφέας), Plat, Nico (Συγγραφέας), Verhoef, Marcel (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : Springer London, 2005.
• Θέματα: Computer science.; Software engineering.; Computer programming.; Computer science > Mathematics.; Computer Science.; Programming Techniques.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Discrete Mathematics in Computer Science.

Object-oriented design methods are commonplace in computing systems development, but are often dismissed as 'boxes & arrows'. If systems developers are to gain full advantage from such methods, they should be able to achieve designs that are not merely the subject of heated argument, b...

Πίνακας περιεχομένων:

• Models and Software Development
• Building a Model in VDM++: An Overview
• VDM++ Tool Support
• Modelling Object-oriented Systems in VDM++
• Defining Data
• Defining Functionality
• Modelling Unordered Collections
• Modelling Ordered Collections
• Modelling Relationships
• Modelling in Practice: Three Case Studies
• Model Structuring: The Enigma Cipher
• Combining Views: The CSLaM System
• TradeOne: From Enterprise Architecture to Business Application
• From Models to Code
• Concurrency in VDM++
• Model Quality
• Implementing in Java.