Skip to main content
SpringerLink
Log in

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

Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings

  • Conference proceedings
  • © 1990

Overview

Editors:
  1. D. Bjørner
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. C. A. R. Hoare
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. H. Langmaack
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 428)

Included in the following conference series:

Conference proceedings info: VDM 1990.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (27 papers)

  1. Front Matter

    Download chapter 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
Back to top

Other volumes

  1. VDM '90 VDM and Z — Formal Methods in Software Development

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation