NTRS - NASA Technical Reports Server

Back to Results
Monitoring Properties of ProgramsDevelopment of complex systems requires interaction between a large group of people at various levels of software development, including the communication of properties of the system and the data to be manipulated. A natural idea is to maintain a centralized database of properties of the system to which all members of the development group have access, and to automate the process of checking for violations against this database. The focus of this paper is to discuss such an automated process, called integrity constraint checking. The paper defines the notion of an integrity constraint and discusses considerations for adding an automated checker to a programming language compiler or interpreter. Current work on the implementation of integrity constraint checking in a very high-level language called SequenceL is discussed, and future work in developing a similar checker in an imperative language is outlined.
Document ID
Document Type
Conference Paper
Fernandez, Francisco G.
(Texas Univ. El Paso, TX United States)
Gates, Ann Q.
(Texas Univ. El Paso, TX United States)
Date Acquired
August 17, 2013
Publication Date
January 1, 1997
Publication Information
Publication: The First National Student Conference: NASA University Research Centers at Minority Institutions
Subject Category
Computer Programming And Software
Accession Number
Funding Number(s)
Distribution Limits
Public Use Permitted.
Document Inquiry

Available Downloads

There are no available downloads for this record.
No Preview Available