Visual programming environment for Z specifications

Stephen W.C. Lam, Chun Chung Chan, Hareton K.N. Leung, Lawrence M.L. Chung

Research output: Chapter in book / Conference proceedingConference article published in proceeding or bookAcademic researchpeer-review

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 languageEnglish
Title of host publicationProceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC
PublisherIEEE Comp Soc
Pages511-512
Number of pages2
Publication statusPublished - 1 Dec 1997
EventProceedings 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 19975 Dec 1997

Conference

ConferenceProceedings of the 1997 Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC'97 and ICSC'97
Country/TerritoryHong Kong
CityHong Kong
Period2/12/975/12/97

ASJC Scopus subject areas

  • Computer Science(all)
  • Engineering(all)

Cite this