Stem vdm$ (all stems)

83 papers:

FM-2015-KuritaIA #documentation #evolution #formal method #mobile #modelling

Practices for Formal Models as Documents: Evolution of VDM Application to “Mobile FeliCa” IC Chip Firmware (TK, FI, KA), pp. 593–596.

IFM-2013-Lausdahl #alloy

Translating VDM to Alloy (KL), pp. 46–60.

SEFM-2010-LarsenLB #combinator #testing

Combinatorial Testing for VDM (PGL, KL, NB), pp. 278–285.

SAC-2010-VermolenHL #consistency #modelling #proving #using

Proving consistency of VDM models using HOL (SV, JH, PGL), pp. 2503–2510.

FM-2009-LausdahlLL #tool support #uml

Connecting UML and VDM++ with Open Tool Support (KL, HKAL, PGL), pp. 563–578.

SEFM-2009-KawamataSIH #refinement #specification

Specifying and Checking Refinement Relationships in VDM++ (YK, CS, FI, SH), pp. 220–227.

FM-2008-MacedoLF #development #distributed #incremental #realtime #using

Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM (HDM, PGL, JSF), pp. 181–197.

SAC-2007-UbayashiN #feature model #modelling

Context-aware feature-oriented modeling with an aspect extension of VDM (NU, SN), pp. 1269–1274.

FM-2006-VerhoefLH #distributed #embedded #modelling #realtime #validation

Modeling and Validating Distributed Embedded Real-Time Systems with VDM++ (MV, PGL, JH), pp. 147–162.

FM-v1-1999-Jones

Scientific Decisions which Characterize VDM (CBJ), pp. 28–47.

FM-v2-1999-Droschl #data access #requirements #using

Analyzing the Requirements of an Access Control Using VDMTools and PVS (GD), p. 1870.

FM-1998-AgerholmL98a #formal method #lightweight #tool support

The IFAD VDM Tools: Lightweight Formal Methods (SA, PGL), pp. 326–329.

ASE-1997-MaharajB #on the #refinement #specification #verification

On the Verification of VDM Specification and Refinement with PVS (SM, JB), p. 280–?.

FME-1997-AgerholmF #automation #proving #theorem proving #towards

Towards an Integrated CASE and Theorem Proving Tool for VDM-SL (SA, JF), pp. 278–297.

FME-1997-AichernigL #generative #proving

A Proof Obligation Generator for VDM-SL (BKA, PGL), pp. 338–357.

FME-1997-Mukherjee #automation #specification

Automatic Translation of VDM-SL Specifications into Gofer (PM), pp. 258–277.

FME-1996-FrohlichL #c++ #specification

Combining VDM-SL Specifications with C++ Code (BF, PGL), pp. 179–194.

ICSE-1996-Ledru #tool support #using

Using KIDS as a Tool Support for VDM (YL), pp. 236–245.

FME-1994-Elvang-GoranssonF #refinement

An Extended VDM Refinement Relation (MEG, REF), pp. 175–189.

FME-1994-Ledru #development #specification

Proof-Based Development of Specifications with KIDS/VDM (YL), pp. 214–232.

FME-1994-Lindsay #on the #verification

On transferring VDM verification techniques to Z (PAL), pp. 190–213.

FME-1994-Mukherjee #semantics

A Semantics for NewSpeak in VDM-SL (PM), pp. 480–501.

FME-1993-BicarreguiR #comparison #invariant

Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations (JB, BR), pp. 162–182.

FME-1993-Butterfield #fault tolerance #towards

A VDM Study of Fault-Tolerant Stable Storage — Towards a Computer Engineering Mathematics (AB), pp. 216–234.

FME-1993-DurrD #development #realtime

Role of VDM(++) in the Development of a Real-Time Tracking and Tracing System (ED, EMD), pp. 64–72.

FME-1993-ParkinW

Conformity Clause for VDM-SL (GIP, BAW), pp. 501–520.

SEKE-1993-LaleauF #concept #modelling #semantics

Modeling Semantic Data Concepts with VDM (RL, PF), pp. 228–230.

SAC-1993-LiuM #set

Dynamic Sets and Their Application in VDM (SL, JAM), pp. 187–192.

KBSE-1992-AlmeidaRRA #specification

Transformation of a Semi-formal Specification to VDM (JD, AR, TR, VA), p. 7.

KBSE-1992-LedruL #prototype #specification

Prototyping VDM Specifications with KIDS (YL, MHL), p. 8.

TOOLS-EUROPE-1992-DurrK #design #object-oriented #specification

VDM++, A Formal Specification Language for OO Designs (ED, JvK), pp. 63–77.

VDME-1991-1-BicarreguiR #reasoning #using

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

VDME-1991-1-Blaue #compilation #set

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

VDME-1991-1-BruunHD #approach #semantics

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

VDME-1991-1-Cattel #specification #tool support

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

VDME-1991-1-Clement #development

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

VDME-1991-1-DammBH #consistency #editing

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

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

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

VDME-1991-1-DickL #specification #visual notation

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

VDME-1991-1-Elvang-Goransson #reasoning #specification

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

VDME-1991-1-HepingZ #prototype

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

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

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

VDME-1991-1-MiddelburgL #comparison #logic

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

VDME-1991-1-ParkinO #specification #standard

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

VDME-1991-1-PlatPV

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

VDME-1991-1-SchmidtH #compilation #generative #library

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

VDME-1991-1-Stolen #concurrent

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

VDME-1991-1-Weber

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

VDME-1991-2-Airchinnigh #tutorial

Tutorial on the Irish School of the VDM (MMaA), pp. 141–237.

ESEC-1991-DickL #approach #formal method #visual notation

Integrating Structured and Formal Methods: A Visual Approach to VDM (JD, JL), pp. 37–59.

VDME-1990-LafontaineLS #formal method #towards

Two Approaches towards the Formalisation of VDM (CL, YL, PYS), pp. 370–398.

VDME-1990-PlatHKOPT #type checking

Type Checking BSI/VDM-SL (NP, RH, JvK, GvO, KP, HT), pp. 399–425.

VDME-1990-SchmidtH #programming

Programming with VDM Domains (US, HMH), pp. 122–134.

VDME-1990-TarleckiW

A Naive Domain Universe for VDM (AT, MW), pp. 552–579.

VDME-1990-Weber-Wulff #implementation #using

A Buffering System Implementation using VDM (DWW), pp. 135–149.

ICSE-1990-LafontaineLS #case study #development #empirical #formal method #proving #theorem proving #using

An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study (CL, YL, PYS), pp. 34–42.

VDME-1988-Arthan #compilation #ml #prototype #standard

Compiler Prototyping with VDM and Standard ML (RDA), pp. 101–115.

VDME-1988-Bear #specification

Structuring for the VDM Specification Language (SB), pp. 2–25.

VDME-1988-Boddy

The Use of VDM within the Alvey Flagship Project (GB), pp. 153–166.

VDME-1988-Goldsack #kernel #operating system #specification

Specification of an Operating System Kernel FOREST and VDM compared (SJG), pp. 88–100.

VDME-1988-KilpatrickM #refinement #specification

Software Support for the Refinement of VDM Specifications (PK, PM), pp. 459–475.

VDME-1988-Middelburg #specification

The VIP VDM Specification Language (KM), pp. 187–201.

VDME-1988-Milne #proving

Proof Rules for VDM Statements (RM), pp. 318–336.

VDME-1988-ONeill #ada #development

VDM Development with ADA as the Target Language (DO), pp. 116–123.

VDME-1988-Scullard #testing #using

Test Case Selection using VDM (GTS), pp. 178–186.

VDME-1988-TeoA #specification

The Use of VDM in the Specification of Chinese Characters (GST, MMaA), pp. 476–499.

VDME-1988-WoodcockD #case study #experience #using

Using VDM with Rely and Guarantee-Conditions — Experiences from a Real Project (JW, BD), pp. 434–458.

VDME-1987-Airchinnigh87a #tutorial

Introduction to the VDM Tutorial (MMaA), pp. 356–361.

VDME-1987-Bjorner #development #graph #metaprogramming

The Stepwise Development of Software Development Graphs: Meta-Programming VDM Developments (DB), pp. 77–96.

VDME-1987-ChedgeyKK #ada #development #object-oriented #using

Using VDM in an Object-Oriented Development Method for Ada Software (CC, SK, HJK), pp. 63–76.

VDME-1987-Crispin #experience #using

Experience Using VDM in STC (RJC), pp. 19–32.

VDME-1987-HaffO

Use of VDM within CCITT (PH, AO), pp. 324–330.

VDME-1987-Jones

Support Environments for VDM (KDJ), pp. 110–117.

VDME-1987-Jones87a #proving

VDM Proof Obligations and their Justification (CBJ), pp. 260–286.

VDME-1987-Jones87b #data flow #semantics #using

A Formal Semantics for a DataFlow Machine — Using VDM (KDJ), pp. 331–355.

VDME-1987-Letschert #specification

VDM as a Specification Method for Telecommunications Software (TL), pp. 106–109.

VDME-1987-Lucas #named

VDM: Origins, Hopes, and Achievements (PL), pp. 1–18.

VDME-1987-MinkowitzH #object-oriented #programming #using

A Formal Description of Object-Oriented Programming Using VDM (CM, PBH), pp. 237–259.

VDME-1987-Monahan

A Type Model for VDM (BQM), pp. 210–236.

VDME-1987-Pedersen

VDM in Three Generations of Ada* Formal Descriptions (JSP), pp. 33–48.

VDME-1987-Prehn

From VDM to RAISE (SP), pp. 141–150.

VDME-1987-SchmidtV #experience

Experience with VDM in Norsk Data (US, RV), pp. 49–62.

ICSE-1984-ClemmensenO #ada #case study #compilation #development #specification

Formal Specification and Development of an Ada Compiler — A VDM Case Study (GBC, ONO), pp. 430–440.