Mathematical Frameworks for Component Software
Zhiming Liu, He Jifeng · Series on component-based software development · 2006
Temporal Specifications of Component Based Systems with Polymorphic Dynamic Reconfiguration (N Aguirrea & T Maibaum) Coordinated Composition of Software Components (F Arbab) On the Semantics of Componentware: A Coalgebraic Persecutive (L S Barbosa et al.) A Theory for Requirements Specification and Architecture Design (M Broy) Component: From Mobile to Channels (F S de Boer et al.) Formalizing the Transition from Requirements to Design (R G Dromey) rCOS: A Relational Calculus of Components (Z Liu et al.) Characterizing Object-Based Frameworks in First-Order Predicate Logic (S-M Ho & K-K Lau) Formalization in Component Based Development (J P Holmegaard et al.) A Model-Driven Approach for Building Business Components (V Kulkarni & S Reddy) A Formal Approach to Constructing Well-Behaved Systems Using Components (S Moschoyiannis et al.).