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 条
  • [31] Capturing Assertions from Natural Language Descriptions
    Harris, Ian G.
    [J]. 2013 1ST INTERNATIONAL WORKSHOP ON NATURAL LANGUAGE ANALYSIS IN SOFTWARE ENGINEERING (NATURALISE), 2013, : 17 - 24
  • [32] An Innovative Approach for Generating Static UML Models from Natural Language Requirements
    Deeptimahanti, Deva Kumar
    Sanyal, Ratna
    [J]. ADVANCES IN SOFTWARE ENGINEERING, 2009, 30 : 147 - 163
  • [33] From language to motion, and back: Generating and using route descriptions
    Ligozat, G
    [J]. NATURAL LANGUAGE PROCESSING-NLP 2000, PROCEEDINGS, 2000, 1835 : 328 - 345
  • [34] Formal Grammars Generating Fractal Descriptions of Molecular Structures
    Longo, Savino
    [J]. Complex Systems, 2024, 32 (04): : 395 - 407
  • [35] Automated Generation of Synchronous Formal Models from SystemC Descriptions
    Kalla, Hamoudi
    Berner, David
    Talpin, Jean-Pierre
    [J]. JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 2019, 28 (04)
  • [36] A Multi-Module Based Method for Generating Natural Language Descriptions of Code Fragments
    Gao, Xuejian
    Jiang, Xue
    Wu, Qiong
    Wang, Xiao
    Lyu, Lei
    Lyu, Chen
    [J]. IEEE ACCESS, 2021, 9 : 21579 - 21592
  • [37] SpecNFS: A Challenge Dataset Towards Extracting Formal Models from Natural Language Specifications
    Ghosh, Sayontan
    Singh, Amanpreet
    Merenstein, Alex
    Su, Wei
    Smolka, Scott A.
    Zadok, Erez
    Balasubramanian, Niranjan
    [J]. LREC 2022: THIRTEEN INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION, 2022, : 2166 - 2176
  • [38] Neural Models for Generating Natural Language Summaries from Temporal Personal Health Data
    Harris, Jonathan
    Zaki, Mohammed J.
    [J]. JOURNAL OF HEALTHCARE INFORMATICS RESEARCH, 2024, 8 (02) : 370 - 399
  • [39] Neural Models for Generating Natural Language Summaries from Temporal Personal Health Data
    Jonathan Harris
    Mohammed J. Zaki
    [J]. Journal of Healthcare Informatics Research, 2024, 8 : 370 - 399
  • [40] Generating Music from Natural Language Text
    Rangarajan, Rohit
    [J]. 2015 TENTH INTERNATIONAL CONFERENCE ON DIGITAL INFORMATION MANAGEMENT (ICDIM), 2015, : 23 - 26
12345