[SystemSafety] Fetzer

[Nick Tudor]

When I get a laptop connection and I’ve stopped travelling, I’ll see if I
can remember to send a paper. If I forget, please drop me a line.

On Thu, 20 Jun 2019 at 16:17, Littlewood, Bev <Bev.Littlewood.1 at city.ac.uk>
wrote:

> Yes. I agree, of course!
>
> B
>
> Sent from my iPhone (in case you thought I always typed like this...)
>
> Bev Littlewood
> Emeritus Professor of Software Engineering
> Centre for Software Reliability
> City University, London EC1V 0HB
>
> Phone: +44 (0) 20 7040 8420
> Fax: +44 (0) 20 7040 8585
> Email: b.littlewood at csr.city.ac.uk
> http://www.csr.city.ac.uk
>
> > On 20 Jun 2019, at 16:12, Martyn Thomas <martyn at thomas-associates.co.uk>
> wrote:
> >
> >
> >
> > Bev
> >
> > I agree, of course.
> >
> > There's a lot bound up in your phrase "in appropriate circumstances" ...
> >
> > Martyn
> >
> >> On 20/06/2019 15:53, Littlewood, Bev wrote:
> >> Hi Martyn
> >>
> >> Your comment about claims based on process conformance is spot on. But
> >> I think you may be too harsh on testing. Testing may, in appropriate
> >> circumstances, allow justifiable probabilistic claims for reliability
> >> - something I don’t think you can get from verification (although this
> >> is not intended to be a criticism of the latter).
> >>
> >> Cheers
> >>
> >> Bev
> >
> > _______________________________________________
> > The System Safety Mailing List
> > systemsafety at TechFak.Uni-Bielefeld.DE
> > Manage your subscription:
> https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety
> _______________________________________________
> The System Safety Mailing List
> systemsafety at TechFak.Uni-Bielefeld.DE
> Manage your subscription:
> https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety

-- 
Nick Tudor
Tudor Associates Ltd
Mobile: +44(0)7412 074654
www.tudorassoc.com

*77 Barnards Green Road*
*Malvern*
*Worcestershire*
*WR14 3LR*
*Company No. 07642673*
*VAT No:116495996*

*www.aeronautique-associates.com <http://www.aeronautique-associates.com>*
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20190620/95a59319/attachment-0001.html>