TEMPORAL LOGIC AND Z-SPECIFICATIONS

被引：0
|
作者：
DUKE, R [1 ]
SMITH, G [1 ]
机构：
[1] UNIV QUEENSLAND,DEPT COMP SCI,ST LUCIA,QLD 4067,AUSTRALIA
来源：
AUSTRALIAN COMPUTER JOURNAL | 1989年 / 21卷 / 02期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：62 / 66
页数：5
相关论文
共 50 条
  • [1] INCREMENTAL PROCESSING OF Z-SPECIFICATIONS
    DEVASCONCELOS, AML
    MCDERMID, JA
    IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1993, 10 : 53 - 69
  • [2] Maintaining formal specifications - Decomposition of large Z-specifications
    Bollin, A
    ICSM 2005: PROCEEDINGS OF THE 21ST IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, 2005, : 443 - 452
  • [3] A DEVELOPMENT MODEL - APPLICATION TO Z-SPECIFICATIONS
    DARIMONT, R
    SOUQUIERES, J
    INFORMATION SYSTEM DEVELOPMENT PROCESS, 1993, 30 : 247 - 264
  • [4] THE DATE REFINEMENT CALCULATOR FOR Z-SPECIFICATIONS
    JOSEPHS, MB
    INFORMATION PROCESSING LETTERS, 1988, 27 (01) : 29 - 33
  • [5] FROM Z-SPECIFICATIONS TO FUNCTIONAL IMPLEMENTATIONS
    SANDERS, P
    JOHNSON, M
    TINKER, R
    BRITISH TELECOM TECHNOLOGY JOURNAL, 1989, 7 (04): : 47 - 63
  • [6] EZ - A SYSTEM FOR AUTOMATIC PROTOTYPING OF Z-SPECIFICATIONS
    DOMA, V
    NICHOLL, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 189 - 203
  • [7] HOL-Z 2.0: A proof environment for Z-specifications
    Brucker, AD
    Rittinger, F
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2003, 9 (02): : 152 - 172
  • [8] SOFTWARE-DEVELOPMENT - 2 APPROACHES TO ANIMATION OF Z-SPECIFICATIONS USING PROLOG
    WEST, MM
    EAGLESTONE, BM
    SOFTWARE ENGINEERING JOURNAL, 1992, 7 (04): : 264 - 276
  • [9] Z specifications and modal logic
    Fergus, E.
    Ince, D.
    Nippon Kinzoku Gakkaishi/Journal of the Japan Institute of Metals, 1990, 54 (12):
  • [10] Robustness of temporal logic specifications
    Fainekos, Georgios E.
    Pappas, George J.
    FORMAL APPROACHES TO SOFTWARE TESTING AND RUNTIME VERIFICATION, 2006, 4262 : 178 - +
12345