Abstract
Visual Z (VZ) is a visual programming environment developed for constructing Z specification. This environment allows the user to manipulate icons (called glyphs) to generate a specification. Instead of remembering the set of Z symbols, the user can manipulate the visually understandable icons to develop specification. Moreover, VZ is a well organized environment, where various components of a specification are organized into different folders for easy storage and retrieval. Finally, VZ supports validation of specification and basic logic proving, which are essential in developing correct specification.
Original language | English |
---|---|
Title of host publication | Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC |
Publisher | IEEE Comp Soc |
Pages | 511-512 |
Number of pages | 2 |
Publication status | Published - 1 Dec 1997 |
Event | Proceedings of the 1997 Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC'97 and ICSC'97 - Hong Kong, Hong Kong Duration: 2 Dec 1997 → 5 Dec 1997 |
Conference
Conference | Proceedings of the 1997 Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC'97 and ICSC'97 |
---|---|
Country/Territory | Hong Kong |
City | Hong Kong |
Period | 2/12/97 → 5/12/97 |
ASJC Scopus subject areas
- General Computer Science
- General Engineering