|
|
|
| But it leaves open key software |
||
| engineering
problems |
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| • | Requirements
engineering |
|||||||||||||||
| – | Where
did the specification come from?
Does it satisfy the needs |
|||||||||||||||
| of the
customer? |
||||||||||||||||
| • | Design |
|||||||||||||||
| – | How
does it interact with other parts of the program? |
|||||||||||||||
| • | Evolution |
|||||||||||||||
| – | What
happens if the specification is changed? |
|||||||||||||||
| • | Economics |
|||||||||||||||
| – | What
is the cost of proving correctness? |
|||||||||||||||
| • | Testing |
|||||||||||||||
| – | Should
we rely entirely on the proof? |
|||||||||||||||
| • | … |
|||||||||||||||