Skip to search formSkip to main contentSkip to account menu

Meta-IV (specification language)

Known as: Meta-IV, The Vienna Development Method specification language Meta-IV 
The Meta-IV (pronounced like "metaphor") was an early version of the specification language of the Vienna Development Method formal method for the… 
Wikipedia (opens in a new tab)

Related topics

Related topics

3 relations
Formal Methods EuropeLecture Notes in Computer ScienceVienna Development Method

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Vienna Development Method
The Vienna Development Method (VDM) is an environment for the modeling and development of sequential software systems. The… 
Review
2007
Review
2007
The B Formal Method Bibliography
In this paper we give an overview of some tools that we have developed to support the application of the B Method. ProB is an… 
Review
1994
Review
1994
Automatic Translation of Sa/rt to High-level Timed Petri Nets a Author
The objective of the IPTES (In-cremental Prototyping Technology for Embedded Real-Time Systems) project is to develop methodolo… 
1992
1992
An object-oriented refinement calculus with modular reasoning
In this thesis, the refinement calculus is extended to support a variety of object-oriented programming styles. The late binding… 
Review
1991
Review
1991
A Debugger for a Meta-IV-like Meta-Language
The purpose of this paper is to report on the development of a debugging tool for a Meta-IV-like language. The tool consists of a… 
1990
1990
Adding Abstract Datatypes to Meta-IV
Program structure is an important issue in program design. Reuse and flexibility are properties that depend on structure. Some… 
1988
1988
The Use of VDM in the Specification of Chinese Characters
The VDM Meta-IV is an important bridge that joins application domain with implementation. This paper does not address the data… 
1988
1988
Mutually Recursive Algebraic Domain Equations
A theory of mutually recursive algebraic domain equations is developed. The theory may provide algebraic interpretation of domain… 
1987
1987
Mathematical Structures and their Morphisms in Meta-IV
1987
1987
Tool support for executable specification: a technique using Meta-IV and Prolog
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)