2015 Forun on Specification and Design Languages (FDL)

被引：0
|
作者：
机构：
来源：
Forum Specifi. Des. Lang. |
关键词：
D O I：
10.1109/FDL.2015.7306081
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Introduction to the Special Issue on Specification and Design Languages (FDL 2019)
    Girault, Alain
    von Hanxleden, Reinhard
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2021, 20 (04)
  • [2] Introduction to the Special Issue on Specification and Design Languages (FDL 2021)
    Deantoni, Julien
    Girault, Alain
    Grosse, Daniel
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2024, 23 (05)
  • [3] An adaptive framework for the design of software specification languages
    Neto, JJ
    Silva, PSM
    ADAPTIVE AND NATURAL COMPUTING ALGORITHMS, 2005, : 349 - 352
  • [4] WORKSHOP ON MODELS AND LANGUAGES FOR SOFTWARE SPECIFICATION AND DESIGN
    BABB, RG
    KIEBURTZ, R
    ORR, K
    MILI, A
    GEARHART, S
    MARTIN, N
    COMPUTER, 1985, 18 (03) : 103 - 108
  • [5] System on chip specification and design languages standardization
    Mermet, J
    RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE' 99, 1999, 1622 : 371 - 384
  • [6] ALGORITHMIC SPECIFICATION OF MOSFET FOR MULTILEVEL COMPUTER DESIGN LANGUAGES
    MUNDEMANN, F
    HAHN, W
    MICROPROCESSING AND MICROPROGRAMMING, 1985, 16 (2-3): : 67 - 72
  • [7] A Framework for Evaluating Software Design Pattern Specification Languages
    Khwaja, Salman
    Alshayeb, Mohammad
    2013 IEEE/ACIS 12TH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE (ICIS), 2013, : 41 - 45
  • [8] Survey On Software Design-Pattern Specification Languages
    Khwaja, Salman
    Alshayeb, Mohammad
    ACM COMPUTING SURVEYS, 2016, 49 (01)
  • [9] SPECIFICATION LANGUAGES
    SCHNUPP, P
    COMPUTER PHYSICS COMMUNICATIONS, 1985, 38 (02) : 173 - 179
  • [10] SPECIFICATION LANGUAGES
    BLACKLEDGE, P
    IEE PROCEEDINGS-A-SCIENCE MEASUREMENT AND TECHNOLOGY, 1983, 130 (04): : 185 - 189
12345