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 条
  • [41] Modelling timed reactive systems from natural-language requirements
    Carvalho, Gustavo
    Cavalcanti, Ana
    Sampaio, Augusto
    FORMAL ASPECTS OF COMPUTING, 2016, 28 (05) : 725 - 765
  • [42] An Automated Tool for Generating UML Models from Natural Language Requirements
    Deeptimahanti, Deva Kumar
    Babar, Muhammad Ali
    2009 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 680 - 682
  • [43] Automating test oracles from restricted natural language agile requirements
    Malik, Maryam Imtiaz
    Sindhu, Muddassar Azam
    Khattak, Akmal Saeed
    Abbasi, Rabeeh Ayaz
    Saleem, Khalid
    EXPERT SYSTEMS, 2021, 38 (01)
  • [44] NATURAL LANGUAGE PROCESSING FOR KNOWLEDGE ACQUISITION: APPROACHES FROM REQUIREMENTS ENGINEERING
    Manrique-Losada, Bell
    QUID-INVESTIGACION CIENCIA Y TECNOLOGIA, 2015, (24): : 69 - 78
  • [45] Feature and Variability Extraction from Natural Language Software Requirements Specifications
    Li, Yang
    SPLC'18: PROCEEDINGS OF THE 22ND INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE - VOL 2, 2018, : 72 - 78
  • [46] Knowledge representation and the semantics of natural language
    Crouch, Dick
    COMPUTATIONAL LINGUISTICS, 2006, 32 (04) : 573 - 573
  • [47] Representation Learning for Natural Language Processing
    刘知远
    林衍凯
    孙茂松
    中文信息学报, 2021, 35 (03) : 143 - 143
  • [48] A derivation strategy for formal specifications from natural language requirements models
    Mauco, Maria Virginia
    Leonardi, Maria Carmen
    COMPUTING AND INFORMATICS, 2007, 26 (04) : 421 - 445
  • [49] Meaning Representation in Natural Language Categorization
    Fountain, Trevor
    Lapata, Mirella
    COGNITION IN FLUX, 2010, : 1916 - 1921
  • [50] Computational representation of written natural language
    Ordonez Salinas, Sonia
    Gelbukh, Alexander
    INGENIERIA, 2010, 15 (01): : 6 - 21
12345