Towards Development of Correct Software using Views

TL;DR

This paper proposes an integrated formal approach to unify heterogeneous development documents into a coherent system model, facilitating correct software development through formal refinement and document evolution.

Contribution

It introduces a formal semantics for heterogeneous documents and a set of syntactic development steps within a unified system model.

Findings

Demonstrated the approach with a small example

Provided a formal semantics for document evolution

Unified heterogeneous documents in software development

Abstract

This paper aims at integrating heterogeneous documents used in pragmatic software develpoment methods to describe views with a formal refinement based software development process. Therefore we propose an integrated semantics of heterogeneous documents based on a common system model and a set of syntactic development steps with a well-defined semantics for document evolution. The use of the development steps is demonstrated in a small example.