Reasoning about Safety during Software Architecture Design.

Tacksoo Im Soujanya Vullam John D. McGregor

Published in: SEDE (2010)

Keyphrases

safety critical
software development
software tools
source code
computer systems
software systems
databases
user interface
safety analysis
software platform
software design
control center
database
hardware design
software evolution
personal computer
development process
test cases
website