Shaoying LIU


Computer-Aided Formalization of Requirements Based on Patterns
Xi WANG Shaoying LIU 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2014/02/01
Vol. E97-D  No. 2  pp. 198-212
Type of Manuscript:  PAPER
Category: Software System
Keyword: 
formal specificationpattern systemHFSMcomputer-aided
 Summary | Full Text:PDF(2MB)