3. VDM Europe 1990: Kiel, Germany

Invited Talks

• Ole-Johan Dahl:
  Object Orientation and Formal Techniques. 1-11
  
• Joseph A. Goguen:
  An Algebraic Approach to Refinement. 12-28
  
• D. Kato, T. Kikuchi, R. Nakajima, J. Sawada, H. Tsuiki:
  Modal Logic Programming. 29-40
  

Applications

• Patrice Chalin, Peter Grogono:
  Z Specification of an Object Manager. 41-71
  
• Peter Haastrup, Christian Gram:
  Correctness in the Small. 72-98
  
• Danny B. Lange:
  A Formal Approach to Hypertext using Post-Prototype Formal Specification. 99-121
  
• Uwe Schmidt, Hans-Martin Hörcher:
  Programming with VDM Domains. 122-134
  
• Debora Weber-Wulff:
  A Buffering System Implementation using VDM. 135-149
  

Specification Methodology

• David Garlan, Norman M. Delisle:
  Formal Specifications as Reusable Frameworks. 150-163
  

Design Methodology

• Steve King:
  Z and the Refinement Calculus. 164-188
  

Modularity

• John S. Fitzgerald, Cliff B. Jones:
  Modularizing the Formal Description of a Database System. 189-210
  
• Augusto Sampaio, Silvio Romero de Lemos Meira:
  Modular Extensions to Z. 211-232
  
• Jørgen Steensgaard-Madsen:
  Adding Abstract Datatypes to Meta-IV. 233-243
  

Object Orientedness

• David J. Duke, Roger Duke:
  Towards a Semantics for Object-Z. 244-261
  
• Raffaele Di Giovanni, P. L. Iachini:
  HOOD and Z for the Development of Complex Software Systems. 262-289
  
• Anthony Hall:
  Using Z as a Specification Calculus for Object-Oriented Systems. 290-318
  

Processes, Concurrency and Distributed Systems

• Reinhard Gotzhein:
  Specifying Open Distributed Systems with Z. 319-339
  
• Jim Woodcock, Carroll Morgan:
  Refinement of State-Based Concurrent Systems. 340-351
  
• Job Zwiers:
  Refining Data to Processes. 352-369
  

Formalisations

• Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens:
  Two Approaches towards the Formalisation of VDM. 370-398
  

Type Systems

• Nico Plat, Ronald Huijsman, Jan van Katwijk, Gertjan van Oosten, Kees Pronk, Hans Toetenel:
  Type Checking BSI/VDM-SL. 399-425
  
• J. Michael Spivey, Bernard Sufrin:
  Type Inference in Z. 426-451
  

Foundations

• Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Wieslaw Pawlowski:
  Recursive Definitions Revisited. 452-476
  
• Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Wieslaw Pawlowski:
  Towards the Semantics of the Definitional Language of MetaSoft. 471-503
  
• Andrzej Blikle, Mikkel Thorup:
  On Conservative Extensions of Syntax in the Process of System Development. 504-525
  
• M. J. van Diepen, Kees M. van Hee:
  A Formal Semantics for Z and the Link between Z and the Relational Algebra. 526-551
  
• Andrzej Tarlecki, Morten Wieth:
  A Naive Domain Universe for VDM. 552-579