Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2015/06/01 Vol. E98-DNo. 6 ;
pp. 1150-1160 Type of Manuscript: Special Section PAPER (Special Section on Formal Approach) Category: Model Checking Keyword: model checking, fault analysis, model transformation,
Applying Model-Driven Approach to Building Rapid Distributed Data Services Chih-Min LOSun-Jen HUANG
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2012/12/01 Vol. E95-DNo. 12 ;
pp. 2796-2809 Type of Manuscript: Special Section PAPER (Special Section on Parallel and Distributed Computing and Networking) Category: Computer System and Services Keyword: data services, web services, model-driven development, unified modeling language, model transformation,