2008 |
18 | EE | Haiyan Zhao,
Jian Cao:
ECA Rule based Agent for Business Process Management.
ICNSC 2008: 1201-1206 |
17 | EE | Jian Cao,
Haiyan Zhao:
A Semantic Model and Query Mechanism for Service Workflow.
ICNSC 2008: 1850-1855 |
16 | EE | Wei Zhang,
Hua Yan,
Haiyan Zhao,
Zhi Jin:
A BDD-Based Approach to Verifying Clone-Enabled Feature Models' Constraints and Customization.
ICSR 2008: 186-199 |
2007 |
15 | EE | Yingfei Xiong,
Dongxi Liu,
Zhenjiang Hu,
Haiyan Zhao,
Masato Takeichi,
Hong Mei:
Towards automatic model synchronization from model transformations.
ASE 2007: 164-173 |
14 | EE | Haiyan Zhao,
Hongxia Tong:
A Dynamic Service Composition Model Based on Constraints.
GCC 2007: 659-662 |
13 | EE | Jian Cao,
Haiyan Zhao,
Yujie Mou,
Minglu Li:
A Goal Driven Configurable Service Workflow Model.
GCC 2007: 663-669 |
2006 |
12 | EE | Weizhong Shao,
Gang Huang,
Haiyan Zhao:
Modeling of component based systems.
ICSE 2006: 1077-1078 |
11 | EE | Kun Chen,
Haiyan Zhao,
Wei Zhang,
Hong Mei:
Identification of Crosscutting Requirements Based on Feature Dependency Analysis.
RE 2006: 300-303 |
10 | EE | Wei Zhang,
Hong Mei,
Haiyan Zhao:
Feature-driven requirement dependency analysis and high-level software design.
Requir. Eng. 11(3): 205-220 (2006) |
9 | EE | Hong Mei,
Gang Huang,
Haiyan Zhao,
Wenpin Jiao:
A software architecture centric engineering approach for Internetware.
Science in China Series F: Information Sciences 49(6): 702-730 (2006) |
8 | EE | Hong Mei,
Wei Zhang,
Haiyan Zhao:
A metamodel for modeling system features and their refinement, constraint and interaction relationships.
Software and System Modeling 5(2): 172-186 (2006) |
2005 |
7 | EE | Wei Zhang,
Hong Mei,
Haiyan Zhao,
Jie Yang:
Transformation from CIM to PIM: A Feature-Oriented Component-Based Approach.
MoDELS 2005: 248-263 |
6 | EE | Wei Zhang,
Hong Mei,
Haiyan Zhao:
A Feature-Oriented Approach to Modeling Requirements Dependencies.
RE 2005: 273-284 |
5 | EE | Kun Chen,
Wei Zhang,
Haiyan Zhao,
Hong Mei:
An Approach to Constructing Feature Models Based on Requirements Clustering.
RE 2005: 31-40 |
2004 |
4 | EE | Wei Zhang,
Haiyan Zhao,
Hong Mei:
A Propositional Logic-Based Method for Verification of Feature Models.
ICFEM 2004: 115-130 |
2002 |
3 | EE | Haiyan Zhao,
Zhenjiang Hu,
Masato Takeichi:
A Compositional Framework for Mining Longest Ranges.
Discovery Science 2002: 406-413 |
2001 |
2 | | Haiyan Zhao,
Zhenjiang Hu,
Masato Takeichi:
A Compositional Framework for Querying Optimized Ranges.
APLAS 2001: 363-376 |
2000 |
1 | | Haiyan Zhao,
Zhenjiang Hu,
Masato Takeichi:
Mining Optimized Ranges.
APLAS 2000: 119-127 |