2015 Forun on Specification and Design Languages (FDL)

被引：0
|
作者：
机构：
来源：
Forum Specifi. Des. Lang. |
关键词：
D O I：
10.1109/FDL.2015.7306081
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] EVALUATION AND INTEGRATION OF SPECIFICATION LANGUAGES
    BRUIJNING, J
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1987, 13 (02): : 75 - 89
  • [32] Compound Monads in Specification Languages
    Dawson, Jeremy E.
    PLPV'07: PROCEEDINGS OF THE 2007 WORKSHOP ON PROGRAMMING LANGUAGES MEETS PROGRAM VERIFICATION, 2007, : 3 - 10
  • [33] SPECIFICATION LANGUAGES FOR MECHANICAL LANGUAGES AND THEIR PROCESSORS - A BAKERS DOZEN
    GORN, S
    COMMUNICATIONS OF THE ACM, 1961, 4 (12) : 532 - 542
  • [34] FROM SPECIFICATION LANGUAGES TO SPECIFICATION KNOWLEDGE BASES - THE PTO APPROACH
    AGAFONOV, VN
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 379 : 1 - 17
  • [35] Technical specification energy 2015 - Harmonized design of overhead contact lines
    Nickel, Thomas
    Puschmann, Rainer
    eb - Elektrische Bahnen, 2015, 113 (2-3): : 86 - 99
  • [36] Design and performance of FDL buffers in optical switches
    Rosberg, Zvi
    Le Vu, Hai
    ICTON 2007: PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON TRANSPARENT OPTICAL NETWORKS, VOL 3, 2007, : 213 - +
  • [37] Dynamic slicing of concurrent specification languages
    Llorens, M.
    Oliver, J.
    Silva, J.
    Tamarit, S.
    PARALLEL COMPUTING, 2016, 53 : 1 - 22
  • [38] 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
  • [39] Principled and Pragmatic Specification of Programming Languages
    Johnstone, Adrian
    Scott, Elizabeth
    FORMAL METHODS TEACHING (FMTEA 2019), 2019, 11758 : 165 - 180
  • [40] Usability of the Business Rules Specification Languages
    Hnatkowska, Bogumila
    Hnatkowska, Anna
    2020 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2020, : 905 - 911
12345