Supporting the deployment of object-oriented frameworks

被引：0
|
作者：
Hou, DQ [1 ]
机构：
[1] Univ Alberta, Dept Comp Sci, Edmonton, AB T6G 2E8, Canada
来源：
PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING | 2001年
关键词：
D O I：
10.1109/ICSE.2001.919180
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：791 / 792
页数：2
相关论文
共 50 条
  • [1] OBJECT-ORIENTED KNOWLEDGE FRAMEWORKS
    FORDE, BWR
    RUSSELL, AD
    STIEMER, SF
    [J]. ENGINEERING WITH COMPUTERS, 1989, 5 (02) : 79 - 89
  • [2] Object-oriented application frameworks
    Fayad, ME
    Schmidt, DC
    [J]. COMMUNICATIONS OF THE ACM, 1997, 40 (10) : 32 - 38
  • [3] Classification of object-oriented frameworks
    Krajnc, A
    Hericko, M
    [J]. IEEE REGION 8 EUROCON 2003, VOL B, PROCEEDINGS: COMPUTER AS A TOOL, 2003, : 57 - 61
  • [4] Object-oriented frameworks for distributed simulation
    Hunter, J
    Carson, JA
    Colley, M
    Standeven, J
    Callaghan, V
    [J]. ENABLING TECHNOLOGY FOR SIMULATION SCIENCE III, 1999, 3696 : 32 - 43
  • [5] Optimizations for parallel object-oriented frameworks
    Bassetti, F
    Davis, K
    Quinlan, D
    [J]. OBJECT ORIENTED METHODS FOR INTEROPERABLE SCIENTIFIC AND ENGINEERING COMPUTING, PROCEEDINGS, 1999, : 303 - 312
  • [6] Generative development of object-oriented frameworks
    Hendrikx, C
    Olivié, H
    Duval, E
    [J]. TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES, SYSTEMS AND ARCHITECTURES, 2003, 732 : 31 - 43
  • [7] Hooking into object-oriented application frameworks
    Froehlich, G
    Hoover, HJ
    Liu, L
    Sorenson, P
    [J]. PROCEEDINGS OF THE 1997 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 1997, : 491 - 501
  • [8] Design patterns in object-oriented frameworks
    Srinivasan, S
    [J]. COMPUTER, 1999, 32 (02) : 24 - +
  • [9] Object-oriented frameworks and product lines
    Batory, D
    Cardone, R
    Smaragdakis, Y
    [J]. SOFTWARE PRODUCT LINES: EXPERIENCE AND RESEARCH DIRECTIONS, 2000, 576 : 227 - 247
  • [10] Object-oriented frameworks: Architecture adaptability
    Predonzani, P
    Succi, G
    Valerio, A
    Vernazza, T
    [J]. OBJECT-ORIENTED TECHNOLOGY: ECOOP'98 WORKSHOP READER, 1998, 1543 : 58 - 59
12345