|
|
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 |
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 |
|
Displaying result #1 - #48 of 48 (100 per page; Change: )
|
|