Tree

Navigation ...

lh_home.png
lh_personal.png

Scientific Writing ...

lh_AA.png
lh_AC.png
lh_BE.png
lh_CS.png
lh_DA.png
lh_ED.png
lh_GE.png
lh_GP.png
lh_LW.png
lh_MA.png
lh_ME.png
lh_PR.png
lh_RE.png
lh_SA.png
lh_SF.png

Other Writing ...

lh_AR.png
lh_ES.png
lh_MU.png
lh_SP.png

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 yet10

Related links

Related papers and links
Sorry, no links registered in database yet.

Auto-generated: $Revision: 1.58 $, $Date: 2016/01/03 19:07:28 $, Copyright Les Hatton 2001-