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 条
  • [1] Representation of knowledge from software requirements expressed in natural language
    Verma, Ravi Prakash
    Beg, Md. Rizwan
    2013 SIXTH INTERNATIONAL CONFERENCE ON EMERGING TRENDS IN ENGINEERING AND TECHNOLOGY (ICETET 2013), 2013, : 154 - 158
  • [2] Modeling and Verification of Natural Language Requirements based on States and Modes
    Liu, Yinling
    Bruel, Jean-Michel
    FORMAL ASPECTS OF COMPUTING, 2024, 36 (02)
  • [3] From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif
    Adam, Zsofia
    Lopez-Miguel, Ignacio D.
    Mavridou, Anastasia
    Pressburger, Thomas
    Bes, Marcin
    Vinuela, Enrique Blanco
    Katis, Andreas
    Tournier, Jean-Charles
    Trinh, Khanh, V
    Adiego, Borja Fernandez
    NASA FORMAL METHODS, NFM 2023, 2023, 13903 : 353 - 360
  • [4] Automating smart recommendation from natural language API descriptions via representation learning
    Xiong, Wei
    Lu, Zhihui
    Li, Bing
    Hang, Bo
    Wu, Zhao
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2018, 87 : 382 - 391
  • [5] RCM-Extractor: Automated Extraction of a Semi Formal Representation Model from Natural Language Requirements
    Zaki-Ismail, Aya
    Osama, Mohamed
    Abdelrazek, Mohamed
    Grundy, John
    Ibrahim, Amani
    PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD), 2021, : 270 - 277
  • [6] Generating Sequence Diagram from Natural Language Requirements
    Jahan, Munima
    Abad, Zahra Shakeri Hossein
    Far, Behrouz
    29TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS (REW 2021), 2021, : 39 - 48
  • [7] From Natural Language Requirements to UML Class Diagrams
    Sharma, Richa
    Srivastava, Pratyoush K.
    Biswas, Kanad K.
    SECOND INTERNATIONAL WORKSHOP ON ARTIFICIAL INTELLIGENCE FOR REQUIREMENTS ENGINEERING (AIRE 2015), 2015, : 25 - 32
  • [8] Natural Language Requirements Processing: from Research to Practice
    Ferrari, Alessio
    PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION, 2018, : 536 - 537
  • [9] Extraction of System States from Natural Language Requirements
    Pudlitz, Florian
    Brokhausen, Florian
    Vogelsang, Andreas
    2019 27TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE 2019), 2019, : 211 - 222
  • [10] Generation of Formal Requirements from Structured Natural Language
    Giannakopoulou, Dimitra
    Pressburger, Thomas
    Mavridou, Anastasia
    Schumann, Johann
    REQUIREMENTS ENGINEERING: FOUNDATION FOR SOFTWARE QUALITY (REFSQ 2020), 2020, 12045 : 19 - 35
12345