Coupling design and verification in software product lines

被引：0
|
作者：
Boerger, Egon [1 ]
Batory, Don [2 ]
机构：
[1] Univ Pisa, Dipartimento Informat, I-56125 Pisa, Italy
[2] Univ Texas Austin, Dept Comp Sci, Austin, TX USA
来源：
FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, PROCEEDINGS | 2008年 / 4932卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We propose an ASM-based method to integrate into current feature-based software design practice modular verification techniques.
引用
收藏
页码：1 / 4
页数：4
相关论文
共 50 条
  • [31] Introduction to software product lines
    Donohoe, Patrick
    [J]. SPLC 2006: 10th International Software Product Line Conference, Proceedings, 2006, : 217 - 217
  • [32] Initiating software product lines
    McGregor, JD
    Northrop, LM
    Jarrad, S
    Pohl, K
    [J]. IEEE SOFTWARE, 2002, 19 (04) : 24 - 27
  • [33] Probabilistic software product lines
    Camacho, Carlos
    Llana, Luis
    Nunez, Alberto
    Bravetti, Mario
    [J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2019, 107 : 54 - 78
  • [34] Evolving Software Product Lines with Aspects: An Empirical Study on Design Stability
    Figueiredo, Eduardo
    Cacho, Nelio
    Sant'Anna, Claudio
    Monteiro, Mario
    Kulesza, Uira
    Garcia, Alessandro
    Soares, Sergio
    Ferrari, Fabiano
    Khan, Safoora
    Castor Filho, Fernando
    Dantas, Francisco
    [J]. ICSE'08 PROCEEDINGS OF THE THIRTIETH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2008, : 261 - 270
  • [35] Software product lines beyond software development
    Decker, Scott G.
    Dager, Jim
    [J]. SPLC 2007: 11TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE, PROCEEDINGS, 2007, : 275 - +
  • [36] Platform design for software product lines of data-intensive systems
    Schmoelzer, Gernot
    Kreiner, Christian
    Thonhauser, Michael
    [J]. SEAA 2007: 33RD EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, PROCEEDINGS, 2007, : 109 - +
  • [37] A Classification of Product Sampling for Software Product Lines
    Varshosaz, Mahsa
    Al-Hajjaji, Mustafa
    Thum, Thomas
    Runge, Tobias
    Mousavi, Mohammad Reza
    Schaefer, Ina
    [J]. SPLC'18: PROCEEDINGS OF THE 22ND INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL 1, 2018, : 1 - 13
  • [38] CyberSPL: A Framework for the Verification of Cybersecurity Policy Compliance of System Configurations Using Software Product Lines
    Jesus Varela-Vaca, Angel
    Gasca, Rafael M.
    Ceballos, Rafael
    Teresa Gomez-Lopez, Maria
    Bernaldez Torres, Pedro
    [J]. APPLIED SCIENCES-BASEL, 2019, 9 (24):
  • [39] Model-based verification of quantitative non-functional properties for software product lines
    Ghezzi, Carlo
    Sharifloo, Amir Molzam
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2013, 55 (03) : 508 - 524
  • [40] A New Parameter for Product Configuration in Software Product Lines
    Lin, Yuqing
    Ye, Huilin
    Li, Bojun
    [J]. 2009 SECOND INTERNATIONAL SYMPOSIUM ON KNOWLEDGE ACQUISITION AND MODELING: KAM 2009, VOL 2, 2009, : 230 - 233
12345