征稿已开启

查看我的稿件

注册已开启

查看我的门票

已截止
活动简介
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 theme of the ICSE 2013 Workshop on Assurance Cases for Software-intensive Systems (ASSURE) is the relation between assurance cases and software. Not only do we want to apply assurance case principles and techniques to software assurance, but also we want to treat assurance cases as artifacts to which the full range of software engineering techniques can be applied.
征稿信息

征稿范围

Topics of interest include, but are not limited to: -Methodologies: How do development and verification methodologies (including configuration management) transfer to an assurance case paradigm? -Use of output from software engineering tools (testing, fo
留言
验证码 看不清楚,更换一张
全部留言
重要日期
  • 05月19日

    2013

    会议日期

  • 05月19日 2013

    注册截止日期

主办单位
IEEE Computer Society
移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或点此咨询