Lecture Notes in Computer Science

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

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

Editors: Bjorner, Dines, Hoare, C.A.R., Langmaack, Hans (Eds.)

Free Preview

Buy this book

eBook $109.00
price for USA in USD
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-47006-9
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.00
price for USA in USD
  • ISBN 978-3-540-52513-4
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
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.

Table of contents (27 chapters)

Table of contents (27 chapters)
  • Object orientation and formal techniques

    Pages 1-11

    Dahl, Ole-Johan

  • An algebraic approach to refinement

    Pages 12-28

    Goguen, Joseph A.

  • Modal logic programming

    Pages 29-40

    Kato, D. (et al.)

  • Z specification of an object manager

    Pages 41-71

    Chalin, Patrice (et al.)

  • Correctness in the small

    Pages 72-98

    Haastrup, Peter (et al.)

Buy this book

eBook $109.00
price for USA in USD
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-47006-9
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.00
price for USA in USD
  • ISBN 978-3-540-52513-4
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
Loading...

Services for this Book

Bibliographic Information

Bibliographic Information
Book Title
VDM '90. VDM and Z - Formal Methods in Software Development
Book Subtitle
Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
Editors
  • Dines Bjorner
  • C.A.R. Hoare
  • Hans Langmaack
Series Title
Lecture Notes in Computer Science
Series Volume
428
Copyright
1990
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-47006-9
DOI
10.1007/3-540-52513-0
Softcover ISBN
978-3-540-52513-4
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XX, 588
Topics