Formal approach for handling software evolution in component-based software developments

被引：1
|
作者：
Iida, S [1 ]
Futatsugi, K [1 ]
机构：
[1] Japan Adv Inst Sci & Technol, Grad Sch Informat Sci, Nomi, Ishikawa, Japan
来源：
INTERNATIONAL SYMPOSIUM ON PRINCIPLES OF SOFTWARE EVOLUTION, PROCEEDINGS | 2000年
关键词：
D O I：
10.1109/ISPSE.2000.913247
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We analyse software evolution in component-based software developments. We adopt two aspects: functional and non-functional aspects to characterize software evolution. These two aspects construct two dimensional evolution space which can be nicely handled by component-based algebraic specification (CBAS). CBAS is based on algebraic specification (a kind of formal specification) technique with the idea of behavioural specification. We pick up several typical examples to show how each evolution step can be explain by using formal specification techniques.
引用
收藏
页码：262 / 271
页数：6
相关论文
共 50 条
  • [1] A formal approach facilitating the evolution of component-based software
    Thang, NT
    Katayama, T
    [J]. Eighth International Workshop on Principles of Software Evolution, Proceedings, 2005, : 49 - 52
  • [2] A component-based approach to online software evolution
    Wang, Qianxiang
    Shen, Junrong
    Wang, Xiaopeng
    Mei, Hong
    [J]. JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION-RESEARCH AND PRACTICE, 2006, 18 (03): : 181 - 205
  • [3] A formal model for component-based software
    Cox, PT
    Song, BM
    [J]. IEEE SYMPOSIA ON HUMAN-CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, PROCEEDINGS, 2001, : 304 - 311
  • [4] On the Evolution of Component-Based Software
    Cote, Isabelle
    Heisel, Maritta
    Souquieres, Jeanine
    [J]. ADVANCES IN SOFTWARE ENGINEERING TECHNIQUES, 2012, 7054 : 54 - +
  • [5] A component-based approach to verification and validation of formal software models
    Desovski, Dejan
    Cukic, Bojan
    [J]. ARCHITECTING DEPENDABLE SYSTEMS IV, 2007, 4615 : 89 - +
  • [6] A formal approach to component-based software engineering: Education and evaluation
    Sitaraman, M
    Long, TJ
    Weide, BW
    Harner, EJ
    Wang, LQ
    [J]. PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2001, : 601 - 609
  • [7] Rigorous design of robot software: A formal component-based approach
    Abdellatif, Tesnim
    Bensalem, Saddek
    Combaz, Jacques
    de Silva, Lavindra
    Ingrand, Felix
    [J]. ROBOTICS AND AUTONOMOUS SYSTEMS, 2012, 60 (12) : 1563 - 1578
  • [8] Software evolution in the age of component-based software engineering
    Lehman, M.M.
    Ramil, J.F.
    [J]. IEE Proceedings: Software, 2000, 147 (06): : 249 - 255
  • [9] Supporting component-based software evolution
    Gardler, R
    Mehandjiev, N
    [J]. OBJECTS, COMPONENTS, ARCHITECTURES, SERVICES, AND APPLICATIONS FOR A NETWORKED WORLD, 2003, 2591 : 103 - 120
  • [10] An approach for Component-based Software Composition
    Miguel Gomez, Juan
    Alor-Hernandez, Giner
    Posada-Gomez, Ruben
    Rivera, Ismael
    Mencke, Myriam
    Chamizo, Javier
    Garcia Sanchez, Francisco
    Toma, Ioan
    [J]. CERMA 2008: ELECTRONICS, ROBOTICS AND AUTOMOTIVE MECHANICS CONFERENCE, PROCEEDINGS, 2008, : 195 - +
12345