Tool support of orderly transition from informal to formal descriptions in requirements engineering.

J. Xu Lingzi Jin Hong Zhu Tool support of orderly transition from informal to formal descriptions in requirements engineering. 199-206 1996 IFIP World Conference on IT Tools db/conf/ifip/ifip1996-1.html#XuJZ96