4. VDM Europe 1991:
Noordwijkerhout,
The Netherlands,
Volume 1
Søren Prehn, W. J. Toetenel (Eds.):
VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 1: Conference Contributions.
Lecture Notes in Computer Science 551 Springer 1991, ISBN 3-540-54834-3 BibTeX
@proceedings{DBLP:conf/fm/1991-1,
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {VDM '91 - Formal Software Development, 4th International Symposium
of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25,
1991, Proceedings, Volume 1: Conference Contributions},
booktitle = {VDM Europe (1)},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {551},
year = {1991},
isbn = {3-540-54834-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Speakers
Papers
- David A. Penny, Richard C. Holt, Michael W. Godfrey:
Formal Specification in Metamorphic Programing.
11-30 BibTeX
- David Garlan, David Notkin:
Formalizing Design Spaces: Implicit Invocation Mechanisms.
31-44 BibTeX
- Flemming M. Damm, Bo Stig Hansen, Hans Bruun:
On Type Checking in VDM and Related Consistency Issues.
45-62 BibTeX
- Tim Clement:
Combining Transformation and Posit-and Prove in a VDM Development.
63-80 BibTeX
- Nico Plat, Jan van Katwijk, Kees Pronk:
A Case for Structured Analysis/Formal Design.
81-105 BibTeX
- Reinder J. Bril:
A Model-Oriented Method for Algebraic Specification using COLD-1 as Notation.
106-124 BibTeX
- David M. Goldschlag:
A Mechanical Formalization of Several Fairness Notions.
125-148 BibTeX
- Stephan Rössig, Michael Schenke:
Specification and Stepwise Development of Communicating Systems.
149-163 BibTeX
- Marc V. Benveniste:
Writing Operational Semantics in Z: A Sructural Approach.
164-188 BibTeX
- Veronika Doma, Robin A. Nicholl:
EZ: A System for Automatic Prototyping of Z Specifications.
189-203 BibTeX
- Kees M. van Hee, Lou J. Somers, Marc Voorhoeve:
Z and High Level Petri Nets.
204-219 BibTeX
- Hans Bruun, Bo Stig Hansen, Flemming M. Damm:
An Approach to the Static Semantics of VDM-SL.
220-253 BibTeX
- Michael J. Butler:
Behavioural Extension for CSP.
254-267 BibTeX
- Marek A. Bednarczyk, Andrzej M. Borzyszkowski:
CPO's do not form a CPO, and yet Recursion Works.
268-278 BibTeX
- C. A. Middelburg, Gerard R. Renardel de Lavalette:
LPF and MPLomega - A Logical Comparison of VDM SL and COLD-K.
279-308 BibTeX
- Thierry Cattel:
Tactical Tools for Distributing VDM Specifications.
309-323 BibTeX
- Ketil Stølen:
An Attempt to Reason about Shared-State Concurrency in the Style of VDM.
324-342 BibTeX
- Morten Elvang-Gøransson:
Reasoning about VDM Specifications.
343-355 BibTeX
- R. D. Arthan:
On Formal Specification of a Proof Tool.
356-370 BibTeX
- Juan Bicarregui, Brian Ritchie:
Reasoning about VDM Developments using the VDM Support Tool in MURAL.
371-388 BibTeX
- Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink:
EVES: An Overview.
389-405 BibTeX
- Matthias Weber:
Deriving Transivity of VDM-Reification in DEVA.
406-427 BibTeX
- H. B. M. Jonkers:
Upgrading the Pre- and Postcondition Technique.
428-456 BibTeX
- Paul Smith, Richard Keighley:
The Formal Development of a Secure Transaction Mechanism.
457-476 BibTeX
- Gerard R. Renardel de Lavalette:
Formal Development of a Serial Copy Management System.
477-495 BibTeX
- Klaus-Dieter Schewe, Joachim W. Schmidt, Ingrid Wetzel:
Specification and Refinement in an Integrated Database Application Environment.
496-510 BibTeX
- Pamela Zave, Michael Jackson:
Techniques for Partial Specification and Specification of Switching Systems.
511-525 BibTeX
- Graeme I. Parkin, G. O'Neill:
Specification of the MAA Standard in VDM.
526-544 BibTeX
- Jeannette M. Wing, Amy Moormann Zaremski:
Unintrusive Ways to Integrate Formal Specifications in Practice.
545-569 BibTeX
Reports
- Stephen Bear:
An Overview of HP-SL.
571-587 BibTeX
- Ian Houston, Steve King:
CICS Project Report: Experiences and Results from the use of Z in IBM.
588-596 BibTeX
- D. Kinnaes, Karel De Vlaminck:
A Debugger for a Meta-IV-like Meta-Language.
597-603 BibTeX
- Peter Gorm Larsen, Poul Bøgh Lassen:
An Executable Subset of Meta-IV with Loose Specification.
604-618 BibTeX
- Lynn S. Marshall, Linda Simon:
Using VDM within an Object-Oriented Framework.
619-628 BibTeX
- A. Puccetti:
The Integrated Software Development and Verification System ATES.
629-644 BibTeX
- D. L. Chalmers, Bent Dandanell, Jesper Gørtz, Jan Storbank Pedersen, Eld Zierau:
Using RAISE - First Impressions from the LaCoS Applications.
645-657 BibTeX
- P. McParland, Peter Kilpatrick:
A Specification of a Complex Programming Language Statement.
658-667 BibTeX
- Berthold Hoffmann, Bernd Krieg-Brückner:
The PROSPECTRA System.
668-669 BibTeX
- Jeremy Dick, Jérôme Loubersac:
The Visual Presentation of VDM Specifications.
670-671 BibTeX
- Richard Moore, Peter K. D. Froome:
MURAL and SPECBOX.
672-674 BibTeX
- Uwe Schmidt, Hans-Martin Hörcher:
The VDM Domain Compiler: A VDM Class Library Generator.
675-676 BibTeX
- Nico Plat, Kees Pronk, Marcel Verhoef:
The Delft VDM-SL Front-End.
677-680 BibTeX
- H. Heping, Hussein Zedan:
Prototyping with Temporal VDM: A Status Report.
681-682 BibTeX
- Kees M. van Hee, Lou J. Somers, Marc Voorhoeve:
The EXSPECT Tool.
683-684 BibTeX
- David Jordan:
CADIZ - Computer Aided Design in Z.
685-686 BibTeX
- Chris Dollin:
The HP-ST Toolset.
687-688 BibTeX
- CRI RAISE Tools Group:
The RAISE Toolset.
689-690 BibTeX
- Ian Houston:
The IBM Z Tool.
691-692 BibTeX
- Flemming M. Damm, Hans Bruun, Bo Stig Hansen:
The VDM-SL Editor and Consistency Checker.
693-694 BibTeX
- Matthew K. O. Lee, Ib Holm Sørensen:
B-Tool.
695-696 BibTeX
- Christoph Blaue:
A VDM Subset Compiler.
697-698 BibTeX
Copyright © Sat May 16 23:12:14 2009
by Michael Ley (ley@uni-trier.de)
