Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2008/04/01 Vol. E91-DNo. 4 ;
pp. 933-944 Type of Manuscript: Special Section PAPER (Special Section on Knowledge-Based Software Engineering) Category: Software Engineering Keyword: design patterns, program understanding, meta patterns, dynamic analysis, Prolog,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1995/11/25 Vol. E78-ANo. 11 ;
pp. 1458-1467 Type of Manuscript: Special Section PAPER (Special Section on Net Theory and Its Applications to Discrete Event System Design) Category: Keyword: communication networks and services, protocol verification, Petri net, Prolog, Horn clause,