Add to ORKGThis article discusses the extra effort required to make specifications executable. With an origin in essential (but in general non-executable) specification techniques and specification language constructs the limitations of writing specifications in an executable language are discussed. The (executable) example specifications are written in IPTES Meta-IV which is a subset of BSI/VDM-SL.
The paper focuses on the use of VDM. Meta-IV, the specification language of VDM, was proved successf...
We reflect on our experiences from work on the design and semantic underpinnings of Extended ML, a s...
Executable specifications can serve as prototypes of the specified system and as oracles for automat...
In ESPRIT project no. EP5570 called IPTES 1 a methodology and a supporting environment for increme...
This document provides a comparative study of the different alternatives for the executable (sequent...
This paper discusses the impact of the standardization of (non-executable) specification languages; ...
We review the various arguments which have been advanced for and against the use of executable spec...
Abstract. Specification exemplars are familiar to most software engineering researchers. For instanc...
Specification exemplars are familiar to most software engineering researchers. For instance, many wi...
Model-based systems development relies upon the concept of an executable specification. A survey of ...
System analysis time can be reduced through specification reuse which, however, requires specificati...
This paper presents an approach to writing specifications for parts of software systems. The main go...
This report describes the restrictions and requirements that SA/RT and the IPTES tool-set put on the...
In a model-driven development, software engineers will have to manage multiple artifacts expressed i...
Generation of machine executable programs from specifications written in higher level languages has ...
The paper focuses on the use of VDM. Meta-IV, the specification language of VDM, was proved successf...
We reflect on our experiences from work on the design and semantic underpinnings of Extended ML, a s...
Executable specifications can serve as prototypes of the specified system and as oracles for automat...
In ESPRIT project no. EP5570 called IPTES 1 a methodology and a supporting environment for increme...
This document provides a comparative study of the different alternatives for the executable (sequent...
This paper discusses the impact of the standardization of (non-executable) specification languages; ...
We review the various arguments which have been advanced for and against the use of executable spec...
Abstract. Specification exemplars are familiar to most software engineering researchers. For instanc...
Specification exemplars are familiar to most software engineering researchers. For instance, many wi...
Model-based systems development relies upon the concept of an executable specification. A survey of ...
System analysis time can be reduced through specification reuse which, however, requires specificati...
This paper presents an approach to writing specifications for parts of software systems. The main go...
This report describes the restrictions and requirements that SA/RT and the IPTES tool-set put on the...
In a model-driven development, software engineers will have to manage multiple artifacts expressed i...
Generation of machine executable programs from specifications written in higher level languages has ...
The paper focuses on the use of VDM. Meta-IV, the specification language of VDM, was proved successf...
We reflect on our experiences from work on the design and semantic underpinnings of Extended ML, a s...
Executable specifications can serve as prototypes of the specified system and as oracles for automat...