Abstract
Twenty years and more after the term ‘formal methods’ was introduced, their use in industrial software engineering is still so limited that it raises the question: is there indeed a ‘method’ to the use of formal theories in solving practical problems? In comparison, the practice of large-scale software development abounds in methods, some requiring no more than the systematic use of paperwork, some based on graphical notations with annotations and some tightly wired into project management tools. None of these is a ‘formal’ method; equally, no application of formal reasoning into the development process resembles a ‘method’ as known in software engineering.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Palshikar, G.: Safety checking in an automatic train operation system. Inf. & Softw. Tech. 43, 325–338 (2001)
Palshikar, G.: Applying formal specifications to real-world software development. IEEE Software, 89–97 (November/December 2001)
Sreenivas, A., Venkatesh, R., Joseph, M.: Meta-modeling for formal software development. In: Proc. CATS 2001, Gold Coast, Australia, pp. 1–11 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Joseph, M. (2003). Adding Formalism to Methods or Where and When Will Industry Use Formal Reasoning? . In: Dong, J.S., Woodcock, J. (eds) Formal Methods and Software Engineering. ICFEM 2003. Lecture Notes in Computer Science, vol 2885. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39893-6_3
Download citation
DOI: https://doi.org/10.1007/978-3-540-39893-6_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20461-9
Online ISBN: 978-3-540-39893-6
eBook Packages: Springer Book Archive