Department of Informatics

TU München - Fakultät für Informatik
Chair IV: Software & Systems Engineering

PDF-Datei  Stepwise Refinement of Data Flow Architectures

Conference Paper

Author:Jan Philipps, Bernhard Rumpe
Conference:Software Architectures and Design Patterns in Business Applications
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.

(c) 1999-2006 - Lehrstuhl Software & Systems Engineering
Sitemap |  Contact