Refinement is the process of deriving verifiably-correct software from its specification. In practice, however refinement steps are complex and difficult to prove correct. We show how animation can be used to provide insights into the correctness, or otherwise, of refinement steps for the most general form of data refinement in which the whole system design can be changed in a single step
International audienceThis paper explores the possibility to incorporate validation of formal specif...
In this paper we present the design for a visualization system appropriate for instantiation in a So...
The development of a large information system is generally regarded as one of the most complex activ...
Animation tools have proven to be effective as a means of visualising formal specifications. Specifi...
We describe how a Z animation tool can be used to check Z data refinements. We illustrate two approa...
Specification animation has become a popular technique in industry, particularly for validation in m...
Software visualisation consists of applying various multimedia techniques for significant improveme...
Data refinement is converting a program that uses one set of variables to an equally correct program...
The software construction process consists of a mixture of informal and formal steps. By their very ...
We define a very general notion of data refinement which comprises the traditional notion of data re...
Animation is a multiple graphical view of a process in action. Animation has been successfully emplo...
AbstractThe stepwise refinement technique is studied from a mathematical point of view. A relation o...
The dichotomy between programs and data projects itself onto two paradigms in software visualisation...
The construction of a high-assurance system requires some evidence, ideally a proof, that the system...
Computer animation is based on software that is optimized to show transformation or change. For the ...
International audienceThis paper explores the possibility to incorporate validation of formal specif...
In this paper we present the design for a visualization system appropriate for instantiation in a So...
The development of a large information system is generally regarded as one of the most complex activ...
Animation tools have proven to be effective as a means of visualising formal specifications. Specifi...
We describe how a Z animation tool can be used to check Z data refinements. We illustrate two approa...
Specification animation has become a popular technique in industry, particularly for validation in m...
Software visualisation consists of applying various multimedia techniques for significant improveme...
Data refinement is converting a program that uses one set of variables to an equally correct program...
The software construction process consists of a mixture of informal and formal steps. By their very ...
We define a very general notion of data refinement which comprises the traditional notion of data re...
Animation is a multiple graphical view of a process in action. Animation has been successfully emplo...
AbstractThe stepwise refinement technique is studied from a mathematical point of view. A relation o...
The dichotomy between programs and data projects itself onto two paradigms in software visualisation...
The construction of a high-assurance system requires some evidence, ideally a proof, that the system...
Computer animation is based on software that is optimized to show transformation or change. For the ...
International audienceThis paper explores the possibility to incorporate validation of formal specif...
In this paper we present the design for a visualization system appropriate for instantiation in a So...
The development of a large information system is generally regarded as one of the most complex activ...
DOI
Add to ORKG