2015 Forun on Specification and Design Languages (FDL)

被引：0
|
作者：
机构：
来源：
Forum Specifi. Des. Lang. |
关键词：
D O I：
10.1109/FDL.2015.7306081
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Behavioral Interface Specification Languages
    Hatcliff, John
    Leavens, Gary T.
    Leino, K. Rustan M.
    Mueller, Peter
    Parkinson, Matthew
    ACM COMPUTING SURVEYS, 2012, 44 (03)
  • [22] SPECIFICATION LANGUAGES FOR COMMUNICATION PROTOCOLS
    VONBOCHMANN, G
    COMPUTER HARDWARE DESCRIPTION LANGUAGES AND THEIR APPLICATIONS, 1993, 32 : 379 - 396
  • [23] AN EXAMINATION OF REQUIREMENTS SPECIFICATION LANGUAGES
    TSE, TH
    PONG, L
    COMPUTER JOURNAL, 1991, 34 (02): : 143 - 152
  • [24] PROCEDURALISM AND PARALLELISM IN SPECIFICATION LANGUAGES
    JONES, S
    MASON, P
    INFORMATION SYSTEMS, 1980, 5 (02) : 97 - 106
  • [25] On the specification of dynamic visual languages
    Bottoni, P
    Chang, SK
    Costabile, MF
    Levialdi, S
    Mussio, P
    1998 IEEE SYMPOSIUM ON VISUAL LANGUAGES, PROCEEDINGS, 1998, : 14 - 21
  • [26] Specification languages in algebraic compilers
    Van Wyk, E
    THEORETICAL COMPUTER SCIENCE, 2003, 291 (03) : 351 - 385
  • [27] A COMPREHENSIVE APPROACH TO SPECIFICATION LANGUAGES
    STOEGERER, JK
    AUSTRALIAN COMPUTER JOURNAL, 1984, 16 (01): : 1 - 13
  • [28] A roadmap to ontology specification languages
    Corcho, O
    Gómez-Pérez, A
    KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT, PROCEEDINGS: METHODS, MODELS, AND TOOLS, 2000, 1937 : 80 - 96
  • [29] SPECIFICATION LANGUAGES FOR DISTRIBUTED SYSTEMS
    DEGANO, P
    MONTANARI, U
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 185 : 29 - 51
  • [30] THE LARCH FAMILY OF SPECIFICATION LANGUAGES
    GUTTAG, JV
    HORNING, JJ
    WING, JM
    IEEE SOFTWARE, 1985, 2 (05) : 24 - 36
12345