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 条
  • [31] A framework for coupling measurement in Z formal specifications
    Wu, FJ
    Yi, T
    CHINESE JOURNAL OF ELECTRONICS, 2005, 14 (04): : 575 - 578
  • [32] Towards an institution for Object-Z specifications
    Bettaz, Mohamed
    Maouche, Mourad
    Mosteghanemi, M'hamed
    INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY, 2013, 47 (2-3) : 125 - 137
  • [33] THE DATE REFINEMENT CALCULATOR FOR Z-SPECIFICATIONS
    JOSEPHS, MB
    INFORMATION PROCESSING LETTERS, 1988, 27 (01) : 29 - 33
  • [34] Adding a visual dimension to formal specifications in Z
    Duriancik, M
    Navrat, P
    KNOWLEDGE-BASED SOFTWARE ENGINEERING, 1998, 48 : 47 - 54
  • [35] Z specifications meet mathematica for exploratory prototyping
    Sherrell, LB
    Paulsen, WH
    4TH INTERNATIONAL CONFERENCE ON REQUIREMENTS ENGINEERING, PROCEEDINGS, 2000, : 61 - 61
  • [36] Logic programming to facilitate understanding of Z specifications
    Lewis, J.
    International Journal of Environmental Studies A & B, 47 (01):
  • [37] Slicing Object-Z specifications for verification
    Brückner, I
    Wehrheim, H
    ZB 2005: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, PROCEEDINGS, 2005, 3455 : 414 - 433
  • [38] FROM Z-SPECIFICATIONS TO FUNCTIONAL IMPLEMENTATIONS
    SANDERS, P
    JOHNSON, M
    TINKER, R
    BRITISH TELECOM TECHNOLOGY JOURNAL, 1989, 7 (04): : 47 - 63
  • [39] A prototype on GUI based editor for Z specifications
    Ishikawa, H
    SERP'04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2004, : 188 - 192
  • [40] Generalized Program Slicing Applied to Z Specifications
    Wu, Fangjun
    2009 INTERNATIONAL CONFERENCE ON COMPUTER ENGINEERING AND TECHNOLOGY, VOL I, PROCEEDINGS, 2009, : 338 - 342
12345