Stepwise Refinement of Data Flow Architectures
Software Engineering
2014-09-26 v1
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 welldefined semantics for document evolution. The use of the development steps is demonstrated in a small example.
Cite
@article{arxiv.1409.7241,
title = {Stepwise Refinement of Data Flow Architectures},
author = {Jan Philipps and Bernhard Rumpe},
journal= {arXiv preprint arXiv:1409.7241},
year = {2014}
}
Comments
18 pages, 1 figure. arXiv admin note: substantial text overlap with arXiv:1409.6932