On a tool-supported model-based approach for building architectures and roadmaps: The MegaM@Rt2 project experience
暂无分享,去创建一个
Dragos Truscan | Wasif Afzal | Jordi Cabot | Alessandra Bagnato | Abel Gómez | Hugo Bruneliere | Andrey Sadovykh | Pierluigi Pierini | Orlando Avila-García
[1] Franck Barbier,et al. Characterization of Adaptable Interpreted-DSML , 2013, ECMFA.
[2] Jordi Cabot,et al. Towards Scalable Model Views on Heterogeneous Model Resources , 2018, MoDELS.
[3] Klaas-Jan Stol,et al. Continuous software engineering: A roadmap and agenda , 2017, J. Syst. Softw..
[4] Jean-Christophe Le Lann,et al. MoPCoM Methodology: Focus on Models of Computation , 2010, ECMFA.
[5] Lionel C. Briand,et al. Assessing Quality and Effort of Applying Aspect State Machines for Robustness Testing: A Controlled Experiment , 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation.
[6] Marcin Jamro. SysML Modeling of Functional and Non-functional Requirements for IEC 61131-3 Control Systems , 2015, Progress in Automation, Robotics and Measuring Techniques.
[7] Hugo Bruneliere,et al. The MegaM@Rt2 Approach and Tool Set , 2017, Ada-Europe 2017.
[8] Lisane B. de Brisolara,et al. Integrating UML, MARTE and sysml to improve requirements specification and traceability in the embedded domain , 2014, 2014 12th IEEE International Conference on Industrial Informatics (INDIN).
[9] Philippe Desfray. Model Repositories at the Enterprises and Systems Scale - The Modelio Constellation Solution , 2015, MODELSWARD.
[10] Gerti Kappel,et al. A survey on UML-based aspect-oriented design modeling , 2011, CSUR.
[11] Guy Gogniat,et al. A co-design approach for embedded system modeling and code generation with UML and MARTE , 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.
[12] Shuai Li,et al. Fostering Analysis from Industrial Embedded Systems Modeling , 2014 .
[13] Sharad Malik,et al. Complementary use of runtime validation and model checking , 2005, ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005..
[14] Lionel C. Briand,et al. Does aspect-oriented modeling help improve the readability of UML state machines? , 2012, Software & Systems Modeling.
[15] Flemström Daniel,et al. From Natural Language Requirements to Passive Test Cases Using Guarded Assertions , 2018, 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS).
[16] Jordi Cabot,et al. The MegaM@Rt2 ECSEL Project: MegaModelling at Runtime — Scalable Model-Based Framework for Continuous Development and Runtime Validation of Complex Systems , 2017, 2017 Euromicro Conference on Digital System Design (DSD).
[17] Mara Nikolaidou,et al. Extending SysML to explore non-functional requirements: the case of information system design , 2012, SAC '12.
[18] Carlo Ghezzi,et al. Run-time efficient probabilistic model checking , 2011, 2011 33rd International Conference on Software Engineering (ICSE).
[19] Richard F. Paige,et al. Guest editorial to the special issue on Success Stories in Model Driven Engineering , 2014, Sci. Comput. Program..
[20] Bran Selic,et al. The Pragmatics of Model-Driven Development , 2003, IEEE Softw..
[21] Wasif Afzal,et al. A Black-Box Approach to Latency and Throughput Analysis , 2017, 2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C).
[22] Uwe Zdun,et al. Systematic literature review of the objectives, techniques, kinds, and architectures of models at runtime , 2016, Software & Systems Modeling.
[23] Andreas W. Liehr,et al. Generation of MARTE Allocation Models from Activity Threads , 2008, FDL.
[24] Shigeru Chiba,et al. Aspect-Oriented Programming Beyond Dependency Injection , 2005, ECOOP.
[25] Lionel C. Briand,et al. An industrial application of robustness testing using aspect-oriented modeling, UML/MARTE, and Search algorithms , 2011, MODELS'11.
[26] Dragos Truscan,et al. A Tool-Supported Approach for Building the Architecture and Roadmap in MegaM@Rt2 Project , 2018, SEDA.
[27] Gordon S. Blair,et al. Models@ run.time , 2009, Computer.