Title :
Towards CASE tool support for rigorous structured analysis
Author :
France, R.B. ; Docker, T.W.G.
Author_Institution :
Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
Abstract :
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
Keywords :
formal specification; software tools; CASE tool support; Eclectic; formal specification techniques; rigorous structured analysis; Books; Computer aided software engineering; Design for disassembly; Formal specifications; Impedance; Investments; Libraries; Memory; Specification languages;
Conference_Titel :
Computing and Information, 1993. Proceedings ICCI '93., Fifth International Conference on
Conference_Location :
Sudbury, Ont.
Print_ISBN :
0-8186-4212-2
DOI :
10.1109/ICCI.1993.315326
