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

Authors:
C. B. Jones
Affiliations:
Sch. of Comput. Sci., Newcastle Univ., Newcastle upon Tyne
Venue:
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Year:
2008

Citing 5
Cited 0

Abstract interpretation

ACM Computing Surveys (CSUR)
Mural: A Formal Development Support System

Mural: A Formal Development Support System
A program verifier

A program verifier
Reasoning about programs via operational semantics: requirements for a support system

Automated Software Engineering
Deriving specifications for systems that are connected to the physical world

Formal methods and hybrid real-time systems

Quantified Score

Hi-index	0.01

Visualization

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.