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 条
  • [1] Automatic transition of natural language software requirements specification into formal presentation
    Ilieva, MG
    Ormandjieva, O
    [J]. NATURAL LANGUAGE PROCESSING AND INFORMATION SYSTEMS, PROCEEDINGS, 2005, 3513 : 392 - 397
  • [2] From Natural Language Requirements to Formal Specification using an Ontology
    Sadoun, Driss
    Dubois, Catherine
    Ghamri-Doudane, Yacine
    Grau, Brigitte
    [J]. 2013 IEEE 25TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI), 2013, : 755 - 760
  • [3] Extracting concepts from the software requirements specification using natural language processing
    Kuchta, Jaroslaw
    Padhiyar, Priti
    [J]. 2018 11TH INTERNATIONAL CONFERENCE ON HUMAN SYSTEM INTERACTION (HSI), 2018, : 443 - 448
  • [4] Translating Natural Language Requirements to Formal Specifications: A Study on GPT and Symbolic NLP
    Leong, Iat Tou
    Barbosa, Raul
    [J]. 2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS, DSN-W, 2023, : 259 - 262
  • [5] Translating formal software specifications to natural language - A grammar-based approach
    Burke, DA
    Johannisson, K
    [J]. LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS, PROCEEDINGS, 2005, 3492 : 51 - 66
  • [6] Translating Software Requirement from Natural Language to Automaton
    Sun Rui
    Zhong Deming
    [J]. PROCEEDINGS 2013 INTERNATIONAL CONFERENCE ON MECHATRONIC SCIENCES, ELECTRIC ENGINEERING AND COMPUTER (MEC), 2013, : 2456 - 2459
  • [7] M2Z: A tool for translating a natural language software specification into Z
    Shukur, Z
    Zin, AM
    Ban, A
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 406 - 410
  • [8] Software Reliability Prediction Based on a Formal Requirements Specification
    Alipour, Hooshmand
    Isazadeh, Ayaz
    [J]. ADVANCES IN COMPUTER SCIENCE AND ENGINEERING, 2008, 6 : 816 - +
  • [9] Software Reliability Assessment Based on a Formal Requirements Specification
    Alipour, Hooshmand
    Isazadeh, Ayaz
    [J]. 2008 CONFERENCE ON HUMAN SYSTEM INTERACTIONS, VOLS 1 AND 2, 2008, : 311 - +
  • [10] Generation of Formal Requirements from Structured Natural Language
    Giannakopoulou, Dimitra
    Pressburger, Thomas
    Mavridou, Anastasia
    Schumann, Johann
    [J]. REQUIREMENTS ENGINEERING: FOUNDATION FOR SOFTWARE QUALITY (REFSQ 2020), 2020, 12045 : 19 - 35
12345