Refinement of pipe-and-filter architectures

DOI10.1007/3-540-48119-2_8MaRDI QIDQ4493875zbMATH OpenFDO

Authors Jan Philipps, Bernhard Rumpe

Publication date 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1411.2414

zbMATH Keywords

refinement calculus

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Pipelines: modelling a software architecture through relations
• Theoretical Aspects of Computing – ICTAC 2005
• Service refinement
• scientific article; zbMATH DE number 1949579

Cited in

(1)

• Pipelines: modelling a software architecture through relations

This page was built for publication: Refinement of pipe-and-filter architectures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4493875)