Open Access
Information technology - Programming languages, their environments and system software interfaces: Vienna DevelopmentMethod - Specification Language - Part 1: Base language
About:
The article was published on 1996-01-01 and is currently open access. It has received 55 citations till now. The article focuses on the topics: Specification language & System software.read more
Citations
More filters
Book
Software Abstractions: Logic, Language, and Analysis
TL;DR: This revised edition of Software Abstractions updates the text, examples, and appendixes to be fully compatible with the latest version of Alloy, a language that captures the essence of software abstractions simply and succinctly, using a minimal toolkit of mathematical notions.
Preliminary Design of JML: A Behavioral Interface Specification
TL;DR: This paper discusses the goals of JML, the overall approach, and describes the basic features of the language through examples, intended for readers who have some familiarity with both Java and behavioral specification using pre- and postconditions.
Journal ArticleDOI
Behavioral interface specification languages
TL;DR: This article surveys behavioral interface specification languages with a focus toward automatic program verification and with a view towards aiding the Verified Software Initiative—a fifteen-year, cooperative, international project directed at the scientific challenges of large-scale software verification.
Journal ArticleDOI
The overture initiative integrating tools for VDM
Peter Gorm Larsen,Nick Battle,Miguel Ferreira,John Fitzgerald,Kenneth Lausdahl,Marcel Verhoef +5 more
TL;DR: The mission is to both provide an industrial-strength tool set for VDM and also to provide an environment that allows researchers and other stakeholders to experiment with modifications and extensions to the tools and language.
Journal ArticleDOI
VDMTools: advances in support for formal modeling in VDM
TL;DR: VDMTools as mentioned in this paper is a group of tools supporting the analysis of system models expressed in the formal language of the Vienna Development Method (VDMTM) for modeling and analysis of distributed embedded real-time systems.
References
More filters
Book
Software Abstractions: Logic, Language, and Analysis
TL;DR: This revised edition of Software Abstractions updates the text, examples, and appendixes to be fully compatible with the latest version of Alloy, a language that captures the essence of software abstractions simply and succinctly, using a minimal toolkit of mathematical notions.
Preliminary Design of JML: A Behavioral Interface Specification
TL;DR: This paper discusses the goals of JML, the overall approach, and describes the basic features of the language through examples, intended for readers who have some familiarity with both Java and behavioral specification using pre- and postconditions.
Journal ArticleDOI
Behavioral interface specification languages
TL;DR: This article surveys behavioral interface specification languages with a focus toward automatic program verification and with a view towards aiding the Verified Software Initiative—a fifteen-year, cooperative, international project directed at the scientific challenges of large-scale software verification.
Journal ArticleDOI
The overture initiative integrating tools for VDM
Peter Gorm Larsen,Nick Battle,Miguel Ferreira,John Fitzgerald,Kenneth Lausdahl,Marcel Verhoef +5 more
TL;DR: The mission is to both provide an industrial-strength tool set for VDM and also to provide an environment that allows researchers and other stakeholders to experiment with modifications and extensions to the tools and language.
Journal ArticleDOI
VDMTools: advances in support for formal modeling in VDM
TL;DR: VDMTools as mentioned in this paper is a group of tools supporting the analysis of system models expressed in the formal language of the Vienna Development Method (VDMTM) for modeling and analysis of distributed embedded real-time systems.