Validity & Correctness Before the OS

Validity and Correctness Before the OS: the Case of LEO I and LEO II
Rabia Arif, Elisabetta Mori, Giuseppe Primiero
in
Reflections on Programming Systems. Historical and Philosophical Aspects
Edited by Liesbeth De Mol and Giuseppe Primiero
Springer, 2019

Efficient and reliable computing is based on validity and correctness. Techniques to ensure these essential features have been in place since the early days of computing. The present study focuses on the hardware testing, data validation and program correctness techniques designed and implemented for LEO I and II machines in the UK during the 1950s. Continue reading “Validity & Correctness Before the OS”

Business computing seminar in Lille

Olivetti Elea 9003. Detail. Photo: Elisabetta Mori

Pierre Mounier-Kuhn
(CNRS, Université Paris-Sorbonne & Centre Alexandre Koyré)
De la mécanographie à l’Informatique de gestion

Elisabetta Mori (Middlesex University, London)
From Academia to Business: LEO computers and Olivetti.
Two case studies in the early European Computer Industry

Histoire et Philosophie de l’informatique et du calcul
MESHS, 2 Rue des Canonniers, 59000 Lille
Info: https://calcul.hypotheses.org/435

Elisabetta Mori
From Academia to Business: LEO computers and Olivetti.
Two case studies in the early European Computer Industry

A common pattern in the growth and development of early Western European computer manufacturers is the collaboration between academia and entrepreneurship. Very often early European computer companies established a joint venture with an academic environment – a university or a research institute. Continue reading “Business computing seminar in Lille”