TY - GEN
T1 - A Tool for Supporting Requirements Formalization Based on Specification Pattern Knowledge
AU - Miao, Weikai
AU - Wang, Xi
AU - Liu, Shaoying
N1 - Publisher Copyright:
© 2015 IEEE.
PY - 2015/10/26
Y1 - 2015/10/26
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/84958184870
U2 - 10.1109/TASE.2015.13
DO - 10.1109/TASE.2015.13
M3 - 会议稿件
AN - SCOPUS:84958184870
T3 - Proceedings - 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015
SP - 127
EP - 130
BT - Proceedings - 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - International Symposium on Theoretical Aspects of Software Engineering, TASE 2015
Y2 - 12 September 2015 through 14 September 2015
ER -