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 条
  • [31] Tool support for Domain Analysis of the Software Specification in Natural Language
    Omori, Yoichi
    Araki, Keijiro
    TENCON 2010: 2010 IEEE REGION 10 CONFERENCE, 2010, : 1065 - 1070
  • [32] Automated Mining and Checking of Formal Properties in Natural Language Requirements
    Pi, Xingxing
    Shi, Jianqi
    Huang, Yanhong
    Wei, Hansheng
    KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, KSEM 2019, PT II, 2019, 11776 : 75 - 87
  • [33] Formal engineering for industrial software development - An introduction to the SOFL specification language and method
    Liu, SY
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 7 - 8
  • [34] Software requirements as an application domain for natural language processing
    Diamantopoulos, Themistoklis
    Roth, Michael
    Symeonidis, Andreas
    Klein, Ewan
    LANGUAGE RESOURCES AND EVALUATION, 2017, 51 (02) : 495 - 524
  • [35] Ambiguity in Natural Language Software Requirements: A Case Study
    de Bruijn, Fabian
    Dekkers, Hans L.
    REQUIREMENTS ENGINEERING: FOUNDATION FOR SOFTWARE QUALITY, 2010, 6182 : 233 - 247
  • [36] Software requirements as an application domain for natural language processing
    Themistoklis Diamantopoulos
    Michael Roth
    Andreas Symeonidis
    Ewan Klein
    Language Resources and Evaluation, 2017, 51 : 495 - 524
  • [37] An effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, and formal specification
    Koo, SR
    Seong, PH
    Yoo, J
    Cha, SD
    Yoo, YJ
    RELIABILITY ENGINEERING & SYSTEM SAFETY, 2005, 89 (03) : 248 - 260
  • [38] Formal specification for quality in software development
    Currie, E
    MilankovicAtkinson, M
    PROCEEDINGS OF THE 5TH SOFTWARE QUALITY CONFERENCE, 1996, : 252 - 260
  • [39] Automated Conditional Statements Checking for Complete Natural Language Requirements Specification
    Liu, Chun
    Zhao, Zhengyi
    Zhang, Lei
    Li, Zheng
    APPLIED SCIENCES-BASEL, 2021, 11 (17):
  • [40] The automatic assessment of formal specification coursework
    Shukur Z.
    Burke E.
    Foxley E.
    Journal of Computing in Higher Education, 1999, 11 (1) : 86 - 119