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 条
  • [41] Methodology to evaluate the functionality of specification languages
    Gasperovic, Jelena
    Caplinskas, Albertas
    INFORMATICA, 2006, 17 (03) : 325 - 346
  • [42] SPECIFICATION FOR PILE TESTING
    Anon
    Ground Engineering, 1987, 20 (01): : 12 - 14
  • [43] Advances in specification testing
    Davidson, Russell
    Zinde-Walsh, Victoria
    CANADIAN JOURNAL OF ECONOMICS-REVUE CANADIENNE D ECONOMIQUE, 2017, 50 (05): : 1595 - 1631
  • [44] GEOTEXTILES - SPECIFICATION AND TESTING
    INGOLD, TS
    CIVIL ENGINEERING-LONDON, 1983, (SEP): : 45 - &
  • [45] ON PROGRAM SPECIFICATION AND TESTING
    HOUSE, R
    COMMUNICATIONS OF THE ACM, 1980, 23 (10) : 599 - 599
  • [46] 2015 Forun on Specification and Design Languages (FDL)
    Forum Specifi. Des. Lang.,
  • [47] A review of SLA specification languages in the Cloud Computing
    Maarouf, Adil
    Marzouk, Abderrahim
    Haqiq, Abdelkrim
    2015 10TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS: THEORIES AND APPLICATIONS (SITA), 2015,
  • [48] PRINCIPLES OF IMPLEMENTATION OF SDL AND FOPS SPECIFICATION LANGUAGES
    BARZDIN, GY
    KRASTINSH, PY
    LINABERG, LY
    AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1987, (05): : 22 - 28
  • [49] Panel on languages for formal specification of security protocols
    Meadows, C
    10TH COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 1997, : 96 - 96
  • [50] An adaptive framework for the design of software specification languages
    Neto, JJ
    Silva, PSM
    ADAPTIVE AND NATURAL COMPUTING ALGORITHMS, 2005, : 349 - 352
12345