QQ客服 官方微博 反馈留言

	Axioms and Abstract Predicates on Interfaces in Specifying/Verifying OO Components
	Hong, Ali ; Liu, Yijing ; Qiu, Zongyan
	2014
关键词	Component Specification Verification Abstract predicate Axiom MVC SEPARATION LOGIC VERIFICATION SPECIFICATION
英文摘要	A Abstraction is essential in component-based design and implementation of systems, however, it brings also challenges to the formal specification and verification. In this paper we develop a framework to support the abstract specification for the interfaces of components and their interactions, and the related verification. We show also that the abstract specification on the interface-level can be used to enforce correct implementations of the components. We take one practical application of the well-known MVC architecture as a case study. Although our work focuses on the OO based programs, some concepts and techniques developed in the work might be useful more broadly.; Computer Science, Software Engineering; Computer Science, Theory & Methods; Logic; EI; CPCI-S(ISTP); 0
语种	英语
出处	EI ; SCI
内容类型	其他
源URL	[http://hdl.handle.net/20.500.11897/405641]
专题	数学科学学院
推荐引用方式 GB/T 7714	Hong, Ali,Liu, Yijing,Qiu, Zongyan. Axioms and Abstract Predicates on Interfaces in Specifying/Verifying OO Components. 2014-01-01.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。