Search results for "VDM-SL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
82	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
82	Bernhard K. Aichernig, Peter Gorm Larsen	A Proof Obligation Generator for VDM-SL.	FME	1997	DBLP DOI BibTeX RDF
63	Peter Gorm Larsen, Poul Bøgh Lassen	An Executable Subset of Meta-IV with Loose Specification.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
50	Sten Agerholm, Peter Gorm Larsen	The IFAD VDM Tools: Lightweight Formal Methods.	FM-Trends	1998	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	Nico Plat, Peter Gorm Larsen	An overview of the ISO/VDM-SL standard.	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF	VDM
38	Peter Gorm Larsen	Evaluation of Underdetermined Explicit Definitions.	FME	1994	DBLP DOI BibTeX RDF
33	Shaoying Liu, Tetsuo Fukuzaki, Koji Miyamoto	A GUI and testing tool for SOFL.	APSEC	2000	DBLP DOI BibTeX RDF	VDM-SL, SOFL specification construction, SOFL specification testing tool, formal specification, Petri nets, Petri nets, graphical user interfaces, graphical user interface, software tools, system design, specification languages, formal language, object-oriented languages, modules, object-oriented methods, object-oriented method, classes, system specification, flowcharting, data flow diagrams, structured method
32	Brigitte Fröhlich, Peter Gorm Larsen	Combining VDM-SL Specifications with C++ Code.	FME	1996	DBLP DOI BibTeX RDF
32	Graeme I. P. Parkin, Brian A. Wichmann	Conformity Clause for VDM-SL.	FME	1993	DBLP DOI BibTeX RDF
32	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
32	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
32	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
25	Peter Gorm Larsen, John S. Fitzgerald, Steve Riddle	Practice-oriented courses in formal methods using VDM++.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF
25	Pascal Fenkam, Harald C. Gall, Mehdi Jazayeri	Constructing Corba-Supported Oracles for Testing: A Case Study in Automated Software Testing.	ASE	2002	DBLP DOI BibTeX RDF
25	Bernhard K. Aichernig	Automated Black-Box Testing with Abstract VDM Oracles.	SAFECOMP	1999	DBLP DOI BibTeX RDF
25	Arlet Ottens, Hans Toetenel	Simulation of Mosca Specifications in Ada.	Ada-Europe	1992	DBLP DOI BibTeX RDF
20	Cornelis Pronk, Martin Schönhacker	Formal definition of programming language standards.	ACM SIGPLAN Notices	2003	DBLP DOI BibTeX RDF	Formal Definition Languages, VDM-SL, Prolog, Modula-2
20	Peter Gorm Larsen, Paul Mukherjee, Kim Sunesen	Using VDMTools to Model and Validate the Cash Dispenser Example.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	VDM++, VDM-SL, Java, UML, Validation, Code generation
19	Tomohiro Oda, Gaël Dur, Stéphane Ducasse, Hugo Daniel Macedo	Implementation-First Approach of Developing Formal Semantics of a Simulation Language in VDM-SL.	CoRR	2023	DBLP DOI BibTeX RDF
19	Leo Freitas	Topologically sorting VDM-SL definitions for Isabelle/HOL translation.	CoRR	2023	DBLP DOI BibTeX RDF
19	Sidra Iqbal, Tariq Ali, Nazir Ahmad Zafar, Tahira Batool	Verification and Validation of a VANET-based Formal Model for Online Taxi Service using VDM-SL Toolbox.	FIT	2022	DBLP DOI BibTeX RDF
19	Nick Battle, Casper Thule, Cláudio Gomes 0001, Hugo Daniel Macedo, Peter Gorm Larsen	Towards a Static Check of FMUs in VDM-SL.	FM Workshops (2)	2019	DBLP DOI BibTeX RDF
19	Nazir Ahmad Zafar	Formal specification and analysis of take-off procedure using VDM-SL.	Complex Adapt. Syst. Model.	2016	DBLP DOI BibTeX RDF
19	Shehla Riaz, Hamra Afzaal, Muhammad Imran 0001, Nazir Ahmad Zafar, Mehmet Sabih Aksoy	Formalizing Mobile Ad Hoc and Sensor Networks Using VDM-SL.	EUSPN/ICTH	2015	DBLP DOI BibTeX RDF
19	Hamra Afzaal, Muhammad Imran 0001, Nazir Ahmad Zafar	Implementing Partitioning Detection and Connectivity Restoration in WSAN Using VDM-SL.	FIT	2015	DBLP DOI BibTeX RDF
19	Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen	VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification.	FormaliSE@ICSE	2015	DBLP DOI BibTeX RDF
19	Dan Jin, Zongyuan Yang	Strategies of Modeling from VDM-SL to JML.	ALPIT	2008	DBLP DOI BibTeX RDF
19	Sten Agerholm, Jacob Frost	Supporting Proof in VDM-SL using Isabelle.	Proof in VDM	1998	DBLP DOI BibTeX RDF
19	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
19	Paul Mukherjee	Automatic Translation of VDM-SL Specifications into Gofer.	FME	1997	DBLP DOI BibTeX RDF
19	Sten Agerholm	Translating Specifications in VDM-SL to PVS.	TPHOLs	1996	DBLP DOI BibTeX RDF
19	Paul Mukherjee	System Refinement in VDM-SL.	ICECCS	1996	DBLP DOI BibTeX RDF
19	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
19	Poul Bøgh Lassen	IFAD VDM-SL Toolbox.	FTRTFT	1994	DBLP BibTeX RDF
19	René Elmstrøm, Poul Bøgh Lassen, Michael Andersen	An Executable Subset of VDM-SL, in an SA/RT Framework.	Real Time Syst.	1993	DBLP DOI BibTeX RDF
19	Peter Gorm Larsen	Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
19	Nico Plat, Kees Pronk, Marcel Verhoef	The Delft VDM-SL Front-End.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
19	Flemming M. Damm, Hans Bruun, Bo Stig Hansen	The VDM-SL Editor and Consistency Checker.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
13	Tiago L. Alves, Paulo F. Silva 0001, Joost Visser 0001, José Nuno Oliveira	Strategic Term Rewriting and Its Application to a VDMSL to SQL Conversion.	FM	2005	DBLP DOI BibTeX RDF
13	Paul Mason, Ken Cosh, Pulyamon Vihakapirom	On structuring formal, semi-formal and informal data to support traceability in systems engineering environments.	CIKM	2004	DBLP DOI BibTeX RDF	systems engineering data, traceability, meta-modelling
13	Shaoying Liu, Jin Song Dong	Class and Module in SOFL.	APAQS	2001	DBLP DOI BibTeX RDF
13	Chris Ho-Stuart, Shaoying Liu	A Formal Operational Semantics for SOFL.	APSEC	1997	DBLP DOI BibTeX RDF	operational-semantics data-flow-diagram specification
13	Gary T. Leavens, Jeannette M. Wing	Protective Interface Specifications.	TAPSOFT	1997	DBLP DOI BibTeX RDF
13	Hubert Baumeister	Relations as Abstract Datatypes: An Institution to Specify Relations between Algebras.	TAPSOFT	1995	DBLP DOI BibTeX RDF
13	John S. Fitzgerald, T. M. Brookes, M. A. Green, Peter Gorm Larsen	Formal and Informal Specifications of a Secure System Component: first results in a comparative study.	FME	1994	DBLP DOI BibTeX RDF