Advances in Electrical and Electronic Engineering (Jan 2006)

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

  • Josef Svec,
  • Jiri Zahradnik

Journal volume & issue
Vol. 5, no. 1
pp. 166 – 168

Abstract

Read online

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