Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2018/07/01 Vol. E101-DNo. 7 ;
pp. 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 Information and Systems Publication Date: 2012/09/01 Vol. E95-DNo. 9 ;
pp. 2193-2201 Type of Manuscript: Special Section PAPER (Special Section on Software Reliability Engineering) Category: Keyword: UML, sequence diagram, refinement, model checking, LTSA,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2009/12/01 Vol. E92-ANo. 12 ;
pp. 3193-3202 Type of Manuscript: Special Section PAPER (Special Section on VLSI Design and CAD Algorithms) Category: Embedded, Real-Time and Reconfigurable Systems Keyword: design space exploration, system-on-a-chip (SoC), SystemC, UML, 3D graphics,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2007/03/01 Vol. E90-DNo. 3 ;
pp. 648-655 Type of Manuscript: PAPER Category: Software Engineering Keyword: software process tailoring, UML, BBN,
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/08/01 Vol. E87-DNo. 8 ;
pp. 2058-2069 Type of Manuscript: PAPER Category: Software Engineering Keyword: UML, system design methodology, wireless LAN,
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. 6 ;
pp. 1011-1023 Type of Manuscript: PAPER Category: Software Engineering Keyword: design pattern, formal specification, DPSL, UML, tool,