SPECIFICATION LANGUAGES

被引：0
|
作者：
SCHNUPP, P
机构：
来源：
COMPUTER PHYSICS COMMUNICATIONS | 1985年 / 38卷 / 02期
关键词：
D O I：
10.1016/0010-4655(85)90083-9
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
引用
收藏
页码：173 / 179
页数：7
相关论文
共 50 条
  • [1] SPECIFICATION LANGUAGES
    BLACKLEDGE, P
    IEE PROCEEDINGS-A-SCIENCE MEASUREMENT AND TECHNOLOGY, 1983, 130 (04): : 185 - 189
  • [2] SPECIFICATION LANGUAGES
    不详
    KYBERNETES, 1983, 12 (04) : 227 - 227
  • [3] 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
  • [4] FORMAL SPECIFICATION LANGUAGES
    PARKER, J
    TITTERINGTON, G
    ELECTRONICS AND POWER, 1986, 32 (06): : 441 - 443
  • [5] MECHANICAL LANGUAGES - A COURSE SPECIFICATION
    GORN, S
    COMMUNICATIONS OF THE ACM, 1964, 7 (04) : 219 - 222
  • [6] 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
  • [7] Formal specification of visual languages
    Gee, DM
    INFORMATION AND SOFTWARE TECHNOLOGY, 1998, 40 (07) : 359 - 367
  • [8] THE NEED FOR SPECIFICATION AND TESTING LANGUAGES
    COX, BJ
    JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1988, 1 (02): : 44 - 47
  • [9] Examination of requirements specification languages
    Tse, T.H.
    Pong, L.
    1600, (34):
  • [10] Behavioral Interface Specification Languages
    Hatcliff, John
    Leavens, Gary T.
    Leino, K. Rustan M.
    Mueller, Peter
    Parkinson, Matthew
    ACM COMPUTING SURVEYS, 2012, 44 (03)
12345