VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings: Volume 1: Conference Contributions

Pirmais vāks
Springer Science & Business Media, 1991. gada 14. okt. - 705 lappuses
The proceedings of the fourth Vienna Development Method Symposium, VDM'91, are published here in two volumes. Previous VDM symposia were held in 1987 (LNCS 252), 1988 (LNCS 328), and 1990 (LNCS 428). The VDM symposia have been organized by VDM Europe, formed in 1985 as an advisory board sponsored by the Commission of the European Communities. The VDM Europe working group consisted of researchers, software engineers, and programmers, allinterested in promoting the industrial usage of formal methods for software development. The fourth VDM symposium presented not only VDM but also a large number of other methods for formal software development. Volume 1 contains conference contributions. It has four parts: contributions of invited speakers, papers, project reports, and tools demonstration abstracts. The emphasis is on methods and calculi for development, verification and verification tools support, experiences from doing developments, and the associated theoretical problems. Volume 2 contains four introductory tutorials (on LARCH, Refinement Calculus, VDM, and RAISE) and four advanced tutorials (on ABEL, PROSPECTRA, The B Method, and The Stack). They present a comprehensive account of the state of theart.

No grāmatas satura

Saturs

Description Is Our Business
1
Concurrent Processes as Objects
9
The Larch Approach to Specification
10
Formal Specification in Metamorphic Programming
11
Implicit Invocation Mechanisms
31
On Type Checking in VDM and Related Consistency Issues
45
Combining Transformation and PositandProve in a VDM Development
63
A Case for Structured Analysis Formal Design
81
Specification and Refinement in an Integrated Database Application Environment
496
Techniques for Partial Specification and Specification of Switching Systems
511
Specification of the MAA Standard in VDM
526
Unintrusive Ways to Integrate Formal Specifications in Practice
545
An Overview of HPSL
571
Experiences and Results from the Use of Z in IBM
588
A Debugger for a MetaIVlike Metalanguage
597
An Executable Subset of MetaIV with Loose Specification
604

A Modeloriented Method for Algebraic Specifications Using COLD1 as Notation
106
A Mechanical Formalization of Several Fairness Notions
125
Specification and Stepwise Development of Communicating Systems
149
A Structural Approach
164
A System for Automatic Prototyping of Z Specifications
189
Z and High Level Petri Nets
204
An Approach to the Static Semantics of VDMSL
220
Behavioural Extension for CSP
254
Cpos do not form a Cpo and yet Recursion Works
268
LPF and MPL𝜔 A Logical Comparison of VDM SL and COLDK
279
Tactical Tools for Distributing VDM Specifications
309
An Attempt to Reason About SharedState Concurrency in the Style of VDM
324
Reasoning About VDM Specifications
343
Formal Specification of a Proof Tool
356
Reasoning About VDM Developments Using The VDM Support Tool in Mural
371
An Overview
389
Deriving Transitivity of VDMReification in DEVA
406
Upgrading the Preand Postcondition Technique
428
The Formal Development of a Secure Transaction Mechanism
457
Formal Development of a Serial Copy Management System
477
Using VDM within an ObjectOriented Framework
619
The Integrated Software Development and Verification System Ates
629
Using RAISE First Impressions from the LaCoS Applications
645
A Specification of a Complex Programming Language Statement
658
The PROSPECTRA System
668
The Visual Presentation of VDM Specifications
670
mural and SpecBox
672
A VDM Class Library Generator
675
The Delft VDMSL FrontEnd
677
A Status Report
681
The ExSpect tool
683
CadizComputer Aided Design in Z
685
The HPST Toolset
687
The RAISE Toolset
689
The IBM Z Tool
691
The VDMSL Editor and Consistency Checker
693
BTool
695
A VDM Subset Compiler
697
Index of Authors
Autortiesības

Citi izdevumi - Skatīt visu

Bieži izmantoti vārdi un frāzes

Bibliogrāfiskā informācija