Translating Software Requirements from Natural Language to Formal Specification

被引：0
|
作者：
Fatwanto, Agung [1 ]
机构：
[1] UIN Sunan Kalijaga, Dept Informat, Yogyakarta, Indonesia
来源：
2012 IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND CYBERNETICS (CYBERNETICSCOM) | 2012年
关键词：
software requirements specification; natural language; translation; formal specification; object-oriented;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This paper proposes a new method for translating software requirements specified using natural language to formal specification (in this context is executable and translatable Unified Modeling Language class diagram). Requirements specification written in a scenario-like format will be transformed into class diagram's components.
引用
收藏
页码：148 / 152
页数：5
相关论文
共 50 条
  • [31] On the use of visualization in formal requirements specification
    Dulac, N
    Viguier, T
    Leveson, N
    Storey, MA
    [J]. IEEE JOINT INTERNATIONAL CONFERENCE ON REQUIREMENTS ENGINEERING, PROCEEDINGS, 2002, : 71 - 80
  • [32] A method for requirements elicitation and formal specification
    Heisel, M
    Souquières, J
    [J]. CONCEPTUAL MODELING - ER'99, 1999, 1728 : 309 - 324
  • [33] Tool support for Domain Analysis of the Software Specification in Natural Language
    Omori, Yoichi
    Araki, Keijiro
    [J]. TENCON 2010: 2010 IEEE REGION 10 CONFERENCE, 2010, : 1065 - 1070
  • [34] Formal engineering for industrial software development - An introduction to the SOFL specification language and method
    Liu, SY
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 7 - 8
  • [35] Automated Mining and Checking of Formal Properties in Natural Language Requirements
    Pi, Xingxing
    Shi, Jianqi
    Huang, Yanhong
    Wei, Hansheng
    [J]. KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, KSEM 2019, PT II, 2019, 11776 : 75 - 87
  • [36] Generating MSCs from an integrated formal specification language
    Dong, JS
    Qin, SC
    Sun, J
    [J]. INTEGRATED FORMAL METHODS, PROCEEDINGS, 2004, 2999 : 168 - 186
  • [37] Automated conversion from a requirements document to an executable formal specification
    Lee, BS
    [J]. 16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 437 - 437
  • [38] Software requirements as an application domain for natural language processing
    Diamantopoulos, Themistoklis
    Roth, Michael
    Symeonidis, Andreas
    Klein, Ewan
    [J]. LANGUAGE RESOURCES AND EVALUATION, 2017, 51 (02) : 495 - 524
  • [39] Ambiguity in Natural Language Software Requirements: A Case Study
    de Bruijn, Fabian
    Dekkers, Hans L.
    [J]. REQUIREMENTS ENGINEERING: FOUNDATION FOR SOFTWARE QUALITY, 2010, 6182 : 233 - 247
  • [40] Software requirements as an application domain for natural language processing
    Themistoklis Diamantopoulos
    Michael Roth
    Andreas Symeonidis
    Ewan Klein
    [J]. Language Resources and Evaluation, 2017, 51 : 495 - 524
12345