@inproceedings{digilib39343,
       booktitle = {Industrial Electronics Seminar 2007 Electronics Engineering Polytechnic Institute of Surabaya},
           title = {Generator for Z Conceptual Model
Using JFlex and BYACC/J Specification},
          author = {Maria Ulfah Siregar},
             url = {https://digilib.uin-suka.ac.id/id/eprint/39343/},
        abstract = {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}
}