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 条
  • [1] Design variability verification in Software Product Lines
    Ganesh Khandu Narwane
    Jean-Vivien Millo
    Shankara Narayanan Krishna
    S Ramesh
    [J]. Sādhanā, 2019, 44
  • [2] Design variability verification in Software Product Lines
    Narwane, Ganesh Khandu
    Millo, Jean-Vivien
    Krishna, Shankara Narayanan
    Ramesh, S.
    [J]. SADHANA-ACADEMY PROCEEDINGS IN ENGINEERING SCIENCES, 2019, 44 (01):
  • [3] Model Verification of Dynamic Software Product Lines
    Santos, Ismayle S.
    Rocha, Lincoln S.
    Santos Neto, Pedro A.
    Andrade, Rossana M. C.
    [J]. THIRTIETH BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING (SBES 2016), 2016, : 113 - 122
  • [4] Software product lines and software architecture design
    Bosch, J
    [J]. PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2001, : 717 - 717
  • [5] ICARUS - Incremental Design and Verification of Software Updates in Safety-Critical Product Lines
    Guissouma, Houssem
    Schindewolf, Marc
    Sax, Eric
    [J]. 2021 47TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2021), 2021, : 371 - 378
  • [6] Modeling and Verification for Probabilistic Properties in Software Product Lines
    Rodrigues, Genaina N.
    Alves, Vander
    Nunes, Vinicius
    Lanna, Andre
    Cordy, Maxime
    Schobbens, Pierre-Yves
    Sharifloo, Amir Molzam
    Legay, Axel
    [J]. 2015 IEEE 16TH INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE), 2015, : 173 - 180
  • [7] Verification Strategies for Feature-Oriented Software Product Lines
    Kuiter, Elias
    Knueppel, Alexander
    Bordis, Tabea
    Runge, Tobias
    Schaefer, Ina
    [J]. VAMOS'22: 16TH INTERNATIONAL WORKING CONFERENCE ON VARIABILITY MODELLING OF SOFTWARE-INTENSIVE SYSTEMS, 2022,
  • [8] Family-Based Deductive Verification of Software Product Lines
    Thuem, Thomas
    Schaefer, Ina
    Apel, Sven
    Hentschel, Martin
    [J]. ACM SIGPLAN NOTICES, 2013, 48 (03) : 11 - 20
  • [9] Verification of Software Product Lines with Delta-Oriented Slicing
    Bruns, Daniel
    Klebanov, Vladimir
    Schaefer, Ina
    [J]. FORMAL VERIFICATION OF OBJECT-ORIENTED SOFTWARE, 2011, 6528 : 61 - +
  • [10] User Experience Design in Software Product Lines
    Harutyunyan, Nikolay
    Riehle, Dirk
    [J]. PROCEEDINGS OF THE 52ND ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, 2019, : 7503 - 7512
12345