Providing a behavioral and static formal model to elicit the functional software requirement. - Ching-Huey Wang; William C. Chu; Feng-Jian Wang (IRI, 2005)

An XML-based Meta-model for PRocess and Agent-based Integrated Software Evolution environment (PRAISE). - William C. Chu; Ching-Huey Wang (SEKE, 2005)

A Model-based Object-oriented Approach to Requirement Engineering (MORE). - Chih-Wei Lu; William C. Chu; Chih-Hung Chang; Ching-Huey Wang (COMPSAC (1), 2007)

An Object-Oriented Modular Petri Nets for Modeling Service Oriented Applications. - Ching-Huey Wang; Feng-Jian Wang (COMPSAC (2), 2007)

A Proxy Design for Nearest-Neighbor Query Processing in Mobile Environments. - Hsin-Han Huang; Ching-Huey Wang; Jiun-Long Huang; Feng-Jian Wang (COMPSAC, 2008)

Detecting artifact anomalies in business process specifications with a formal model. - Ching-Huey Wang; Feng-Jian Wang (J. Syst. Softw., 2009)

A Hierarchical Timed Coloured Petri Nets for BPMN-based Process Analysis. - Ching-Huey Wang; Pei-Shu Huang; Feng-Jian Wang (SEKE, 2010)