Sciweavers

DAGSTUHL
2007
14 years 11 days ago
Modelling with Relational Calculus of Object and Component Systems - rCOS
Abstract. This chapter presents a formalization of functional and behavioural requirements, and a refinement of requirements to a design for CoCoME using the Relational Calculus o...
Zhenbang Chen, Abdel Hakim Hannousse, Dang Van Hun...
ICECCS
2006
IEEE
90views Hardware» more  ICECCS 2006»
14 years 5 months ago
A Type System for the Relational Calculus of Object Systems
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu