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 条
  • [1] Taxonomy on component-based software engineering methods
    Bunse, Christian
    Freiling, Felix C.
    Levy, Nicole
    ARCHITECTING SYSTEMS WITH TRUSTWORTHY COMPONENTS, 2006, 3938 : 103 - 119
  • [2] Component-based software engineering
    Kozaczynski, W
    Booch, G
    IEEE SOFTWARE, 1998, 15 (05) : 34 - +
  • [3] Software Testing in Component-Based Software Engineering
    Suranto, Beni
    ADVANCED SCIENCE LETTERS, 2016, 22 (10) : 3110 - 3114
  • [4] The research of the Component-based Software Engineering
    Zhang, Xinyu
    Zheng, Li
    Sun, Cheng
    PROCEEDINGS OF THE 2009 SIXTH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS, VOLS 1-3, 2009, : 1590 - +
  • [5] Automated component-based software engineering
    Crnkovic, I
    Schmidt, HW
    Stafford, J
    Wallnau, K
    JOURNAL OF SYSTEMS AND SOFTWARE, 2005, 74 (01) : 1 - 3
  • [6] Towards component-based software engineering
    Pour, G
    TWENTY-SECOND ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE - PROCEEDINGS, 1998, : 599 - 599
  • [7] Component-based software engineering (CBSE)
    Ning, JQ
    FIFTH INTERNATIONAL SYMPOSIUM ON ASSESSMENT OF SOFTWARE TOOLS AND TECHNOLOGIES, PROCEEDINGS, 1997, : 34 - 43
  • [8] Component-based software engineering (CBSE)
    Kozaczynski, WV
    Ning, JQ
    FOURTH INTERNATIONAL CONFERENCE ON SOFTWARE REUSE, PROCEEDINGS, 1996, : 236 - 241
  • [9] Methods of component-based software engineering essential concepts and classroom experience
    Wallnau, K
    PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2001, : 709 - 710
  • [10] Software evolution in the age of component-based software engineering
    Lehman, M.M.
    Ramil, J.F.
    IEE Proceedings: Software, 2000, 147 (06): : 249 - 255
12345