Correct Architecture Refinement
IEEE Transactions on Software Engineering - Special issue on software architecture
IEEE Transactions on Software Engineering - Special issue on software architecture
Software reflexion models: bridging the gap between source and high-level models
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Behavioral analysis of software architectures using LTSA
Proceedings of the 21st international conference on Software engineering
Uncovering architectural mismatch in component behavior
Science of Computer Programming
Toward Reference Models for Requirements Traceability
IEEE Transactions on Software Engineering
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Recovering Traceability Links between Code and Documentation
IEEE Transactions on Software Engineering
Maude: specification and programming in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
A Scenario-Driven Approach to Trace Dependency Analysis
IEEE Transactions on Software Engineering
Architectural Reasoning in ArchJava
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Behaviour Analysis of Software Architectures
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Automated Translation of UML Models of Architectures for Verification and Simulation Using SPIN
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
Automating Requirements Traceability: Beyond the Record & Replay Paradigm
Proceedings of the 17th IEEE international conference on Automated software engineering
ACM SIGSOFT Software Engineering Notes
Towards a taxonomy of software change: Research Articles
Journal of Software Maintenance and Evolution: Research and Practice - Unanticipated Software Evolution
Advancing Candidate Link Generation for Requirements Tracing: The Study of Methods
IEEE Transactions on Software Engineering
ASE '06 Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering
Requirements traceability in model-driven development: Applying model and transformation conformance
Information Systems Frontiers
Recovering and using use-case-diagram-to-source-code traceability links
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Modelling Dynamic Software Architectures using Typed Graph Grammars
Electronic Notes in Theoretical Computer Science (ENTCS)
ATL: A model transformation tool
Science of Computer Programming
On the Impact of Evolving Requirements-Architecture Dependencies: An Exploratory Study
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Formal Schedulability Analysis and Simulation for AADL
ICESS '08 Proceedings of the 2008 International Conference on Embedded Software and Systems
A scoped approach to traceability management
Journal of Systems and Software
Process-Algebraic Interpretation of AADL Models
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Enabling Automated Traceability Maintenance through the Upkeep of Traceability Relations
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Verification of Replication Architectures in AADL
ICECCS '09 Proceedings of the 2009 14th IEEE International Conference on Engineering of Complex Computer Systems
AADL Simulation and Performance Analysis in SystemC
ICECCS '09 Proceedings of the 2009 14th IEEE International Conference on Engineering of Complex Computer Systems
CHARMY: A Framework for Designing and Verifying Architectural Specifications
IEEE Transactions on Software Engineering
Verification and performance evaluation of aadl models
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Linking Functional Requirements and Software Verification
RE '09 Proceedings of the 2009 17th IEEE International Requirements Engineering Conference, RE
Refinement via Consistency Checking in MDA
Electronic Notes in Theoretical Computer Science (ENTCS)
A classification and comparison of model checking software architecture techniques
Journal of Systems and Software
Enabling the refinement of a software architecture into a design
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Tool support for generation and validation of traces between requirements and architecture
Proceedings of the 6th ECMFA Traceability Workshop
Graph-based traceability: a comprehensive approach
Software and Systems Modeling (SoSyM)
Towards a formal semantics for the AADL behavior annex
Proceedings of the Conference on Design, Automation and Test in Europe
Expressing and Enforcing User-Defined Constraints of AADL Models
ICECCS '10 Proceedings of the 2010 15th IEEE International Conference on Engineering of Complex Computer Systems
A visual traceability modeling language
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
The EAST-ADL architecture description language for automotive embedded software
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Semantics of trace relations in requirements models for consistency checking and inferencing
Software and Systems Modeling (SoSyM)
Safety, Dependability and Performance Analysis of Extended AADL Models
The Computer Journal
Rigorous identification and encoding of trace-links in model-driven engineering
Software and Systems Modeling (SoSyM)
Behavior-preserving refinement relations between dynamic software architectures
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Formal semantics and analysis of behavioral AADL models in real-time maude
FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Hi-index | 0.00 |
The size and complexity of software systems make integration of the new/modified requirements to the software system costly and time consuming. The impact of requirements changes on other requirements, design elements and source code should be traced to determine parts of the software to be changed. Considerable research has been devoted to relating requirements and design artifacts with source code. Less attention has been paid to relating requirements (R) with architecture (A) by using well-defined semantics of traces. Traces between R&A might be manually assigned. This is time-consuming, and error prone. Traces might be incomplete and invalid. In this paper, we present an approach for automatic trace generation and validation of traces between requirements (R) and architecture (A). Requirements relations and architecture verification techniques are used. A trace metamodel is defined with commonly used trace types between R&A. We use the semantics of traces and requirements relations for generating and validating traces with a tool support. The tool provides the following: (1) generation and validation of traces by using requirements relations and/or verification of architecture, (2) generation and validation of requirements relations by using traces. The tool is based on model transformation in ATL and term-rewriting logic in Maude.