Title :
Towards CASE tools for prototyping Z specifications
Author :
Siddiqi, Jawed ; Morrey, Ian ; Buckberry, Graham ; Hibberd, Richard
Author_Institution :
Sheffield Hallman Univ., UK
Abstract :
A project that aims to develop an animation environment for a formal specification is described. Two CASE tools, one for constructing (i.e., inputing, editing and syntax checking) a formal specification, and the other for executing a formal specification, are described. A case study is used to illustrate the transformation process required to construct a prototype which can be executed to validate requirements and explore their consequences. The feasibility of translating and executing formal specifications is discussed and directions for future work are presented
Keywords :
computer aided software engineering; computer animation; formal specification; software prototyping; software tools; specification languages; CASE tools; Z specifications; animation environment; case study; formal specification; prototyping; requirements validation; specification execution; syntax checking; transformation process; Animation; Collaboration; Computer aided software engineering; Contracts; Formal specifications; Programming profession; Prototypes; Software design; Software prototyping; Specification languages;
Conference_Titel :
Computer-Aided Software Engineering, 1993. CASE '93., Proceeding of the Sixth International Workshop on
Print_ISBN :
0-8186-3480-4
DOI :
10.1109/CASE.1993.634817
