Modeling collaborations with dynamic structural adaptation in mechatronic UML
暂无分享,去创建一个
[1] Rajeev Alur,et al. Modeling and analysis of hybrid systems , 2003 .
[2] Peyman Oreizy,et al. Architecture-based runtime software evolution , 1998, Proceedings of the 20th International Conference on Software Engineering.
[3] Stephan Merz,et al. Model Checking - Timed UML State Machines and Collaborations , 2002, FTRTFT.
[4] Jürgen Dingel,et al. A survey of self-management in dynamic software architecture specifications , 2004, WOSS '04.
[5] Holger Giese,et al. Modular design and verification of component-based mechatronic systems with online-reconfiguration , 2004, SIGSOFT '04/FSE-12.
[6] Morris Sloman,et al. Configuring distributed systems , 1992, EW 5.
[7] Vijay Kumar,et al. Hierarchical Hybrid Modeling of Embedded Systems , 2001, EMSOFT.
[8] Ugo Montanari,et al. Graph grammars and constraint solving for software architecture styles , 1998, ISAW '98.
[9] José M. Troya,et al. Specification and Refinement of Dynamic Software Architectures , 1999, WICSA.
[10] Jeff Magee,et al. Analysing dynamic change in software architectures: a case study , 1998, Proceedings. Fourth International Conference on Configurable Distributed Systems (Cat. No.98EX159).
[11] Ulrich Nickel,et al. Integrating UML diagrams for production control systems , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
[12] Betty H. C. Cheng,et al. Model-based development of dynamically adaptive software , 2006, ICSE.
[13] Insup Lee,et al. Compositional Refinement for Hierarchical Hybrid Systems , 2001, HSCC.
[14] Holger Giese,et al. Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML , 2004, MDAFA.
[15] Holger Giese,et al. A survey of approaches for the visual model-driven development of next generation software-intensive systems , 2006, J. Vis. Lang. Comput..
[16] David Garlan,et al. Specifying and Analyzing Dynamic Software Architectures , 1998, FASE.
[17] Holger Giese,et al. Towards the compositional verification of real-time UML designs , 2003, ESEC/FSE-11.
[18] Daniel Le Métayer,et al. Software architecture styles as graph grammars , 1996, SIGSOFT '96.
[19] Holger Giese,et al. Hybrid UML Components for the Design of Complex Self-Optimizing Mechatronic Systems , 2004, ICINCO.
[20] Holger Giese,et al. A Formal Calculus for the Compositional Pattern-Based Design of Correct Real-Time Systems∗ , 2003 .
[21] Jozef Hooman,et al. Correct Development of Embedded Systems , 2004 .
[22] Gabor Karsai,et al. Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations , 2004, GT-VMT@ETAPS.
[23] Thomas A. Henzinger. Masaccio: A Formal Model for Embedded Components , 2000, IFIP TCS.
[24] Gabriele Taentzer,et al. Dynamic Change Management by Distributed Graph Transformation: Towards Configurable Distributed Systems , 1998, TAGT.
[25] Holger Giese,et al. Modeling Reconfigurable Mechatronic Systems with Mechatronic UML , 2004 .