S.W.C. Lam, Dept. of Comput., Hong Kong Polytech., Hung Hom, Hong Kong
K.C.C. Chan, Dept. of Comput., Hong Kong Polytech., Hung Hom, Hong Kong
H.K.N. Leung, Dept. of Comput., Hong Kong Polytech., Hung Hom, Hong Kong
L.M.L. Chung, Dept. of Comput., Hong Kong Polytech., Hung Hom, Hong Kong
The existing Z supporting tools focus on providing editing and syntax checking functionalities (Siddiqi et al., 1993). We develop VZ (Visual Z) visual programming environment for constructing Z specifications. The main advantage of such an environment is to allow the user to manipulate icons (glyphs) to generate a specification. Instead of remembering the set of Z symbols, the user can manipulate the visually understandable icons to develop the specification. Moreover, VZ is a well organized environment; various components of a specification are organized into different folders for easy storage and retrieval. Finally, VZ also supports validation of specification and basic logic proving, which are essential in developing correct specification.
Index Terms:
visual programming; visual programming environment; Z specifications; software tools; editing; syntax checking; VZ; Visual Z; icons; glyphs; specification validation; logic proving
Citation:
S.W.C. Lam, K.C.C. Chan, H.K.N. Leung, L.M.L. Chung, "A visual programming environment for Z specifications," apsec, pp.511, Fourth Asia-Pacific Software Engineering and International Computer Science Conference (APSEC'97 / ICSC'97), 1997
PURCHASE ARTICLE: $19
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb