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
Link To Document