## VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, ProceedingsThe 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. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Invited Talks | 1 |

Modal Logic Programming | 29 |

Correctness in the Small | 72 |

Copyright | |

20 other sections not shown

### Other editions - View all

VDM '90. VDM and Z - Formal Methods in Software Development: Third ... Dines Bjorner,C.A.R. Hoare,Hans Langmaack No preview available - 2014 |

### Common terms and phrases

abstract datatype algebra attribute attribute grammar basic Block BSI/VDM C.A.R. Hoare called components Computer Science constraints construction contains context corresponding cpo's data types database declaration defined definition denotational semantics denotes described Deva domain constructors elements environment equations Esetnm example extension finite formal specification formalisation given grammar graphs HOOD hypertext identifier implementation instantiation interaction point interface interpretation introduce invariant Joseph Goguen least fixed point Lemma logic mapping memory Meta-IV method modular module node Norsk Data notation object-oriented Object-Z operation parameters possible types set postcondition precondition predicate programming languages proof obligations properties Queue recursive reference refinement calculus relation relational algebra representation rules schema expression semantics sequence signature specification language stack structure symbolic types syntactic syntax table expression temporal logic Theorem theory tree tuples type checking type system visitor Zbase Zscript