Component-based software engineering - The need to link methods and their theories

被引:0
|
作者
He, JF [1 ]
Li, XS
Liu, ZM
机构
[1] United Nat Univ, Int Inst Software Technol, Macao, Peoples R China
[2] Univ Macao, Fac Sci & Technol, Macao, Peoples R China
来源
THEORETICAL ASPECTS OF COMPUTING - ICTAC 2005 | 2005年 / 3722卷
关键词
components; interfaces; contracts; protocols; functionality; consistency; composition; refinement; simulation;
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We discuss some of the difficulties and significant issues that we need to consider when developing a formal method for component-based software engineering. We argue that to deal with the challenges, there is a need in research to link existing theories and methods of programming for effective support to component-based software engineering. We then present our initiative on a unified multi-view approach to modelling, design and analysis of component systems, emphasising the integration of models for different views.
引用
收藏
页码:70 / 95
页数:26
相关论文
共 50 条
  • [11] Component-based software engineering for embedded systems
    Crnkovic, I
    ICSE 05: 27th International Conference on Software Engineering, Proceedings, 2005, : 712 - 713
  • [12] Component-based software engineering: Issues and concerns
    Haddad, HM
    Biberoglu, E
    SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 391 - 397
  • [13] International workshop on component-based software engineering
    Sterling Software, Plano, TX, United States
    Proc Int Conf Software Eng, (714):
  • [14] Managing the risks of Component-Based Software Engineering
    Lam, W
    Vickers, AJ
    FIFTH INTERNATIONAL SYMPOSIUM ON ASSESSMENT OF SOFTWARE TOOLS AND TECHNOLOGIES, PROCEEDINGS, 1997, : 123 - 132
  • [15] Managing the component-based software engineering with metrics
    Dumke, RR
    Winkler, AS
    FIFTH INTERNATIONAL SYMPOSIUM ON ASSESSMENT OF SOFTWARE TOOLS AND TECHNOLOGIES, PROCEEDINGS, 1997, : 104 - 110
  • [16] Leveraging component-based software engineering with Fraclet
    Rouvoy, Romain
    Merle, Philippe
    ANNALS OF TELECOMMUNICATIONS, 2009, 64 (1-2) : 65 - 79
  • [17] Leveraging component-based software engineering with Fraclet
    Romain Rouvoy
    Philippe Merle
    annals of telecommunications - annales des télécommunications, 2009, 64 : 65 - 79
  • [18] Special issue on: Component-based software engineering
    Crnkovic, I
    Schmidt, H
    Stafford, J
    Wallnau, K
    JOURNAL OF SYSTEMS AND SOFTWARE, 2003, 65 (03) : 169 - 170
  • [19] Component-based software engineering methods for systems in document recognition, analysis, and understanding
    Höss, O
    Strauss, O
    Weisbecker, A
    READING AND LEARNING, 2004, 2956 : 137 - 152
  • [20] Component-based software development - A new paradigm in software engineering?
    Pree, W
    ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, : 523 - 524