Jones, C. B.

1944

• Software development
• Case studies in systematic software development
• Formal methods and hybrid real-time systems
• Reflections on the work of C.A.R. Hoare
• Structure for dependability
• Systematic software development using VDM
• The Vienna development method
• The Vienna development method
• Mural
• The Vienna development method