VDM '90. VDM and Z - Formal Methods in Software Development Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings

VDM '90. VDM and Z - Formal Methods in Software Development Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings / edited by Dines Bjørner, C.A.R. Hoare, Hans Langmaack.

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 procee...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Bjørner, Dines (Editor), Hoare, C.A.R (Editor), Langmaack, Hans (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990.
Edition:1st ed. 1990.
Series:Lecture Notes in Computer Science, 428
Springer eBook Collection.
Subjects:
Computers.
Software engineering.
Computer logic.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • Object orientation and formal techniques
  • An algebraic approach to refinement
  • Modal logic programming
  • Z specification of an object manager
  • Correctness in the small
  • A formal approach to hypertext using post-prototype formal specification
  • Programming with VDM domains
  • A buffering system implementation using VDM
  • Formal specifications as reusable frameworks
  • Z and the refinement calculus
  • Modularizing the formal description of a database system
  • Modular extensions to Z
  • Adding abstract datatypes to Meta-IV
  • Towards a semantics for object-Z
  • HOOD and Z for the development of complex software systems
  • Using Z as a specification calculus for object-oriented systems
  • Specifying open distributed systems with Z
  • Refinement of state-based concurrent systems
  • Refining data to processes
  • Two approaches towards the formalisation of VDM
  • Type checking BSI/VDM-SL
  • Type inference in Z
  • Recursive definitions revisited
  • Towards the semantics of the definitional language of MetaSoft
  • On conservative extensions of syntax in the process of system development
  • A formal semantics for Z and the link between Z and the relational algebra
  • A naive domain universe for VDM.

Similar Items