• DocumentCode
    3068499
  • Title

    Supporting the deployment of object-oriented frameworks

  • Author

    Hou, Daqing

  • Author_Institution
    Dept. of Comput. Sci., Alberta Univ., Edmonton, Alta., Canada
  • fYear
    2001
  • fDate
    12-19 May 2001
  • Firstpage
    791
  • Lastpage
    792
  • 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.
  • Keywords
    object-oriented programming; program diagnostics; program verification; software reusability; application verification; object-oriented frameworks; software reuse; static analysis; Object oriented programming; Protection; Protocols; Prototypes; Specification languages;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Engineering, 2001. ICSE 2001. Proceedings of the 23rd International Conference on
  • ISSN
    0270-5257
  • Print_ISBN
    0-7695-1050-7
  • Type

    conf

  • DOI
    10.1109/ICSE.2001.919180
  • Filename
    919180
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3068499