object-oriented specification composition and refinement via category     theoretic computations - extended abstract

	object-oriented specification composition and refinement via category theoretic computations - extended abstract
	Zheng Yujun; Xue Jinyun; Liu Weibo
	2006
会议名称	3rd International Conference on Theory and Applications of Models of Computation (TAMC 2006)
页码	601-610
会议日期	MAY 15-20,
会议地点	Beijing, PEOPLES R CHINA
收录类别	SCI
出版地	HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
出版者	THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS
ISSN	0302-9743
ISBN	3-540-34021-1
部门归属	Syst Engn Inst Engineer Equipment, Beijing 100093, Peoples R China. Chinese Acad Sci, Inst Software, Beijing 100080, Peoples R China. Jiangxi Normal Univ, Nanchang 330027, Peoples R China.
摘要	Most of the existing formal object-oriented methods use classes or objects as the basic unit of design, and therefore lack a precise semantics for specifying high-granularity components. The paper presents a framework of categorical models tha
主办者	Chinese Acad Sci, Inst Software, Univ Leeds, Univ Wisconsin, Natl Nat Sci Fdn China
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/12196
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Zheng Yujun,Xue Jinyun,Liu Weibo. object-oriented specification composition and refinement via category theoretic computations - extended abstract[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS,2006:601-610.

条目包含的文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
object-oriented spec（570KB）			开放获取	--	请求全文