Ching-Huey Wang

According to our database, Ching-Huey Wang authored at least 7 papers between 2005 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

A Hierarchical Timed Coloured Petri Nets for BPMN-based Process Analysis.

Ching-Huey Wang, Pei-Shu Huang, Feng-Jian Wang

Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

2009

Detecting artifact anomalies in business process specifications with a formal model.

Ching-Huey Wang, Feng-Jian Wang

J. Syst. Softw., 2009

2008

A Proxy Design for Nearest-Neighbor Query Processing in Mobile Environments.

Hsin-Han Huang, Ching-Huey Wang, Jiun-Long Huang, Feng-Jian Wang

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

An Object-Oriented Modular Petri Nets for Modeling Service Oriented Applications.

Ching-Huey Wang, Feng-Jian Wang

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

A Model-based Object-oriented Approach to Requirement Engineering (MORE).

Chih-Wei Lu, William C. Chu, Chih-Hung Chang, Ching-Huey Wang

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2005

An XML-based Meta-model for PRocess and Agent-based Integrated Software Evolution environment (PRAISE).

William C. Chu, Ching-Huey Wang

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

Providing a behavioral and static formal model to elicit the functional software requirement.

Ching-Huey Wang, William C. Chu, Feng-Jian Wang

Proceedings of the 2005 IEEE International Conference on Information Reuse and Integration, 2005