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 条
  • [31] Formal specifications maturity model
    Georgia State Univ, Atlanta, United States
    Commun ACM, 12 (95-103):
  • [32] FORMAL SPECIFICATIONS AS CONSTRUCTIVE DIAGRAMS
    BRITTON, C
    LOOMES, M
    MITCHELL, R
    MICROPROCESSING AND MICROPROGRAMMING, 1993, 37 (1-5): : 175 - 178
  • [33] Formal specifications of user requirements
    Clark R.G.
    Moreira A.M.D.
    Automated Software Engineering, 1999, 6 (3) : 217 - 232
  • [34] Formal validation of viewpoint specifications
    Ainsworth, M
    Riddle, S
    Wallis, PJL
    SOFTWARE ENGINEERING JOURNAL, 1996, 11 (01): : 58 - 66
  • [35] STRUCTURING SPECIFICATIONS IN Z
    WOODCOCK, JCP
    SOFTWARE ENGINEERING JOURNAL, 1989, 4 (01): : 51 - 66
  • [36] Machine improvisation with formal specifications
    Donzé, Alexandre
    Valle, Rafael
    Akkaya, Ilge
    Libkind, Sophie
    Seshia, Sanjit A.
    Wessel, David
    Proceedings - 40th International Computer Music Conference, ICMC 2014 and 11th Sound and Music Computing Conference, SMC 2014 - Music Technology Meets Philosophy: From Digital Echos to Virtual Ethos, 2014, : 1277 - 1284
  • [37] ANNOTATIONS IN FORMAL SPECIFICATIONS AND PROOFS
    KALVALA, S
    FORMAL METHODS IN SYSTEM DESIGN, 1994, 5 (1-2) : 119 - 144
  • [38] Diagrams and Intuitive Formal Specifications
    Burton, James
    2008 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, PROCEEDINGS, 2008, : 262 - 263
  • [39] Concept location in formal specifications
    Bollin, Andreas
    JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION-RESEARCH AND PRACTICE, 2008, 20 (02): : 77 - 105
  • [40] Slicing Z specifications
    Wu, FJ
    Yi, T
    ACM SIGPLAN NOTICES, 2004, 39 (08) : 39 - 48
12345