DocumentCode
3030676
Title
Reflections on, and Predictions for, Support Systems for the Development of Programs
Author
Jones, Cliff B.
Author_Institution
Sch. of Comput. Sci., Newcastle Univ., Newcastle upon Tyne
fYear
2008
fDate
15-19 Sept. 2008
Firstpage
7
Lastpage
8
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Automated Software Engineering, 2008. ASE 2008. 23rd IEEE/ACM International Conference on
Conference_Location
L´Aquila
ISSN
1938-4300
Print_ISBN
978-1-4244-2187-9
Electronic_ISBN
1938-4300
Type
conf
DOI
10.1109/ASE.2008.10
Filename
4639303
Link To Document