Communicating sequential processes
Communicating sequential processes
VDM-Europe Symposium 1987 on VDM '87: VDM---a formal method at work
Report from the BSI panel for the standardisation of VDM (IST/5/50)
Proceedings of the 2nd VDM-Europe Symposium on VDM---The Way Ahead
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Practical Formal Methods with VDM
Practical Formal Methods with VDM
The Vienna Development Method: The Meta-Language
The Vienna Development Method: The Meta-Language
On Type Checking in VDM and Related Consistency Issues
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
An Executable Subset of Meta-IV with Loose Specification
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
An Approach to the Static Semantics of VDM-SL
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
Automated synthesis of interface adapters for reusable classes
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Assessment of Safety-Critical Specifications
IEEE Software
ISO/IEC 10514–1, the standard for Modula-2: process aspects
ACM SIGPLAN Notices
Specification Based Testing: Towards Practice
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
DPS: An Architectural Style for Development of Secure Software
InfraSec '02 Proceedings of the International Conference on Infrastructure Security
A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Formal definition of programming language standards
ACM SIGPLAN Notices
Incremental integrity checking of UML/OCL conceptual schemas
Journal of Systems and Software
Balancing insight and effort: the industrial uptake of formal methods
Formal methods and hybrid real-time systems
VDM semantics of programming languages: combinators and monads
Formal methods and hybrid real-time systems
A Deterministic Interpreter Simulating A Distributed real time system using VDM
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Formally designing an event-based application for mobile collaboration: a case study
SEM'04 Proceedings of the 4th international conference on Software Engineering and Middleware
Formalism challenges of the cougaar model driven architecture
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
On the integration of formal methods: events and Scenarios in PVS and VDM
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Combining VDM with executable code
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
BETA: a b based testing approach
SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications
An orchestrated survey of methodologies for automated software test case generation
Journal of Systems and Software
| Hi-index | 0.01 |
VDM-SL, the notation incorporated in the formal method VDM, is currently being standardized under auspices of the International Standards Institution (ISO) and the British Standards Institution (BSI). It is one of the few formal languages of which the syntax and the semantics have been completely formally defined. In this paper we present an overview of the standard, including a report on the current status of the standardization effort.