Formal Specification in “Z” Language by Software Z/EVES

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.

Keywords

• its
• z/eves
• axiomatic definition.