IJID (International Journal on Informatics for Development)
Vol 7, No 1 (2018): IJID June

A Scanner and Parser for Z Specifications

Siregar, Maria Ulfah (Unknown)
Derrick, John (Unknown)

Article Info

Publish Date
28 Nov 2018

Abstract

This paper describes our research on implementing a scanner and parsers for Z specifications. Rather to code them from scratch, we use tools that have specialities on creating such tasks. These tools generate several Java files which can be integrated with a main program in Java. Our research could produce a scanner and parser for Z specifications. These tools could benefit Z specifications to be studied further.

Copyrights © 2018




Citation Download
RIS
EndNote, Reference Manager, ProCite
BibTex
Latex, Jabref
Original Source
Download Original
Google Scholar
Check in Google Scholar
Journal Info
IJID (International Journal on Informatics for Development)
Website

Abbrev

ijid

Publisher

Universitas Islam Negeri Sunan Kalijaga Yogyakarta

Subject

Computer Science & IT

Description

One important point in the accreditation of higher education study programs is the availability of a journal that holds the results of research of many investigators. Since the year 2012, Informatics Department has English language. Journal called IJID International Journal on Informatics for ...