• DocumentCode
    2448346
  • 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
  • fYear
    2008
  • fDate
    July 28 2008-Aug. 1 2008
  • Firstpage
    11
  • Lastpage
    11
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Software and Applications, 2008. COMPSAC '08. 32nd Annual IEEE International
  • Conference_Location
    Turku
  • ISSN
    0730-3157
  • Print_ISBN
    978-0-7695-3262-2
  • Electronic_ISBN
    0730-3157
  • Type

    conf

  • DOI
    10.1109/COMPSAC.2008.242
  • Filename
    4591525