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 条
  • [41] Automatic Generation of Logical Specifications for Behavioural Models
    Klimek, Radoslaw
    Witek, Julia
    PROCEEDINGS OF THE 2024 WORKSHOP ON REPLICATIONS AND NEGATIVE RESULTS, RENE 2024, 2024, : 1 - 7
  • [42] EVGC: A tool for visualizing LOTOS behavioural specifications
    Marrero, M
    Suarez, A
    FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1996, 1135 : 475 - 478
  • [43] Structural and behavioural compatibility of graphical service specifications
    Heckel, R.
    Cherchago, A.
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2007, 70 (01): : 15 - 33
  • [44] On the implementation of standard interface specifications
    Egyhazy, CJ
    FOURTEENTH IEEE SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS, PROCEEDINGS, 2001, : 237 - 240
  • [45] THE MEANING OF NEGATIVE PREMISES IN TRANSITION SYSTEM SPECIFICATIONS
    BOL, R
    GROOTE, JF
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 510 : 481 - 494
  • [46] The meaning of negative premises in transition system specifications
    Bol, R
    Groote, JF
    JOURNAL OF THE ACM, 1996, 43 (05) : 863 - 914
  • [47] MEANING STRUCTURES AND MENTAL REPRESENTATIONS
    LUNDH, LG
    SCANDINAVIAN JOURNAL OF PSYCHOLOGY, 1995, 36 (04) : 363 - 385
  • [48] Visually Grounded Meaning Representations
    Silberer, Carina
    Ferrari, Vittorio
    Lapata, Mirella
    IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, 2017, 39 (11) : 2284 - 2297
  • [49] Derivative meaning in graphical representations
    Shimojima, Atsushi
    IEEE Symposium on Visual Languages, Proceedings, 1999, : 212 - 219
  • [50] Evaluating Scoped Meaning Representations
    van Noord, Rik
    Abzianidze, Lasha
    Haagsma, Hessel
    Bos, Johan
    PROCEEDINGS OF THE ELEVENTH INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION (LREC 2018), 2018, : 1685 - 1693
12345