Abstract
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.
Chapter PDF
References
Stalk, G., Evans, P., Shulman, L.: Competing on Capabilities: the New Rules of Corporate Strategy. Harvard Business Review, 57–69 (1992)
Boehm, B., Basili, V.: Software Defect Reduction Top 10 List. Computer 34(1), 135–137 (2001)
The Standish Group: The Chaos Report 1994. World Wide Web (1994), http://www.standishgroup.com/sample_research/PDFpages/chaos1994.pdf
Broy, M., Rombach, D.: Software Engineering. Wurzeln, Stand und Perspectiven. Informatik Spektrum 25(6), 438–451 (2002)
Endres, A., Rombach, D.: A Handbook of Software and Systems Engineering. Addison-Wesley Longman, Amsterdam (2003)
Basili, V., Zelkowitz, M., McGarry, F., Page, J., Waligora, S., Pajerski, R.: Special Report: SEL’s Software Process-Improvement Program. IEEE Software 12(6), 83–87 (1995)
Ren, J., Taylor, R.: Automatic and Versatile Publications Ranking for Research Institutions and Scholars. Communications of the ACM 50(6), 81–85 (2007)
Basili, V., Selby, R.: Comparing the Effectiveness of Software Testing Strategies. IEEE Transactions on Software Engineering 13(12), 1278–1296 (1987)
Basili, V., Green, S.: Software Process Evolution at the SEL. IEEE Software 11(4), 58–66 (1994)
ISERN: International Software Engineering Research Network. (World Wide Web), http://isern.iese.de/network/ISERN/pub/
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 IFIP International Federation for Information Processing
About this paper
Cite this paper
Rombach, D., Seelisch, F. (2008). Formalisms in Software Engineering: Myths Versus Empirical Facts. In: Meyer, B., Nawrocki, J.R., Walter, B. (eds) Balancing Agility and Formalism in Software Engineering. CEE-SET 2007. Lecture Notes in Computer Science, vol 5082. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-85279-7_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-85279-7_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-85278-0
Online ISBN: 978-3-540-85279-7
eBook Packages: Computer ScienceComputer Science (R0)