Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2023/05/01 Vol. E106-DNo. 5pp. 986-1000 Type of Manuscript: PAPER Category: Data Engineering, Web Information Systems Keyword: RESTful web APIs, SOFL, API security, secure by design, domain driven design,
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,