Skip to main content
SpringerLink
Log in

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

Volume 2: Tutorials

  • Conference proceedings
  • © 1991

Overview

Editors:
  1. Søren Prehn
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Hans Toetenel
    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 552)

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 (8 papers)

  1. Front Matter

    Download chapter PDF

  2. A tutorial on Larch and LCL, a Larch/C interface language

    • John V. Guttag, James J. Horning
    Pages 1-78

  3. A tutorial on the refinement calculus

    • J. C. P. Woodcock
    Pages 79-140

  4. Tutorial lecture notes on the Irish School of the VDM

    • Mícheál Mac an Airchinnigh
    Pages 141-237

  5. The RAISE specification language a tutorial

    • Chris George
    Pages 238-319

  6. Formal Development with ABEL

    • Ole-Johan Dahl, Olaf Owe
    Pages 320-362

  7. The PROSPECTRA methodology and system: uniform transformational (meta-) development

    • Bernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor
    Pages 363-397

  8. The B-method

    • J. -R. Abrial, M. K. O. Lee, D. S. Neilson, P. N. Scharbach, I. H. Sørensen
    Pages 398-405

  9. Mathematical methods for digital systems development

    • Donald I. Good, William D. Young
    Pages 406-430

  10. Back Matter

    Download chapter PDF
Back to top

Keywords

About this book

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 the VDM Europe, formed in 1985 as an advisory board sponsored by the Commission of the European Communities. The VDM Europe working group consisted of reasearchers, software engineers, and programmers, all interested in prommoting 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 the 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. Volume2 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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation