Complementing semi-floral specifications with Z

被引：2
|
作者：
Ledru, Y [1 ]
机构：
[1] IMAG LAB GRENOBLE,LAB LOGICIELS SYST RESEAUX,F-38041 GRENOBLE,FRANCE
来源：
PROCEEDINGS OF THE 11TH KNOWLEDGE-BASED SOFTWARE ENGINEERING CONFERENCE | 1996年
关键词：
D O I：
10.1109/KBSE.1996.552823
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：52 / 61
页数：10
相关论文
共 50 条
  • [1] Complementing computational protocol analysis with formal specifications
    Choo, KKR
    Boyd, C
    Hitchcock, Y
    Maitland, G
    FORMAL ASPECTS IN SECURITY AND TRUST, 2005, 173 : 129 - 144
  • [2] STRUCTURING SPECIFICATIONS IN Z
    WOODCOCK, JCP
    SOFTWARE ENGINEERING JOURNAL, 1989, 4 (01): : 51 - 66
  • [3] Slicing Z specifications
    Wu, FJ
    Yi, T
    ACM SIGPLAN NOTICES, 2004, 39 (08) : 39 - 48
  • [4] AN INTRODUCTION TO Z AND FORMAL SPECIFICATIONS
    SPIVEY, JM
    SOFTWARE ENGINEERING JOURNAL, 1989, 4 (01): : 40 - 50
  • [5] Z specifications and modal logic
    Fergus, E.
    Ince, D.
    Nippon Kinzoku Gakkaishi/Journal of the Japan Institute of Metals, 1990, 54 (12):
  • [6] Structuring Z specifications with views
    Jackson, Daniel
    ACM Transactions on Software Engineering and Methodology, 1995, 4 (04) : 365 - 389
  • [7] Measuring the comprehensibility of Z specifications
    Finney, K
    Rennolls, K
    Fedorec, A
    JOURNAL OF SYSTEMS AND SOFTWARE, 1998, 42 (01) : 3 - 15
  • [8] Complementing Semi-deterministic Buchi Automata
    Blahoudek, Frantisek
    Heizmann, Matthias
    Schewe, Sven
    Strejcek, Jan
    Tsai, Ming-Hsien
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS 2016), 2016, 9636 : 770 - 787
  • [9] Unit Testing of Z Specifications
    Utting, Mark
    Malik, Petra
    ABSTRACT STATE MACHINES, B AND Z, PROCEEDINGS, 2008, 5238 : 309 - +
  • [10] 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