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 条
  • [21] Compound Monads in Specification Languages
    Dawson, Jeremy E.
    PLPV'07: PROCEEDINGS OF THE 2007 WORKSHOP ON PROGRAMMING LANGUAGES MEETS PROGRAM VERIFICATION, 2007, : 3 - 10
  • [22] THE LARCH FAMILY OF SPECIFICATION LANGUAGES
    GUTTAG, JV
    HORNING, JJ
    WING, JM
    IEEE SOFTWARE, 1985, 2 (05) : 24 - 36
  • [23] EVALUATION AND INTEGRATION OF SPECIFICATION LANGUAGES
    BRUIJNING, J
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1987, 13 (02): : 75 - 89
  • [24] SPECIFICATION LANGUAGES FOR MECHANICAL LANGUAGES AND THEIR PROCESSORS - A BAKERS DOZEN
    GORN, S
    COMMUNICATIONS OF THE ACM, 1961, 4 (12) : 532 - 542
  • [25] Specification testing
    Delgado, Miguel A.
    JOURNAL OF ECONOMETRICS, 2008, 143 (01) : 1 - 4
  • [26] FROM SPECIFICATION LANGUAGES TO SPECIFICATION KNOWLEDGE BASES - THE PTO APPROACH
    AGAFONOV, VN
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 379 : 1 - 17
  • [27] Specification for testing
    George, Chris
    Krishnan, Padmanabhan
    Salas, P. A. P.
    Sanders, J. W.
    Formal Methods and Hybrid Real-Time Systems, 2007, 4700 : 280 - 299
  • [28] Dynamic slicing of concurrent specification languages
    Llorens, M.
    Oliver, J.
    Silva, J.
    Tamarit, S.
    PARALLEL COMPUTING, 2016, 53 : 1 - 22
  • [29] PARAMETER PASSING IN ALGEBRAIC SPECIFICATION LANGUAGES
    EHRIG, H
    KREOWSKI, HJ
    THATCHER, J
    WAGNER, E
    WRIGHT, J
    THEORETICAL COMPUTER SCIENCE, 1984, 28 (1-2) : 45 - 81
  • [30] Principled and Pragmatic Specification of Programming Languages
    Johnstone, Adrian
    Scott, Elizabeth
    FORMAL METHODS TEACHING (FMTEA 2019), 2019, 11758 : 165 - 180
12345