Download justifying software systems safety using arguments

1.1. ORGANIZATION OF THE PAPER
1.1
17
Organization of the paper
Chapted I presents an introduction in arguing software safety domain.
In Chapter II we introduce the theme and the objectives of our system.
In Chapted III are presented all the references for the project within the project
domain and related work.
Chapter IV presents the elements of a safety argument, introduces the techincal
instrumentation used: the Goal Structuring Notation plus description logic.
Chapter V details the architecture of the system and implementation.
In Chapter VI are presented the needed resources and steps for installing the application, and how to use it.
Chapter VII focuses on methods for testing and validating our tool.
Finally, in Chapter VIII we present the conclusion and further work.