VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings

1. Front Matter

   PDF

2. Description is our business

   • Michael Jackson

   Pages 1-8

3. Concurrent processes as objects

   • Robin Milner

   Pages 9-9

4. The Larch approach to specification

   • John V. Guttag

   Pages 10-10

5. Formal specification in metamorphic programming

   • David A. Penny, Richard C. Holt, Michael W. Godfrey

   Pages 11-30

6. Formalizing design spaces: Implicit invocation mechanisms

   • David Garlan, David Notkin

   Pages 31-44

7. On type checking in VDM and related consistency issues

   • Flemming Damm, Bo Stig Hansen, Hans Bruun

   Pages 45-62

8. Combining transformation and posit-and-prove in a VDM development

   • T. Clement

   Pages 63-80

9. A case for structured analysis/formal design

   • Nico Plat, Jan van Katwijk, Kees Pronk

   Pages 81-105

10. A model-oriented method for algebraic specifications using COLD-1 as notation

    • Reinder J. Bril

    Pages 106-124

11. A mechanical formalization of several fairness notions

    • David M. Goldschlag

    Pages 125-148

12. Specification and stepwise development of communicating systems

    • Stephan Rössig, Michael Schenke

    Pages 149-163

13. Writing operational semantics in Z: A structural approach

    • Marc Benveniste

    Pages 164-188

14. EZ: A system for automatic prototyping of Z specifications

    • Veronika Doma, Robin Nicholl

    Pages 189-203

15. Z and high level Petri nets

    • K. M. van Hee, L. J. Somers, M. Voorhoeve

    Pages 204-219

16. An approach to the static semantics of VDM-SL

    • Hans Bruun, Bo Stig Hansen, Flemming Damm

    Pages 220-253

17. Behavioural extension for CSP

    • Michael J. Butler

    Pages 254-267

18. Cpo's do not form a cpo, and yet recursion works

    • Marek A. Bednarczyk, Andrzej M. Borzyszkowski

    Pages 268-278

19. LPF and MPLω — A logical comparison of VDM SL and COLD-K

    • C. A. Middelburg, G. R. Renardel de Lavalette

    Pages 279-308

20. Tactical tools for distributing VDM specifications

    • Thierry Cattel

    Pages 309-323

The proceedings of the fourth Vienna Development Method Symposium, VDM'91, are published here in two volumes. Previous VDM symposia were held in 1987 (LNCS 252), 1988 (LNCS 328), and 1990 (LNCS 428). The VDM symposia have been organized by VDM Europe, formed in 1985 as an advisory board sponsored by the Commission of the European Communities. The VDM Europe working group consisted of researchers, software engineers, and programmers, allinterested in promoting the industrial usage of formal methods for software development. The fourth VDM symposium presented not only VDM but also a large number of other methods for formal software development. Volume 1 contains conference contributions. It has four parts: contributions of invited speakers, papers, project reports, and tools demonstration abstracts. The emphasis is on methods and calculi for development, verification and verification tools support, experiences from doing developments, and the associated theoretical problems. Volume 2 contains four introductory tutorials (on LARCH, Refinement Calculus, VDM, and RAISE) and four advanced tutorials (on ABEL, PROSPECTRA, The B Method, and The Stack). They present a comprehensive account of the state of theart.

• Bedeutung von Programmen
• Formale Methoden
• Program Verification
• Programm Verifikatiuon
• Reasoning about Programs
• Software Development
• Software Entwicklung
• Software Specification
• Software-SpecifiKation
• Vienna Development Method
• formal method
• verification

Policies and ethics