|
|
|
|
|
|
|
|
|
|
|
|
|
• |
Improved
documentation (proactive)
|
|
|
|
– |
Discipline,
stylized approaches
|
|
|
|
– |
Parnas
is pushing this very hard, using a tabular form of
|
|
|
specifications
|
|
|
|
– |
Literate
programming
|
|
|
• |
Reducing
bugs (proactive)
|
|
|
|
– |
Many
techniques, some covered later in the quarter
|
|
|
• |
Increasing
correctness of specifications (proactive)
|
|
• |
Others?
|
|