A Theory of Software Product Line Refinement

被引：0
|
作者：
Borba, Paulo [1 ]
Teixeira, Leopoldo [1 ]
Gheyi, Rohit [1 ]
机构：
[1] Univ Fed Campina Grande, Dept Comp Sci, Recife, PE, Brazil
来源：
THEORETICAL ASPECTS OF COMPUTING | 2010年 / 6255卷
关键词：
LAWS;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
To safely derive and evolve a software product line, it is important to have a notion of product line refactoring and its underlying refinement notion, which assures behavior preservation In this paper we present a general theory of product line refinement by extending a previous formalization with explicit interfaces between our theory and the different languages that can be used to create product line artifacts More important, we establish product line refinement properties that justify stepwise and compositional product line development and evolution
引用
收藏
页码：15 / +
页数：4
相关论文
共 50 条
  • [1] A theory of software product line refinement
    Borba, Paulo
    Teixeira, Leopoldo
    Gheyi, Rohit
    THEORETICAL COMPUTER SCIENCE, 2012, 455 : 2 - 30
  • [2] Refinement of Software Product Line Architectures through Recursive Modeling Techniques
    Azevedo, Sofia
    Machado, Ricardo J.
    Muthig, Dirk
    Ribeiro, Hugo
    ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2009 WORKSHOPS, 2009, 5872 : 411 - +
  • [3] A Refinement Technique for Duplication and Collision Between Features in Software Product Line Engineering
    Song, Cheeyang
    Lee, Soonbok
    Lee, Woojin
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2014, 24 (04) : 521 - 551
  • [4] Migration to Software Product Line Development of Automotive Body Parts by Architectural Refinement with Feature Analysis
    Nishiura, Yoichi
    Asano, Masaki
    Nakanishi, Tsuneo
    2018 25TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2018), 2018, : 522 - 531
  • [5] Software product line engineering
    Sugumaran, Vijayan
    Park, Sooyong
    Kang, Kyo C.
    COMMUNICATIONS OF THE ACM, 2006, 49 (12) : 29 - 32
  • [6] Testing a Software Product Line
    McGregor, John D.
    TESTING TECHNIQUES IN SOFTWARE ENGINEERING, 2010, 6153 : 104 - 140
  • [7] Software product line and open source software
    Ishikawa, M
    11TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2004, : 567 - 567
  • [8] Product Feasibility Verification in Software Product Line
    Cristian Martinez, Omar
    Gonnet, Silvio
    Leone, Horacio
    Diaz, Nicolas
    2012 XXXVIII CONFERENCIA LATINOAMERICANA EN INFORMATICA (CLEI), 2012,
  • [9] Software Product Line Engineering via Software Transplantation
    DE Souza, Leandro oliveria
    DE Almeida, Eduardo santana
    Silveira Neto, Paulo anselmo da mota
    Barr, Earl t.
    Petke, Justyna
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2025, 34 (02)
  • [10] ProVeLines A Product Line of Verifiers for Software Product Lines
    Cordy, Maxime
    Classen, Andreas
    Heymans, Patrick
    Schobbens, Pierre-Yves
    Legay, Axel
    PROCEEDINGS OF THE 17TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE CO-LOCATED WORKSHOPS (SPLC'13 WORKSHOPS), 2013, : 141 - 146
12345