[SystemSafety] Software Repositories

[Martyn Thomas]

This was Tony Hoare's originally stated plan for the Oxford Programming
Research Group in (as I recall) the late 1970s. I don't know when or why
he decided not to do it.

Regards

Martyn


On 10/07/2020 15:12, Peter Bernard Ladkin wrote:
>
> On 2020-07-10 11:14 , paul_e.bennett at topmail.co.uk wrote:
>> If there was a body that would become the repository for very
>> thoroughly inspected and tested software components that would have
>> the reports of the voracity of such components stored together, we might
>> stand a chance at pulling together systems that work well. 
> The idea of such a respository, and the organisation to put it together, as well as significant
> resources put into it, goes back at least to the founding of Odyssey Research Associates by the
> Cornell logician Dick Platek in the early 1980's.
>
> The logician David Guattari worked for ORA for a long time, as I recall. The company became ORA
> Canada and in Ottawa. Dan Craigen worked for them for a long time. They developed the Z/Eves system,
> based on a theorem prover developed by Mark Saaltink. I visited them in Ottawa back in 1995.
>
> ESA wanted to develop software for space uses as "building block" software, and some nearly 20 years
> ago I was involved in the negotiations for the EU-supported ASSERT project to do that. Quite a lot
> of renowned people involved, many of them in FM.
>
> Progress towards the goal of a guaranteed-dependable SW library? Hard to see much, if any, in the
> last almost-forty years.
>
> PBL
>
> Prof. Peter Bernard Ladkin, Bielefeld, Germany
> Styelfy Bleibgsnd
> Tel+msg +49 (0)521 880 7319  www.rvs-bi.de
>
>
>
>
>
>
> _______________________________________________
> 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/20200710/dc5350e1/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 488 bytes
Desc: OpenPGP digital signature
URL: <https://lists.techfak.uni-bielefeld.de/pipermail/systemsafety/attachments/20200710/dc5350e1/attachment-0001.sig>