Title :
Reflections on, and Predictions for, Support Systems for the Development of Programs
Author_Institution :
Sch. of Comput. Sci., Newcastle Univ., Newcastle upon Tyne
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.
Keywords :
software tools; CAD systems; formal development support system; hardware design; open source tools; program development; Artificial intelligence; Computer languages; Computer science; Design automation; Design engineering; Hardware; Open source software; Reflection; Software tools; Systems engineering and theory;
Conference_Titel :
Automated Software Engineering, 2008. ASE 2008. 23rd IEEE/ACM International Conference on
Conference_Location :
L´Aquila
Print_ISBN :
978-1-4244-2187-9
Electronic_ISBN :
1938-4300
DOI :
10.1109/ASE.2008.10
