THE NEED FOR SPECIFICATION AND TESTING LANGUAGES

被引：0
|
作者：
COX, BJ [1 ]
机构：
[1] STEPSTONE CORP,SANDY HOOK,CT 06842
来源：
JOURNAL OF OBJECT-ORIENTED PROGRAMMING | 1988年 / 1卷 / 02期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：44 / 47
页数：4
相关论文
共 50 条
  • [1] The state of executable real-time specification languages and the need for advancements
    Khwaja, Amir A.
    Urban, Joseph E.
    ISORC 2008: 11TH IEEE SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING - PROCEEDINGS, 2008, : 577 - +
  • [2] PROGRAM TESTING - SPECIFICATION LANGUAGES AND AUTOMATIC TEST-GENERATION
    KALNINSH, AA
    BORZOV, YV
    CYBERNETICS, 1985, 21 (06): : 753 - 762
  • [3] SPECIFICATION LANGUAGES
    SCHNUPP, P
    COMPUTER PHYSICS COMMUNICATIONS, 1985, 38 (02) : 173 - 179
  • [4] SPECIFICATION LANGUAGES
    BLACKLEDGE, P
    IEE PROCEEDINGS-A-SCIENCE MEASUREMENT AND TECHNOLOGY, 1983, 130 (04): : 185 - 189
  • [5] SPECIFICATION LANGUAGES
    不详
    KYBERNETES, 1983, 12 (04) : 227 - 227
  • [6] 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
  • [7] FORMAL SPECIFICATION LANGUAGES
    PARKER, J
    TITTERINGTON, G
    ELECTRONICS AND POWER, 1986, 32 (06): : 441 - 443
  • [8] Formal specification of visual languages
    Gee, DM
    INFORMATION AND SOFTWARE TECHNOLOGY, 1998, 40 (07) : 359 - 367
  • [9] MECHANICAL LANGUAGES - A COURSE SPECIFICATION
    GORN, S
    COMMUNICATIONS OF THE ACM, 1964, 7 (04) : 219 - 222
  • [10] Formal and visual specification languages
    Hammad, A
    Tatibouët, B
    ISE'2001: PROCEEDINGS OF THE INTERNATIONAL SYMPOSIUM ON INFORMATION SYSTEMS AND ENGINEERING, 2001, : 173 - 179
12345