Mathematical Frameworks for Component Software: Models for Analysis and Synthesis

L. S. Barbosa, S. Meng, B. K. Aichernig, and N. Rodrigues

Abstract:

Reference: L. S. Barbosa, S. Meng, B. K. Aichernig, and N. Rodrigues. Mathematical Frameworks for Component Software: Models for Analysis and Synthesis, volume 2 of Series on Component-Based Software Development, chapter 3: On the Semantics of Componentware: a Coalgebraic Perspective, pages 69-118. World Scientific, 2006. ISBN 981-270-017-X.