DocumentCode
1987336
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
fYear
1993
fDate
27-29 May 1993
Firstpage
474
Lastpage
478
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computing and Information, 1993. Proceedings ICCI '93., Fifth International Conference on
Conference_Location
Sudbury, Ont.
Print_ISBN
0-8186-4212-2
Type
conf
DOI
10.1109/ICCI.1993.315326
Filename
315326
Link To Document