[SystemSafety] Correctness by Construction

Michael Jackson jacksonma at acm.org
Tue Jul 14 11:14:27 CEST 2020


Dewi: 

Yes: but how are requirements to be expressed and communicated to the software developers? And if the requirements are communicated, how are the software developers to reason reliably about the physical problem world where the important requirements are located and defined, and will---or will not---be satisfied? And is 'correctness' a proper word to use about artifacts in the physical world at the scales relevant to software engineering? 

Yours, 

-- Michael

> On 13 Jul 2020, at 20:55, Dewi Daniels <dewi.daniels at software-safety.com> wrote:
> 
> 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 dewi.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
> 



More information about the systemsafety mailing list