Component algebra

DOI10.1016/S0167-6423(01)00009-0MaRDI QIDQ5959419zbMATH OpenOpenAlexWikidataFDO

Authors L. M. G. Feijs, Yuechen Qian

Publication date 3 April 2002

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0167-6423(01)00009-0

zbMATH Keywords

axiomatic algebraic calculus of components

Mathematics Subject Classification ID

Theory of software (68N99) Abstract data types; algebraic specification (68Q65)

Recommendations

• Module algebra
• An algebraic theory of interface automata
• Algebraic specification of modules and their basic interconnections
• Associative composition of components with double-sided interfaces
• An algebraic approach to mixins and modularity

Cited in

(2)

• Module algebra
• Journal on Data Semantics II

This page was built for publication: Component algebra

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