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 条
  • [21] Stepwise Validation of Formal Specifications
    Mashkoor, Atif
    Jacquot, Jean-Pierre
    2011 18TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2011), 2011, : 57 - 64
  • [22] The Formal Specifications for Protocols of Decoders
    YUAN Meng-ting
    WuhanUniversityJournalofNaturalSciences, 2004, (06) : 879 - 882
  • [23] A formal specifications maturity model
    Fraser, MD
    Vaishnavi, VK
    COMMUNICATIONS OF THE ACM, 1997, 40 (12) : 95 - 103
  • [24] FORMAL SPECIFICATIONS AS REUSABLE FRAMEWORKS
    GARLAN, D
    DELISLE, N
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 428 : 150 - 163
  • [25] Assistance in the reuse of formal specifications
    Sadaoui, S
    PROCEEDINGS OF THE ISCA 12TH INTERNATIONAL CONFERENCE INTELLIGENT AND ADAPTIVE SYSTEMS AND SOFTWARE ENGINEERING, 2003, : 217 - 222
  • [26] Understanding and exploring formal specifications
    Siddiqi, J
    Morrey, I
    Hibberd, R
    Buckberry, G
    ANNALS OF SOFTWARE ENGINEERING, 1998, 6 : 411 - 432
  • [27] STRONG AND WEAK FORMAL SPECIFICATIONS
    GOLDEN, RM
    BEHAVIORAL AND BRAIN SCIENCES, 1994, 17 (04) : 668 - 668
  • [28] FROM ENGLISH TO FORMAL SPECIFICATIONS
    VADERA, S
    MEZIANE, F
    COMPUTER JOURNAL, 1994, 37 (09): : 753 - 763
  • [29] Formal validation of viewpoint specifications
    Praxis Critical Systems, 20 Manvers Street, Bath BA1 1PX, United Kingdom
    不详
    不详
    Software Eng J, 1 (58-66):
  • [30] FORMAL SPECIFICATIONS AS CONSTRUCTIVE DIAGRAMS
    BRITTON, C
    LOOMES, M
    MITCHELL, R
    MICROPROCESSING AND MICROPROGRAMMING, 1993, 37 (1-5): : 175 - 178
12345