FORMAL SPECIFICATION IN "Z" LANGUAGE BY SOFTWARE Z/EVES

被引：0
|
作者：
Svec, J. [1 ]
Zahradnik, J. [1 ]
机构：
[1] Univ Zilina, Fac Elect Engn, Dept Control & Informat Syst, Univ 8215-1, SK-01026 Zilina, Slovakia
来源：
ADVANCES IN ELECTRICAL AND ELECTRONIC ENGINEERING | 2006年 / 5卷 / 01期
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
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.
引用
收藏
页码：166 / 168
页数：3
相关论文
共 50 条
  • [1] THE FORMAL SPECIFICATION FOR THE INVENTORY SYSTEM USING Z LANGUAGE
    Bakri, Siti Halimah
    Harun, Hanis
    Alzoubi, Amera
    Ibrahim, Rosziati
    COMPUTING & INFORMATICS, 4TH INTERNATIONAL CONFERENCE, 2013, 2013, : 419 - 425
  • [2] Structured object-Z software specification language
    Gao, XL
    Miao, HK
    Chen, YH
    GRID AND COOPERATIVE COMPUTING, PT 1, 2004, 3032 : 956 - 963
  • [3] M2Z: A tool for translating a natural language software specification into Z
    Shukur, Z
    Zin, AM
    Ban, A
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 406 - 410
  • [4] Towards a formal semantics for an integrated SA/RT & Z specification language
    Scholz, D
    Petersohn, C
    FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, : 28 - 37
  • [5] Formal Specification for Online Food Ordering System using Z language
    Saratha, P.
    Uma, G. V.
    Santhosh, B.
    2017 SECOND INTERNATIONAL CONFERENCE ON RECENT TRENDS AND CHALLENGES IN COMPUTATIONAL MODELS (ICRTCCM), 2017, : 343 - 348
  • [6] Formal Verification of ABAP by Z Specification
    Rodruksa, Soravit
    Pradubsuwun, Denduang
    PROCEEDINGS OF 2017 14TH INTERNATIONAL JOINT CONFERENCE ON COMPUTER SCIENCE AND SOFTWARE ENGINEERING (JCSSE), 2017,
  • [7] FORMAL SPECIFICATION METHODS AND NUMERICAL SOFTWARE - A CASE-STUDY USING Z
    LUCENA, CJP
    QIAN, YM
    UTILITAS MATHEMATICA, 1993, 44 : 85 - 114
  • [8] Formal Specification of Playout System Using Z
    Cao, Yizhen
    Wang, Yongbin
    2ND INTERNATIONAL CONFERENCE ON SIMULATION AND MODELING METHODOLOGIES, TECHNOLOGIES AND APPLICATIONS (SMTA 2015), 2015, : 276 - 282
  • [9] Formal specification of business rules using Z
    Yoo, HJ
    Choi, JY
    Bai, M
    International Conference on Computing, Communications and Control Technologies, Vol 1, Proceedings, 2004, : 92 - 95
  • [10] Mechanising Mondex with Z/Eves
    Freitas, Leo
    Woodcock, Jim
    FORMAL ASPECTS OF COMPUTING, 2008, 20 (01) : 117 - 139
12345