Experiences on Developing and Using a Tool Support for Formal Specification

Tool support is a a major issue for any novel software engineering approach. This is particularly important when new methodological issues are being introduced, as only with an adequate embedding of new ideas in a practical setting it is possible to include new facilities in the software development process. In this paper, we provide an insight to the feedback obtained when developing and using a tool set for easing the use of a formal method. The paper begins by introducing the underlying formal method, its language representation, and the tool set that is currently available. Based on them, the core of the paper is constituted by the observations made when the tool set has been used in practice.