kirancodes.me
To Proof Maintenance & Beyond!

Reflections on, and Predictions for, Support Systems for the Development of Programs

Cliff B. Jones

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.

BibTeX
@inproceedings{Jones:ASE08,
  author    = {Cliff B. Jones},
  title     = {Reflections on, and Predictions for, Support Systems for the Development of Programs},
  booktitle = {ASE},
  pages     = {7--8},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
}

Related papers