From: Bojan Bozovic <bozovic.bojan@gmail.com>
Subject: Re: requiring Ada(2020?) in self-driving autonomous automobiles
Date: Wed, 28 Mar 2018 14:38:39 -0700 (PDT)
Date: 2018-03-28T14:38:39-07:00 [thread overview]
Message-ID: <21e81c06-9352-407d-891c-ec54eed1b249@googlegroups.com> (raw)
In-Reply-To: <139fa27c-2f53-4758-81ba-dd403a30e4ef@googlegroups.com>
Programming (or software development, if you like that words better) methodology needs to be changed, and verifying software against specification together with testing must be viewed as indispensable, not some arcane procedure reserved for those that code aircraft, spacecraft and missile software. Anything that makes writing correct programs easier is welcome and needed, self-driving cars are just one aspect of the problem.
next prev parent reply other threads:[~2018-03-28 21:38 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-03-28 13:26 requiring Ada(2020?) in self-driving autonomous automobiles Dan'l Miller
2018-03-28 14:24 ` Dan'l Miller
2018-03-28 14:26 ` Dan'l Miller
2018-03-28 21:38 ` Bojan Bozovic [this message]
2018-03-29 3:56 ` Dan'l Miller
2018-03-29 7:21 ` Bojan Bozovic
2018-04-02 21:06 ` Robert I. Eachus
2018-04-03 8:58 ` Dmitry A. Kazakov
2018-11-26 11:44 ` Marius Amado-Alves
2018-11-26 17:31 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox