This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
19th International Conference on Software Engineering (ICSE'97)
Boston, Massachusetts
May 17-May 23
ISBN: 0-89791-914-9
Don Cohen, Computing Services Support Solutions
Martin S. Feather, Computing Services Support Solutions
K. Narayanaswamy, Computing Services Support Solutions
Stephen S. Fickas, Computing Services Support Solutions
Automatic run-time monitoring of software systems' design- / purchase- / installation- time requirements and assumptions is a key step towards making those systems more robust, maintainable, and self-evolving.
A concise language has been designed to permit the convenient expression of a wide range of requirements and assumptions. A compiler automatically converts these expressions into run-time monitors to watch for, and report, all requirement and assumption violations.
The mechanism is applicable to systems which have not necessarily been designed with monitoring in mind, permits addition of further requirements and assumption monitoring on-the-fly, and emphasizes usability by a wide range of end-users.
Index Terms:
Monitoring, requirements, assumptions, expectations, maintenance, robustness, software evolution
Citation:
Don Cohen, Martin S. Feather, K. Narayanaswamy, Stephen S. Fickas, "Automatic Monitoring of Software Requirements," icse, pp.602, 19th International Conference on Software Engineering (ICSE'97), 1997
Usage of this product signifies your acceptance of the Terms of Use.