Title :
Research demonstrations and posters
Author :
Schafer, Bruce ; Pezze, Mauro
Author_Institution :
Ind. Affairs Dept., Oregon Univ. Syst., Portland, OR, USA
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;
Conference_Titel :
Software Engineering, 2003. Proceedings. 25th International Conference on
Print_ISBN :
0-7695-1877-X
DOI :
10.1109/ICSE.2003.1201293