Abstract is missing.
- Description is our BusinessMichael Jackson. 1-8
- Concurrent Processes as Objects (Abstract)Robin Milner. 9
- The Larch Approach to Specification (Abstract)John V. Guttag. 10
- Formal Specification in Metamorphic ProgramingDavid A. Penny, Richard C. Holt, Michael W. Godfrey. 11-30
- Formalizing Design Spaces: Implicit Invocation MechanismsDavid Garlan, David Notkin. 31-44
- On Type Checking in VDM and Related Consistency IssuesFlemming M. Damm, Bo Stig Hansen, Hans Bruun. 45-62
- Combining Transformation and Posit-and Prove in a VDM DevelopmentTim Clement. 63-80
- A Case for Structured Analysis/Formal DesignNico Plat, Jan van Katwijk, Kees Pronk. 81-105
- A Model-Oriented Method for Algebraic Specification using COLD-1 as NotationReinder J. Bril. 106-124
- A Mechanical Formalization of Several Fairness NotionsDavid M. Goldschlag. 125-148
- Specification and Stepwise Development of Communicating SystemsStephan Rössig, Michael Schenke. 149-163
- Writing Operational Semantics in Z: A Sructural ApproachMarc V. Benveniste. 164-188
- EZ: A System for Automatic Prototyping of Z SpecificationsVeronika Doma, Robin A. Nicholl. 189-203
- Z and High Level Petri NetsKees M. van Hee, Lou J. Somers, Marc Voorhoeve. 204-219
- An Approach to the Static Semantics of VDM-SLHans Bruun, Bo Stig Hansen, Flemming M. Damm. 220-253
- Behavioural Extension for CSPMichael J. Butler. 254-267
- CPO s do not form a CPO, and yet Recursion WorksMarek A. Bednarczyk, Andrzej M. Borzyszkowski. 268-278
- LPF and MPL::omega:: - A Logical Comparison of VDM SL and COLD-KC. A. Middelburg, Gerard R. Renardel de Lavalette. 279-308
- Tactical Tools for Distributing VDM SpecificationsThierry Cattel. 309-323
- An Attempt to Reason about Shared-State Concurrency in the Style of VDMKetil Stølen. 324-342
- Reasoning about VDM SpecificationsMorten Elvang-Gøransson. 343-355
- On Formal Specification of a Proof ToolR. D. Arthan. 356-370
- Reasoning about VDM Developments using the VDM Support Tool in MURALJuan Bicarregui, Brian Ritchie. 371-388
- EVES: An OverviewDan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink. 389-405
- Deriving Transivity of VDM-Reification in DEVAMatthias Weber. 406-427
- Upgrading the Pre- and Postcondition TechniqueH. B. M. Jonkers. 428-456
- The Formal Development of a Secure Transaction MechanismPaul Smith, Richard Keighley. 457-476
- Formal Development of a Serial Copy Management SystemGerard R. Renardel de Lavalette. 477-495
- Specification and Refinement in an Integrated Database Application EnvironmentKlaus-Dieter Schewe, Joachim W. Schmidt, Ingrid Wetzel. 496-510
- Techniques for Partial Specification and Specification of Switching SystemsPamela Zave, Michael Jackson. 511-525
- Specification of the MAA Standard in VDMGraeme I. Parkin, G. O Neill. 526-544
- Unintrusive Ways to Integrate Formal Specifications in PracticeJeannette M. Wing, Amy Moormann Zaremski. 545-569
- An Overview of HP-SLStephen Bear. 571-587
- CICS Project Report: Experiences and Results from the use of Z in IBMIan Houston, Steve King. 588-596
- A Debugger for a Meta-IV-like Meta-LanguageD. Kinnaes, Karel De Vlaminck. 597-603
- An Executable Subset of Meta-IV with Loose SpecificationPeter Gorm Larsen, Poul Bøgh Lassen. 604-618
- Using VDM within an Object-Oriented FrameworkLynn S. Marshall, Linda Simon. 619-628
- The Integrated Software Development and Verification System ATESA. Puccetti. 629-644
- Using RAISE - First Impressions from the LaCoS ApplicationsD. L. Chalmers, Bent Dandanell, Jesper Gørtz, Jan Storbank Pedersen, Eld Zierau. 645-657
- A Specification of a Complex Programming Language StatementP. McParland, Peter Kilpatrick. 658-667
- The PROSPECTRA SystemBerthold Hoffmann, Bernd Krieg-Brückner. 668-669
- The Visual Presentation of VDM SpecificationsJeremy Dick, Jérôme Loubersac. 670-671
- MURAL and SPECBOXRichard Moore, Peter K. D. Froome. 672-674
- The VDM Domain Compiler: A VDM Class Library GeneratorUwe Schmidt, Hans-Martin Hörcher. 675-676
- The Delft VDM-SL Front-EndNico Plat, Kees Pronk, Marcel Verhoef. 677-680
- Prototyping with Temporal VDM: A Status ReportH. Heping, Hussein Zedan. 681-682
- The EXSPECT ToolKees M. van Hee, Lou J. Somers, Marc Voorhoeve. 683-684
- CADIZ - Computer Aided Design in ZDavid Jordan. 685-686
- The HP-ST ToolsetChris Dollin. 687-688
- The RAISE ToolsetCRI RAISE Tools Group. 689-690
- The IBM Z ToolIan Houston. 691-692
- The VDM-SL Editor and Consistency CheckerFlemming M. Damm, Hans Bruun, Bo Stig Hansen. 693-694
- B-ToolMatthew K. O. Lee, Ib Holm Sørensen. 695-696
- A VDM Subset CompilerChristoph Blaue. 697-698