Validated designs for object-oriented systems.

MaRDI QIDQ3157876zbMATH OpenFDO

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

Publication date 19 January 2005

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Computer system organization (68M99) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• scientific article; zbMATH DE number 578248
• A formal model of object-oriented design and GoF design patterns
• scientific article; zbMATH DE number 763726
• scientific article; zbMATH DE number 867229
• scientific article; zbMATH DE number 2130685

Cited in

(9)

• Design with objects: an approach to object-oriented design.
• A formal model of object-oriented design and GoF design patterns
• A formal object-oriented analysis for software reliability: design for verification
• Formal methods for distributed processing. A survey of object-oriented approaches.
• The KEY system: Integrating object-oriented design and formal methods
• Formal semantics of a VDM extension for distributed embedded systems
• Extended Static Checking by Calculation Using the Pointfree Transform
• An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems
• Transposing partial components--an exercise on coalgebraic refinement

This page was built for publication: Validated designs for object-oriented systems.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3157876)