ICSE 2013 - May 18-26, 2013, San Francisco, CA, USA
Powered by
Conference Publishing Consulting

2013 1st International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE), May 19, 2013, San Francisco, CA, USA

ASSURE 2013 – Proceedings

Contents - Abstracts - Authors

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

Preface

Title Page
Foreword

Principles

Safety Cases: A Review of Challenges
Zarrin Langari and Tom Maibaum
(McMaster University, Canada)
Article Search
Measuring Assurance Case Confidence using Baconian Probabilities
Charles B. Weinstock, John B. Goodenough, and Ari Z. Klein
(SEI, USA)
Article Search

Notations and Techniques

An Evaluation of Argument Patterns to Reduce Pitfalls of Applying Assurance Case
Shuichiro Yamamoto and Yutaka Matsuno
(Nagoya University, Japan)
Article Search
Nuanced Term-Matching to Assist in Compositional Safety Assurance
Katrina Attwood and Philippa Conmy
(University of York, UK)
Article Search
An Implementation of GSN Community Standard
Yutaka Matsuno and Shuichiro Yamamoto
(Nagoya University, Japan)
Article Search

Applications

Architecting and Generalizing a Safety Case for Critical Condition Detection Software: An Experience Report
Martin S. Feather and Lawrence Z. Markosian
(Jet Propulsion Laboratory, USA; SGT, USA)
Article Search
Creating Safety Assurance Cases for Rebreather Systems
Alma L. Juarez Dominguez, Bruce G. Partridge, and Jeffrey J. Joyce
(University of Waterloo, Canada; Shearwater Research, Canada; Critical Systems Labs, Canada)
Article Search
Constructing Safety Assurance Cases for Medical Devices
Arnab Ray and Rance Cleaveland
(Fraunhofer CESE, USA; University of Maryland, USA)
Article Search

proc time: 0.11