3. VDM Europe 1990: Kiel, Germany

Dines Bjørner, C. A. R. Hoare, Hans Langmaack (Eds.): VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings. Lecture Notes in Computer Science 428 Springer 1990, ISBN 3-540-52513-0

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

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

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

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

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

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

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

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

Last update Fri May 25 08:14:12 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page