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. Springer 1990 Lecture Notes in Computer Science 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
Applications
- Danny B. Lange: A Formal Approach to Hypertext using Post-Prototype Formal Specification. 99-121
- Debora Weber-Wulff: A Buffering System Implementation using VDM. 135-149
Specification Methodology
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
- Jørgen Steensgaard-Madsen: Adding Abstract Datatypes to Meta-IV. 233-243
Object Orientedness
- Raffaele Di Giovanni, Pier Luigi 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
- 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
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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team