Design Patterns for Rule-Based Refinement of Safety Critical Embedded Systems Models
暂无分享,去创建一个
[1] Julien Delange,et al. Validate, simulate, and implement ARINC653 systems using the AADL , 2009, SIGAda '09.
[2] Silvia Mara Abrahão,et al. Design guidelines for the development of quality-driven model transformations , 2010, MODELS'10.
[3] Laurent Pautet,et al. Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems , 2010, 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.
[4] Jernej Kovse,et al. MT-Flow - An Environment for Workflow-Supported Model Transformations in MDA , 2004, CAiSE.
[5] Krzysztof Czarnecki,et al. Classification of Model Transformation Approaches , 2003 .
[6] Harold Ossher,et al. Subject-oriented programming: a critique of pure objects , 1993, OOPSLA '93.
[7] Ivan Kurtev,et al. Adaptability of model transformations , 2005 .
[8] A. Vallecillo,et al. Orchestrating ATL Model Transformations , 2009 .
[9] Frédéric Jouault. Loosely Coupled Traceability for ATL , 2005 .
[10] Eelco Visser,et al. Code generation by model transformation: a case study in transformation modularity , 2008, Software & Systems Modeling.
[11] Yannis Smaragdakis,et al. Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs , 2002, TSEM.
[12] Laurent Pautet,et al. From the prototype to the final embedded system using the Ocarina AADL tool suite , 2008, TECS.
[13] Don S. Batory,et al. The design and implementation of hierarchical software systems with reusable components , 1992, TSEM.
[14] Jordi Cabot,et al. Towards a general composition semantics for rule-based model transformation , 2011, MODELS'11.
[15] Alan Hartman,et al. Model Driven Architecture: Foundations and Applications , 2003 .
[16] Ivan Kurtev Ivanov,et al. Adaptability of model transformations , 2005 .