default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th VDM Europe 1991: Noordwijkerhout, The Netherlands, Volume 1
- Søren Prehn, W. J. Toetenel:
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
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 - Cornelis A. Middelburg, Gerard R. Renardel de Lavalette:
LPF and MPLomega - 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. P. 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 - Armand 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 C. 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 - 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 Lee, Ib Holm Sørensen:
B-Tool. 695-696 - Christoph Blaue:
A VDM Subset Compiler. 697-698
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-29 00:03 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
