A Conceptual Framework for Consistency Management in Model-Based Systems Engineering
暂无分享,去创建一个
Christiaan J. J. Paredis | Ahsan Qamar | Sebastian J. I. Herzig | Axel Reichwein | C. Paredis | A. Qamar | S. Herzig | A. Reichwein
[1] M. Tribus. Rational descriptions, decisions, and designs , 1969 .
[2] Bernhard Schätz,et al. Consistency in model-based development , 2003, 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings..
[3] Tom Mens,et al. A Framework for Managing Consistency of Evolving UML Models , 2005 .
[4] Shinobu Yoshimura,et al. 11th International Conference on Engineering Design , 1997 .
[5] Sanford Friedenthal,et al. A Practical Guide to SysML: The Systems Modeling Language , 2008 .
[6] G. Boothroyd. Design for assembly—The key to design for manufacture , 1987 .
[7] Manfred Broy,et al. Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments , 2010, Proceedings of the IEEE.
[8] Hans Vangheluwe,et al. Consistency between geometric and dynamic views of a mechanical system , 2007, SCSC.
[9] Wilhelm Schäfer,et al. Management of Cross-Domain Model Consistency during the Development of Advanced Mechatronic Systems , 2009 .
[10] Genichi Taguchi,et al. Robust Technology Development , 2007 .
[11] Holger Giese,et al. Summary of the workshop on multi-paradigm modeling: concepts and tools , 2006, MoDELS'06.
[12] Tom Mens,et al. Incremental Detection of Model Inconsistencies Based on Model Operations , 2009, CAiSE.
[13] Stephanie C. Thompson. Rational design theory: a decision-based foundation for studying design methods , 2011 .
[14] E. Rowland. Theory of Games and Economic Behavior , 1946, Nature.
[15] Jeff A. Estefan,et al. of Model-Based Systems Engineering ( MBSE ) Methodologies , 2008 .
[16] Qing Li,et al. Unified Modeling Language , 2009 .
[17] Ananya Kanjilal,et al. UML-Compiler: A Framework for Syntactic and Semantic Verification of UML Diagrams , 2010, ICDCIT.
[18] 张友安,et al. 使用MATLAB WITH SIMULINK仿真语言的几点体会 , 1998 .
[19] Peter C. Fishburn,et al. Utility theory for decision making , 1970 .
[20] Tom Mens,et al. Conditional Graph Rewriting as a Domain-Independent Formalism for Software Evolution , 1999, AGTIVE.
[21] Klaus Zeman,et al. Consistency Checking of Mechatronic Design Models , 2010 .
[22] Jeffrey D. Ullman,et al. Introduction to automata theory, languages, and computation, 2nd edition , 2001, SIGA.
[23] Masaharu Yoshioka. Pluggable Metamodel Mechanism : A Framework of an Integrated Design Object Modeling Environment , 1998 .
[24] Tom Mens,et al. Maintaining Consistency between UML Models Using Description Logic , 2004, Obj. Logiciel Base données Réseaux.
[25] Jean-Claude Royer,et al. Checking the Consistency of UML Class Diagrams Using Larch Prover , 2000, Rigorous Object-Oriented Methods.
[26] Dexter Kozen,et al. Automata and Computability , 1997, Undergraduate Texts in Computer Science.
[27] George A. Hazelrigg,et al. A Framework for Decision-Based Engineering Design , 1998 .
[28] M. Broy,et al. 2nd UML 2 semantics symposium: formal semantics for UML , 2006, MoDELS'06.