2015 Forun on Specification and Design Languages (FDL)

被引：0
|
作者：
机构：
来源：
Forum Specifi. Des. Lang. |
关键词：
D O I：
10.1109/FDL.2015.7306081
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] Assessing the expressivity of formal specification languages
    Lopez, Natalia
    Nunez, Manuel
    Rodriguez, Ismael
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2006, 4019 : 220 - 234
  • [42] A behavioral specification of imperative programming languages
    Nakamura, Masaki
    Watanabe, Masahiro
    Futatsugi, Kokichi
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2006, E89A (06) : 1558 - 1565
  • [43] On equality predicates in algebraic specification languages
    Masaki, Nakamura
    Kokichi, Futatsugi
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2007, PROCEEDINGS, 2007, 4711 : 381 - +
  • [44] On Checking Controllability of Specification Languages for DES
    Davydov, Artem
    Larionov, Aleksandr
    Nagul, Nadezhda
    2020 43RD INTERNATIONAL CONVENTION ON INFORMATION, COMMUNICATION AND ELECTRONIC TECHNOLOGY (MIPRO 2020), 2020, : 1151 - 1156
  • [45] Venn Requirement Language in Specification Languages
    Roslina, M. S.
    Noraziah, A.
    WCECS 2008: WORLD CONGRESS ON ENGINEERING AND COMPUTER SCIENCE, 2008, : 548 - 554
  • [46] A Domain-Specific Modeling Specification Of Visual Instructional Design Languages: A Moodle Experimentation
    Abedmouleh, Aymen
    15TH IEEE INTERNATIONAL CONFERENCE ON ADVANCED LEARNING TECHNOLOGIES (ICALT 2015), 2015, : 323 - 325
  • [47] Integration of specification languages using viewpoints
    Bujorianu, MC
    INTEGRATED FORMAL METHODS, PROCEEDINGS, 2004, 2999 : 421 - 440
  • [48] A family of languages for architecture constraint specification
    Tibermacine, Chouki
    Fleurquin, Regis
    Sadou, Salah
    JOURNAL OF SYSTEMS AND SOFTWARE, 2010, 83 (05) : 815 - 831
  • [49] AN AXIOMATIC APPROACH TO SEMANTICS OF SPECIFICATION LANGUAGES
    MAHR, B
    MAKOWSKY, JA
    LECTURE NOTES IN COMPUTER SCIENCE, 1982, 145 : 211 - 219
  • [50] COMMUNICATION PRIMITIVES IN PROGRAMMING AND SPECIFICATION LANGUAGES
    HENNESSY, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 248 : 223 - 251
12345