ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Defining an annex language to the architecture analysis and design language for requirements engineering activities support
2011 Model-Driven Requirements Engineering Workshop
◽
10.1109/modre.2011.6045362
◽
2011
◽
Cited By ~ 9
Author(s):
Dominique Blouin
◽
Eric Senn
◽
Skander Turki
Keyword(s):
Requirements Engineering
◽
Analysis And Design
◽
Design Language
◽
Architecture Analysis
Download Full-text
Related Documents
Cited By
References
Formal semantics of behavior specifications in the architecture analysis and design language standard
2016 IEEE International High Level Design Validation and Test Workshop (HLDVT)
◽
10.1109/hldvt.2016.7748252
◽
2016
◽
Author(s):
Loıc Besnard
◽
Thierry Gautier
◽
Clement Guy
◽
Paul Le Guernic
◽
Jean-pierre Talpin
◽
...
Keyword(s):
Formal Semantics
◽
Analysis And Design
◽
Design Language
◽
Architecture Analysis
Download Full-text
ABV - A Verifier for the Architecture Analysis and Design Language (AADL)
2011 16th IEEE International Conference on Engineering of Complex Computer Systems
◽
10.1109/iceccs.2011.43
◽
2011
◽
Cited By ~ 6
Author(s):
Stefan Björnander
◽
Cristina Seceleanu
◽
Kristina Lundqvist
◽
Paul Pettersson
Keyword(s):
Analysis And Design
◽
Design Language
◽
Architecture Analysis
Download Full-text
Assuring Software Fault Management with the Architecture Analysis and Design Language
Infotech@Aerospace 2012
◽
10.2514/6.2012-2575
◽
2012
◽
Author(s):
Kenneth Evensen
◽
Michela Munoz Fernandez
Keyword(s):
Fault Management
◽
Analysis And Design
◽
Design Language
◽
Software Fault
◽
Architecture Analysis
Download Full-text
Architecture analysis and design language & harmony system engineering process
2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC)
◽
10.1109/dasc.2012.6382421
◽
2012
◽
Author(s):
Teng-teng Zhang
◽
Jian-min Wu
◽
Lin Qi
◽
Hai-yu Xu
Keyword(s):
System Engineering
◽
Engineering Process
◽
Analysis And Design
◽
Design Language
◽
Architecture Analysis
Download Full-text
Aspect-Oriented QoS Modeling of Cyber-Physical Systems by the Extension of Architecture Analysis and Design Language
Lecture Notes in Electrical Engineering - Computer Engineering and Networking
◽
10.1007/978-3-319-01766-2_128
◽
2013
◽
pp. 1125-1131
◽
Cited By ~ 2
Author(s):
Lichen Zhang
◽
Shuguang Feng
Keyword(s):
Cyber Physical Systems
◽
Physical Systems
◽
Analysis And Design
◽
Design Language
◽
Architecture Analysis
Download Full-text
Model-Based Software Quality Assurance with the Architecture Analysis and Design Language
AIAA Infotech@Aerospace Conference
◽
10.2514/6.2009-2034
◽
2009
◽
Cited By ~ 1
Author(s):
Peter Feiler
◽
David Gluch
◽
Kathryn Weiss
◽
Kurt Woodham
Keyword(s):
Quality Assurance
◽
Software Quality
◽
Software Quality Assurance
◽
Analysis And Design
◽
Design Language
◽
Model Based
◽
Architecture Analysis
Download Full-text
SAE Architecture Analysis and Design Language (AADL) Annex Volume 2
10.4271/as5506/2
◽
2011
◽
Author(s):
Keyword(s):
Analysis And Design
◽
Design Language
◽
Architecture Analysis
Download Full-text
SAE Architecture Analysis and Design Language (AADL) Annex Volume 1: Annex A: ARINC653 Annex, Annex C: Code Generation Annex, Annex E: Error Model Annex
10.4271/as5506/1a
◽
2015
◽
Cited By ~ 16
Author(s):
Keyword(s):
Code Generation
◽
Error Model
◽
Analysis And Design
◽
Design Language
◽
Architecture Analysis
Download Full-text
Application of the Architecture Analysis and Design Language (AADL) to Space System Safety and Reliability Assessment
AIAA SPACE 2010 Conference & Exposition
◽
10.2514/6.2010-8658
◽
2010
◽
Author(s):
Myron Hecht
◽
Alexander Lam
◽
Derek Pfister
◽
Christopher Vogl
◽
Russell Howes
Keyword(s):
Reliability Assessment
◽
Space System
◽
System Safety
◽
Analysis And Design
◽
Design Language
◽
Safety And Reliability
◽
Architecture Analysis
Download Full-text
Architecture analysis and design language & harmony system engineering process
2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC)
◽
10.1109/dasc.2012.6383102
◽
2012
◽
Author(s):
Teng-teng Zhang
Keyword(s):
System Engineering
◽
Engineering Process
◽
Analysis And Design
◽
Design Language
◽
Architecture Analysis
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close