Translating Meaning Representations To Behavioural Interface Specifications

被引：0
|
作者：
Leong, Iat Tou [1 ]
Barbosa, Raul [1 ]
机构：
[1] University of Coimbra, CISUC, Department of Informatics Engineering, Portugal
来源：
SSRN | 2023年
关键词：
Engineering Village;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Behavioral interfaces - Compiler - Formal specification language - High order logic - Interface specification - Java Modeling Language - Language processing - Natural languages - Software verification - Theorem provers
引用
收藏
相关论文
共 50 条
  • [21] On the Meaning of Transition System Specifications
    van Glabbeek, Rob
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (300): : 69 - 85
  • [22] TRANSLATING METAPHOR - PROBLEMS OF MEANING
    DOBRZYNSKA, T
    JOURNAL OF PRAGMATICS, 1995, 24 (06) : 595 - 604
  • [23] Reconfigurability of behavioural specifications for manufacturing systems
    Schmidt, Klaus Werner
    INTERNATIONAL JOURNAL OF CONTROL, 2017, 90 (12) : 2605 - 2617
  • [24] Verifying behavioural specifications in CafeOBJ environment
    Mori, A
    Futatsugi, K
    FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1625 - 1643
  • [25] Taming interface specifications
    Margaria, T
    Sistla, AP
    Steffen, B
    Zuck, LD
    CONCUR 2005 - CONCURRENCY THEORY, PROCEEDINGS, 2005, 3653 : 548 - 561
  • [26] Behavioural specifications from class models
    Cavarra, Alessandra
    Welch, James
    INTEGRATED FORMAL METHODS, PROCEEDINGS, 2007, 4591 : 118 - 137
  • [27] Extensions of Grafcet to structure behavioural specifications
    Guéguen, H
    Bouteille, N
    CONTROL ENGINEERING PRACTICE, 2001, 9 (07) : 743 - 756
  • [28] Translating specifications in VDM-SL to PVS
    Agerholm, S.
    Lecture Notes in Computer Science, 1996, 1125
  • [29] Logical vs. behavioural specifications
    Benes, Nikola
    Fahrenberg, Uli
    Keetinsky, Jan
    Legay, Axel
    Traonouez, Louis-Marie
    INFORMATION AND COMPUTATION, 2020, 271
  • [30] Translating Festus: The Meaning of in Acts 25.18
    Knepper, Gert M.
    BIBLE TRANSLATOR, 2016, 67 (03): : 303 - 314
12345