Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Formalisms in software engineering: Myths versus empirical facts

: Rombach, H. Dieter; Seelisch, Frank


Meyer, B. ; International Federation for Information Processing -IFIP-, Technical Committee 2, Software, Theory and Practice:
Balancing agility and formalism in software engineering. Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007 : Poznan', Poland, October 10-12, 2007; Revised selected papers
Berlin: Springer, 2008 (Lecture Notes in Computer Science 5082)
ISBN: 3-540-85278-6
ISBN: 978-3-540-85278-0
S.13-25 : Ill., Lit.
Central and East European Conference on Software Engineering Techniques (CEE SET) <2, 2007, Poznan>
Fraunhofer IESE ()
computer science - development; empirical software engineering; software development; empirical evidence; empirical research

The importance of software grows in all sectors of industry and all aspects of life. Given this high dependability on software, the status of software engineering is less than satisfactory. Accidents, recall actions, and late projects still make the news every day. Many of the software engineering research results do not make it into practice, and thereby the gap between research and practice widens constantly. The reasons for not making it into practice range from isufficient commitment for professionalization of software development on the industrial side, to insufficient consideration for practical scale-up issues on the research side, and a tremendous lack of empirical evidence regarding the benefits and limitations of new software engineering methods and tools on both sides. The major focus of this paper is to motivate the creation of credible evidence which in turn will allow for less risky introduction of new software engineering approaches into practice. In order to overcome this progress hindering lack of evidence, both research and practice have to change their paradigms. Research needs to complement each promising new software engineering approach with credible empirical evidence from in vitro controlled experiments and case studies; industry needs to baseline its current state of the practice quantitatively, and needs to conduct in vitro studies of new approaches in order to identify their benefits and limitations in certain industrial contexts.