One small step for a man
One Giant leap for the mankind

There is no wealth like Knowledge
                            No Poverty like Ignorance
Journal of Emerging Trends in Computing and Information Sciences Logo

Journal of Emerging Trends in Computing and Information Sciences >> Call for Papers Vol. 8 No. 3, March 2017

Journal of Emerging Trends in Computing and Information Sciences

ZEMOT: An Integrated Graphic User Interface Prototype for Z Specification

Full Text Pdf Pdf
Author Mobolaji Olufemi Tenibiaje
ISSN 2079-8407
On Pages 392-396
Volume No. 6
Issue No. 7
Issue Date August 1, 2015
Publishing Date August 1, 2015
Keywords Formal Methods, Z specification, Latex Markup Language, Z Notation, ZEMOT


Abstract

Z Specification is one of the most précised formal specification methods due to its mathematical notation and symbols. However, the non-standard font and special symbols of Z notation is posing challenges in the documentation of Z specification language. This paper presents a solution to such problem. An Integrated Prototype System Support for Z Specification Language” ZEMOT (Z Editor Mobolaji Olufemi Tenibiaje)”. This Z integrated Prototype tool will handle description of Z specification, symbol and Latex accessibility and structured schema declaration. The tool enable users to generate schemas in two basic versions; the Z notations and its Latex Mark Up language. This research will focus on development of a functioning GUI editor for Z specification language.
Back

Seperator
    Journal of Computing | Call for Papers (CFP) | Journal Blog | Journal of Systems and Software | ARPN Journal of Science and Technology | International Journal of Health and Medical Sciences | International Journal of Economics, Finance and Management     
Copyrights
© 2015 Journal of Computing