Navigation ...
|
|
|
Scientific Writing ...
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Other Writing ...
|
|
|
|
|
|
Reference details
Author(s)
| Year
| Title
| Reference
| View/Download
|
Shari Pfleeger , Les Hatton | 1997d | Do formal methods really work ? | IEEE Computer, 30(2), p. 33-43, (1997) | IEEEComputer1-97.pdf |
Synopsis and invited feedback
This work was or is being reviewed by domain-specific experts appointed independently.
If you would like to provide feedback just e-mail me here.
Synopsis
| Invited Feedback
| Importance (/10, author rated :-) )
|
An experimental paper on CDIS, part of the London Heathrow air-traffic control system. The paper shows clear evidence of the presence of signal to noise in engineering failure. In this case, formal methods have a beneficial effect only if the much larger noise from implementation defects is suppressed with adequate testing. It also shows an over-reliance on formal methods at the expense of techniques of known effectiveness such as inspections. | None yet | 10 |
Related links
Related papers and links
|
Sorry, no links registered in database yet. |
Auto-generated: $Revision: 1.63 $, $Date: 2020/01/25 16:18:09 $, Copyright Les Hatton 2001-
|