A Semantical Approach for Automatically Transforming Software Requirement Specification into Formal Presentation
2011 ◽
Vol 225-226
◽
pp. 776-779
Keyword(s):
Software engineering is a critical step in obtaining high quality production. However, requirement specifications that written in natural language is inevitably has ambiguity. Modern driven architecture makes use of requirement model for the complement of requirement specification to eliminate such ambiguity. However, currently, the transformation from requirement specification into formal model only limited in syntax level, thus lack of correctness and precision. This paper proposed an approach in semantical level to process textual specifications of the requirements of unlimited natural language and their automatic mapping to the formal presentation.
2020 ◽
Vol 8
(5)
◽
pp. 1921-1928
2019 ◽
Vol 8
(9S)
◽
pp. 878-882
Keyword(s):
2002 ◽
Vol 3
(12)
◽
pp. 33-38
◽
Keyword(s):