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 条
  • [1] Establishing Construct Continua in Construct Validation: The Process of Continuum Specification
    Tay, Louis
    Jebb, Andrew T.
    [J]. ADVANCES IN METHODS AND PRACTICES IN PSYCHOLOGICAL SCIENCE, 2018, 1 (03) : 375 - 388
  • [2] The specification language T
    Sunik, B
    [J]. ACM SIGPLAN NOTICES, 2005, 40 (05) : 28 - 38
  • [3] On the specification of our language
    Polatajko, HJ
    [J]. OTJR-OCCUPATION PARTICIPATION AND HEALTH, 2005, 25 (02) : 43 - 43
  • [4] THE SPECIFICATION LANGUAGE GSBL
    CLERICI, S
    OREJAS, F
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 534 : 31 - 51
  • [5] Paradigms of language specification
    Popa, Emil Marin
    Cacovean, Laura Florentina
    [J]. 5th RoEduNet IEEE International Conference, Proceedings, 2006, : 275 - 276
  • [6] THE SPECIFICATION LANGUAGE OF OBSCURE
    LEHMANN, T
    LOECKX, J
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 332 : 131 - 153
  • [7] The safe machine: A new specification construct for B
    Dunne, S
    [J]. FM'99-FORMAL METHODS, 1999, 1708 : 472 - 489
  • [8] A collaboration specification language
    Li, D
    Muntz, RR
    [J]. USENIX ASSOCIATION PROCEEDINGS OF THE 2ND CONFERENCE ON DOMAIN-SPECIFIC LANGUAGES (DSL'99), 1999, : 149 - 162
  • [9] Genotype Specification Language
    Wilson, Erin H.
    Sagawa, Shiori
    Weis, James W.
    Schubert, Max G.
    Bissell, Michael
    Hawthorne, Brian
    Reeves, Christopher D.
    Dean, Jed
    Platt, Darren
    [J]. ACS SYNTHETIC BIOLOGY, 2016, 5 (06): : 471 - 478
  • [10] A collaboration specification language
    Li, D
    Muntz, RR
    [J]. ACM SIGPLAN NOTICES, 2000, 35 (01) : 149 - 162
12345