A field study of the software design process for large systems
Communications of the ACM
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Intent Specifications: An Approach to Building Human-Centered Specifications
IEEE Transactions on Software Engineering
Completeness in formal specification language design for process-control systems
FMSP '00 Proceedings of the third workshop on Formal methods in software practice
Toward Reference Models for Requirements Traceability
IEEE Transactions on Software Engineering
xlinkit: a consistency checking and smart link generation service
ACM Transactions on Internet Technology (TOIT)
Process-Centered Requirements Engineering
Process-Centered Requirements Engineering
Formal Concept Analysis: Mathematical Foundations
Formal Concept Analysis: Mathematical Foundations
Towards large-scale information integration
Proceedings of the 24th International Conference on Software Engineering
Design-code traceability for object-oriented systems
Annals of Software Engineering
A Formal Object Approach to the Design of ZML
Annals of Software Engineering
An Object-Oriented Tool for Tracing Requirements
IEEE Software
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
Recovering Traceability Links between Code and Documentation
IEEE Transactions on Software Engineering
A Scenario-Driven Approach to Trace Dependency Analysis
IEEE Transactions on Software Engineering
An Overview of the GXL Graph Exchange Language
Revised Lectures on Software Visualization, International Seminar
Recovering documentation-to-source-code traceability links using latent semantic indexing
Proceedings of the 25th International Conference on Software Engineering
Consistency management with repair actions
Proceedings of the 25th International Conference on Software Engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Event-Based Traceability for Managing Evolutionary Change
IEEE Transactions on Software Engineering
Improving Requirements Tracing via Information Retrieval
RE '03 Proceedings of the 11th IEEE International Conference on Requirements Engineering
Empirical Analysis of Safety-Critical Anomalies During Operations
IEEE Transactions on Software Engineering
Unifying structure, behavior, and data with themis types and templates
Proceedings of the fifteenth ACM conference on Hypertext and hypermedia
Supporting Software Evolution through Dynamically Retrieving Traces to UML Artifacts
IWPSE '04 Proceedings of the Principles of Software Evolution, 7th International Workshop
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
A Systems-Theoretic Approach to Safety in Software-Intensive Systems
IEEE Transactions on Dependable and Secure Computing
Toward improved traceability of non-functional requirements
TEFSE '05 Proceedings of the 3rd international workshop on Traceability in emerging forms of software engineering
Advancing Candidate Link Generation for Requirements Tracing: The Study of Methods
IEEE Transactions on Software Engineering
A visual language for modeling and executing traceability queries
Software and Systems Modeling (SoSyM)
| Hi-index | 0.00 |
Critical and catastrophic failures in high assurance and critical computing systems can arise from unfounded assumptions of independence between system components, requirements, and constraints (work product sections), which can stem from misunderstandings and miscommunication between system engineers, managers, and operators and from inadequate or incomplete traceability between system work products. In this article, we propose a formal framework for the effective implementation of traceability between work product sections along with a technique for discovering potential causes of critical failures in high assurance and critical computing system models. We introduce a new abstraction of interrelated work product sections called implementation meta-work product and describe how our technique finds these meta-work products. We also demonstrate how this technique can be used to help analysts discover potential causes of safety-related errors in high assurance and critical computing systems by applying it to one case study of a known critical error and to one case study where we anticipate potential safety hazards.