Title :
Position Statement: Ceaselessly-Analyzing Development Environments, One Direction for the Next 40 Years of Software Engineering
Author :
Leino, K. M Rustan
Author_Institution :
Microsoft Res., Redmond, WA
fDate :
July 28 2008-Aug. 1 2008
Abstract :
Software engineering is both difficult and expensive. This is as true today as it was 40 years ago. The end products of software engineering, software artifacts consisting of streams of instructions, are intended to solve some problem, live up to some requirements, implement some design. To improve software engineering, we must continue to improve the process that eventually outputs these instructions. We want the instructions correctly to address the problem, and we want the ability flexibly and precisely to change the instructions when the problem, requirements, and design change.
Keywords :
programming environments; software process improvement; development environment; instruction streams; software artifacts; software engineering; software process improvement; Application software; Automatic testing; Computer applications; Computer languages; Control systems; Costs; Error correction; Process design; Software engineering; USA Councils;
Conference_Titel :
Computer Software and Applications, 2008. COMPSAC '08. 32nd Annual IEEE International
Conference_Location :
Turku
Print_ISBN :
978-0-7695-3262-2
Electronic_ISBN :
0730-3157
DOI :
10.1109/COMPSAC.2008.242