Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction.

Shaoying Liu, Xi Wang, Weikai Miao

Browse the full ICFEM paper archive.