kirancodes.me
To Proof Maintenance & Beyond!

Supporting the Deployment of Object-Oriented Frameworks

Daqing Hou

Abstract

Frameworks are usually large and complex, and typically reusers need to understand them well enough to effectively use them. This research concentrates on verifying applications built on top of OO frameworks. The idea is to get framework builders to specify a set of constraints for the correct usage of the framework and check them using static analysis techniques.

BibTeX
@inproceedings{Hou:ICSE01,
  author    = {Daqing Hou},
  title     = {Supporting the Deployment of {Object-Oriented} Frameworks},
  booktitle = {ICSE},
  pages     = {791--792},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
}

Related papers