A Semantical Approach for Automatically Transforming Software Requirement Specification into Formal Presentation

Abstract:

Article Preview

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.

Info:

Periodical:

Advanced Materials Research (Volumes 225-226)

Edited by:

Helen Zhang, Gang Shen and David Jin

Pages:

776-779

DOI:

10.4028/www.scientific.net/AMR.225-226.776

Citation:

S. Chen and M. K. Chen , "A Semantical Approach for Automatically Transforming Software Requirement Specification into Formal Presentation", Advanced Materials Research, Vols. 225-226, pp. 776-779, 2011

Online since:

April 2011

Export:

Price:

$35.00

In order to see related information, you need to Login.

In order to see related information, you need to Login.