Title :
Translating software requirements from natural language to formal specification
Author_Institution :
Inf. Dept., UIN Sunan Kalijaga, Yogyakarta, Indonesia
Abstract :
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.
Keywords :
Unified Modeling Language; diagrams; formal specification; natural language processing; Unified Modeling Language class diagram; class diagram component; formal specification; natural language; requirements specification; software requirement; Formal specifications; Natural language processing; Personal digital assistants; Search problems; Software; Unified modeling language; formal specification; natural language; object-oriented; software requirements specification; translation;
Conference_Titel :
Computational Intelligence and Cybernetics (CyberneticsCom), 2012 IEEE International Conference on
Conference_Location :
Bali
Print_ISBN :
978-1-4673-0891-5
DOI :
10.1109/CyberneticsCom.2012.6381636