• DocumentCode
    395071
  • Title

    Research demonstrations and posters

  • Author

    Schafer, Bruce ; Pezze, Mauro

  • Author_Institution
    Ind. Affairs Dept., Oregon Univ. Syst., Portland, OR, USA
  • fYear
    2003
  • fDate
    3-10 May 2003
  • Firstpage
    800
  • Lastpage
    801
  • Abstract
    Automation plays an important role in software engineering. ne transition from research breakthroughs to usable tools is neither linear nor easy, and requires a fortunate combination of many elements difficult to identify and merge. In this hard transition process, research prototypes are an important step. They allow researchers to early experience ideas and results on real case studies, and to learn both difficulties in applying new theoretical results and limitations of the theory; and enable practitioners, who can see beyond the frontiers of current state of practice, to identify new technology for improving the software development process and spot advances applicable in the near future.
  • Keywords
    formal verification; software development management; software process improvement; research prototype; software development process; software engineering; software verification; Application software; Embedded software; Java; Programming; Prototypes; Risk management; Software engineering; Software prototyping; Software tools; Visualization;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Engineering, 2003. Proceedings. 25th International Conference on
  • ISSN
    0270-5257
  • Print_ISBN
    0-7695-1877-X
  • Type

    conf

  • DOI
    10.1109/ICSE.2003.1201293
  • Filename
    1201293