| The Software Development Process |
|
|
|
|
|
|
|
| ¨ | Identifying
the model assumptions for how a |
|||||
| “Target
of Evaluation” is generated. |
||||||
| ¨ | Understanding
the gap between the model and |
|||||
| the
reality. |
||||||
| ¨ | Tools
that are ready to hand. |
|||||
|
|
| 600.436 High- |
|
| Assurance
Systems |
|
| Fall
01/Introduction |
| 1 |