A LANGUAGE CONSTRUCT FOR THE SPECIFICATION OF DISCONTINUITIES

被引：1
|
作者：
JAVEY, S [1 ]
机构：
[1] YORK UNIV,DEPT COMP SCI,DOWNSVIEW M3J 1P3,ONTARIO,CANADA
来源：
JOURNAL OF SYSTEMS AND SOFTWARE | 1988年 / 8卷 / 05期
关键词：
D O I：
10.1016/0164-1212(88)90032-5
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：409 / 417
页数：9
相关论文
共 50 条
  • [21] MSL - A MATHEMATICAL SPECIFICATION LANGUAGE
    MAKAROV, VP
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 620 : 305 - 313
  • [22] Language independent container specification
    Zamulin, AV
    [J]. GENERIC PROGRAMMING, 2000, 1766 : 192 - 205
  • [23] THE RAISE SPECIFICATION LANGUAGE - A TUTORIAL
    GEORGE, C
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 552 : 238 - 319
  • [24] Language for Use Case Specification
    Savic, Dusan
    Antovic, Ilija
    Vlajic, Sinisa
    Stanojevic, Vojislav
    Milic, Milos
    [J]. 2011 34TH IEEE SOFTWARE ENGINEERING WORKSHOP (SEW 2011), 2011, : 19 - 26
  • [25] English as a formal specification language
    Schwitter, R
    [J]. 13TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2002, : 228 - 232
  • [26] AN OVERVIEW OF SPECIFICATION LANGUAGE UNIVERSE
    ZHU, MY
    WANG, CW
    [J]. IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 12 : 42 - 48
  • [27] The logic of the RAISE specification language
    George, C
    Haxthausen, AE
    [J]. COMPUTING AND INFORMATICS, 2003, 22 (3-4) : 323 - 350
  • [28] A new definitional specification language
    Redouane, A
    [J]. COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2003, PT 1, PROCEEDINGS, 2003, 2667 : 694 - 703
  • [29] LANGUAGE FOR FORMAL PROBLEM SPECIFICATION
    GREIF, I
    [J]. COMMUNICATIONS OF THE ACM, 1977, 20 (12) : 931 - 935
  • [30] Interpretable program specification language
    F. A. Novikov
    V. B. Novoseltsev
    [J]. Programming and Computer Software, 2010, 36 : 48 - 57
12345