4. VDM Europe 1991: Noordwijkerhout, The Netherlands, Volume 1

Invited Speakers

• Michael Jackson:
  Description is our Business. 1-8
  
• Robin Milner:
  Concurrent Processes as Objects (Abstract). 9
  
• John V. Guttag:
  The Larch Approach to Specification (Abstract). 10
  

Papers

• David A. Penny, Richard C. Holt, Michael W. Godfrey:
  Formal Specification in Metamorphic Programing. 11-30
  
• David Garlan, David Notkin:
  Formalizing Design Spaces: Implicit Invocation Mechanisms. 31-44
  
• Flemming M. Damm, Bo Stig Hansen, Hans Bruun:
  On Type Checking in VDM and Related Consistency Issues. 45-62
  
• Tim Clement:
  Combining Transformation and Posit-and Prove in a VDM Development. 63-80
  
• Nico Plat, Jan van Katwijk, Kees Pronk:
  A Case for Structured Analysis/Formal Design. 81-105
  
• Reinder J. Bril:
  A Model-Oriented Method for Algebraic Specification using COLD-1 as Notation. 106-124
  
• David M. Goldschlag:
  A Mechanical Formalization of Several Fairness Notions. 125-148
  
• Stephan Rössig, Michael Schenke:
  Specification and Stepwise Development of Communicating Systems. 149-163
  
• Marc V. Benveniste:
  Writing Operational Semantics in Z: A Sructural Approach. 164-188
  
• Veronika Doma, Robin A. Nicholl:
  EZ: A System for Automatic Prototyping of Z Specifications. 189-203
  
• Kees M. van Hee, Lou J. Somers, Marc Voorhoeve:
  Z and High Level Petri Nets. 204-219
  
• Hans Bruun, Bo Stig Hansen, Flemming M. Damm:
  An Approach to the Static Semantics of VDM-SL. 220-253
  
• Michael J. Butler:
  Behavioural Extension for CSP. 254-267
  
• Marek A. Bednarczyk, Andrzej M. Borzyszkowski:
  CPO's do not form a CPO, and yet Recursion Works. 268-278
  
• C. A. Middelburg, Gerard R. Renardel de Lavalette:
  LPF and MPL_omega - A Logical Comparison of VDM SL and COLD-K. 279-308
  
• Thierry Cattel:
  Tactical Tools for Distributing VDM Specifications. 309-323
  
• Ketil Stølen:
  An Attempt to Reason about Shared-State Concurrency in the Style of VDM. 324-342
  
• Morten Elvang-Gøransson:
  Reasoning about VDM Specifications. 343-355
  
• R. D. Arthan:
  On Formal Specification of a Proof Tool. 356-370
  
• Juan Bicarregui, Brian Ritchie:
  Reasoning about VDM Developments using the VDM Support Tool in MURAL. 371-388
  
• Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink:
  EVES: An Overview. 389-405
  
• Matthias Weber:
  Deriving Transivity of VDM-Reification in DEVA. 406-427
  
• H. B. M. Jonkers:
  Upgrading the Pre- and Postcondition Technique. 428-456
  
• Paul Smith, Richard Keighley:
  The Formal Development of a Secure Transaction Mechanism. 457-476
  
• Gerard R. Renardel de Lavalette:
  Formal Development of a Serial Copy Management System. 477-495
  
• Klaus-Dieter Schewe, Joachim W. Schmidt, Ingrid Wetzel:
  Specification and Refinement in an Integrated Database Application Environment. 496-510
  
• Pamela Zave, Michael Jackson:
  Techniques for Partial Specification and Specification of Switching Systems. 511-525
  
• Graeme I. Parkin, G. O'Neill:
  Specification of the MAA Standard in VDM. 526-544
  
• Jeannette M. Wing, Amy Moormann Zaremski:
  Unintrusive Ways to Integrate Formal Specifications in Practice. 545-569
  

Reports

• Stephen Bear:
  An Overview of HP-SL. 571-587
  
• Ian Houston, Steve King:
  CICS Project Report: Experiences and Results from the use of Z in IBM. 588-596
  
• D. Kinnaes, Karel De Vlaminck:
  A Debugger for a Meta-IV-like Meta-Language. 597-603
  
• Peter Gorm Larsen, Poul Bøgh Lassen:
  An Executable Subset of Meta-IV with Loose Specification. 604-618
  
• Lynn S. Marshall, Linda Simon:
  Using VDM within an Object-Oriented Framework. 619-628
  
• A. Puccetti:
  The Integrated Software Development and Verification System ATES. 629-644
  
• D. L. Chalmers, Bent Dandanell, Jesper Gørtz, Jan Storbank Pedersen, Eld Zierau:
  Using RAISE - First Impressions from the LaCoS Applications. 645-657
  
• P. McParland, Peter Kilpatrick:
  A Specification of a Complex Programming Language Statement. 658-667
  
• Berthold Hoffmann, Bernd Krieg-Brückner:
  The PROSPECTRA System. 668-669
  
• Jeremy Dick, Jérôme Loubersac:
  The Visual Presentation of VDM Specifications. 670-671
  
• Richard Moore, Peter K. D. Froome:
  MURAL and SPECBOX. 672-674
  
• Uwe Schmidt, Hans-Martin Hörcher:
  The VDM Domain Compiler: A VDM Class Library Generator. 675-676
  
• Nico Plat, Kees Pronk, Marcel Verhoef:
  The Delft VDM-SL Front-End. 677-680
  
• Heping He, Hussein Zedan:
  Prototyping with Temporal VDM: A Status Report. 681-682
  
• Kees M. van Hee, Lou J. Somers, Marc Voorhoeve:
  The EXSPECT Tool. 683-684
  
• David Jordan:
  CADIZ - Computer Aided Design in Z. 685-686
  
• Chris Dollin:
  The HP-ST Toolset. 687-688
  
• CRI RAISE Tools Group:
  The RAISE Toolset. 689-690
  
• Ian Houston:
  The IBM Z Tool. 691-692
  
• Flemming M. Damm, Hans Bruun, Bo Stig Hansen:
  The VDM-SL Editor and Consistency Checker. 693-694
  
• Matthew K. O. Lee, Ib Holm Sørensen:
  B-Tool. 695-696
  
• Christoph Blaue:
  A VDM Subset Compiler. 697-698