VDM '90. VDM and Z - Formal Methods in Software Development

1. Front Matter

   PDF

2. Object orientation and formal techniques

   • Ole-Johan Dahl

   Pages 1-11

3. An algebraic approach to refinement

   • Joseph A. Goguen

   Pages 12-28

4. Modal logic programming

   • D. Kato, T. Kikuchi, R. Nakajima, J. Sawada, H. Tsuiki

   Pages 29-40

5. Z specification of an object manager

   • Patrice Chalin, Peter Grogono

   Pages 41-71

6. Correctness in the small

   • Peter Haastrup, Christian Gram

   Pages 72-98

7. A formal approach to hypertext using post-prototype formal specification

   • Danny B. Lange

   Pages 99-121

8. Programming with VDM domains

   • Uwe Schmidt, Hans-Martin Hörcher

   Pages 122-134

9. A buffering system implementation using VDM

   • Debora Weber-Wulff

   Pages 135-149

10. Formal specifications as reusable frameworks

    • David Garlan, Norman Delisle

    Pages 150-163

11. Z and the refinement calculus

    • Steve King

    Pages 164-188

12. Modularizing the formal description of a database system

    • J. S. Fitzgerald, C. B. Jones

    Pages 189-210

13. Modular extensions to Z

    • Augusto Sampaio, Silvio Meira

    Pages 211-232

14. Adding abstract datatypes to Meta-IV

    • J. Steensgaard-Madsen

    Pages 233-243

15. Towards a semantics for object-Z

    • David Duke, Roger Duke

    Pages 244-261

16. HOOD and Z for the development of complex software systems

    • R. Di Giovanni, P. L. Iachini

    Pages 262-289

17. Using Z as a specification calculus for object-oriented systems

    • Anthony Hall

    Pages 290-318

18. Specifying open distributed systems with Z

    • Reinhard Gotzhein

    Pages 319-339

19. Refinement of state-based concurrent systems

    • J. C. P. Woodcock, Carroll Morgan

    Pages 340-351

20. Refining data to processes

    • Job Zwiers

    Pages 352-369

The present volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering, Z refers to Zermelo, a mathematician whose name is associated with set theory. Many computing science, programming and software engineering proceedings are published regularly. The ones by VDM Europe have the distinguished mark that they are concerned with bringing real theory to apply to real programming. In Europe, there is very much interest in methodology, semantics and techniques, that is, in understanding how we build and what it is that we are building. The papers of these proceedings basically fall into four major groups: Applications, Methodology, Formalisations, and Foundations. The Methodology group has been further subdivided into five areas: Specification Methodology, Design Methodology, Modularity, Object Orientedness, and Processes, Concurrency and Distributed Systems.

• Entwurfsmethodik
• Spezifikationsmethodik
• design
• distributed systems
• formal method
• formalisation
• programming
• software engineering
• specification methodology
• verteilte Systeme

Policies and ethics