Software Architectures and Design Patterns in Business Applications
Author(s): Jan Philipps, Bernhard Rumpe Year: 1997 Publisher: Technische Universität München, TUM-I9746 Editor: Manfred Broy, Ernst Denert, Klaus Renzel, Monika Schmidt Abstract:Software and hardware architectures are prone to modifications. We demonstrate
how a mathematically founded refinement calculus for a class of architectures,
namely data flow networks, can be used to modify a system in a provably correct
way. The calculus consists of basic rules to add and to remove components and
channels to a system.
BibTeX-Entry:
@inproceedings{ PR97b,
author = {Jan Philipps and Bernhard Rumpe},
title = {Stepwise Refinement of Data Flow Architectures},
booktitle = {Software Architectures and Design Patterns in Business Applications},
year = {1997},
publisher = {Technische Universität München, TUM-I9746},
editor = {Manfred Broy and Ernst Denert and Klaus Renzel and Monika Schmidt}
}
Bernhard Rumpe