22 citations · 50 across the 5 of their papers we have counts for
Showing 2014 · cs.SEShow all
3 papers · 2 filters
cs.SE2014★ 12 cited
Refinement of Pipe-and-Filter Architectures
Jan Philipps, Bernhard Rumpe
Software and hardware architectures are prone to modifications. We demonstrate how a mathematically founded powerful refinement calculus for a class of architectures, namely pipe a…
cs.SE2014★ 3 cited
Stepwise Refinement of Data Flow Architectures
Jan Philipps, Bernhard Rumpe
This paper aims at integrating heterogeneous documents used in pragmatic software develpoment methods to describe views with a formal refinement based software development process.…
cs.SE2014★ 22 cited
Refinement of Information Flow Architectures
Jan Philipps, Bernhard Rumpe
A calculus is presented for the stepwise refinement of abstract information flow architectures. We give a mathematical model for information flow components based on relations betw…