Formal specifications maturity model

被引：0
|
作者：
Georgia State Univ, Atlanta, United States [1 ]
机构：
来源：
Commun ACM | / 12卷 / 95-103期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Faster analysis of formal specifications
    Bouquet, F
    Legeard, B
    Utting, M
    Vacelet, N
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 239 - 258
  • [22] Stepwise Validation of Formal Specifications
    Mashkoor, Atif
    Jacquot, Jean-Pierre
    2011 18TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2011), 2011, : 57 - 64
  • [23] The Formal Specifications for Protocols of Decoders
    YUAN Meng-ting
    Wuhan University Journal of Natural Sciences, 2004, (06) : 879 - 882
  • [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] Formal validation of viewpoint specifications
    Praxis Critical Systems, 20 Manvers Street, Bath BA1 1PX, United Kingdom
    不详
    不详
    Software Eng J, 1 (58-66):
  • [28] STRONG AND WEAK FORMAL SPECIFICATIONS
    GOLDEN, RM
    BEHAVIORAL AND BRAIN SCIENCES, 1994, 17 (04) : 668 - 668
  • [29] FROM ENGLISH TO FORMAL SPECIFICATIONS
    VADERA, S
    MEZIANE, F
    COMPUTER JOURNAL, 1994, 37 (09): : 753 - 763
  • [30] From English to formal specifications
    Vadera, Sunil, 1600, Oxford Univ Press, Oxford, United Kingdom (37):
12345