DocumentCode :
3678491
Title :
A Tool for Supporting Requirements Formalization Based on Specification Pattern Knowledge
Author :
Weikai Miao;Xi Wang;Shaoying Liu
Author_Institution :
Shanghai Key Lab. for Trustworthy Comput., East China Normal Univ., Shanghai, China
fYear :
2015
Firstpage :
127
Lastpage :
130
Abstract :
Despite the effectiveness of requirements formalization in producing accurate requirements documentation, this technique can hardly be accepted by software industry mainly due to the difficulty in manipulating formal notations by practitioners. To handle the challenge, this paper describes an interactive tool for supporting requirements formalization based on specification pattern knowledge comprising a set of inter-related specification patterns. Each pattern defines the knowledge for formalizing one kind of function, including derivation knowledge for guiding the clarification of the function and transformation knowledge for formally representing the clarified function. The tool derives necessary function details of the intended requirement through interactions by applying the derivation knowledge and transforms these details into formal specifications by applying the transformation knowledge.
Keywords :
"Software engineering","Knowledge based systems","XML"
Publisher :
ieee
Conference_Titel :
Theoretical Aspects of Software Engineering (TASE), 2015 International Symposium on
Type :
conf
DOI :
10.1109/TASE.2015.13
Filename :
7307743
Link To Document :
بازگشت