Computer-Aided Formalization of Requirements Based on Patterns Xi WANGShaoying LIU
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2014/02/01 Vol. E97-DNo. 2pp. 198-212 Type of Manuscript: PAPER Category: Software System Keyword: formal specification, pattern system, HFSM, computer-aided,