Representation and verification of a smart environment from natural language requirements

被引：0
|
作者：
Sadoun, Driss [1 ]
Dubois, Catherine [2 ,4 ]
Ghamri-Doudane, Yacine [3 ]
Grau, Brigitte [1 ,4 ]
机构：
[1] LIMSI-CNRS, Université Paris-Sud, France
[2] CEDRIC, CNAM, France
[3] L3i Lab., Université de La Rochelle, France
[4] ENSIIE, France
来源：
Revue d'Intelligence Artificielle | 2015年 / 29卷 / 01期
关键词：
Compendex;
D O I：
10.3166/RIA.29.47-81
中图分类号：
学科分类号：
摘要：
Formal specification
引用
下载
收藏
页码：47 / 81
相关论文
共 50 条
  • [21] Natural Language Processing to Extract Contextual Structure from Requirements
    Vierlboeck, Maximilian
    Dunbar, Daniel
    Nilchiani, Roshanak
    SYSCON 2022: THE 16TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON), 2022,
  • [22] From Natural Language Requirements to Formal Specification using an Ontology
    Sadoun, Driss
    Dubois, Catherine
    Ghamri-Doudane, Yacine
    Grau, Brigitte
    2013 IEEE 25TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI), 2013, : 755 - 760
  • [23] Automatic Generation of UTP Models from Requirements in Natural Language
    Masuda, Satoshi
    Matsuodani, Tohru
    Tsuda, Kazuhiko
    2016 IEEE NINTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), 2016, : 1 - 6
  • [24] Translating Software Requirements from Natural Language to Formal Specification
    Fatwanto, Agung
    2012 IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND CYBERNETICS (CYBERNETICSCOM), 2012, : 148 - 152
  • [25] Automatic Extraction of Glossary Terms from Natural Language Requirements
    Dwarakanath, Anurag
    Ramnani, Roshni R.
    Sengupta, Shubhashis
    2013 21ST IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE), 2013, : 314 - 319
  • [26] Automated Code Generation from System Requirements in Natural Language
    Francu, Jan
    Hnetynka, Petr
    E-INFORMATICA SOFTWARE ENGINEERING JOURNAL, 2009, 3 (01) : 73 - 88
  • [27] ARSENAL: Automatic Requirements Specification Extraction from Natural Language
    Ghosh, Shalini
    Elenius, Daniel
    Li, Wenchao
    Lincoln, Patrick
    Shankar, Natarajan
    Steiner, Wilfried
    NASA FORMAL METHODS, NFM 2016, 2016, 9690 : 41 - 46
  • [28] Simulation of Hybrid Systems from Natural-Language Requirements
    Oliveira, Bruno
    Carvalho, Gustavo
    Mousavi, Mohammad Reza
    Sampaio, Augusto
    2017 13TH IEEE CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2017, : 1320 - 1325
  • [29] Generating Natural Language From Logic Expressions With Structural Representation
    Wu, Xin
    Cai, Yi
    Lian, Zetao
    Leung, Ho-fung
    Wang, Tao
    IEEE-ACM TRANSACTIONS ON AUDIO SPEECH AND LANGUAGE PROCESSING, 2023, 31 : 1499 - 1510
  • [30] Structuring Natural Language Requirements with Large Language Models
    Norheim, Johannes J.
    Rebentisch, Eric
    32ND INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS, REW 2024, 2024, : 68 - 71
12345