Supporting the deployment of object-oriented frameworks

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2348, Issue , 2002, Pages 151-166

  Hou, Daqing ^a   Hoover, H James ^a   Stroulia, Eleni ^a  

^a UNIVERSITY OF ALBERTA   (Canada)

Author keywords

Framework deployment; Model checking; Object Oriented frameworks; Static analysis

Indexed keywords

INFORMATION SYSTEMS; STATIC ANALYSIS; SYSTEMS ENGINEERING;

FRAMEWORK DEPLOYMENT; OBJECT ORIENTED APPLICATION; OBJECT-ORIENTED FRAMEWORKS; PROPER SOLUTIONS; TRIAL-AND-ERROR APPROACH;

MODEL CHECKING;

EID: 84944069162     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (19)

1. R. Anderson, P. Beame, S. Burns, W. Ch an, F. Modugno, D. Notkin, and J. Reese. Model Checking Large Software Specifications, Software Engineering Notes, 21(6):156–166, November 1996.
2. J. Atlee, J. Gannon. State-based Model Checking of Event-driven System Requirements, IEEE Transactions on Software Engineering, 19(1):24–40, June 1993.
3. A. Birrer, T. Eggenschwiler. Frameworks in the Financial Engineering Domain: An Experience Report, Proceedings of ECOOP 93, 1993.
4. J. Bosch, P. Molin, M. Mattsson and P. Bengtsson. Obstacles in Object-Oriented Framework-based Software Development, ACM Computing Surveys Symposia on Object-Oriented Application Frameworks, 1998.
5. P. DiLascia. Meandering Through the Maze of MFC Message and Command Routing, Microsoft System Journal, July 1995. Available at
6. M. Dwyer, V. Carr, and L. Hines. Model Checking Graphical User Interfaces Using Abstractions, In LNCS 1301, pages 244–261. Proceedings of the 6th European Software Engineering Conference held jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, September 1997.
7. G. Froehlich, H. J. Hoover, L. Liu, P. G. Sorenson. Hooking into Object-Oriented Application Frameworks, Proceedings of the 1997 International Conference on Software Engineering, Boston, Mass., May 17-23, 1997.
8. E. Gamma, R. Helm, R. E. Johnson, J. O. Vlissides. Design Patterns–Elements of Reusable Object-Oriented Software, Addison Wesley, 1994.
9. D. Garlan, R. Allen, J. Ockerbloom. Architectural Mismatch or Why it is so hard to build systems out of existing parts, Proceedings of the 17th International Conference on Software Engineering, April 1995.
10. R. Helm, I. M. Holland, D. Gangopadhyay. Contracts: Specifying behavioral Compositions in Object-Oriented Systems, Proceedings of ECOOP/OOPSLA 90, Ottawa, Canada, 1990.
11. G. Holzmann. Design and Validation of Computer Protocols, Prentice Hall, Englewood Cliffs, NJ, 1991.
12. G. Naumovich, G. Avrunin, L. Clarke, and L. Osterweil. Applying Static Analysis to Software Architectures. In LNCS 1301. The 6th European Software Engineering Conference held jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, September 1997.
13. O. Nierstrasz. Regular Types for Active Objects, Object-Oriented Software Composition, O.Nierstrasz and D.Tsichritzis eds, Prentice Hall, 1995, pp.99–121.
14. W. Pree. Design Patterns for Object-Oriented Software Development, Addison Wesley, 1995.
15. G. Shepherd, S. Wingo. MFC Internals: Inside the Microsoft Foundation Class Architecture, Addison Wesley, 1996.
16. R. J. Wirfs-Brock, B. Wilkerson, and L. Wiener. Designing Object-Oriented Software, Prentice Hall, Englewood Cliffs, NJ, 1990.
17. Microsoft Developer Network. Available at
18. Promela Model for the Observer Pattern. Available at
19. The Client Server Framework Web Site. Available at