[SystemSafety] Correctness by Construction

[Dewi Daniels]

Michael,

In the context of “Correctness by Construction”, I would say that
Correctness means “compliance with requirements”.

Yours,
Dewi

On Mon, 13 Jul 2020 at 13:59, Michael Jackson <jacksonma at acm.org> wrote:

> Hoping for illuminating replies, I ask an open question.
>
> In the phrase "Correctness by Construction", what does 'correctness' mean?
>
> -- Michael
> _______________________________________________
> The System Safety Mailing List
> systemsafety at TechFak.Uni-Bielefeld.DE
> Manage your subscription:
> https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety
>
-- 

Yours,

Dewi Daniels | Director | Software Safety Limited

Telephone +44 7968 837742 | Email d <ddaniels at verocel.com>
ewi.daniels at software-safety.com

Software Safety Limited is a company registered in England and Wales.
Company number: 9390590. Registered office: Fairfield, 30F Bratton Road,
West Ashton, Trowbridge, United Kingdom BA14 6AZ
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/pipermail/systemsafety/attachments/20200713/57de52fd/attachment-0001.html>