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 条
  • [1] Translating meaning representations to behavioural interface specifications
    Leong, Iat Tou
    Barbosa, Raul
    JOURNAL OF SYSTEMS AND SOFTWARE, 2024, 211
  • [2] Translating Player Dialogue into Meaning Representations Using LSTMs
    Ryan, James
    Summerville, Adam James
    Mateas, Michael
    Wardrip-Fruin, Noah
    INTELLIGENT VIRTUAL AGENTS, IVA 2016, 2016, 10011 : 383 - 386
  • [3] Automatic generation of robot interface specifications and representations
    Taylor, RC
    Kapoor, C
    2004 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1- 5, PROCEEDINGS, 2004, : 1511 - 1516
  • [4] DESIGN OF A HYPERMEDIA INTERFACE TRANSLATING BETWEEN ASSOCIATIVE AND FORMAL REPRESENTATIONS
    HEYLIGHEN, F
    INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1991, 35 (04): : 491 - 515
  • [5] Translating Means Translating Meaning
    李海燕
    内蒙古大学学报(人文社会科学版), 2000, (人文社会科学版) : 170 - 173
  • [6] Translating Means Translating Meaning
    李海燕
    内蒙古大学学报(哲学社会科学版), 2000, (S1) : 170 - 173
  • [7] Behavioural and abstractor specifications
    Bidoit, M
    Hennicker, R
    Wirsing, M
    SCIENCE OF COMPUTER PROGRAMMING, 1995, 25 (2-3) : 149 - 186
  • [8] An evolutionary approach to translating operational specifications into declarative specifications
    Molina, Facundo
    Cornejo, Cesar
    Degiovanni, Renzo
    Regis, German
    Castro, Pablo F.
    Aguirre, Nazareno
    Frias, Marcelo F.
    SCIENCE OF COMPUTER PROGRAMMING, 2019, 181 : 47 - 63
  • [9] TRANSLATING WORDS AND (THEIR?) MEANING
    Han, Bianca-Oana
    STUDIES ON LITERATURE, DISCOURSE AND MULTICULTURAL DIALOGUE: LANGUAGE AND DISCOURSE, 2013, : 746 - 748
  • [10] Method for translating natural language program specifications into algebraic specifications
    Seki, Hiroyuki, 1600, (23):
12345