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
相关论文
共 13 条
  • [1] The natural language as a virtual environment for the human - machine interface
    Merlyan, L.L.
    Problemy Upravleniya I Informatiki (Avtomatika), 2001, (02): : 88 - 97
  • [2] Natural language processing for smart construction: Current status and future directions
    Wu, Chengke
    Li, Xiao
    Guo, Yuanjun
    Wang, Jun
    Ren, Zengle
    Wang, Meng
    Yang, Zhile
    Automation in Construction, 2022, 134
  • [3] Orchestrating the natural language processing software in the cloud computing environment
    1600, Digital Information Research Foundation, 2 Srinivasamoorthy Avenue, L.B Road, Adyar, Chennai, 600 020, India (11):
  • [4] From NLP (Natural Language Processing) to MLP (Machine Language Processing)
    Institute for Applied Information Processing and Communications , Graz University of Technology, Austria
    不详
    不详
    Lect. Notes Comput. Sci., (256-269):
  • [5] Natural Language Search and Associative-Ontology Matching Algorithms Based on Graph Representation of Texts
    Saint-Petersburg Institute for Informatics and Automation of RAS, Saint-Petersburg, Russia
    Adv. Intell. Sys. Comput., (285-294):
  • [6] Ontological knowledge extraction from natural language text
    Zuhori, Syed Tauhid
    Zaman, Md. Asif
    Mahmud, Firoz
    20th International Conference of Computer and Information Technology, ICCIT 2017, 2017, 2018-January : 1 - 6
  • [7] NoviCode: Generating Programs from Natural Language Utterances by Novices
    Mordechai, Asaf Achi
    Goldberg, Yoav
    Tsarfaty, Reut
    TRANSACTIONS OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS, 2024, 12 : 1330 - 1345
  • [8] Preface: 7th Workshop on Natural Language Processing for Requirements Engineering (NLP4RE’24)
    Abualhaija, Sallam
    Arora, Chetan
    Dell’Anna, Davide
    Ferrari, Alessio
    Ghanavati, Sepideh
    CEUR Workshop Proceedings, 2024, 3672
  • [9] Extracting phenotypic information from the literature via natural language processing
    Chen, Lifeng
    Friedman, Carol
    Stud. Health Technol. Informatics, 1600, (758-762):
  • [10] Code generation from natural language with less prior and more monolingual data
    Norouzi, Sajad
    Tang, Keyi
    Cao, Yanshuai
    arXiv, 2021,
12