Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2000/04/25 Vol. E83-DNo. 4 ;
pp. 616-626 Type of Manuscript: Special Section PAPER (Special Issue on Knowledge-Based Software Engineering) Category: Theory and Methodology Keyword: method integration, specification and design methods, formal description technique, LOTOS, OMT,