<html><head></head><body><div class="ydp5bda0d9cyahoo-style-wrap" style="font-family:Helvetica Neue, Helvetica, Arial, sans-serif;font-size:16px;"><div dir="ltr" data-setdir="false">>> <span>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? </span><br></div><div><br></div>
<div dir="ltr" data-setdir="false">An automated World view inquiry framework? <span>epistemology automation? </span>;)<br></div><div><br></div>
</div><div id="yahoo_quoted_5405917257" class="yahoo_quoted">
<div style="font-family:'Helvetica Neue', Helvetica, Arial, sans-serif;font-size:13px;color:#26282a;">
<div>
On Tuesday, July 14, 2020, 5:14:50 a.m. EDT, Michael Jackson <jacksonma@acm.org> wrote:
</div>
<div><br></div>
<div><br></div>
<div><div dir="ltr">Dewi: <br clear="none"><br clear="none">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? <br clear="none"><br clear="none">Yours, <br clear="none"><br clear="none">-- Michael<br clear="none"><div class="yqt6730253817" id="yqtfd15745"><br clear="none">> On 13 Jul 2020, at 20:55, Dewi Daniels <<a shape="rect" ymailto="mailto:dewi.daniels@software-safety.com" href="mailto:dewi.daniels@software-safety.com">dewi.daniels@software-safety.com</a>> wrote:<br clear="none">> <br clear="none">> Michael,<br clear="none">> <br clear="none">> In the context of “Correctness by Construction”, I would say that Correctness means “compliance with requirements”.<br clear="none">> <br clear="none">> Yours,<br clear="none">> Dewi<br clear="none">> <br clear="none">> On Mon, 13 Jul 2020 at 13:59, Michael Jackson <<a shape="rect" ymailto="mailto:jacksonma@acm.org" href="mailto:jacksonma@acm.org">jacksonma@acm.org</a>> wrote:<br clear="none">> Hoping for illuminating replies, I ask an open question. <br clear="none">> <br clear="none">> In the phrase "Correctness by Construction", what does 'correctness' mean? <br clear="none">> <br clear="none">> -- Michael<br clear="none">> _______________________________________________<br clear="none">> The System Safety Mailing List<br clear="none">> <a shape="rect" ymailto="mailto:systemsafety@TechFak.Uni-Bielefeld.DE" href="mailto:systemsafety@TechFak.Uni-Bielefeld.DE">systemsafety@TechFak.Uni-Bielefeld.DE</a><br clear="none">> Manage your subscription: <a shape="rect" href="https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety" target="_blank">https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety</a><br clear="none">> -- <br clear="none">> Yours,<br clear="none">> <br clear="none">> Dewi Daniels | Director | Software Safety Limited<br clear="none">> <br clear="none">> Telephone +44 7968 837742 | Email <a shape="rect" ymailto="mailto:dewi.daniels@software-safety.com" href="mailto:dewi.daniels@software-safety.com">dewi.daniels@software-safety.com</a><br clear="none">> <br clear="none">> 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<br clear="none">> <br clear="none"><br clear="none">_______________________________________________<br clear="none">The System Safety Mailing List<br clear="none"><a shape="rect" ymailto="mailto:systemsafety@TechFak.Uni-Bielefeld.DE" href="mailto:systemsafety@TechFak.Uni-Bielefeld.DE">systemsafety@TechFak.Uni-Bielefeld.DE</a><br clear="none">Manage your subscription: <a shape="rect" href="https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety" target="_blank">https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety</a></div></div></div>
</div>
</div></body></html>