Formal Specification in “Z” Language by Software Z/EVES
Josef Svec, Jiri Zahradnik
DOI:
Abstract
The paper shows a short overview of representation formalisms, which can be used for specification of technical system functional requirements. Some basic model schemas of function called User Identification of ITS are presented by formal specification “Z” language and software Z/EVES.