Guaranteeing Correct Evolution of Software Product Lines

被引：0
|
作者：
ter Beek, Maurice [1 ]
Muccini, Henry [1 ]
Pelliccione, Patrizio [1 ]
机构：
[1] CNR, ISTI, Pisa, Italy
来源：
ERCIM NEWS | 2012年 / 88期
关键词：
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
Researchers from the Software Engineering and Architecture group, University of L'Aquila, together with the Formal Methods and Tools group of ISTI-CNR are developing a novel approach that extends and adapts assume-guarantee reasoning to evolving SPLs in order to guarantee resilience against changes in the product environment. The proposal is to selectively verify and test assume-guarantee properties over only the components affected by the changes.
引用
收藏
页码：40 / 41
页数：2
相关论文
共 50 条
  • [1] Guaranteeing Configuration Validity in Evolving Software Product Lines
    Nieke, Michael
    Seidl, Christoph
    Schuster, Sven
    [J]. TENTH INTERNATIONAL WORKSHOP ON VARIABILITY MODELLING OF SOFTWARE-INTENSIVE SYSTEMS (VAMOS 2016), 2016, : 73 - 80
  • [2] Evolution in dynamic software product lines
    Quinton, Clement
    Vierhauser, Michael
    Rabiser, Rick
    Baresi, Luciano
    Gruenbacher, Paul
    Schuhmayer, Christian
    [J]. JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2021, 33 (02)
  • [3] Learning and Evolution in Dynamic Software Product Lines
    Sharifloo, Amir Molzam
    Metzger, Andreas
    Quinton, Clement
    Baresi, Luciano
    Pohl, Klaus
    [J]. PROCEEDINGS OF 2016 IEEE/ACM 11TH INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS (SEAMS), 2016, : 158 - 164
  • [4] Evolution in software product lines: Two cases
    Svahnberg, M
    Bosch, J
    [J]. JOURNAL OF SOFTWARE MAINTENANCE-RESEARCH AND PRACTICE, 1999, 11 (06): : 391 - 422
  • [5] Partially safe evolution of software product lines
    Sampaio, Gabriela
    Borba, Paulo
    Teixeira, Leopoldo
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2019, 155 : 17 - 42
  • [6] Investigating the Safe Evolution of Software Product Lines
    Neves, Lais
    Teixeira, Leopoldo
    Borba, Paulo
    Alves, Vander
    Sena, Demostenes
    Kulesza, Uira
    [J]. GPCE 11: PROCEEDINGS OF THE TENTH INTERNATIONAL CONFERENCE ON GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING, 2011, : 33 - 42
  • [7] Safe evolution templates for software product lines
    Neves, L.
    Borba, P.
    Alves, V.
    Turnes, L.
    Teixeira, L.
    Sena, D.
    Kulesza, U.
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2015, 106 : 42 - 58
  • [8] Investigating the Safe Evolution of Software Product Lines
    Neves, Lais
    Teixeira, Leopoldo
    Borba, Paulo
    Alves, Vander
    Sena, Demostenas
    Kulesza, Uira
    [J]. ACM SIGPLAN NOTICES, 2012, 47 (03) : 33 - 42
  • [9] Safe Evolution Patterns for Software Product Lines
    Dintzner, Nicolas
    [J]. 2015 IEEE/ACM 37TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, VOL 2, 2015, : 875 - 878
  • [10] Evaluating Lehman's Laws of Software Evolution for Software Product Lines
    de Oliveira, Raphael Pereira
    de Almeida, Eduardo Santana
    [J]. IEEE SOFTWARE, 2016, 33 (03) : 90 - 93
12345