Examination of requirements specification languages

被引：0
|
作者：
Tse, T.H. [1 ]
Pong, L. [1 ]
机构：
[1] Univ of Hong Kong, Hong Kong
来源：
| 1600年 / 34期
关键词：
Computer Software;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] AN EXAMINATION OF REQUIREMENTS SPECIFICATION LANGUAGES
    TSE, TH
    PONG, L
    COMPUTER JOURNAL, 1991, 34 (02): : 143 - 152
  • [2] INFORMAL AND FORMAL REQUIREMENTS SPECIFICATION LANGUAGES - BRIDGING THE GAP
    FRASER, MD
    KUMAR, K
    VAISHNAVI, VK
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1991, 17 (05) : 454 - 466
  • [3] Investigating the readability of state-based formal requirements specification languages
    Zimmerman, MK
    Lundqvist, K
    Leveson, N
    ICSE 2002: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2002, : 33 - 43
  • [4] A Study on User-Friendly Formal Specification Languages for Requirements Formalization
    Pang, Cheng
    Pakonen, Antti
    Buzhinsky, Igor
    Vyatkin, Valeriy
    2016 IEEE 14TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2016, : 676 - 682
  • [5] SPECIFICATION LANGUAGES
    SCHNUPP, P
    COMPUTER PHYSICS COMMUNICATIONS, 1985, 38 (02) : 173 - 179
  • [6] SPECIFICATION LANGUAGES
    BLACKLEDGE, P
    IEE PROCEEDINGS-A-SCIENCE MEASUREMENT AND TECHNOLOGY, 1983, 130 (04): : 185 - 189
  • [7] SPECIFICATION LANGUAGES
    不详
    KYBERNETES, 1983, 12 (04) : 227 - 227
  • [8] Languages for the specification of software
    Cooke, D
    Gates, A
    Demirors, E
    Demirors, O
    Tanik, MM
    Kramer, B
    JOURNAL OF SYSTEMS AND SOFTWARE, 1996, 32 (03) : 269 - 308
  • [9] FORMAL SPECIFICATION LANGUAGES
    PARKER, J
    TITTERINGTON, G
    ELECTRONICS AND POWER, 1986, 32 (06): : 441 - 443
  • [10] A Reflective Requirements Specification for Requirements Evolving
    Yuan Wen-jie
    Ying Shi
    THIRD INTERNATIONAL CONFERENCE ON GENETIC AND EVOLUTIONARY COMPUTING, 2009, : 23 - 26
12345