SODOS: a software documentation environment-its use
IEEE Transactions on Software Engineering
LaSSIE: a knowledge-based software information system
Communications of the ACM - Special issue on software engineering
Software requirements: objects, functions, and states
Software requirements: objects, functions, and states
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Toward Reference Models for Requirements Traceability
IEEE Transactions on Software Engineering
An Object-Oriented Tool for Tracing Requirements
IEEE Software
DynaMICs: An Automated and Independent Software-FaultDetection Approach
HASE '99 The 4th IEEE International Symposium on High-Assurance Systems Engineering
Dynamic Traceability Links Supported by a System Architecture Description
ICSM '97 Proceedings of the International Conference on Software Maintenance
Change Analysis and Management: A Process Model and Its Application within a Commercial Setting
ASSET '98 Proceedings of the 1998 IEEE Workshop on Application - Specific Software Engineering and Technology
A Generic Model for Fine Grained Configuration Management Including Version Control and Traceability
ASWEC '97 Proceedings of the Australian Software Engineering Conference
Change Analysis: A Step towards Meeting the Challenge of Changing Requirements
ECBS '96 Proceedings of the IEEE Symposium and Workshop on Engineering of Computer Based Systems
Design Traceability of Complex Systems
HICS '98 Proceedings of the Fourth Symposium on Human Interaction with Complex Systems
A Software Model for Impact Analysis: A Validation Experiment
WCRE '99 Proceedings of the Sixth Working Conference on Reverse Engineering
PRO-ART: Enabling Requirements Pre-Traceability
ICRE '96 Proceedings of the 2nd International Conference on Requirements Engineering (ICRE '96)
An Exploratory Case Study of the Maintenance Effectiveness of Traceability Models
IWPC '00 Proceedings of the 8th International Workshop on Program Comprehension
Object-Oriented Software Engineering: A Use Case Driven Approach
Object-Oriented Software Engineering: A Use Case Driven Approach
An Integrated Development Of A Dynamic Software-Fault Monitoring System
Journal of Integrated Design & Process Science
The identification of integrity constraints in requirements for context monitoring
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Composite Propositions: Toward Support for Formal Specification of System Properties
SEW '02 Proceedings of the 27th Annual NASA Goddard Software Engineering Workshop (SEW-27'02)
A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
In an approach to software monitoring called Dynamic Monitoring with Integrity Constraints (DynaMICs), integrity constraints are used to monitor program behavior at runtime. The constraints capture domain knowledge, limitations imposed by the design, and assumptions made by programmers. This paper introduces Fast Tracing with Links using Integrity Constraints (FasTLInC), a component of DynaMICs, that manages integrity-constraint specifications, software artifacts, and program state information, permitting tracing of constraints and artifacts, specifically requirements and source code. Because DynaMICs verifies that a program behaves in accordance to constraints, the traceability provided by FasTLInC is significant since the monitor targets the detection of faults that result from ambiguity and changes in requirements, conflicts among requirements, and change in program use. The automated identification of bi-directional links between constraints and code eliminates the laborious task of managing links, which can be problematic because of the evolutionary nature of code.