Weikai Miao

A Tool for Supporting Requirements Formalization Based on Specification Pattern Knowledge

2015

Despite the effectiveness of requirements formalization in producing accurate requirements documentation, thistechnique can hardly be accepted by software industry mainlydue to the difficulty in manipulating formal notations by practitioners. To handle the challenge, this paper …