Search results for "VDM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
80	Cliff B. Jones, Peter A. Lindsay	A Support System for Formal Reasoning: Requirements and Status.	VDM Europe	1988	DBLP DOI BibTeX RDF
80	Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George	The RAISE Language, Method and Tools.	VDM Europe	1988	DBLP DOI BibTeX RDF
80	Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold (eds.)	VDM '87, VDM - A Formal Method at Work, VDM-Europe Symposium, Brussels, Belgium, March 23-26, 1987, Proceedings	VDM Europe	1987	DBLP DOI BibTeX RDF
80	Manfred Haß	Development and Application of a Meta IV Compiler.	VDM Europe	1987	DBLP DOI BibTeX RDF
80	Andrzej Blikle	Denotational Engineering or from Denotations to Syntax.	VDM Europe	1987	DBLP DOI BibTeX RDF
80	Mícheál Mac an Airchinnigh	Mathematical Structures and their Morphisms in Meta-IV.	VDM Europe	1987	DBLP DOI BibTeX RDF
80	Derek Andrews	Data Reification and Program Decomposition.	VDM Europe	1987	DBLP DOI BibTeX RDF
80	Chris George	Heap Storage Specification and Development.	VDM Europe	1987	DBLP DOI BibTeX RDF
80	Mícheál Mac an Airchinnigh	Specification by Data Types.	VDM Europe	1987	DBLP DOI BibTeX RDF
78	John S. Fitzgerald, Peter Gorm Larsen, Shin Sahara	VDMTools: advances in support for formal modeling in VDM.	ACM SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	formal methods, validation, tool support, VDM, vienna development method
78	Stephen J. Goldsack, Kevin Lano, Eugène Dürr	Annealing and Data Decomposition in VDM++.	ACM SIGPLAN Notices	1996	DBLP DOI BibTeX RDF	VDM
73	Reinder J. Bril	A Model-Oriented Method for Algebraic Specification using COLD-1 as Notation.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF	Model-oriented methods, method support, algebraic specifications, wide-spectrum languages
73	Marek A. Bednarczyk, Andrzej M. Borzyszkowski	CPO's do not form a CPO, and yet Recursion Works.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
70	Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman	Modeling and Validating Distributed Embedded Real-Time Systems with VDM++.	FM	2006	DBLP DOI BibTeX RDF
70	Sten Agerholm, Peter Gorm Larsen	The IFAD VDM Tools: Lightweight Formal Methods.	FM-Trends	1998	DBLP DOI BibTeX RDF
70	Yves Ledru	Proof-Based Development of Specifications with KIDS/VDM.	FME	1994	DBLP DOI BibTeX RDF
65	Nico Plat, Peter Gorm Larsen	An overview of the ISO/VDM-SL standard.	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF	VDM
60	Sten Agerholm, Jacob Frost	Supporting Proof in VDM-SL using Isabelle.	Proof in VDM	1998	DBLP DOI BibTeX RDF
60	Sten Agerholm, Juan Bicarregui, Savi Maharaj	On the Verification of VDM Specification and Refinement with PVS.	Proof in VDM	1998	DBLP DOI BibTeX RDF
60	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	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
60	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 2: Tutorials	VDM Europe (2)	1991	DBLP DOI BibTeX RDF
60	Richard C. Moore, Peter K. D. Froome	MURAL and SPECBOX.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
60		The RAISE Toolset.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
60	D. L. Chalmers, Bent Dandanell, Jesper Gørtz, Jan Storbank Pedersen, Eld Zierau 0001	Using RAISE - First Impressions from the LaCoS Applications.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
60	Marc V. Benveniste	Writing Operational Semantics in Z: A Sructural Approach.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
60	D. Kinnaes, Karel De Vlaminck	A Debugger for a Meta-IV-like Meta-Language.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
60	David A. Penny, Richard C. Holt, Michael W. Godfrey	Formal Specification in Metamorphic Programing.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
60	Kees M. van Hee, Lou J. Somers, Marc Voorhoeve	Z and High Level Petri Nets.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
60	Klaus-Dieter Schewe, Joachim W. Schmidt, Ingrid Wetzel	Specification and Refinement in an Integrated Database Application Environment.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
60	Berthold Hoffmann, Bernd Krieg-Brückner	The PROSPECTRA System.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
60	H. B. M. Jonkers	Upgrading the Pre- and Postcondition Technique.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
60	Ian Houston, Steve King 0001	CICS Project Report: Experiences and Results from the use of Z in IBM.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
60	Veronika Doma, Robin A. Nicholl	EZ: A System for Automatic Prototyping of Z Specifications.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
60	Chris Dollin	The HP-ST Toolset.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
60	Jeannette M. Wing, Amy Moormann Zaremski	Unintrusive Ways to Integrate Formal Specifications in Practice.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
60	Gerard R. Renardel de Lavalette	Formal Development of a Serial Copy Management System.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
60	David Jordan	CADIZ - Computer Aided Design in Z.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
60	Michael J. Butler	Behavioural Extension for CSP.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
60	Pamela Zave, Michael Jackson 0001	Techniques for Partial Specification and Specification of Switching Systems.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
60	Stephen Bear	An Overview of HP-SL.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF	X.400 address G steve, S bear, OU1 hpl, OU2 unix, O hp, P hp, A gold 400, C gb
60	Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink	EVES: An Overview.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF	EVES, NEVER, Verdi, formal methods, Automated deduction, logic of programs
60	P. McParland, Peter Kilpatrick	A Specification of a Complex Programming Language Statement.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
60	Robin Milner	Concurrent Processes as Objects (Abstract).	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
60	Paul Smith, Richard Keighley	The Formal Development of a Secure Transaction Mechanism.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
60	John V. Guttag	The Larch Approach to Specification (Abstract).	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
60	Michael Jackson 0001	Description is our Business.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
60	A. Puccetti	The Integrated Software Development and Verification System ATES.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
60	R. D. Arthan	On Formal Specification of a Proof Tool.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
60	David M. Goldschlag	A Mechanical Formalization of Several Fairness Notions.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
60	Kees M. van Hee, Lou J. Somers, Marc Voorhoeve	The EXSPECT Tool.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
60	Matthew Lee 0005, Ib Holm Sørensen	B-Tool.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
60	Ian Houston	The IBM Z Tool.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
60	Stephan Rössig, Michael Schenke	Specification and Stepwise Development of Communicating Systems.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
60	David Garlan, David Notkin	Formalizing Design Spaces: Implicit Invocation Mechanisms.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
60	Jim Woodcock 0001	The Refinement Calculus.	VDM Europe (2)	1991	DBLP BibTeX RDF
60	John V. Guttag, James J. Horning	A Tutorial on LARCH and LCL, A LARCH/C Interface Language.	VDM Europe (2)	1991	DBLP DOI BibTeX RDF
60	Donald I. Good, William D. Young	Mathematical Methods for Digital Systems Development.	VDM Europe (2)	1991	DBLP DOI BibTeX RDF
60	Ole-Johan Dahl, Olaf Owe	Formal Development with ABEL.	VDM Europe (2)	1991	DBLP DOI BibTeX RDF
60	Chris George	The RAISE Specification Langiage: A Tutorial.	VDM Europe (2)	1991	DBLP DOI BibTeX RDF
60	Jean-Raymond Abrial, Matthew K. O. Lee, David Neilson, P. N. Scharbach, Ib Holm Sørensen	The B-Method.	VDM Europe (2)	1991	DBLP DOI BibTeX RDF
60	Jim Woodcock 0001	An Introduction to Refinement in Z.	VDM Europe (2)	1991	DBLP BibTeX RDF
60	Bernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor	The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development.	VDM Europe (2)	1991	DBLP DOI BibTeX RDF
60	Jim Woodcock 0001	Two Refinement Case Studies.	VDM Europe (2)	1991	DBLP BibTeX RDF
60	Jim Woodcock 0001	A Tutorial on the Refinement Calculus.	VDM Europe (2)	1991	DBLP DOI BibTeX RDF
58	Martin D. Fraser, Kuldeep Kumar, Vijay K. Vaishnavi	Informal and Formal Requirements Specification Languages: Bridging the Gap.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	informal languages, requirements specification languages, rule-based method, payroll system, payroll data processing, formal specification, specification languages, systems analysis, formal languages, formal languages, structured analysis, VDM, Vienna development method
57	John S. Fitzgerald, Simon Tjell, Peter Gorm Larsen, Marcel Verhoef	Validation Support for Distributed Real-Time Embedded Systems in VDM++.	HASE	2007	DBLP DOI BibTeX RDF
57	Peter D. Mosses	VDM Semantics of Programming Languages: Combinators and Monads.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
57	Aamer Nadeem, Michael R. Lyu	A Framework for Inheritance Testing from VDM++ Specifications.	PRDC	2006	DBLP DOI BibTeX RDF
57	Dines Bjørner	Towards a Meaning of 'M' in VDM: Specification Methodology Aspects of the Vienna Development Method (Invited Tutorial).	TAPSOFT, Vol.2	1989	DBLP DOI BibTeX RDF
52	Sander Vermolen, Jozef Hooman, Peter Gorm Larsen	Proving consistency of VDM models using HOL.	SAC	2010	DBLP DOI BibTeX RDF	verification, theorem proving, VDM, HOL, model consistency
52	Juan Bicarregui, Brian Ritchie	Invariants, Frames, and Postconditions: A Comparison of the VDM and B Notations.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	Abstract Machine Notation, model-oriented specification, formal methods, B, VDM
52	Aaron Kans, Clive Hayton	Using ABC To Prototype VDM Specifications.	ACM SIGPLAN Notices	1994	DBLP DOI BibTeX RDF	VDM, ABC
52	Robert E. Fields, Morten Elvang-Gøransson	A VDM Case Study in mural.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	interactive theorem-proving assistant, specification support tool, mural, verification, formal specification, specification, software tools, theorem proving, program verification, interactive systems, VDM, Vienna development method
50	Jacques Ajenstat, Peter Jones	Virtual Decision Maker for Stock Market Trading as a Network of Cooperating Autonomous Intelligent Agents.	HICSS	2004	DBLP DOI BibTeX RDF	Negotiation and Cooperation, Online Decision making, intelligent agents, derivatives, Stock market
50	Robert E. Bruccoleri	WRAPGEN - A Tool for the Use of Fortran and C Together in Portable Programs.	ACM SIGPLAN Notices	1996	DBLP DOI BibTeX RDF	FORTRAN C
50	Shaoying Liu, Chris Ho-Stuart	Semi-automatic Transformation from Formal Specifications to Programs.	ICECCS	1996	DBLP DOI BibTeX RDF
46	Yves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron	Filtering TOBIAS Combinatorial Test Suites.	FASE	2004	DBLP DOI BibTeX RDF	VDM, combinatorial testing, JML, model-based specifications
46	Mícheál Mac an Airchinnigh	Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics.	FME	2001	DBLP DOI BibTeX RDF	Topos Theory, Unifying Theory, modelling, intuitionistic logic, VDM, constructive mathematics, Heyting algebra, Cartesian closed category
46	Thomas Kleymann	Hoare Logic and Auxiliary Variables.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	Adaptation Completeness, Most General Formula, Hoare Logic, VDM, Auxiliary variables
46	Kelvin J. Ross, Peter A. Lindsay	A Precise Examination of the Behaviour of Process Models.	FME	1994	DBLP DOI BibTeX RDF	formal methods, process modelling, configuration management, VDM
46	Kelvin J. Ross, Peter A. Lindsay	Maintaining Consistency Under Changes to Formal Specifications.	FME	1993	DBLP DOI BibTeX RDF	verification, formal methods, configuration management, VDM, change control
45	Peter Gorm Larsen, John S. Fitzgerald, Steve Riddle	Practice-oriented courses in formal methods using VDM++.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF
45	Jeremy W. Bryans, John S. Fitzgerald	Formal Engineering of XACML Access Control Policies in VDM++.	ICFEM	2007	DBLP DOI BibTeX RDF
45	Bernhard K. Aichernig	Automated Black-Box Testing with Abstract VDM Oracles.	SAFECOMP	1999	DBLP DOI BibTeX RDF
45	Cliff B. Jones	Scientific Decisions which Characterize VDM.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
45	Sten Agerholm, Jacob Frost	An Isabelle-Based Theorem Prover for VDM-SL.	TPHOLs	1997	DBLP DOI BibTeX RDF
45	Sten Agerholm, Jacob Frost	Towards an Integrated CASE and Theorem Proving Tool for VDM-SL.	FME	1997	DBLP DOI BibTeX RDF
45	Paul Mukherjee	A Semantics for NewSpeak in VDM-SL.	FME	1994	DBLP DOI BibTeX RDF
45	Morten Elvang-Gøransson, Robert E. Fields	An Extended VDM Refinement Relation.	FME	1994	DBLP DOI BibTeX RDF
45	Eugène Dürr, Liesbeth M. Dusink	Role of VDM(++) in the Development of a Real-Time Tracking and Tracing System.	FME	1993	DBLP DOI BibTeX RDF
45	Andrew Butterfield	A VDM Study of Fault-Tolerant Stable Storage - Towards a Computer Engineering Mathematics.	FME	1993	DBLP DOI BibTeX RDF
41	Juan Bicarregui, Brian Matthews	The Specification and Proof of an EXPRESS to SQL "Compiler".	Proof in VDM	1998	DBLP DOI BibTeX RDF
41	Paul Mukherjee, John S. Fitzgerald	The Ammunition Control System.	Proof in VDM	1998	DBLP DOI BibTeX RDF
41	Noemie Slaats, Bart Van Assche, Albert Hoogewijs	Shared Memory Synchronization.	Proof in VDM	1998	DBLP DOI BibTeX RDF
41	Peter Lindsay	Specification and Validation of a Network Security Policy Model.	Proof in VDM	1998	DBLP DOI BibTeX RDF
41	John S. Fitzgerald, Cliff B. Jones	Proof in the Analysis of a Model of a Tracking System.	Proof in VDM	1998	DBLP DOI BibTeX RDF
40	Sten Agerholm, Pierre-Jean Lecoeur, Etienne Reichert	Formal specification and validation at work: a case study using VDM-SL.	FMSP	1998	DBLP DOI BibTeX RDF	VDM
40	Jian Lu 0001	Introducting Data Decomposition into VDM for Tractable Development of Programs.	ACM SIGPLAN Notices	1995	DBLP DOI BibTeX RDF	VDM
40	René Elmstrøm, Peter Gorm Larsen, Poul Bøgh Lassen	The IFAD VDM-SL toolbox: a practical approach to formal specifications.	ACM SIGPLAN Notices	1994	DBLP DOI BibTeX RDF	VDM
40	Shaoying Liu, John A. McDermid	Dynamic Sets and Their Application in VDM.	SAC	1993	DBLP DOI BibTeX RDF	formal specification, VDM, structured method, dynamic set