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 条
  • [21] A formal software requirements specification method for digital nuclear plant protection systems
    Yoo, J
    Kim, T
    Cha, S
    Lee, JS
    Son, HS
    JOURNAL OF SYSTEMS AND SOFTWARE, 2005, 74 (01) : 73 - 83
  • [22] Req2Spec: Transforming Software Requirements into Formal Specifications Using Natural Language Processing
    Nayak, Anmol
    Timmapathini, Hari Prasad
    Murali, Vidhya
    Ponnalagu, Karthikeyan
    Venkoparao, Vijendran Gopalan
    Post, Amalinda
    REQUIREMENTS ENGINEERING: FOUNDATION FOR SOFTWARE QUALITY, REFSQ 2022, 2022, 13216 : 87 - 95
  • [23] Formal Specification and Verification of Requirements in Architecture and Construction using the EXPRESS Modeling Language
    Semenov, V. A.
    Morozov, S. V.
    Arishin, S. V.
    Kuzina, O. N.
    Rimshin, V. I.
    Makisha, E. V.
    PROGRAMMING AND COMPUTER SOFTWARE, 2024, 50 (05) : 376 - 391
  • [24] Effect of requirements specification using native language on external software quality
    Uyaguari, Fernando
    Guevara-Vega, Cathy
    Quina-Mera, Antonio
    Uyaguari, Alvaro
    Acosta, Cristina
    IET SOFTWARE, 2023, 17 (03) : 287 - 300
  • [25] English as a formal specification language
    Schwitter, R
    13TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2002, : 228 - 232
  • [26] LANGUAGE FOR FORMAL PROBLEM SPECIFICATION
    GREIF, I
    COMMUNICATIONS OF THE ACM, 1977, 20 (12) : 931 - 935
  • [27] Alneelain: A Formal Specification Language
    Ali, Nahid A.
    Mirghani, Amal A.
    Ibrahim, Abdelrasoul Y.
    2017 INTERNATIONAL CONFERENCE ON COMMUNICATION, CONTROL, COMPUTING AND ELECTRONICS ENGINEERING (ICCCCEE), 2017,
  • [28] A generic approach to the formal specification of requirements
    Peper, C
    Gotzhein, R
    Kronenburg, M
    FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, : 252 - 261
  • [29] On the use of visualization in formal requirements specification
    Dulac, N
    Viguier, T
    Leveson, N
    Storey, MA
    IEEE JOINT INTERNATIONAL CONFERENCE ON REQUIREMENTS ENGINEERING, PROCEEDINGS, 2002, : 71 - 80
  • [30] A method for requirements elicitation and formal specification
    Heisel, M
    Souquières, J
    CONCEPTUAL MODELING - ER'99, 1999, 1728 : 309 - 324