Reflections on, and predictions for, support systems for the development of programs

Jones, CB

doi:10.1109/ASE.2008.10

Reflections on, and predictions for, support systems for the development of programs

Lookup NU author(s): Professor Cliff Jones ORCiD

Downloads

Published version [.pdf]

Abstract

My first attempt to build a “Formal Development Support System” was in IBM in the 1970s; more public is the mural system we built in Manchester; the Rodin (EU) project developed a set of open source tools that are now being used in the (EU) DEPLOY project. These attempts give me some perspective from which to predict what sort of tool will finally make the difference to software developers that CAD systems have made in hardware design.