validating objected-oriented prototype of real-time systems with timed     automata

ISCAS OpenIR

	validating objected-oriented prototype of real-time systems with timed automata
	Shu GQ; Li C; Wang Q; Li MS
	2002
会议名称	13th IEEE International Workshop on Rapid System Prototyping
页码	99-106
会议日期	JUL 01-03,
会议地点	DARMSTADT, GERMANY
收录类别	istp ; ieee
出版地	10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA
出版者	13TH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS
ISSN	1074-6005
ISBN	0-7695-1703-X
部门归属	Chinese Acad Sci, Inst Software, Beijing 100864, Peoples R China.
摘要	Object-oriented development of real-time systems is becoming more and more prevalent. Unified Modeling Language (UML) is a standardized notation for describing object-oriented software design. While using UML to specify real-time systems, the
关键词	Forts Uml Unified Modeling Language Case Study Constraint Solving Formal Semantics Formal Specification Model Checking Object-oriented Real-time System Development Object-oriented Software Validation Sequence Diagram Software Prototyping Timed
主办者	IEEE Comp Soc Tech Comm Simulat, IEEE Comp Soc Tech Comm Design Automat
语种	英语
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/13386
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Shu GQ,Li C,Wang Q,et al. validating objected-oriented prototype of real-time systems with timed automata[C]. 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA:13TH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS,2002:99-106.

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