[SystemSafety] Correctness by Construction

[Brent Kimberley]

>> 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? 

 An automated World view inquiry framework? epistemology automation? ;)

    On Tuesday, July 14, 2020, 5:14:50 a.m. EDT, Michael Jackson <jacksonma at acm.org> wrote:  
 
 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
> 

_______________________________________________
The System Safety Mailing List
systemsafety at TechFak.Uni-Bielefeld.DE
Manage your subscription: https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/pipermail/systemsafety/attachments/20200714/971e42f1/attachment.html>