Generating Formal System Models from Natural Language Descriptions

被引：0
|
作者：
Drechsler, Rolf [1 ,2 ]
Harris, Ian G. [3 ]
Wille, Robert [1 ]
机构：
[1] Univ Bremen, Inst Comp Sci, D-28359 Bremen, Germany
[2] Cyber Phys Syst, DFKI GmbH, Bremen, Germany
[3] Univ Calif Irvine, Ctr Embedded Comp Syst, Irvine, CA USA
来源：
2012 IEEE INTERNATIONAL HIGH LEVEL DESIGN VALIDATION AND TEST WORKSHOP (HLDVT) | 2012年
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：164 / +
页数：2
相关论文
共 50 条
  • [1] Generating Natural Language Descriptions From Tables
    Cao, Juan
    [J]. IEEE ACCESS, 2020, 8 (08): : 46206 - 46216
  • [2] Generating Natural Language Descriptions from OWL Ontologies: the NaturalOWL System
    Androutsopoulos, Ion
    Lampouras, Gerasimos
    Galanis, Dimitrios
    [J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2013, 48 : 671 - 715
  • [3] Generating Parametric BRDFs from Natural Language Descriptions
    Memery, Sean
    Cedron, Osmar
    Subr, Kartic
    [J]. COMPUTER GRAPHICS FORUM, 2023, 42 (07)
  • [4] Generating Customizable Natural Language Descriptions
    Costa, A.
    Paraboni, I
    [J]. IEEE LATIN AMERICA TRANSACTIONS, 2019, 17 (08) : 1252 - 1258
  • [5] Formal Reasoning on Natural Language Descriptions of Processes
    Sanchez-Ferreres, Josep
    Burattin, Andrea
    Carmona, Josep
    Montali, Marco
    Padro, Lluis
    [J]. BUSINESS PROCESS MANAGEMENT (BPM 2019), 2019, 11675 : 86 - 101
  • [6] Generating natural language descriptions of project plans
    Wasko, M
    Dale, R
    [J]. ADVANCED TOPICS IN ARTIFICIAL INTELLIGENCE, 1999, 1747 : 109 - 121
  • [7] A formal approach for generating oo specifications from natural language
    Juristo, N
    Morant, JL
    Moreno, AM
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1999, 48 (02) : 139 - 153
  • [8] Automatically Generating Tests from Natural Language Descriptions of Software Behavior
    Kamalakar, Sunil
    Edwards, Stephen H.
    Dao, Tung M.
    [J]. ENASE: PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2013, : 238 - 245
  • [9] Generating Formal Hardware Verification Properties from Natural Language Documentation
    Harris, Christopher B.
    Harris, Ian G.
    [J]. 2015 IEEE 9TH INTERNATIONAL CONFERENCE ON SEMANTIC COMPUTING (ICSC), 2015, : 49 - 56
  • [10] Generating simulation models from natural language specifications
    Cyre, WR
    Armstrong, JR
    Honcharik, AJ
    [J]. SIMULATION, 1995, 65 (04) : 239 - 251
12345