Supporting the deployment of object oriented frameworks

Authors:
Daqing Hou
Affiliations:
Department of Computing Science, University of Alberta, Edmonton, Alberta, T6G 2E8, Canada
Venue:
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Year:
2001

Citing 6
Cited 0

Contracts: specifying behavioral compositions in object-oriented systems

OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Documenting frameworks using patterns

OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
A behavioral notion of subtyping

ACM Transactions on Programming Languages and Systems (TOPLAS)
Regular types for active objects

Object-oriented software composition
Hooking into object-oriented application frameworks

ICSE '97 Proceedings of the 19th international conference on Software engineering
Components, frameworks, patterns

Proceedings of the 1997 symposium on Software reusability

Quantified Score

Hi-index	0.00

Visualization

Abstract

Frameworks [4] 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.