Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2018/07/01 Vol. E101-DNo. 7pp. 1801-1810 Type of Manuscript: Special Section PAPER (Special Section on Knowledge-Based Software Engineering) Category: Keyword: Conceptual data modeling, self checking, artifact-making process, UML,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2016/08/01 Vol. E99-ANo. 8pp. 1510-1517 Type of Manuscript: Special Section PAPER (Special Section on Information and Communication Systems for Safe and Secure Life) Category: Keyword: disaster restoration, catastrophic failure, spanning-tree, linear programming,