Paper Title:
A Semantical Approach for Automatically Transforming Software Requirement Specification into Formal Presentation
  Abstract

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 , 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
$32.00
Share

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

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

Authors: Hai Tao Zhu, Wen Lin Pan, Chao Liu
Abstract:The product modeling method based on UML is presented in order to solve the consistency problem of definition, process and resources in the...
765
Authors: Kun Feng Li, Zi Chun Yang, Gui Feng Liu
Abstract:When insufficient data are available, probabilistic reliability method is invalid, but the non-probabilistic reliability method based on I-G...
920
Authors: Xue Ling Zhang, Ya Hui Hu, Shu Feng Chai
Abstract:How to deal with the model is important in analyzing structure system with finite element method, because the rationality of model has direct...
195
Authors: Chao Wang, Hong Tao Hou, Qun Li, Wei Ping Wang
Chapter 2: Mechanics Applications
Abstract:To achieve the distributed composition of the SMP2 simulation models under the service-oriented architecture, a proxy-based composition...
171
Authors: Jian Zhang, Lun Nong Tan
Chapter 20: Detection and Control Technology
Abstract:The wind speed forecasting accuracy of artificial neural network(ANN) and grey model(GM) is poorly satisfied. Thus, we proposed a new...
2654