|
A. Albinet, J. L. Boulanger, H. Dubois, M. A. Peraldi-Frati, Y. Sorel, and Q. D. Van, "Model-Based Methodology for Requirements Traceability in Embedded Systems," 2007.
|
|
D. Blouin, E. Senn, and S. Turki, "Defining an Annex Language to the Architecture Analysis and Design Language for Requirements Engineering Activities Support," in Model-Driven Requirements Engineering Workshop, 2011, pp. 11-20.
|
|
J. S. Cuadrado, E. Guerra, and J. D. Lara, "Flexible Model-to-Model Transformation Templates: An Application to ATL," in International Conference on Prostate Cancer Imaging: Image Analysis and Image-Guided Interventions, 2011, pp. 70-79.
|
|
J. Delange, P. Feiler, and N. Ernst, "Incremental Life Cycle Assurance of Safety-Critical Systems," in Ertss, 2016.
|
|
J. Delange, P. Feiler, and L. Wrage, "A Requirement Specification Language for AADL," 2016.
|
|
N. Drivalos, R. F. Paige, K. J. Fernandes, and D. S. Kolovos, "Towards Rigorously Defined Model-to-Model Traceability," in Ecmda Traceability Workshop Sintef Technical Report, 2008
|
|
P. Feiler, "Open Source AADL Tool Environment (OSATE)," Aadl Workshop, 2004.
|
|
P. Feiler, "Requirements and Architecture Specification of the Joint Multi-Role (JMR) Joint Common Architecture (JCA) Demonstration System," 2015.
|
|
P. H. Feiler, D. P. Gluch, and J. J. Hudak, "The Architecture Analysis & Design Language (AADL): An Introduction," 2006.
|
|
M. Galster, A. Eberlein, and M. Moussavi, "Transition from Requirements to Architecture: A Review and Future Perspective," in Acis International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/distributed Computing, 2006, pp. 9-16.
|
|
A. Goknil, I. Kurtev, and V. D. B. Klaas, "A Rule-Based Approach for Evolution of AADL Models Based on Changes in Functional Requirements," in Proccedings of the European Conference on Software Architecture Workshops, 2016, p. 10.
|
|
A. Group, "ATL: Atlas Transformation Language," 2006.
|
|
á. Jiménez, D. Granada, V. Bollati, and J. M. Vara, "Using ATL to support Model-Driven Development of RubyTL Model Transformations," in Proceedings of the third International Workshop on Model Transformation with ATL, pp 35-48, 2014.
|
|
J. Kovse and T. H?rder, "Generic XMI-Based UML Model Transformations," Lecture Notes in Computer Science, vol. 2425, pp. 192-198, 2002.
|
|
J. D. Lara and E. Guerra, "Towards the flexible reuse of model transformations: A formal approach based on graph transformation," Journal of Logical & Algebraic Methods in Programming, vol. 83, no. 5-6, pp. 427-458, 2014.
|
|
C. Ponsard and M. Delehaye, "Towards a Model-Driven Approach for Mapping Requirements on AADL Architectures," in IEEE International Conference on Engineering of Complex Computer Systems, 2009, pp. 353-358.
|
|
B. Sch?tz, V. Aravantinos, S. Voss, S. Teufl, and F. H?zl, "AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems," in International Workshop on Model-Based Architecting of Cyber-Physical and Embedded Systems, 2015.
|
|
E. Senn, D. Blouin, and S. Turki, "AADL Requirements Annex Explored With FAA Handbook Example," 2012.
|
|
F. Singhoff, J. Legrand, and L. Nana, "Scheduling and memory requirements analysis with AADL," Acm Sigada Ada Letters, vol. XXV, no. 4, pp. 1-10, 2005.
|
|
Springfield, "Requirements Engineering Management Handbook."
|
|
M. W. Whalen, A. Gacek, D. Cofer, A. Murugesan, M. P. E. Heimdahl, and S. Rayadurgam, "Your "What" Is My "How": Iteration and Hierarchy in System Design," IEEE Software, vol. 30, no. 2, pp. 54-60, 2013.
|
|
Y. W. Zeng and M. L. Zhang, "An Approach about Translating from Requirement Model to AADL Software Architecture," in International Conference on Information NETWORKING and Automation, 2010, pp. V1-275-V1-279.
|