中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共8条，第1-8条

帮助

条数/页：排序方式：
	An Approach to Checking Consistency between UML Class Model and Its Java Implementation 期刊论文 OAI收割 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016, 卷号: 42, 期号: 4, 页码: 322-344 Chavez, HM; Shen, WW; France, RB; Mechling, BA; Li, GY \| 收藏 \| 浏览/下载：22/0 \| 提交时间：2016/12/09 Class diagrams UML Java model checking
	an aspect-oriented modeling approach to predict performance of jca-based systems 学位论文 OAI收割 2009 Zhang Wenbo; Huang Xiang; Zhang Bo; Wei Jun \| 收藏 \| 浏览/下载：24/0 \| 提交时间：2011/03/20 Java connector architecture performance LQN model UML model application server aspect-oriented modeling approach enterprise information system enterprise interoperability Java Unified Modeling Language object-oriented programming open systems software architecture software performance evaluation
	declarative performance modeling for component-based system using uml profile for schedulability, performance and time 会议论文 OAI收割 4th IEEE International Conference on Software Engineering and Formal Methods, Pune, INDIA, SEP 11-15, Zhang Yong; Huang Tao; Wei Jun \| 收藏 \| 浏览/下载：22/0 \| 提交时间：2011/07/28 UML profile component-based system container middleware declarative performance modeling model assembling algorithm schedulability time annotations Unified Modeling Language middleware object-oriented programming scheduling software performance evaluation
	declarative performance modeling for component-based system using uml profile for schedulability, performance and time 会议论文 OAI收割 4th IEEE International Conference on Software Engineering and Formal Methods, Pune, INDIA, SEP 11-15, Zhang Yong; Huang Tao; Wei Jun \| 收藏 \| 浏览/下载：12/0 \| 提交时间：2011/07/28 UML profile component-based system container middleware declarative performance modeling model assembling algorithm schedulability time annotations Unified Modeling Language middleware object-oriented programming scheduling software performance evaluation
	a metamodel based model transformation approach 会议论文 OAI收割 3rd International Conference on Software Engineering Research, Management and Applications, Mt Pleasant, MI, AUG 11-13, Duan YC; Cheung SC; Fu XL; Gu YQ \| 收藏 \| 浏览/下载：24/0 \| 提交时间：2011/07/28 UML metamodel elements information transformation problem metamodel based model transformation approach model driven software development transformation rules Unified Modeling Language formal specification
	The research of product graphical information sharing technology of virtual manufacturing enterprise in e-commerce environment 会议论文 OAI收割 4th International Conference on Electronic Business (ICEB 2004), Beijing, China, December 5-9, 2004 作者: Ma MX(马明旭); Li HY(李海越); Zhang WL(张闻雷); Yin CW(尹朝万); Wang CE(王成恩) 收藏 \| 浏览/下载：19/0 \| 提交时间：2012/06/06 e-commerce product model UML XML
	信息模型驱动的信息系统开发与元信息系统中文期刊论文 OAI收割 2003 作者: 梁军收藏 \| 浏览/下载：13/0 \| 提交时间：2012/05/22 Information model Meta information system UML
	validating objected-oriented prototype of real-time systems with timed automata 会议论文 OAI收割 13th IEEE International Workshop on Rapid System Prototyping, DARMSTADT, GERMANY, JUL 01-03, Shu GQ; Li C; Wang Q; Li MS \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2011/07/29 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