Formal methods and formal description techniques: their understanding, development, support and use in the context of ESPRIT
R. Jacquart · Fall joint computer conference · 1987
The need to support the whole process of system development with formal notations, methods and their associated tools is a major topic in the Software Technology Workplan of the ESPRIT program.A number of projects have been launched during the first 3 years in order to insure a satisfactory coverage of this workplan area. Some of them in this area have short term objectives, as such they emphasize the use and support of existing methods. Others are research oriented: they are faced with the problems of development and of understanding (formalizing the use) of classical or new methods.This paper surveys methods and techniques used or developed in representative ESPRIT projects in the S. T. area.