DocumentCode :
2218184
Title :
Z specifications meet Mathematica for exploratory prototyping
Author :
Sherrell, Linda B. ; Paulsen, William H.
Author_Institution :
Univ. of West Florida, Pensacola, FL, USA
fYear :
2000
fDate :
23-23 June 2000
Firstpage :
61
Abstract :
In order for formal methods to achieve widespread acceptance, associated tools must become more accessible to the average user. This work describes ZEM (Z Embedded in Mathematica), a new tool supporting the major phases of the requirements analysis life cycle. ZEM is best described as an animator for Z specifications with a theorem proving component. The overall goal in its design has been twofold: (1) to encourage the use of formal methods by a wider group of practitioners and (2) to provide an environment that facilitates exploratory prototyping.
Keywords :
formal specification; program visualisation; software prototyping; software tools; specification languages; symbol manipulation; theorem proving; Mathematica; Z Embedded in Mathematica; Z specifications; ZEM; exploratory prototyping; formal methods; requirements analysis life cycle; theorem proving; Animation; Application software; Computer science; Displays; Formal specifications; Identity-based encryption; Prototypes; Software packages; Software prototyping; Specification languages;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Requirements Engineering, 2000. Proceedings. 4th International Conference on
Conference_Location :
Schaumburg, IL, USA
ISSN :
1097-0592
Print_ISBN :
0-7695-0565-1
Type :
conf
DOI :
10.1109/ICRE.2000.855585
Filename :
855585
Link To Document :
بازگشت