Sciweavers

FMCO
2004
Springer
123views Formal Methods» more  FMCO 2004»
14 years 4 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