Haiyan Zhao
Haiyan Zhao
Verified email at pku.edu.cn - Homepage
Title
Cited by
Cited by
Year
Towards automatic model synchronization from model transformations
Y Xiong, D Liu, Z Hu, H Zhao, M Takeichi, H Mei
Proceedings of the twenty-second IEEE/ACM international conference on …, 2007
2022007
An approach to constructing feature models based on requirements clustering
K Chen, W Zhang, H Zhao, H Mei
13th IEEE International Conference on Requirements Engineering (RE'05), 31-40, 2005
1792005
A propositional logic-based method for verification of feature models
W Zhang, H Zhao, H Mei
International Conference on Formal Engineering Methods, 115-130, 2004
1702004
Feature-driven requirement dependency analysis and high-level software design
W Zhang, H Mei, H Zhao
Requirements Engineering 11 (3), 205-220, 2006
1132006
Transformation from CIM to PIM: a feature-oriented component-based approach
W Zhang, H Mei, H Zhao, J Yang
International Conference on Model Driven Engineering Languages and Systems …, 2005
1132005
A feature-oriented approach to modeling requirements dependencies
W Zhang, H Mei, H Zhao
13th IEEE International Conference on Requirements Engineering (RE'05), 273-282, 2005
1082005
Supporting automatic model inconsistency fixing
Y Xiong, Z Hu, H Zhao, H Song, M Takeichi, H Mei
Proceedings of the 7th joint meeting of the European software engineering …, 2009
992009
A software architecture centric engineering approach for Internetware
H Mei, G Huang, H Zhao, W Jiao
Science in China Series F: Information Sciences 49 (6), 702-730, 2006
782006
A bdd-based approach to verifying clone-enabled feature models’ constraints and customization
W Zhang, H Yan, H Zhao, Z Jin
International Conference on Software Reuse, 186-199, 2008
602008
A use case based approach to feature models' construction
B Wang, W Zhang, H Zhao, Z Jin, H Mei
2009 17th IEEE International Requirements Engineering Conference, 121-130, 2009
352009
An optimization strategy to feature models’ verification by eliminating verification-irrelevant features and constraints
H Yan, W Zhang, H Zhao, H Mei
International Conference on Software Reuse, 65-75, 2009
312009
Ministry of education
T Ling, K Shaozhong, SX d Areas
Northwest Sci-Tec University of Agriculture and Forestry, Yangling 712100, 2008
272008
A metamodel for modeling system features and their refinement, constraint and interaction relationships
H Mei, W Zhang, H Zhao
Software & Systems Modeling 5 (2), 172-186, 2006
222006
A dynamic-priority based approach to fixing inconsistent feature models
B Wang, Y Xiong, Z Hu, H Zhao, W Zhang, H Mei
International Conference on Model Driven Engineering Languages and Systems …, 2010
212010
Modeling variability in software product family
Z Sheng-Xiang, Z Wei, Z Hai-Yan, M Hong
202005
A reinforcement learning-based framework for the generation and evolution of adaptation rules
T Zhao, W Zhang, H Zhao, Z Jin
2017 IEEE International Conference on Autonomic Computing (ICAC), 103-112, 2017
182017
Mining binary constraints in the construction of feature models
L Yi, W Zhang, H Zhao, Z Jin, H Mei
2012 20th IEEE International Requirements Engineering Conference (RE), 141-150, 2012
182012
TDL: a transformation description language from feature model to use case for automated use case derivation
W Yu, W Zhang, H Zhao, Z Jin
Proceedings of the 18th International Software Product Line Conference …, 2014
172014
Smartfixer: Fixing software configurations based on dynamic priorities
B Wang, L Passos, Y Xiong, K Czarnecki, H Zhao, W Zhang
Proceedings of the 17th International Software Product Line Conference, 82-90, 2013
152013
Smartfixer: Fixing software configurations based on dynamic priorities
B Wang, L Passos, Y Xiong, K Czarnecki, H Zhao, W Zhang
Proceedings of the 17th International Software Product Line Conference, 82-90, 2013
152013
The system can't perform the operation now. Try again later.
Articles 1–20