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 条
12345