[SystemSafety] Bursting the anti formal methods bubble

[Martyn Thomas]

Some of them are here: *JT James*, /A new, evidence-based estimate of
patient harms associated with hospital care/,
Journal of Patient Safety, 2013 Sep;9(3):122-8. doi:
10.1097/PTS.0b013e3182948a69., for the reasons that Harold Thimbleby has
described.

Martyn



On 25/10/2017 17:23, Derek M Jones wrote:
>
> Software engineering has a dead body problem:
> http://shape-of-code.coding-guidelines.com/2009/11/18/where-are-the-dead-bodies/
>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20171025/44021a51/attachment.html>