Reasoning about Safety during Software Architecture Design

Tacksoo Im, Soujanya Vullam, John D. McGregor. Reasoning about Safety during Software Architecture Design. In Imad Rahal, Rym Zalila-Wenkstern, editors, ISCA 19th International Conference on Software Engineeringand Data Engineering (SEDE-2010) June 16-18, 2010, Hilton Fisherman s Wharf, San Francisco, CA, USA. pages 1-8, ISCA, 2010.

@inproceedings{ImVM10,
  title = {Reasoning about Safety during Software Architecture Design},
  author = {Tacksoo Im and Soujanya Vullam and John D. McGregor},
  year = {2010},
  tags = {software architecture, architecture, design},
  researchr = {https://researchr.org/publication/ImVM10},
  cites = {0},
  citedby = {0},
  pages = {1-8},
  booktitle = {ISCA 19th International Conference on Software Engineeringand Data Engineering (SEDE-2010) June 16-18, 2010, Hilton Fisherman s Wharf, San Francisco, CA, USA},
  editor = {Imad Rahal and Rym Zalila-Wenkstern},
  publisher = {ISCA},
  isbn = {978-1-880843-77-2},
}