Haiyan Zhao
Haiyan Zhao
Bestätigte E-Mail-Adresse bei pku.edu.cn - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
2132007
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
1922005
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
1832004
Feature-driven requirement dependency analysis and high-level software design
W Zhang, H Mei, H Zhao
Requirements Engineering 11 (3), 205-220, 2006
1222006
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
1212005
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
1172005
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
1112009
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
822006
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
622008
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
362009
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
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
302017
Ministry of education
T Ling, K Shaozhong, SX d Areas
Northwest Sci-Tec University of Agriculture and Forestry, Yangling 712100, 2008
262008
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
242006
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
232010
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
192012
Modeling variability in software product family
Z Sheng-Xiang, Z Wei, Z Hai-Yan, M Hong
192005
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
182013
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
182013
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
162014
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20