Towards CASE tool support for rigorous structured analysis

Despite their potential, formal specification techniques (FSTs) are rarely used in industry. This may be due to the perceived gap between the specification methods currently used in industry and the proposed FSTs. In this paper we describe our work on the development of a CASE tool, called Eclectic, that seeks to reduce the gap between formal and non-formal structured methods by integrating them in a complementary manner.<>