Search results for "VDM "

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
162	Søren Prehn	From VDM to RAISE.	VDM Europe	1987	DBLP DOI BibTeX RDF
156	Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens	Two Approaches towards the Formalisation of VDM.	VDM Europe	1990	DBLP DOI BibTeX RDF	formalisation of VDM, automated support of formal methods, theorem provers
149	Ghee S. Teo, Mícheál Mac an Airchinnigh	The Use of VDM in the Specification of Chinese Characters.	VDM Europe	1988	DBLP DOI BibTeX RDF
149	Chris Chedgey, Seamus Kearney, Hans-Jürgen Kugler	Using VDM in an Object-Oriented Development Method for Ada Software.	VDM Europe	1987	DBLP DOI BibTeX RDF
141	Savi Maharaj, Juan Bicarregui	On the Verification of VDM Specification and Refinement with PVS.	ASE	1997	DBLP DOI BibTeX RDF	VDM specification, VDM formal method, PVS theorem prover, VDM-SL specification translation, PVS specification language, transparent translation methods, specification type-checking, nontrivial validation conditions, abstract specification, shallow embedding technique, verification, formal specification, proof rules
137	Uwe Schmidt 0002, Hans-Martin Hörcher	Programming with VDM Domains.	VDM Europe	1990	DBLP DOI BibTeX RDF
137	David O'Neill	VDM Development with ADA as the Target Language.	VDM Europe	1988	DBLP DOI BibTeX RDF
137	Brian Q. Monahan	A Type Model for VDM.	VDM Europe	1987	DBLP DOI BibTeX RDF
124	Andrzej Tarlecki, Morten Wieth	A Naive Domain Universe for VDM.	VDM Europe	1990	DBLP DOI BibTeX RDF
124	Debora Weber-Wulff	A Buffering System Implementation using VDM.	VDM Europe	1990	DBLP DOI BibTeX RDF
124	Stephen Bear	Structuring for the VDM Specification Language.	VDM Europe	1988	DBLP DOI BibTeX RDF
124	Peter Kilpatrick, P. McParland	Software Support for the Refinement of VDM Specifications.	VDM Europe	1988	DBLP DOI BibTeX RDF
124	Uwe Schmidt 0002, Reinhard Völler	Experience with VDM in Norsk Data.	VDM Europe	1987	DBLP DOI BibTeX RDF
123	Peter Gorm Larsen, Poul Bøgh Lassen	An Executable Subset of Meta-IV with Loose Specification.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
117	Christoph Blaue	A VDM Subset Compiler.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
117	Peter Haastrup, Christian Gram	Correctness in the Small.	VDM Europe	1990	DBLP DOI BibTeX RDF
117	Derek J. Andrews, Anjula Garg, S. P. A. Lau, J. R. Pitchers	The Formal Definition of Modula-2 and Its Associated Interpreter.	VDM Europe	1988	DBLP DOI BibTeX RDF
112	Nico Plat, Ronald Huijsman, Jan van Katwijk, Gertjan van Oosten, Kees Pronk, Hans Toetenel	Type Checking BSI/VDM-SL.	VDM Europe	1990	DBLP DOI BibTeX RDF
112	Kees Middelburg	The VIP VDM Specification Language.	VDM Europe	1988	DBLP DOI BibTeX RDF
112	G. T. Scullard	Test Case Selection using VDM.	VDM Europe	1988	DBLP DOI BibTeX RDF
112	Jim Woodcock 0001, B. Dickinson	Using VDM with Rely and Guarantee-Conditions - Experiences from a Real Project.	VDM Europe	1988	DBLP DOI BibTeX RDF
112	Stephen J. Goldsack	Specification of an Operating System Kernel FOREST and VDM compared.	VDM Europe	1988	DBLP DOI BibTeX RDF
112	Jan Storbank Pedersen	VDM in Three Generations of Ada* Formal Descriptions.	VDM Europe	1987	DBLP DOI BibTeX RDF
112	Kevin D. Jones	Support Environments for VDM.	VDM Europe	1987	DBLP DOI BibTeX RDF
112	R. J. Crispin	Experience Using VDM in STC.	VDM Europe	1987	DBLP DOI BibTeX RDF
112	Dines Bjørner	The Stepwise Development of Software Development Graphs: Meta-Programming VDM Developments.	VDM Europe	1987	DBLP DOI BibTeX RDF
112	Kevin D. Jones	A Formal Semantics for a DataFlow Machine - Using VDM.	VDM Europe	1987	DBLP DOI BibTeX RDF
112	Cliff B. Jones	VDM Proof Obligations and their Justification.	VDM Europe	1987	DBLP DOI BibTeX RDF
105	Lynn S. Marshall, Linda Simon	Using VDM within an Object-Oriented Framework.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
105	Flemming M. Damm, Bo Stig Hansen, Hans Bruun	On Type Checking in VDM and Related Consistency Issues.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
105	Thierry Cattel	Tactical Tools for Distributing VDM Specifications.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF	tactical tools, virtual node, reliability, communication, Formal specification, refinement, distributable application, module, port, programming in the large
105	Matthias Weber 0003	Deriving Transivity of VDM-Reification in DEVA.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
103	Kevin Lano, Stephen J. Goldsack	Discrete event process controller synthesis using VDM++.	ICECCS	1995	DBLP DOI BibTeX RDF	ignition, control system synthesis, heat systems, discrete event process controller synthesis, VDM/sup ++/, controller specification, gas burner system, systematic method, declarative requirement statements, abstract VDM/sup ++/ specifications, concrete VDM/sup ++/ specifications, formalised requirements, refinement process, real-time systems, formal specification, temporal logic, timing, specification languages, timing analysis, object-oriented languages, process control, parallel languages, discrete event systems, programmable controllers, controller design, Vienna development method, control system CAD, Ada95, real-time temporal logic, combustion
103	Naoyasu Ubayashi, Shin Nakajima 0001	Context-aware feature-oriented modeling with an aspect extension of VDM.	SAC	2007	DBLP DOI BibTeX RDF	feature-oriented modeling, context, software product line, aspect orientation, VDM, weaving, proof obligation
102	Hisayuki Suzumori, Haruhiko Kaiya, Kenji Kaijiri	VDM over PSP: A Pilot Course for VDM Beginners to Confirm its Suitability for Their Development.	COMPSAC	2003	DBLP DOI BibTeX RDF	Formal Method, Software Metrics, Software Process Improvement, Software Engineering Education, Personal Software Process, Vienna Development Method
99	Uwe Schmidt 0002, Hans-Martin Hörcher	The VDM Domain Compiler: A VDM Class Library Generator.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
99	Juan Bicarregui, Brian Ritchie	Reasoning about VDM Developments using the VDM Support Tool in MURAL.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF	integrated support environments, formal specification, formal methods, refinement, proof
99	Graham Boddy	The Use of VDM within the Alvey Flagship Project.	VDM Europe	1988	DBLP DOI BibTeX RDF
99	Derek J. Andrews	Report from the BSIPanel for the Standardisation of VDM (IST/5/50).	VDM Europe	1988	DBLP DOI BibTeX RDF
99	R. D. Arthan	Compiler Prototyping with VDM and Standard ML.	VDM Europe	1988	DBLP DOI BibTeX RDF
99	Robert Milne	Proof Rules for VDM Statements.	VDM Europe	1988	DBLP DOI BibTeX RDF
99	Peter Haff, Anders Olsen	Use of VDM within CCITT.	VDM Europe	1987	DBLP DOI BibTeX RDF
99	Mícheál Mac an Airchinnigh	Introduction to the VDM Tutorial.	VDM Europe	1987	DBLP DOI BibTeX RDF
99	Peter Lucas 0001	VDM: Origins, Hopes, and Achievements.	VDM Europe	1987	DBLP DOI BibTeX RDF
99	Thomas Letschert	VDM as a Specification Method for Telecommunications Software.	VDM Europe	1987	DBLP DOI BibTeX RDF
99	D. Sen	Objectives of the British Standardisation of a Language to support the Vienna Development Method - The BSI VDM Specification Language Standardisation Panel - United Kingdom.	VDM Europe	1987	DBLP DOI BibTeX RDF
99	Cydney Minkowitz, Peter B. Henderson	A Formal Description of Object-Oriented Programming Using VDM.	VDM Europe	1987	DBLP DOI BibTeX RDF
98	Nico Plat, Jan van Katwijk, Kees Pronk	A Case for Structured Analysis/Formal Design.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
95	John S. Fitzgerald, Peter Gorm Larsen	Triumphs and Challenges for Model-Oriented Formal Methods: The VDM++ Experience (Abstract).	ISoLA	2006	DBLP DOI BibTeX RDF
92	Morten Elvang-Gøransson	Reasoning about VDM Specifications.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
92	Ketil Stølen	An Attempt to Reason about Shared-State Concurrency in the Style of VDM.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
92	Cornelis A. Middelburg, Gerard R. Renardel de Lavalette	LPF and MPLomega - A Logical Comparison of VDM SL and COLD-K.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
92	Hans Bruun, Bo Stig Hansen, Flemming M. Damm	An Approach to the Static Semantics of VDM-SL.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
92	Jim Woodcock 0001, Carroll Morgan	Refinement of State-Based Concurrent Systems.	VDM Europe	1990	DBLP DOI BibTeX RDF
84	Yves Ledru	Using KIDS as a Tool Support for VDM.	ICSE	1996	DBLP BibTeX RDF	KIDS, REGROUP, VDM specifications, correctness preserving transformations, executable prototypes synthesis, proof of consistency, formal specification, REFINE, theorem proving, program verification, specification languages, tool support, theorem prover, VDM
82	Bernhard K. Aichernig, Peter Gorm Larsen	A Proof Obligation Generator for VDM-SL.	FME	1997	DBLP DOI BibTeX RDF
82	Peter A. Lindsay	On transferring VDM verification techniques to Z.	FME	1994	DBLP DOI BibTeX RDF
80	Nico Plat, Kees Pronk, Marcel Verhoef	The Delft VDM-SL Front-End.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
80	Flemming M. Damm, Hans Bruun, Bo Stig Hansen	The VDM-SL Editor and Consistency Checker.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
80	Jeremy Dick, Jérôme Loubersac	The Visual Presentation of VDM Specifications.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
80	Graeme I. P. Parkin, G. O'Neill	Specification of the MAA Standard in VDM.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
80	Tim Clement	Combining Transformation and Posit-and Prove in a VDM Development.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
80	Heping He, Hussein Zedan	Prototyping with Temporal VDM: A Status Report.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
80	Mícheál Mac an Airchinnigh	Tutorial on the Irish School of the VDM.	VDM Europe (2)	1991	DBLP DOI BibTeX RDF
80	Dines Bjørner, C. A. R. Hoare, Hans Langmaack (eds.)	VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings	VDM Europe	1990	DBLP DOI BibTeX RDF
80	Reinhard Gotzhein	Specifying Open Distributed Systems with Z.	VDM Europe	1990	DBLP DOI BibTeX RDF
80	David Garlan, Norman M. Delisle	Formal Specifications as Reusable Frameworks.	VDM Europe	1990	DBLP DOI BibTeX RDF
80	Job Zwiers	Refining Data to Processes.	VDM Europe	1990	DBLP DOI BibTeX RDF
80	D. Kato, T. Kikuchi, R. Nakajima, J. Sawada, H. Tsuiki	Modal Logic Programming.	VDM Europe	1990	DBLP DOI BibTeX RDF
80	Danny B. Lange	A Formal Approach to Hypertext using Post-Prototype Formal Specification.	VDM Europe	1990	DBLP DOI BibTeX RDF
80	Ole-Johan Dahl	Object Orientation and Formal Techniques.	VDM Europe	1990	DBLP DOI BibTeX RDF
80	Andrzej Blikle, Mikkel Thorup	On Conservative Extensions of Syntax in the Process of System Development.	VDM Europe	1990	DBLP DOI BibTeX RDF
80	J. Michael Spivey, Bernard Sufrin	Type Inference in Z.	VDM Europe	1990	DBLP DOI BibTeX RDF
80	Anthony Hall	Using Z as a Specification Calculus for Object-Oriented Systems.	VDM Europe	1990	DBLP DOI BibTeX RDF
80	Augusto Sampaio, Silvio Romero de Lemos Meira	Modular Extensions to Z.	VDM Europe	1990	DBLP DOI BibTeX RDF
80	Jørgen Steensgaard-Madsen	Adding Abstract Datatypes to Meta-IV.	VDM Europe	1990	DBLP DOI BibTeX RDF
80	Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Wieslaw Pawlowski	Recursive Definitions Revisited.	VDM Europe	1990	DBLP DOI BibTeX RDF
80	Steve King 0001	Z and the Refinement Calculus.	VDM Europe	1990	DBLP DOI BibTeX RDF
80	John S. Fitzgerald, Cliff B. Jones	Modularizing the Formal Description of a Database System.	VDM Europe	1990	DBLP DOI BibTeX RDF
80	David J. Duke, Roger Duke	Towards a Semantics for Object-Z.	VDM Europe	1990	DBLP DOI BibTeX RDF
80	Joseph A. Goguen	An Algebraic Approach to Refinement.	VDM Europe	1990	DBLP DOI BibTeX RDF
80	M. J. van Diepen, Kees M. van Hee	A Formal Semantics for Z and the Link between Z and the Relational Algebra.	VDM Europe	1990	DBLP DOI BibTeX RDF
80	Patrice Chalin, Peter Grogono	Z Specification of an Object Manager.	VDM Europe	1990	DBLP DOI BibTeX RDF
80	Raffaele di Giovanni, Pier Luigi Iachini	HOOD and Z for the Development of Complex Software Systems.	VDM Europe	1990	DBLP DOI BibTeX RDF
80	Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Wieslaw Pawlowski	Towards the Semantics of the Definitional Language of MetaSoft.	VDM Europe	1990	DBLP DOI BibTeX RDF
80	Robin E. Bloomfield, Lynn S. Marshall, Roger B. Jones (eds.)	VDM '88, VDM - The Way Ahead, 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988, Proceedings	VDM Europe	1988	DBLP DOI BibTeX RDF
80	Donald I. Good	Computing is a Physical Science (Abstract).	VDM Europe	1988	DBLP DOI BibTeX RDF
80	XinJie Jiang, YongSen Xu	NUSL: An Executable Specification Language Based on Data Abstraction.	VDM Europe	1988	DBLP DOI BibTeX RDF
80	Maurice Naftalin	Correctness for Beginners.	VDM Europe	1988	DBLP DOI BibTeX RDF
80	Andrzej M. Borzyszkowski, Ryszard Kubiak, Stefan Sokolowski	A Set-Theoretic Model for a Typed Polymorphic Lambda Calculus - A Contribution to MetaSoft.	VDM Europe	1988	DBLP DOI BibTeX RDF
80	Bettina Buth, Karl-Heinz Buth	Correctness Proofs for Meta IV Written Code Generator Specification using Term Rewriting.	VDM Europe	1988	DBLP DOI BibTeX RDF
80	Clive Ruggles	Formal Methods in Standards - A Report from the BCS Working Group.	VDM Europe	1988	DBLP DOI BibTeX RDF
80	Anne E. Haxthausen	Mutually Recursive Algebraic Domain Equations.	VDM Europe	1988	DBLP DOI BibTeX RDF
80	Andrzej M. Borzyszkowski, Stefan Sokolowski	Understanding an informal Description: Office Documents Architecture, an ISO Standard.	VDM Europe	1988	DBLP DOI BibTeX RDF
80	Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle	A Three-Valued Logic for Software Specification and Validation.	VDM Europe	1988	DBLP DOI BibTeX RDF
80	Jean-Raymond Abrial	The B Tool (Abstract).	VDM Europe	1988	DBLP DOI BibTeX RDF
80	Cliff B. Jones, Richard C. Moore	MUFFIN: A User Interface Design Experiment for a Theorem Proving Assistant.	VDM Europe	1988	DBLP DOI BibTeX RDF
80	Andrzej Blikle	Three-Valued Predicates for Software Specification and Validation.	VDM Europe	1988	DBLP DOI BibTeX RDF
80	Clive Ruggles	Towards a Formal Definition of GKS and other Graphic Standards.	VDM Europe	1988	DBLP DOI BibTeX RDF
80	Michael Jäger, Michael Gloger, Stefan Kaes	SAMPLE - A Functional Language.	VDM Europe	1988	DBLP DOI BibTeX RDF