Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2005/06/01 Vol. E88-DNo. 6pp. 1178-1190 Type of Manuscript: PAPER Category: Software Engineering Keyword: object-oriented system, component, metrics, reengineering,
Design Pattern Specification Language: Definition and Application Woochang SHINChisu WU
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2003/06/01 Vol. E86-DNo. 6pp. 1011-1023 Type of Manuscript: PAPER Category: Software Engineering Keyword: design pattern, formal specification, DPSL, UML, tool,