Automatic transition of natural language software requirements specification into formal presentation

被引:0
|
作者
Ilieva, MG [1 ]
Ormandjieva, O [1 ]
机构
[1] Concordia Univ, Dept Comp Sci & Software Engn, Montreal, PQ, Canada
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Software requirements specification is a critical activity of the software process, as errors at this stage inevitably lead to problems later on in system design and implementation. The requirements are written in natural language, with the potential for ambiguity, contradiction or misunderstanding, or simply an inability of developers to deal with a large amount of information. This paper proposes a methodology for the natural language processing of textual descriptions of the requirements of an unlimited natural language and their automatic mapping to the object-oriented analysis model.
引用
下载
收藏
页码:392 / 397
页数:6
相关论文
共 50 条
  • [1] Translating Software Requirements from Natural Language to Formal Specification
    Fatwanto, Agung
    2012 IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND CYBERNETICS (CYBERNETICSCOM), 2012, : 148 - 152
  • [2] 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
  • [3] 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
  • [4] Automatic generation of formal specification from requirements definition
    Jin, LZ
    Zhu, H
    FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, : 243 - 251
  • [5] Software Reliability Prediction Based on a Formal Requirements Specification
    Alipour, Hooshmand
    Isazadeh, Ayaz
    ADVANCES IN COMPUTER SCIENCE AND ENGINEERING, 2008, 6 : 816 - +
  • [6] Software Reliability Assessment Based on a Formal Requirements Specification
    Alipour, Hooshmand
    Isazadeh, Ayaz
    2008 CONFERENCE ON HUMAN SYSTEM INTERACTIONS, VOLS 1 AND 2, 2008, : 311 - +
  • [7] Extracting concepts from the software requirements specification using natural language processing
    Kuchta, Jaroslaw
    Padhiyar, Priti
    2018 11TH INTERNATIONAL CONFERENCE ON HUMAN SYSTEM INTERACTION (HSI), 2018, : 443 - 448
  • [8] Using formal specification language in industrial software development
    Jiang, H
    Lin, D
    Xie, XR
    1997 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT PROCESSING SYSTEMS, VOLS 1 & 2, 1997, : 1847 - 1851
  • [9] FORMAL SPECIFICATION IN "Z" LANGUAGE BY SOFTWARE Z/EVES
    Svec, J.
    Zahradnik, J.
    ADVANCES IN ELECTRICAL AND ELECTRONIC ENGINEERING, 2006, 5 (01) : 166 - 168
  • [10] State-Constraint Transition: A Language for the Formal Specification of Dynamic Cyber-System Requirements
    Salinesi, Camille
    Achtaich, Asmaa
    Souissi, Nissrine
    Mazo, Raul
    Roudies, Ounsa
    Villota, Angela
    JOURNAL OF INTEGRATED DESIGN & PROCESS SCIENCE, 2021, 25 (02) : 80 - 99