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 条
  • [21] Software IC revised: A new approach of component-based software design with software slots
    Duan, Shangwei
    Yuan, Xiaobu
    [J]. ICCBSS 2007: SIXTH INTERNATIONAL IEEE CONFERENCE ON COMMERCIAL-OFF-THE-SHELF (COTS)-BASED SOFTWARE SYSTEMS, PROCEEDINGS, 2007, : 73 - +
  • [22] Software Testing in Component-Based Software Engineering
    Suranto, Beni
    [J]. ADVANCED SCIENCE LETTERS, 2016, 22 (10) : 3110 - 3114
  • [23] Software release management for component-based software
    van der Hoek, A
    Wolf, AL
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2003, 33 (01): : 77 - 98
  • [24] Monitoring software components and component-based software
    Gao, J
    Zhu, EY
    Shim, S
    Chang, L
    [J]. 24TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COSPSAC 2000), 2000, 24 : 403 - 412
  • [25] Supporting software evolution in component-based FOSS systems
    Di Cosmo, Roberto
    Di Ruscio, Davide
    Pelliccione, Patrizio
    Pierantonio, Alfonso
    Zacchiroli, Stefano
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2011, 76 (12) : 1144 - 1160
  • [26] A formal approach for managing component-based architecture evolution
    Mokni, Abderrahman
    Urtado, Christelle
    Vauttier, Sylvain
    Huchard, Marianne
    Zhang, Huaxi Yulin
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2016, 127 : 24 - 49
  • [27] A component-based software process
    Capretz, LF
    [J]. OOIS 2001: 7TH INTERNATIONAL CONFERENCE ON OBJECT-ORIENTED INFORMATION SYSTEMS, PROCEEDINGS, 2001, : 523 - 529
  • [28] Component-based software development
    Capretz, LF
    Capretz, MAM
    Li, DH
    [J]. IECON'01: 27TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-3, 2001, : 1834 - 1837
  • [29] Component-Based Software Development
    Sharma, Virendra Kumar
    Gupta, Narendra Prakash
    [J]. INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2010, 10 (11): : 132 - 134
  • [30] Component-based software engineering
    Kozaczynski, W
    Booch, G
    [J]. IEEE SOFTWARE, 1998, 15 (05) : 34 - +
12345