@inproceedings{0cc4047dd3b7494eaf40e4807074add7,
title = "Towards a refinement calculus for object systems",
abstract = "This paper presents a refinement calculus for object systems with visibility, dynamic binding and mutual dependency. The intention is to support effective use of a relational model for specifying and reasoning in activities of an object system development process. The semantics framework will define the meaning of the combinators in the exactly same way as their counterparts in the imperative programming languages. This makes the approach more accessible to the users who are already familiar with the algebraic laws and the verification tools developed for these languages. The paper also provides a set of transformation rules in support of object system refinement.",
author = "He Jifeng and Liu Zhiming and Li Xiaoshan",
note = "Publisher Copyright: {\textcopyright} 2002 IEEE.; 1st IEEE International Conference on Cognitive Informatics, ICCI 2002 ; Conference date: 19-08-2002 Through 20-08-2002",
year = "2002",
doi = "10.1109/COGINF.2002.1039284",
language = "英语",
series = "Proceedings - 1st IEEE International Conference on Cognitive Informatics, ICCI 2002",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "69--76",
editor = "Johnston, \{Ronald H.\} and Smith, \{Michael R.\} and Yingxu Wang",
booktitle = "Proceedings - 1st IEEE International Conference on Cognitive Informatics, ICCI 2002",
address = "美国",
}