1st International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE 2013)

被引：0
|
作者：
Denney, Ewen [1 ]
Pai, Ganesh [1 ,2 ]
Habli, Ibrahim [2 ]
Kelly, Tim
Knight, John [3 ]
机构：
[1] NASA, Ames Res Ctr, SGT, Moffett Field, CA 94035 USA
[2] Univ York, York YO10 5DD, N Yorkshire, England
[3] Univ Virginia, Charlottesville, VA 22903 USA
来源：
PROCEEDINGS OF THE 35TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2013) | 2013年
关键词：
Software engineering; assurance cases; safety; security; certification; argumentation; evidence;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Software plays a key role in high-risk systems, i.e., safety and security-critical systems. Several certification standards and guidelines, e. g., in the defense, transportation (aviation, automotive, rail), and healthcare domains, now recommend and/or mandate the development of assurance cases for software-intensive systems. As such, there is a need to understand and evaluate (a) the application of assurance cases to software, and (b) the relationship between the development and assessment of assurance cases, and software engineering concepts, processes and techniques. The ICSE 2013 Workshop on Assurance Cases for Software-intensive Systems (ASSURE) aims to provide an international forum for high-quality contributions (research, practice, and position papers) on the application of assurance case principles and techniques for software assurance, and on the treatment of assurance cases as artifacts to which the full range of software engineering techniques can be applied.
引用
收藏
页码：1505 / +
页数：2
相关论文
共 50 条
  • [1] 8th International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE 2023)
    Denney, Ewen
    Habli, Ibrahim
    Pai, Ganesh
    [J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2023 WORKSHOPS, 2023, 14182 : 2 - 3
  • [2] ASSURE 2016: The 4th International Workshop on Assurance Cases for Software-Intensive Systems
    Denney, Ewen
    Habli, Ibrahim
    Pai, Ganesh
    [J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2016, 2016, 9923 : 2 - 3
  • [3] 7th International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE 2019)
    Denney, Ewen
    Habli, Ibrahim
    Pai, Ganesh
    Sljivo, Irfan
    [J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2019, 2019, 11699 : 2 - 3
  • [4] 1st Intl. Workshop on Variability and Evolution of Software-intensive Systems (VariVolution)
    Linsbauer, Lukas
    Malakuti, Somayeh
    Sadovykh, Andrey
    Schwaegerl, Felix
    [J]. SPLC'18: PROCEEDINGS OF THE 22ND INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL 1, 2018, : 294 - 294
  • [5] Safety cases for software-intensive systems
    Ainsworth, M
    Eastaughffe, K
    Simpson, A
    [J]. ASPECTS OF SAFETY MANAGEMENT, 2001, : 1 - 9
  • [6] Fourth International Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution 2021)
    Gerling, Lea
    Greiner, Sandra
    Meixner, Kristof
    Michelon, Gabriela Karoline
    [J]. SPLC '21: PROCEEDINGS OF THE 25TH ACM INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A, 2021,
  • [7] Second International Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution 2019)
    Nieke, Michael
    Linsbauer, Lukas
    Krueger, Jacob
    Leich, Thomas
    [J]. SPLC'19: PROCEEDINGS OF THE 23RD INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A, 2020, : 320 - 320
  • [8] 1st International Workshop on Natural Language Analysis in Software Engineering (NaturaLiSE 2013)
    Pollock, Lori
    Binkley, David
    Lawrie, Dawn
    Hill, Emily
    Oliveto, Rocco
    Bavota, Gabriele
    Bacchelli, Alberto
    [J]. PROCEEDINGS OF THE 35TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2013), 2013, : 1537 - +
  • [9] 1st International Workshop on Data Analysis Patterns in Software Engineering (DAPSE 2013)
    Bird, Christian
    Menzies, Tim
    Zimmermann, Thomas
    [J]. PROCEEDINGS OF THE 35TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2013), 2013, : 1517 - +
  • [10] THE 1ST INTERNATIONAL WORKSHOP ON SOFTWARE QUALITY IMPROVEMENT
    BASILI, VR
    TORII, K
    [J]. PROCEEDINGS : THE THIRTEENTH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1989, : 487 - 487
12345