Towards CASE tools for prototyping Z specifications

Author

Siddiqi, Jawed ; Morrey, Ian ; Buckberry, Graham ; Hibberd, Richard

Author_Institution

Sheffield Hallman Univ., UK

fYear

1993

fDate

19-23 Jul 1993

Firstpage

166

Lastpage

173

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer-Aided Software Engineering, 1993. CASE '93., Proceeding of the Sixth International Workshop on

ISSN

1066-1387

Print_ISBN

0-8186-3480-4

Type

conf

DOI

10.1109/CASE.1993.634817

Filename

634817