Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2011/03/01 Vol. E94-DNo. 3 ;
pp. 612-621 Type of Manuscript: PAPER Category: Software System Keyword: OCL, constraints, assertion code, programming languages,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2006/06/01 Vol. E89-DNo. 6 ;
pp. 1914-1922 Type of Manuscript: PAPER Category: Software Engineering Keyword: constraints, SpecTRM-RL, UML, OCL, fault trees,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2004/04/01 Vol. E87-DNo. 4 ;
pp. 855-867 Type of Manuscript: Special Section PAPER (Special Section on Knowledge-Based Software Engineering) Category: Metrics, Test, and Maintenance Keyword: refactoring, object-oriented design, graph transformation, graph grammar, OCL, meta model,