See this document in CiteSeerX!

The VDM Bibliography (1995)  (Make Corrections)  (1 citation)
Peter Gorm Larsen



  Home/Search   Context   Related

 
View or download:
imada.ou.dk/pub/docs/vdmbib.ps.gz
ifad.dk/pub/vdm/vdmbib.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  gruffle.comlab.ox.ac.uk/ar...pubs (more)
From:  gruffle.comlab.ox.ac.uk/ar...pubs
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: This document contains the annotated VDM bibliography with 592 entries related to VDM. The listed items come from a wide variety of sources, but unfortunately the list is not yet exhaustive. This version contains a partitioning of entries into categories of subjects. A little introduction and background material is given, and some advice on how to get started with VDM (for newcomers). This document was previously edited at the Technical University of Denmark by Dines Bjørner (subject editor)... (Update)

Context of citations to this paper:   More

.... VDM SL has been standardized [21] There is a comprehensive list of publications related to VDM and VDM SL called the VDM bibliography [33]. For VDM SL there is good tool support: the IFAD Toolbox for VDM SL [13] has achieved a certain level of maturity. The IFAD Toolbox has...

Cited by:   More
On the Integration of Formal Methods: Events and Scenarios in PVS .. - Droschl (1999)   (Correct)

Similar documents (at the sentence level):
70.1%:   The VDM Bibliography - Larsen (1996)   (Correct)

Active bibliography (related documents):   More   All
2.9:   Formal Methods - Selected Historical References - Jones, McCauley (1992)   (Correct)
2.9:   A Formal Semantics of Data Flow Diagrams - Larsen, Plat, Toetenel (1994)   (Correct)
2.7:   An Investigation of Executable Specification Languages for the.. - Larsen (1991)   (Correct)

Similar documents based on text:   More   All
0.3:   Towards Proof Rules for Looseness in Explicit Definitions from.. - Larsen (1993)   (Correct)
0.3:   Response to "The Formal Specification of Safety Requirements for.. - Larsen (1994)   (Correct)
0.3:   SVDM: An Integrated Combination of SA and VDM - Larsen, van Katwijk, Plat.. (1991)   (Correct)

BibTeX entry:   (Update)

Larsen P.G. The VDM Bibliography. http://liinwww.ira.uka.de/bibliography/SE/vdm.html http://citeseer.ist.psu.edu/article/larsen95vdm.html   More

@techreport{ larsen94vdm,
    author = "Peter Gorm Larsen",
    title = "The {VDM} Bibliography",
    month = "January",
    address = "Forskerparken 10, DK-5230 Odense M, Denmark",
    year = "1994",
    url = "citeseer.ist.psu.edu/article/larsen95vdm.html" }
Citations (may not include all citations):
689   Systematic Software Development Using VDM - Jones - 1986
105   Technical Report - Tool, VDM et al. - 1994
83   Automating the Generation and Sequencing of Test Cases from .. (context) - Dick, Faivre - 1993
78   Specification and design (context) - Jones - 1983
65   Specifications are not (context) - Hayes, Jones - 1989
61   Tentative steps towards a development method for interfering.. (context) - Jones - 1983
47   The PSG-System: From Formal Language Definitions to Interact.. (context) - Bahlke, Snelting - 1986
43   Department of Computer Science (context) - Clark, me et al. - 1990
43   Department of Computer Science (context) - Clark, me et al. - 1990
43   Department of Computer Science (context) - Clark, of et al. - 1989
43   Department of Computer Science (context) - Clark, of et al. - 1989
39   the usability of logics which handle partial functions (context) - Cheng, Jones - 1990
35   Formal Aspects of Computing (context) - Larsen, Hansen et al. - 1995
28   Department of Computer Science (context) - Cheng, for et al. - 1986
27   The Specification of Complex Systems (context) - Cohen, Harwood et al. - 1986
26   British Standards Institution (context) - Language, Proto-Standard - 1992
26   British Standards Institution (context) - Language, Proto-Standard - 1991
26   British Standards Institution (context) - Language, Proto-Standard - 1990
26   British Standards Institution (context) - Language, Proto-Standard - 1992
26   British Standards Institution (context) - Language, Proto-Standard - 1991
25   VCR: A VDM-based software component retrieval tool - Fischer, Kievernagel et al. - 1994
22   Computer-aided Validation of Formal Specifications (context) - Mukherjee - 1995
22   Computer-aided Validation of Formal Specifications (context) - Mukherjee - 1995
22   Frames and Postconditions: a Comparison of the VDM and B Not.. (context) - Bicarregui, Ritchie - 1993
21   Strategies for incorporating Formal Specifications in Softwa.. (context) - Fraser, Kumar et al. - 1994
21   Formal Methods in Safety-Critical Standards - Bowen - 1993
18   The Vienna Development Method: The MetaLanguage (context) - Bjorner, Jones - 1978
18   The Vienna Development Method: The Meta-Language (context) - Bjorner, the et al. - 1978
15   An Executable Subset of Meta-IV with Loose Specification - Larsen, Lassen - 1991
14   International Telegraph and Telephone Consultative Committee (context) - Specification, CHILL et al. - 1980
14   International Telegraph and Telephone Consultative Committee (context) - Specification, CHILL et al. - 1980
14   Formal Methods and VDM (context) - Hekmatpour, Ince - 1988
13   their environments and system software interfaces --- Vienna.. (context) - Andrews, Bruun et al. - 1995
13   A Formal Specification Language for Object Oriented Designs (context) - Durr, Katwijk - 1992
13   A Formal Specification Language for Object-oriented Designs (context) - Durr, van Katwijk et al. - 1992
12   Two Constructive Realizations of the Block Concept and Their.. (context) - Lucas - 1968
12   Automatic Translation of VDM Specifications into Standard ML.. (context) - O'Neill - 1992
12   Informal and Formal Requirements Specification Languages: Br.. (context) - Fraser, Vijay et al. - 1991
11   First Committee Draft Standard: CD (context) - Programming, -- et al. - 1993
10   Maintaining Consistency under Changes to Formal Specificatio.. (context) - Ross, Lindsay - 1993
9   Department of Computer Science (context) - an, Methods et al. - 1993
9   The Block Concept and Some Possible Implementations (context) - Henhapl, Jones - 1970
9   Systematic program development (context) - Jones - 1986
9   Model Oriented Specification of Communicating Agents (context) - Toetenel - 1992
9   Model Oriented Specification of Communicating Agents (context) - Toetenel - 1992
9   Department of Computer Science (context) - Elvang-Goransson, in et al. - 1990
9   Department of Computer Science (context) - Elvang-Goransson, Programming et al. - 1992
9   The Block Concept and Some Possible Implementations (context) - Henhapl, Jones - 1970
9   Software Design and Prototyping using Me Too (context) - Alexander, Jones - 1990
9   Systematic Program Development (context) - Jones - 1986
9   Department of Computer Science (context) - Elvang-Goransson, Programming et al. - 1992
9   Department of Computer Science (context) - Elvang-Goransson, Technical - 1992
9   A Case for Structured Analysis /Formal Design (context) - Plat, van Katwijk et al. - 1991
8   Proof-Based Development of Specifications with KIDS/VDM (context) - Ledru - 1994
8   Reasoning about VDM Developments using The VDM Support Tool .. (context) - Bicarregui, Ritchie - 1991
8   The Generic Development Language Deva: Presentation and Case.. (context) - Weber, Simons et al. - 1993
8   Users Manual for the IFAD VDM-SL Toolbox (context) - Tool - 1994
8   Yves Ledru and Pierre-Yves Schobbens (context) - Lafontaine - 1991
8   Syntax and Semantics of VVSL -- A Language for Structured VD.. (context) - Middelburg - 1989
8   Yves Ledru and Pierre-Yves Schobbens (context) - Lafontaine - 1990
8   The Generic Development Language Deva: Presentation and Case.. (context) - Weber, Simons et al. - 1993
8   Yves Ledru and Pierre-Yves Schobbens (context) - Lafontaine - 1991
8   Reasoning about VDM Developments using The VDM Support Tool .. (context) - Bicarregui, Ritchie - 1991
8   Yves Ledru and Pierre-Yves Schobbens (context) - Lafontaine - 1993
8   User Manual for the IFAD VDM-SL Toolbox (context) - Tool - 1995
8   Making Specifications Executable -- Using IPTES Meta-IV - Andersen, Elmstrom et al. - 1992
8   A Formal Semantics of Data Flow Diagrams (context) - Larsen, Plat et al. - 1994
7   IFAD VDM-SL Toolbox (context) - Lassen - 1993
7   Programming with VDM Domains (context) - Schmidt, Horcher - 1990
7   A Structured and Formal Requirements Analysis Method based o.. (context) - Liu - 1992
7   A Structured and Formal Requirements Analysis Method based o.. (context) - Liu - 1992
7   Loose Specification and its Semantics (context) - Wieth - 1989
7   Constructing a Theory of a Data Structure as an aid to Progr.. (context) - Jones - 1979
7   Tool support for VDM (context) - Plat, Toetenel - 1989
7   Tutorial Lecture Notes on the Irish School of the VDM (context) - an - 1991
7   Formal Semantics of Programming Languages: VDL (context) - Lucas - 1981
7   Programming with VDM Domains (context) - Schmidt, Horcher - 1990
6   A Formal Specification-Based Prototyping System (context) - Hekmatpour, Ince - 1986
6   Towards an Interpreter for Full VDM-SL (context) - de Bruin - 1993
6   A Formal Specification-Based Prototyping System (context) - Hekmatpour, Ince - 1986
6   The Design and Development of Embedded Ada Systems (context) - Clark - 1990
6   Yet Another Proof of the Block Concept (context) - Jones - 1970
6   The IFAD VDM-SL Language (context) - Tool - 1994
6   Combining VDM-SL Specifications with C++ Code - Frohlich, Larsen - 1996
6   217 pages (context) - Dawes, Reference et al. - 1991
6   Formal Development of Correct Algorithms: An Example Based o.. (context) - Jones - 1972
6   217 pages (context) - Dawes, Reference et al. - 1991
6   Test Case Selection Using VDM (context) - Scullard - 1988
6   The PSG-Programming System Generator (context) - Bahlke, Snelting - 1985
6   Stepwise Transformation of Software Architectures (context) - Bjorner - 1982
6   Stepwise Transformation of Software Architectures (context) - Bjorner - 1982
6   the Semantics of Programming Languages and Software Devices (context) - Lucas - 1972
6   VVSL: A Language for Structured VDM Specifications (context) - Middelburg - 1989
6   The Design and Development of Embedded Ada Systems (context) - Clark - 1990
6   Prototyping VDM Specifications with KIDS (context) - Ledru, Li'egeois - 1992
6   Stepwise Development of Model-Oriented Real-Time Specificati.. (context) - Toetenel, van Katwijk - 1991
6   Flemming Damm and Bo Stig Hansen (context) - Bruun - 1991
6   Flemming Damm and Bo Stig Hansen (context) - Bruun - 1991
6   VDM-SL Standard (context) - Plat, Larsen et al. - 1992
6   Symbolic execution: a semantic approach (context) - Kneuper - 1991
6   Development and Application of a Meta IV Compiler (context) - Hass - 1987
6   The Design and Development of Embedded Ada Systems (context) - Clark - 1990
6   Towards an Interpreter for Full VDM-SL (context) - de Bruin - 1993
6   Prototyping VDM Specifications with KIDS (context) - Ledru, Li'egeois - 1992
6   A Support System for Formal Reasoning: Requirements and Stat.. (context) - Jones, Lindsay - 1988
6   Yet Another Proof of the Block Concept (context) - Jones - 1970
6   Yet Another Proof of the Block Concept (context) - Jones - 1975
6   A Support System for Formal Reasoning: Requirements and Stat.. (context) - Jones, Lindsay - 1988
5   Using ABC To Prototype VDM Specifications (context) - Kans, Hayton - 1994
5   Conformity Clause for VDM-SL (context) - Parkin, Wichmann - 1993
5   On Type Checking in VDM and Related Consistency Issues (context) - Damm, Bruun et al. - 1991
5   SVDM: An Integrated Combination of SA and VDM - Larsen, van Katwijk et al. - 1991
5   Algorithm Refinement with Read and Write Frames - Bicarregui - 1993
5   State of the art techniques in automatic generation of refer.. (context) - Harry - 1992
5   State of the art techniques in automatic generation of refer.. (context) - Harry - 1992
5   me too Reference Manual (context) - Bennett, Jones et al. - 1988
5   A Precise Examination of the Behaviour of Process Models (context) - Ross, Lindsay - 1994
5   of data reification (context) - Jones, In et al. - 1989
5   Formal Aspects of Computing (context) - Vadera, Analogy - 1995
5   Support Environments for VDM (context) - Jones - 1987
5   A Model of the Refinement Process (context) - Naftalin - 1992
5   Formal Development of Programs (context) - Jones - 1973
5   A Semantic Definition of the STC VDM Reference Language (context) - Monahan - 1985
5   An Executable Subset of VDM-SL (context) - Elmstrom, Lassen et al. - 1993
5   A Technique for Showing that Two Functions Preserve a Relati.. (context) - Jones - 1970
5   Formal Definition of Programming Languages and Systems (context) - Lucas - 1971
5   me too Reference Manual (context) - Bennett, Jones et al. - 1988
5   Toolkit Intrinsic Reference Manual (context) - O'Reilly - 1990
4   SpecBox: A toolkit for BSI-VDM (context) - Bloomfield, Froome et al. - 1989
4   SPARK: A Safety-Related Ada Subset (context) - Carre, Marsh et al. - 1992
4   Formalization of the VDM Reification in the DEVA Meta Calcul.. (context) - Lafontaine - 1990
4   Rational Design of Distributed Applications (context) - Cattel - 1991
4   A note on program verification (context) - Aczel - 1982
4   A Formal Requirements Specification Method Based on Data Flo.. (context) - Liu - 1993
4   the Interpretation of GOTO Statements in the ULD (context) - Henhapl, Jones - 1970
4   An Experimental Support System for Formal Mathematical Reaso.. (context) - Anlauff, Jannichen et al. - 1994
4   87 pages (context) - Middelburg, VVSL's et al. - 1990
4   Department of Mathematics and Computer Science (context) - Vadera, Analogy et al. - 1993
4   Rational Design of Distributed Applications (context) - Cattel - 1991
4   Department of Mathematics and Computer Science (context) - Vadera, Induction et al. - 1993
4   Towards an Integrated Combination of SA and VDM (context) - Larsen, van Katwijk et al. - 1991
4   Report from the BSI Panel for the Standardization of VDM (context) - Andrews - 1988
4   From VDM Specifications to Functional Prototypes - Borba, Meira - 1993
4   Portable Ada Programming System (context) - Clemmensen, Lovengreen - 1981
4   Portable Ada Programming System (context) - Clemmensen, Lovengreen - 1981
4   The Meta-Language (context) - Jones - 1982
4   IEEE Transactions on Software Engineering (context) - Fields, Elvang-Goransson et al. - 1992
4   A run-time mechanism for referencing variables (context) - Henhapl, Jones - 1971
4   An Experimental Support System for Formal Mathematical Reaso.. (context) - Anlauff, Jannichen et al. - 1994
4   Context-sensitive editing with PSG environments (context) - Bahlke, Snelting - 1986
4   A Visual Approach to VDM: Entity-Structure Diagrams (context) - Dick, Loubersac - 1991
4   87 pages (context) - Middelburg, VVSL's et al. - 1990
4   A formal transformation from the BSI/VDMSL concrete syntax t.. (context) - Plat, Toetenel - 1992
4   Formal methods in standards -- A report from the BCS working.. (context) - Ruggles - 1988
4   Using VDM with Rely and GuaranteeConditions -- Experiences f.. (context) - Woodcock, Dickinson - 1988
4   A Metalanguage for Naive Denotational Semantics (context) - Blikle - 1983
3   A Complete Formal Semantics of Data Flow Diagrams (context) - Larsen, Plat et al. - 1991
3   Evaluation of Underdetermined Explicit Expressions (context) - Larsen - 1994
3   Lecture notes to IFIP TC2/WG (context) - Bjorner, Transformation et al. - 1989
3   The role of proof obligations in software design (context) - Jones - 1985
3   The Semantics of Logic Programming (context) - Morgan - 1986
3   An Introduction Using VDM and Pascal (context) - Latham, Bush et al. - 1990
3   Use of VDM within CCITT (context) - Haff, Olsen - 1987
3   450 pages (context) - Andrews, Ince et al. - 1991
3   Chinese Journal of Advanced Software Research (context) - Shixian, Wenjiang et al. - 1994
3   The Dynamic Semantics of the BSI/VDM Specification Language (context) - Arentoft, Larsen - 1988
3   Typesetting VDM-SL with VDM-SL macros (context) - Dickinson, Lines - 1995
3   Subtyping and Subclassing in VDM (context) - Lano, Goldsack - 1995
3   Mathematical Foundations (context) - Stoy - 1982
3   University of Manchester (context) - Vadera, Proofs - 1992
3   Integrating REFINE prototypes in a VDM development framework (context) - Ledru, Liigeois - 1991
3   Mathematical Structures and their Morphisms in MetaIV (context) - an - 1987
3   Bo Stig Hansen and Flemming Damm (context) - Bruun - 1991
3   Developing Reactive Systems in a VDM Framework (context) - Ledru - 1993
3   More on Exception Mechanisms (context) - Jones - 1982
3   Machine Support for Formal Methods -- An Overview of Mural (context) - Moore - 1992
3   Developing Ada Programs Using the Vienna Development Method (context) - Jackson - 1985
3   Syntactic Description of the VDM++ Language (context) - Durr - 1992
3   Proof Rules for VDM Statements (context) - Milne - 1988
3   SAMPLE -- A Functional Language (context) - Jager, Gloger et al. - 1988
3   Rapid Prototyping of Formal Specifications using Miranda (context) - O'Neill - 1989
3   Language Reference Manual (context) - Durr, Duursma et al. - 1993
3   A Formal Semantics Definition of Sequential Ada (context) - Pedersen - 1980
3   A META IV Subset Compiler (context) - Blaue, Hass - 1990
3   Experiments with Formal Methods in Software Engineering (context) - Plat - 1993
3   Modelling Concepts of Programming Languages (context) - Jones - 1982
3   383 pages (context) - Jones, Approach et al. - 1980
3   Experience of Combining Yourdon and VDM (context) - Hamilton - 1991
3   An Implementation of Sets and Maps as Miranda Abstract Data .. (context) - North - 1990
3   Implementation bias in constructive specification of abstrac.. (context) - Jones - 1977
3   The Institute of Applied Computer Science (context) - Larsen, Lassen et al. - 1994
3   Comparing Approaches to Data Reification (context) - Clement - 1994
3   Software-Practice and Experience (context) - Pronk, of et al. - 1992
3   which features a forerunner of the VDM MetaIV exit mechanism (context) - Allen, Chapman et al. - 1972
3   Compiler Prototyping with VDM and Standard ML (context) - Arthan - 1988
3   CAP Gemini Innovation (context) - VDM, Generator - 1993
3   The Meta-Language: A Reference Manual (context) - Jones - 1978
3   Development Methods for Computer Programmes Including a Noti.. (context) - Jones
3   Typesetting VDM with VDMSL macros (context) - Oostenenk - 1990
2   Error Messages and Error Recovery for VDM-SL (context) - Nielsen - 1995

[Article contains additional citations not shown here]

Documents on the same site (http://gruffle.comlab.ox.ac.uk/archive/formal-methods/pubs.html):   More
Formal Aspects of Computing Bibliography - Allison (1997)   (Correct)
An International Survey of Industrial Applications of.. - Craigen, Gerhart.. (1993)   (Correct)
Formal Methods - Selected Historical References - Jones, McCauley (1992)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC