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 条
  • [41] Trustable Formal Specification for Software Certification
    Mery, Dominique
    Singh, Neeraj Kumar
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, 2010, 6416 : 312 - 326
  • [42] A FORMAL METHOD FOR THE ABSTRACT SPECIFICATION OF SOFTWARE
    MCLEAN, J
    JOURNAL OF THE ACM, 1984, 31 (03) : 600 - 627
  • [43] On Formal Specification of Software Components and Systems
    Flynn, Sharon
    Hamlet, Dick
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 161 : 91 - 107
  • [44] FORMAL SPECIFICATION AND THE PRODUCTION OF CORRECT SOFTWARE
    INCE, D
    MATHEMATICAL INTELLIGENCER, 1984, 6 (02): : 28 - 31
  • [45] Formal specification of evolutionary software agents
    Zhu, H
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 249 - 261
  • [46] Software Testing Based on Formal Specification
    Gaudel, Marie-Claude
    TESTING TECHNIQUES IN SOFTWARE ENGINEERING, 2010, 6153 : 215 - 242
  • [47] Formal verification of functional properties of a SCR-style software requirements specification using PVS
    Kim, T
    Stringer-Calvert, D
    Cha, S
    RELIABILITY ENGINEERING & SYSTEM SAFETY, 2005, 87 (03) : 351 - 363
  • [48] Formal verification of functional properties of an SCR-style software requirements specification using PVS
    Kim, T
    Stringer-Calvert, D
    Cha, S
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANAYLSIS OF SYSTEMS, PROCEEDINGS, 2002, 2280 : 205 - 220
  • [49] Security Requirements Specification: A Formal Method Perspective
    Mishra, Aditya Dev
    Mustafa, K.
    PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON COMPUTING FOR SUSTAINABLE GLOBAL DEVELOPMENT (INDIACOM-2020), 2019, : 113 - 117
  • [50] 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