A Tool for Supporting Requirements Formalization Based on Specification Pattern Knowledge.

Weikai Miao, Xi Wang, Shaoying Liu

Browse the full TASE paper archive.