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 条
  • [31] Semantic Similarities in Natural Language Requirements
    Femmer, Henning
    Mueller, Axel
    Eder, Sebastian
    SOFTWARE QUALITY: QUALITY INTELLIGENCE IN SOFTWARE AND SYSTEMS ENGINEERING, 2020, 371 : 87 - 105
  • [32] Testing against natural language Requirements
    Sneed, Harry M.
    USIC 2007: PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, 2007, : 380 - 387
  • [33] Finding Flaws in Natural Language Requirements
    Dwyer, Matthew B.
    COMPUTER, 2016, 49 (11) : 10 - 10
  • [34] Lightweight validation of natural language requirements
    Gervasi, V
    Nuseibeh, B
    SOFTWARE-PRACTICE & EXPERIENCE, 2002, 32 (02): : 113 - 133
  • [35] EgoTV : Egocentric Task Verification from Natural Language Task Descriptions
    Hazra, Rishi
    Chen, Brian
    Rai, Akshara
    Kamra, Nitin
    Desai, Ruta
    2023 IEEE/CVF INTERNATIONAL CONFERENCE ON COMPUTER VISION (ICCV 2023), 2023, : 15371 - 15383
  • [36] Generating Formal Hardware Verification Properties from Natural Language Documentation
    Harris, Christopher B.
    Harris, Ian G.
    2015 IEEE 9TH INTERNATIONAL CONFERENCE ON SEMANTIC COMPUTING (ICSC), 2015, : 49 - 56
  • [37] Why base the knowledge representation language on natural language?
    Gomez, Fernando
    Journal of Intelligent Systems, 2000, 10 (02) : 161 - 181
  • [38] Eliciting Requirements from Stakeholders' Responses Using Natural Language Processing
    Lafi, Mohammed
    Hawashin, Bilal
    AlZu'bi, Shadi
    CMES-COMPUTER MODELING IN ENGINEERING & SCIENCES, 2021, 127 (01): : 99 - 116
  • [39] Test Oracle using Semantic Analysis from Natural Language Requirements
    Malik, Maryam Imtiaz
    Sindhu, Muddassar Azam
    Abbasi, Rabeeh Ayaz
    PROCEEDINGS OF THE 22ND INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS (ICEIS), VOL 2, 2020, : 345 - 352
  • [40] Automated Generation of Activity and Sequence Diagrams from Natural Language Requirements
    Sharma, Richa
    Gulia, Sarita
    Biswas, K. K.
    PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE 2014), 2014, : 69 - 77
12345