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 条
  • [21] CONTRACT CHECKING USING Z SPECIFICATIONS
    Negreanu, Lorina
    Mocanu, Irina
    ANNALS OF DAAAM FOR 2009 & PROCEEDINGS OF THE 20TH INTERNATIONAL DAAAM SYMPOSIUM, 2009, 20 : 301 - 302
  • [22] Animation of object-Z specifications using a Z animator
    McComb, T
    Smith, G
    FIRST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2003, : 191 - 200
  • [23] SEMI SPECIFICATIONS FOR SILICON AND SOS WAFERS
    不详
    SOLID STATE TECHNOLOGY, 1976, 19 (01) : 16 - 16
  • [24] HOL-Z 2.0: A proof environment for Z-specifications
    Brucker, AD
    Rittinger, F
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2003, 9 (02): : 152 - 172
  • [25] A DEVELOPMENT MODEL - APPLICATION TO Z-SPECIFICATIONS
    DARIMONT, R
    SOUQUIERES, J
    INFORMATION SYSTEM DEVELOPMENT PROCESS, 1993, 30 : 247 - 264
  • [26] Model checking Z specifications using SAL
    Smith, G
    Wildman, L
    ZB 2005: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, PROCEEDINGS, 2005, 3455 : 85 - 103
  • [27] Polymorphic extensions to Object-Z specifications
    Waheed, Tabinda
    Khan, Muhammad Uzair
    Nadeem, Aamer
    TENCON 2006 - 2006 IEEE REGION 10 CONFERENCE, VOLS 1-4, 2006, : 1971 - 1974
  • [28] Metrics for quantifying evolutionary changes in Z specifications
    Bollin, Andreas
    JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2013, 25 (09) : 1027 - 1059
  • [29] Proving the existence of initial state in Z specifications
    Miao, Huaikou
    McDermid, John
    Toyn, Ian
    Ruan Jian Xue Bao/Journal of Software, 1995, 6 (12):
  • [30] Towards more flexible development of Z specifications
    Fu, Zheng
    Smith, Graeme
    TASE 2008: SECOND IFIP/IEEE INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2008, : 281 - 288
12345