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 条
  • [41] FOOM: A diagrammatic illustration of Object-Z specifications
    Wafula, EN
    Swatman, PA
    OBJECT ORIENTED SYSTEMS, 1996, 3 (04): : 215 - 242
  • [42] Approach to testing the nonexistence of initial state in Z specifications
    Shanghai Univ, Shanghai, China
    Proc Asian Test Symp, (289-294):
  • [43] A Formal Mapping between Program Slicing and Z Specifications
    Wu, Fangjun
    2009 INTERNATIONAL CONFERENCE ON COMPUTER ENGINEERING AND TECHNOLOGY, VOL I, PROCEEDINGS, 2009, : 257 - 261
  • [44] The use of a logic programming language in the animation of Z specifications
    West, Margaret M.
    Logic Programming, Proceedings, 2007, 4670 : 451 - 452
  • [45] Proving temporal properties of Z specifications using abstraction
    Smith, G
    Winter, K
    ZB 2003: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, 2003, 2651 : 260 - 279
  • [46] EZ - A SYSTEM FOR AUTOMATIC PROTOTYPING OF Z-SPECIFICATIONS
    DOMA, V
    NICHOLL, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 189 - 203
  • [47] An overview of RoZ : A tool for integrating UML and Z specifications
    Dupuy, S
    Ledru, Y
    Chabre-Peccoud, M
    ADVANCED INFORMATION SYSTEMS ENGINEERING, 2000, 1789 : 417 - 430
  • [48] Semi-automatic content extraction from specifications
    Thirunarayan, K
    Berkovich, A
    Sokol, D
    NATURAL LANGUAGE PROCESSING AND INFORMATION SYSTEMS, 2002, 2553 : 40 - 51
  • [49] WOOD SPECIFICATIONS FOR MECHANICAL AND SEMI-CHEMICAL PULPING
    FLEMINGT.JL
    FORESTRY, 1970, : 70 - &
  • [50] An approach to the semi-automatic generation of mediator specifications
    König-Ries, B
    ADVANCES IN DATABSE TECHNOLOGY-EDBT 2000, PROCEEDINGS, 2000, 1777 : 101 - 117
12345