Proving the existence of initial state in Z specifications

被引：0
|
作者：
Miao, Huaikou
McDermid, John
Toyn, Ian
机构：
来源：
Ruan Jian Xue Bao/Journal of Software | 1995年 / 6卷 / 12期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Z specifications and modal logic
    Fergus, E.
    Ince, D.
    Nippon Kinzoku Gakkaishi/Journal of the Japan Institute of Metals, 1990, 54 (12):
  • [32] Structuring Z specifications with views
    Jackson, Daniel
    ACM Transactions on Software Engineering and Methodology, 1995, 4 (04) : 365 - 389
  • [33] Measuring the comprehensibility of Z specifications
    Finney, K
    Rennolls, K
    Fedorec, A
    JOURNAL OF SYSTEMS AND SOFTWARE, 1998, 42 (01) : 3 - 15
  • [34] Unit Testing of Z Specifications
    Utting, Mark
    Malik, Petra
    ABSTRACT STATE MACHINES, B AND Z, PROCEEDINGS, 2008, 5238 : 309 - +
  • [35] Industrially proving the SPIRIT Consortium specifications for design chain integration
    Lennard, Christopher K.
    Berman, Victor
    Fazzari, Saverio
    Indovina, Mark
    Ussery, Cary
    Strik, Marino
    Wilson, John
    Florent, Olivier
    Remond, Francois
    Bricaud, Pierre
    2006 DESIGN AUTOMATION AND TEST IN EUROPE, VOLS 1-3, PROCEEDINGS, 2006, : 1477 - 1482
  • [36] Proving State borders
    Moore, Garry
    AUSTRALIAN LAW JOURNAL, 2006, 80 (09): : 587 - 601
  • [37] Proving sufficient completeness of constructor-based algebraic specifications
    Nakamura, Masaki
    Gaina, Daniel
    Ogata, Kazuhiro
    Futatsugi, Kokichi
    Lecture Notes in Electrical Engineering, 2015, 373 : 15 - 21
  • [38] Combining Theorem Proving and Narrowing for Rewriting-Logic Specifications
    Rusu, Vlad
    TEST AND PROOFS, PROCEEDINGS, 2010, 6143 : 135 - 150
  • [39] Learning specifications of interaction protocols and business processes and proving their properties
    Alberti, Marco
    Gavanelli, Marco
    Lamma, Evelina
    Riguzzi, Fabrizio
    Storari, Sergio
    INTELLIGENZA ARTIFICIALE, 2011, 5 (01) : 71 - 75
  • [40] 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
12345