The Community for Technology Leaders
Engineering of Computer-Based Systems, IEEE International Conference on the (1997)
Monterey, CA
Mar. 24, 1997 to Mar. 28, 1997
ISBN: 0-8186-7889-5
pp: 498
A.Q. Gates , Dept. of Comput. Sci., Texas Univ., El Paso, TX, USA
C. Kubo Della-Piana , Dept. of Comput. Sci., Texas Univ., El Paso, TX, USA
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.
formal specification; integrity constraints; requirements; context monitoring; application-specific knowledge; software engineering; specialized knowledge; development team

C. Kubo Della-Piana and A. Gates, "The identification of integrity constraints in requirements for context monitoring," Engineering of Computer-Based Systems, IEEE International Conference on the(ECBS), Monterey, CA, 1997, pp. 498.
81 ms
(Ver 3.3 (11022016))