%0 Conference Paper
%A Siregar, Maria Ulfah
%B Industrial Electronics Seminar 2007 Electronics Engineering Polytechnic Institute of Surabaya
%D 2007
%F digilib:39343
%T Generator for Z Conceptual Model  Using JFlex and BYACC/J Specification
%U https://digilib.uin-suka.ac.id/id/eprint/39343/
%X The Z notation is one of leading formal  specification language based on standard  mathematical notation, used for describing and  modeling computer systems. The system, which is  called ZC06, is composed by some phases, namely  lexical analysis, syntax analysis, semantic analysis,  and model conceptual-generation. ZC06 accepts Z  specification and produces conceptual model whose  format is based on format that had been proposed by  researchers around 1990's. The lexical analyzer is  developed by using JFlex, whilst the three other  phases are developed by using BYACC/J. ZC06 is  implemented by interfacing JFlex with BYACC/J.  ZC06 has been tested by using two specifications. The  first specification is a specification that specifies  security room (SBK), which has been used by previous  researcher. The output is evaluated by comparing  ZC06's output with the one, which had been developed  by that researcher. The second one is a specification  that specifies a system, which records people's  birthday (SHJ). This specification has not been used  as an input in previous researches. Therefore, the  output is evaluated by redeveloping manually its  specification based on its conceptual model. The  result shows that ZC06 produces conceptual model,  which is equally the same as the previous one.  Moreover, SHJ has been redeveloped successfully