Integration, the Price of Success

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.