Sciweavers

13140 search results - page 127 / 2628
» Coupling Component Systems towards Systems of Systems
Sort
View
FMCO
2004
Springer
123views Formal Methods» more  FMCO 2004»
15 years 1 months ago
rCOS: Refinement of Component and Object Systems
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
Zhiming Liu, Jifeng He, Xiaoshan Li
COMPSAC
2001
IEEE
15 years 1 months ago
Metrics-Guided Quality Management for Component-Based Software Systems
Sahra Sedigh-Ali, Arif Ghafoor, Raymond A. Paul
TACAS
2000
Springer
109views Algorithms» more  TACAS 2000»
15 years 1 months ago
An Extensible Type System for Component-Based Design
Yuhong Xiong, Edward A. Lee