Cooperation of formal methods in an engineering based software development process

Abstract

This paper presents a global development approach for using different formal techniques in a common software development. The underlying methodology is based on the identification, formalization and verification of the properties, of the system to be developed, expressed in the requirements. The approach we suggest consists in identifying a main formal technique to support the whole system specification at an abstract level and one or several secondary techniques that prove efficient for parts of the development. This approach has been put into practice in different and distant application domains. The considered application domain covered by this paper is human-computer interaction software. © Springer-Verlag Berlin Heidelberg 2000.