A field study of the software design process for large systems
Communications of the ACM
Software requirements: objects, functions, and states
Software requirements: objects, functions, and states
Requirements engineering: social and technical issues
Requirements engineering: social and technical issues
Requirements engineering as the reconciliation of social and technical issues
Requirements engineering
Customer-developer links in software development
Communications of the ACM
Apprenticing with the customer
Communications of the ACM
Validating formal specifications with HOL
Validating formal specifications with HOL
Context monitoring with integrity constraints
Context monitoring with integrity constraints
An introduction to SequenceL: a language to experiment with constructs for processing nonscalars
Software—Practice & Experience
Integration in Component-Based Software Development Using Design Patterns
COMPSAC '00 24th International Computer Software and Applications Conference
FasTLInC: a constraint-based tracing approach
Journal of Systems and Software
An Integrated Development Of A Dynamic Software-Fault Monitoring System
Journal of Integrated Design & Process Science
Hi-index | 0.00 |
The rapid advancement of technology has created the demand for more complex systems that require deep and diverse application-specific knowledge. Building such systems requires expertise in domain-specific knowledge that could include areas such as flight control, navigation and sensor processing, expertise in software-related knowledge in areas such as operating systems, human/computer interface, object-oriented technology and distributed systems, and an understanding of relevant social factors. This exacerbates a long-standing problem in software engineering; communicating specialized knowledge to members of the development team who have varied levels of expertise. This concern is being addressed through an approach called context monitoring--the use of integrity constraints to capture the conditions that data manipulated by the program must satisfy, and the dynamic monitoring of the enforcement of them by the program. The work reported in this paper is laying the initial groundwork for the identification of integrity constraints that is critical for the effectiveness of this approach. This paper provides an overview of the context monitoring effort and presents an initial methodology for eliciting constraints from the appropriate stakeholders during the requirements phase.