The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase VDM-SL (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1990-1994 (16) 1995-1999 (15) 2000-2022 (15) 2023 (2)
Publication types (Num. hits)
article(9) incollection(1) inproceedings(38)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 29 occurrences of 26 keywords

Results
Found 48 publication records. Showing 48 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
82Savi Maharaj, Juan Bicarregui On the Verification of VDM Specification and Refinement with PVS. Search on Bibsonomy ASE The full citation details ... 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
82Bernhard K. Aichernig, Peter Gorm Larsen A Proof Obligation Generator for VDM-SL. Search on Bibsonomy FME The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
63Peter Gorm Larsen, Poul Bøgh Lassen An Executable Subset of Meta-IV with Loose Specification. Search on Bibsonomy VDM Europe (1) The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
50Sten Agerholm, Peter Gorm Larsen The IFAD VDM Tools: Lightweight Formal Methods. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
45Sten Agerholm, Jacob Frost An Isabelle-Based Theorem Prover for VDM-SL. Search on Bibsonomy TPHOLs The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
45Sten Agerholm, Jacob Frost Towards an Integrated CASE and Theorem Proving Tool for VDM-SL. Search on Bibsonomy FME The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
45Paul Mukherjee A Semantics for NewSpeak in VDM-SL. Search on Bibsonomy FME The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
45Nico Plat, Peter Gorm Larsen An overview of the ISO/VDM-SL standard. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1992 DBLP  DOI  BibTeX  RDF VDM
38Peter Gorm Larsen Evaluation of Underdetermined Explicit Definitions. Search on Bibsonomy FME The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
33Shaoying Liu, Tetsuo Fukuzaki, Koji Miyamoto A GUI and testing tool for SOFL. Search on Bibsonomy APSEC The full citation details ... 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
32Brigitte Fröhlich, Peter Gorm Larsen Combining VDM-SL Specifications with C++ Code. Search on Bibsonomy FME The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
32Graeme I. P. Parkin, Brian A. Wichmann Conformity Clause for VDM-SL. Search on Bibsonomy FME The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
32Cornelis A. Middelburg, Gerard R. Renardel de Lavalette LPF and MPLomega - A Logical Comparison of VDM SL and COLD-K. Search on Bibsonomy VDM Europe (1) The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
32Hans Bruun, Bo Stig Hansen, Flemming M. Damm An Approach to the Static Semantics of VDM-SL. Search on Bibsonomy VDM Europe (1) The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
32Nico Plat, Ronald Huijsman, Jan van Katwijk, Gertjan van Oosten, Kees Pronk, Hans Toetenel Type Checking BSI/VDM-SL. Search on Bibsonomy VDM Europe The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
25Peter Gorm Larsen, John S. Fitzgerald, Steve Riddle Practice-oriented courses in formal methods using VDM++. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
25Pascal Fenkam, Harald C. Gall, Mehdi Jazayeri Constructing Corba-Supported Oracles for Testing: A Case Study in Automated Software Testing. Search on Bibsonomy ASE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
25Bernhard K. Aichernig Automated Black-Box Testing with Abstract VDM Oracles. Search on Bibsonomy SAFECOMP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
25Arlet Ottens, Hans Toetenel Simulation of Mosca Specifications in Ada. Search on Bibsonomy Ada-Europe The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
20Cornelis Pronk, Martin Schönhacker Formal definition of programming language standards. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Formal Definition Languages, VDM-SL, Prolog, Modula-2
20Peter Gorm Larsen, Paul Mukherjee, Kim Sunesen Using VDMTools to Model and Validate the Cash Dispenser Example. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF VDM++, VDM-SL, Java, UML, Validation, Code generation
19Tomohiro Oda, Gaël Dur, Stéphane Ducasse, Hugo Daniel Macedo Implementation-First Approach of Developing Formal Semantics of a Simulation Language in VDM-SL. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Leo Freitas Topologically sorting VDM-SL definitions for Isabelle/HOL translation. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Sidra 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. Search on Bibsonomy FIT The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Nick Battle, Casper Thule, Cláudio Gomes 0001, Hugo Daniel Macedo, Peter Gorm Larsen Towards a Static Check of FMUs in VDM-SL. Search on Bibsonomy FM Workshops (2) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
19Nazir Ahmad Zafar Formal specification and analysis of take-off procedure using VDM-SL. Search on Bibsonomy Complex Adapt. Syst. Model. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
19Shehla Riaz, Hamra Afzaal, Muhammad Imran 0001, Nazir Ahmad Zafar, Mehmet Sabih Aksoy Formalizing Mobile Ad Hoc and Sensor Networks Using VDM-SL. Search on Bibsonomy EUSPN/ICTH The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
19Hamra Afzaal, Muhammad Imran 0001, Nazir Ahmad Zafar Implementing Partitioning Detection and Connectivity Restoration in WSAN Using VDM-SL. Search on Bibsonomy FIT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
19Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification. Search on Bibsonomy FormaliSE@ICSE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
19Dan Jin, Zongyuan Yang Strategies of Modeling from VDM-SL to JML. Search on Bibsonomy ALPIT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Sten Agerholm, Jacob Frost Supporting Proof in VDM-SL using Isabelle. Search on Bibsonomy Proof in VDM The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
19Sten Agerholm, Pierre-Jean Lecoeur, Etienne Reichert Formal specification and validation at work: a case study using VDM-SL. Search on Bibsonomy FMSP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF VDM
19Paul Mukherjee Automatic Translation of VDM-SL Specifications into Gofer. Search on Bibsonomy FME The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
19Sten Agerholm Translating Specifications in VDM-SL to PVS. Search on Bibsonomy TPHOLs The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
19Paul Mukherjee System Refinement in VDM-SL. Search on Bibsonomy ICECCS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
19René Elmstrøm, Peter Gorm Larsen, Poul Bøgh Lassen The IFAD VDM-SL toolbox: a practical approach to formal specifications. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1994 DBLP  DOI  BibTeX  RDF VDM
19Poul Bøgh Lassen IFAD VDM-SL Toolbox. Search on Bibsonomy FTRTFT The full citation details ... 1994 DBLP  BibTeX  RDF
19René Elmstrøm, Poul Bøgh Lassen, Michael Andersen An Executable Subset of VDM-SL, in an SA/RT Framework. Search on Bibsonomy Real Time Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
19Peter Gorm Larsen Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL. Search on Bibsonomy Semantics of Specification Languages The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
19Nico Plat, Kees Pronk, Marcel Verhoef The Delft VDM-SL Front-End. Search on Bibsonomy VDM Europe (1) The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
19Flemming M. Damm, Hans Bruun, Bo Stig Hansen The VDM-SL Editor and Consistency Checker. Search on Bibsonomy VDM Europe (1) The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
13Tiago L. Alves, Paulo F. Silva 0001, Joost Visser 0001, José Nuno Oliveira Strategic Term Rewriting and Its Application to a VDMSL to SQL Conversion. Search on Bibsonomy FM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
13Paul Mason, Ken Cosh, Pulyamon Vihakapirom On structuring formal, semi-formal and informal data to support traceability in systems engineering environments. Search on Bibsonomy CIKM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF systems engineering data, traceability, meta-modelling
13Shaoying Liu, Jin Song Dong Class and Module in SOFL. Search on Bibsonomy APAQS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
13Chris Ho-Stuart, Shaoying Liu A Formal Operational Semantics for SOFL. Search on Bibsonomy APSEC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF operational-semantics data-flow-diagram specification
13Gary T. Leavens, Jeannette M. Wing Protective Interface Specifications. Search on Bibsonomy TAPSOFT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
13Hubert Baumeister Relations as Abstract Datatypes: An Institution to Specify Relations between Algebras. Search on Bibsonomy TAPSOFT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
13John 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. Search on Bibsonomy FME The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #48 of 48 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license