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 条
  • [41] Formal method for automated transformation of lotos specifications to estelle specifications
    El-Gendy, H
    El-Kadhi, N
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2005, 15 (05) : 873 - 891
  • [42] FOZCIL: A Framework for Converting Formal Specifications in Object-Z to Design Contracts in OO Programming Languages
    George, Nixon Sunny
    Zhang, Cui
    Radimsky, Anne-Louise
    2011 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI), 2011, : 218 - 221
  • [43] Crossing the borderline - From formal to semi-formal specifications
    Bollin, Andreas
    SOFTWARE ENGINEERING TECHNIQUES: DESIGN FOR QUALITY, 2006, 227 : 73 - 84
  • [44] The complexity of formal specifications -: Assessments by α-metric
    Kokol, P
    Podgorelec, V
    Habrias, H
    Rabia, NH
    ACM SIGPLAN NOTICES, 1999, 34 (06) : 84 - 88
  • [45] Algebras and formal specifications in geometric modelling
    Dufourd, JF
    VISUAL COMPUTER, 1997, 13 (03): : 131 - 154
  • [46] IronSpec: Increasing the Reliability of Formal Specifications
    Goldweber, Eli
    Yu, Weixin
    Ghahani, Seyed Armin Vakil
    Kapritsos, Manos
    PROCEEDINGS OF THE 18TH USENIX SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION, OSDI 2024, 2024, : 875 - 891
  • [47] From formal specifications to QoS monitors
    Saudrais, Sebastien
    Barais, Olivier
    Duchien, Laurence
    Plouzeau, Noel
    JOURNAL OF OBJECT TECHNOLOGY, 2007, 6 (11): : 7 - 24
  • [48] Having Fun in Learning Formal Specifications
    Prasetya, I. S. W. B.
    Leek, Craig Q. H. D.
    Melkonian, Orestis
    ten Tusscher, Joris
    van Bergen, Jan
    van der Klis, J. M. Everink Thomas
    Meijerink, Rick
    Oosenbrug, Roan
    Oostveen, Jelle J.
    van den Pol, Tijmen
    van Zon, Wink M.
    2019 IEEE/ACM 41ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: SOFTWARE ENGINEERING EDUCATION AND TRAINING (ICSE-SEET), 2019, : 192 - 196
  • [49] Formal approach to specifications in conceptual design
    Kusiak, A.
    Szczerbicki, E.
    Journal of Mechanical Design - Transactions of the ASME, 1992, 114 (04): : 659 - 666
  • [50] Using Formal Specifications to Support Testing
    Hierons, Robert M.
    Bogdanov, Kirill
    Bowen, Jonathan P.
    Cleaveland, Rance
    Derrick, John
    Dick, Jeremy
    Gheorghe, Marian
    Harman, Mark
    Kapoor, Kalpesh
    Krause, Paul
    Luettgen, Gerald
    Simons, Anthony J. H.
    Vilkomir, Sergiy
    Woodward, Martin R.
    Zedan, Hussein
    ACM COMPUTING SURVEYS, 2009, 41 (02)
12345