Ching-Huey Wang

Publication Activity (10 Years)

Years Active: 2005-2010
Publications (10 Years): 0

Publications

Ching-Huey Wang, Pei-Shu Huang, Feng-Jian Wang
A Hierarchical Timed Coloured Petri Nets for BPMN-based Process Analysis. SEKE (2010)
Ching-Huey Wang, Feng-Jian Wang
Detecting artifact anomalies in business process specifications with a formal model. J. Syst. Softw. 82 (10) (2009)
Hsin-Han Huang, Ching-Huey Wang, Jiun-Long Huang, Feng-Jian Wang
A Proxy Design for Nearest-Neighbor Query Processing in Mobile Environments. COMPSAC (2008)
Ching-Huey Wang, Feng-Jian Wang
An Object-Oriented Modular Petri Nets for Modeling Service Oriented Applications. COMPSAC (2) (2007)
Chih-Wei Lu, William C. Chu, Chih-Hung Chang, Ching-Huey Wang
A Model-based Object-oriented Approach to Requirement Engineering (MORE). COMPSAC (1) (2007)
William C. Chu, Ching-Huey Wang
An XML-based Meta-model for PRocess and Agent-based Integrated Software Evolution environment (PRAISE). SEKE (2005)
Ching-Huey Wang, William C. Chu, Feng-Jian Wang
Providing a behavioral and static formal model to elicit the functional software requirement. IRI (2005)