Søren Prehn, W. J. Toetenel
Proceedings of the Fourth International Symposium on Vienna Development Method: Formal Software Development. Volume 1: Conference Contributions
VDM Europe (1), 1991.

@proceedings{VDME-v1-1991,
	address       = "Noordwijkerhout, The Netherlands",
	editor        = "Søren Prehn and W. J. Toetenel",
	isbn          = "3-540-54834-3",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Fourth International Symposium on Vienna Development Method: Formal Software Development. Volume 1: Conference Contributions}",
	volume        = 551,
	year          = 1991,
}

Contents (54 items)

15 ×#specification
5 ×#development
4 ×#using
3 ×#approach
3 ×#design
3 ×#named
3 ×#tool support
2 ×#bibliography
2 ×#compilation
2 ×#concurrent

VDME-1991-Jackson

Description is our Business (MJ), pp. 1–8.

VDME-1991-Milner #concurrent #process

Concurrent Processes as Objects (RM), p. 9.

VDME-1991-Guttag #approach #specification

The Larch Approach to Specification (JVG), p. 10.

VDME-1991-PennyHG #specification

Formal Specification in Metamorphic Programing (DAP, RCH, MWG), pp. 11–30.

VDME-1991-GarlanN #design #formal method

Formalizing Design Spaces: Implicit Invocation Mechanisms (DG, DN), pp. 31–44.

VDME-1991-DammHB #consistency #on the #type checking

On Type Checking in VDM and Related Consistency Issues (FMD, BSH, HB), pp. 45–62.

VDME-1991-Clement #development

Combining Transformation and Posit-and Prove in a VDM Development (TC), pp. 63–80.

VDME-1991-PlatKP #analysis #design

A Case for Structured Analysis/Formal Design (NP, JvK, KP), pp. 81–105.

VDME-1991-Bril #algebra #specification #using

A Model-Oriented Method for Algebraic Specification using COLD-1 as Notation (RJB), pp. 106–124.

VDME-1991-Goldschlag #formal method

A Mechanical Formalization of Several Fairness Notions (DMG), pp. 125–148.

VDME-1991-RossigS #communication #development #specification

Specification and Stepwise Development of Communicating Systems (SR, MS), pp. 149–163.

VDME-1991-Benveniste #approach #semantics

Writing Operational Semantics in Z: A Sructural Approach (MVB), pp. 164–188.

VDME-1991-DomaN #automation #named #prototype #specification

EZ: A System for Automatic Prototyping of Z Specifications (VD, RAN), pp. 189–203.

VDME-1991-HeeSV #petri net

Z and High Level Petri Nets (KMvH, LJS, MV), pp. 204–219.

VDME-1991-BruunHD #approach #semantics

An Approach to the Static Semantics of VDM-SL (HB, BSH, FMD), pp. 220–253.

VDME-1991-Butler #behaviour #csp

Behavioural Extension for CSP (MJB), pp. 254–267.

VDME-1991-BednarczykB #recursion

CPO’s do not form a CPO, and yet Recursion Works (MAB, AMB), pp. 268–278.

VDME-1991-MiddelburgL #comparison #logic

LPF and MPLω — A Logical Comparison of VDM SL and COLD-K (CAM, GRRdL), pp. 279–308.

VDME-1991-Cattel #specification #tool support

Tactical Tools for Distributing VDM Specifications (TC), pp. 309–323.

VDME-1991-Stolen #concurrent

An Attempt to Reason about Shared-State Concurrency in the Style of VDM (KS), pp. 324–342.

VDME-1991-Elvang-Goransson #reasoning #specification

Reasoning about VDM Specifications (MEG), pp. 343–355.

VDME-1991-Arthan #on the #proving #specification

On Formal Specification of a Proof Tool (RDA), pp. 356–370.

VDME-1991-BicarreguiR #reasoning #using

Reasoning about VDM Developments using the VDM Support Tool in MURAL (JB, BR), pp. 371–388.

VDME-1991-CraigenKMPS #named #overview #perspective

EVES: An Overview (DC, SK, IM, BP, MS), pp. 389–405.

VDME-1991-Weber

Deriving Transivity of VDM-Reification in DEVA (MW), pp. 406–427.

VDME-1991-Jonkers

Upgrading the Pre- and Postcondition Technique (HBMJ), pp. 428–456.

VDME-1991-SmithK #development #transaction

The Formal Development of a Secure Transaction Mechanism (PS, RK), pp. 457–476.

VDME-1991-Lavalette #development

Formal Development of a Serial Copy Management System (GRRdL), pp. 477–495.

VDME-1991-ScheweSW #database #refinement #specification

Specification and Refinement in an Integrated Database Application Environment (KDS, JWS, IW), pp. 496–510.

VDME-1991-ZaveJ #specification

Techniques for Partial Specification and Specification of Switching Systems (PZ, MJ), pp. 511–525.

VDME-1991-ParkinO #specification #standard

Specification of the MAA Standard in VDM (GIP, GO), pp. 526–544.

VDME-1991-WingZ #specification

Unintrusive Ways to Integrate Formal Specifications in Practice (JMW, AMZ), pp. 545–569.

VDME-1991-Bear #overview

An Overview of HP-SL (SB), pp. 571–587.

VDME-1991-HoustonK #case study #cics #experience #using

CICS Project Report: Experiences and Results from the use of Z in IBM (IH, SK), pp. 588–596.

VDME-1991-KinnaesV #debugging #metalanguage

A Debugger for a Meta-IV-like Meta-Language (DK, KDV), pp. 597–603.

VDME-1991-LarsenL #execution #set #specification

An Executable Subset of Meta-IV with Loose Specification (PGL, PBL), pp. 604–618.

VDME-1991-MarshallS #framework #object-oriented #using

Using VDM within an Object-Oriented Framework (LSM, LS), pp. 619–628.

VDME-1991-Puccetti #development #verification

The Integrated Software Development and Verification System ATES (AP), pp. 629–644.

VDME-1991-ChalmersDGPZ #using

Using RAISE — First Impressions from the LaCoS Applications (DLC, BD, JG, JSP, EZ), pp. 645–657.

VDME-1991-McParlandK #programming language #specification

A Specification of a Complex Programming Language Statement (PM, PK), pp. 658–667.

VDME-1991-HoffmannK

The PROSPECTRA System (BH, BKB), pp. 668–669.

VDME-1991-DickL #specification #visual notation

The Visual Presentation of VDM Specifications (JD, JL), pp. 670–671.

VDME-1991-MooreF

MURAL and SPECBOX (RCM, PKDF), pp. 672–674.

VDME-1991-SchmidtH #compilation #generative #library

The VDM Domain Compiler: A VDM Class Library Generator (US, HMH), pp. 675–676.

VDME-1991-PlatPV

The Delft VDM-SL Front-End (NP, KP, MV), pp. 677–680.

VDME-1991-HepingZ #prototype

Prototyping with Temporal VDM: A Status Report (HH, HZ), pp. 681–682.

VDME-1991-HeeSV91a

The EXSPECT Tool (KMvH, LJS, MV), pp. 683–684.

VDME-1991-Jordan #design #named

CADIZ — Computer Aided Design in Z (DJ), pp. 685–686.

VDME-1991-Dollin #tool support

The HP-ST Toolset (CD), pp. 687–688.

VDME-1991-Group #tool support

The RAISE Toolset (CRI), pp. 689–690.

VDME-1991-Houston

The IBM Z Tool (IH), pp. 691–692.

VDME-1991-DammBH #consistency #editing

The VDM-SL Editor and Consistency Checker (FMD, HB, BSH), pp. 693–694.

VDME-1991-LeeS

B-Tool (MKOL, IHS), pp. 695–696.

VDME-1991-Blaue #compilation #set

A VDM Subset Compiler (CB), pp. 697–698.