A visual programming environment for Z specifications

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by S.W.C. Lam Articles by K.C.C. Chan Articles by H.K.N. Leung Articles by L.M.L. Chung

Fourth Asia-Pacific Software Engineering and International Computer Science Conference (APSEC'97 / ICSC'97)

Clear Water Bay, HONG KONG

December 02-December 05

ISBN: 0-8186-8271-X

	ASCII Text	x
	S.W.C. Lam, K.C.C. Chan, H.K.N. Leung, L.M.L. Chung, "A visual programming environment for Z specifications," Asia-Pacific Software Engineering Conference, pp. 511, Fourth Asia-Pacific Software Engineering and International Computer Science Conference (APSEC'97 / ICSC'97), 1997.

	BibTex	x
	@article{ 10.1109/APSEC.1997.640210, author = {S.W.C. Lam and K.C.C. Chan and H.K.N. Leung and L.M.L. Chung}, title = {A visual programming environment for Z specifications}, journal ={Asia-Pacific Software Engineering Conference}, volume = {0}, year = {1997}, isbn = {0-8186-8271-X}, pages = {511}, doi = {http://doi.ieeecomputersociety.org/10.1109/APSEC.1997.640210}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Asia-Pacific Software Engineering Conference TI - A visual programming environment for Z specifications SN - 0-8186-8271-X SP EP A1 - S.W.C. Lam, A1 - K.C.C. Chan, A1 - H.K.N. Leung, A1 - L.M.L. Chung, PY - 1997 KW - visual programming; visual programming environment; Z specifications; software tools; editing; syntax checking; VZ; Visual Z; icons; glyphs; specification validation; logic proving VL - 0 JA - Asia-Pacific Software Engineering Conference ER -

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

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/APSEC.1997.640210

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.