AN INTRODUCTION TO Z AND FORMAL SPECIFICATIONS

被引：43
|
作者：
SPIVEY, JM [1 ]
机构：
[1] OXFORD UNIV,COMP LAB,PROGRAMMING RES GRP,OXFORD OX1 3QD,ENGLAND
来源：
SOFTWARE ENGINEERING JOURNAL | 1989年 / 4卷 / 01期
关键词：
D O I：
10.1049/sej.1989.0006
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：40 / 50
页数：11
相关论文
共 50 条
  • [1] 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
  • [2] Adding a visual dimension to formal specifications in Z
    Duriancik, M
    Navrat, P
    KNOWLEDGE-BASED SOFTWARE ENGINEERING, 1998, 48 : 47 - 54
  • [3] A framework for coupling measurement in Z formal specifications
    Wu, FJ
    Yi, T
    CHINESE JOURNAL OF ELECTRONICS, 2005, 14 (04): : 575 - 578
  • [4] 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
  • [5] Introduction to software develoment methods based on formal specifications
    Kuruma, Hironobu
    Ishikawa, Fuyuki
    Computer Software, 2012, 29 (04) : 50 - 58
  • [6] Is There Evolution Before Birth? Deterioration Effects of Formal Z Specifications
    Bollin, Andreas
    FORMAL METHODS AND SOFTWARE ENGINEERING, 2011, 6991 : 66 - 81
  • [7] An introduction to TUG: a language for writing reusable formal program specifications
    Chiang, CC
    ITCC 2005: INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: CODING AND COMPUTING, VOL 2, 2005, : 316 - 321
  • [8] Concept Management: Identification and Storage of Concepts in the Focus of Formal Z Specifications
    Pohl, Daniela
    Bollin, Andreas
    EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2010, 69 : 248 - 261
  • [9] FORMAL SPECIFICATIONS IN SOFTWARE MAINTENANCE - FROM CODE TO Z++ AND BACK AGAIN
    BOWEN, JP
    BREUER, PT
    LANO, KC
    INFORMATION AND SOFTWARE TECHNOLOGY, 1993, 35 (11-12) : 679 - 690
  • [10] TESTABILITY OF FORMAL SPECIFICATIONS
    VANDEBURGT, SP
    KROON, J
    PEETERS, AM
    IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 8 : 63 - 77
12345