Formal Specification in “Z” Language by Software Z/EVES
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.
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
VSB-Technical University of Ostrava
2006-01-01
|
| Series: | Advances in Electrical and Electronic Engineering |
| Subjects: | |
| Online Access: | http://advances.utc.sk/index.php/AEEE/article/view/204 |