Abstract
It is generally recognized that formal techniques have a limited impact on current industrial practice. Several reasons often had been advocated to explain this fact: youth of the discipline, intrinsic limitations due to complexity and undecidability, lack of trained practitioners and engineers. All these are factors limiting the application of formal techniques. How ever, a reason that is less frequently suggested is the relevance of our contribution to current industrial practice. Clearly, Informatics is a scientificc discipline with its own evolution laws and proper objectives. How ever,as an experimental discipline it should find inspiration and validation in applications whose development is also driven by external needs, technologic, economic and ultimately social. The recognition and the success of our discipline is intimately related to the capability to address problems raised by the fast evolving practice.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sifakis, J. (1999). Integration, the Price of Success. In: Wing, J.M., Woodcock, J., Davies, J. (eds) FM’99 — Formal Methods. FM 1999. Lecture Notes in Computer Science, vol 1708. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48119-2_4
Download citation
DOI: https://doi.org/10.1007/3-540-48119-2_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66587-8
Online ISBN: 978-3-540-48119-5
eBook Packages: Springer Book Archive