Stepwise Refinement of Data Flow Architectures
This addresses the challenge of document inconsistency in software development processes, but it appears incremental as it builds on existing refinement-based methods.
The paper tackles the problem of integrating heterogeneous documents in pragmatic software development by proposing an integrated semantics based on a common system model and syntactic development steps, demonstrated in a small example.
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.