I am an associate professor of computer science at Software of Insitute, School of Electronics Engieneering and Computer Science, Peking University

I received BS and MS degrees from Department of Computer Science of Peking University in 1988 and 1991 respectively, and Ph.D degree from Department of Information Engineering of University of Tokyo in 2003.

We have developed a tool for updatable view based feature model refinement. Please refer to here for more information.

My research interests include software engineering, sfotware reuse and programming languages, and requirement engineering and

domain engineering in particular.

Web-based Scenario-driven Requirement Elicitation and Analysis Techniques (2009.1-2011.12, funded by NSFC)

Research on Feature-driven Domain Engineeing (2006.12-2008.12, funded by 863 Program)

• PC member, 3rd International Workshop on Bidirectional Transformation in Architecture-Based Component Composition (Changsha, China, November 14-18, 2009)

   

• Hua Yan and Wei Zhang and Haiyan Zhao and Hong Mei, An Optimization Strategy to Feature Models' Verification by Eliminating Verification-Irrelevant Features and Constraints, in Proceedings of 11th International Conference on Software Reuse, LNCS 5791, pp.65-75, 2009.
• Bo Wang, Wei Zhang, Haiyan Zhao, Zhi Jin, and Hong Mei, A Use Case Based Approach to Feature Models' Construction, in Proceedings of 17th IEEE International Requirements Engineering Conference (RE'09), pp.121-130.
• Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei, Supporting Automatic Model Inconsistency Fixing, The 7th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) (ESEC/FSE 2009), Amsterdam, The Netherlands, August 24-28 2009. pp.315-324.
• Zhao Haiyan, Zhang Wei, Mei Hong, Multi-View based Customization of Feature Models, Journal of Frontier of Computer Science and Technology, 2008, 2(3)：260-273.
• Wei Zhang, Hua Yan, Haiyan Zhao, Zhi Jin, A BDD-based approach to verifying Clone-Enabled Feature Models’ Constraints and Customization, Proceedings of 10th International Conference on Software Reuse, LNCS 5030, pp.186-199, 2008.
• Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei.Towards Automatic Model Synchronization from Model Transformations,In Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE'07),pp.164-173, 2007.
• Mei Hong, Huang Gang, Zhao Haiyan,Jiao Wenpin, A software architecture centric engineering approach for Internetware, SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES 49 (6): 702-730 DEC 2006, [SCI:134SF]
• Weizhong Shao，Gang Huang，Haiyan Zhao，Modeling of component based systems. ICSE 2006 (Tutorial): 1077-1078.
• Wei Zhang, Hong Mei, and Haiyan Zhao: Feature-Driven Requirements Dependency Analysis and High-Level Software Design. Requirements Engineering, Springer London, 2006, 11(3):205-220.
• Kun Chen, Haiyan Zhao, Wei Zhang, and Hong Mei: Identification of Crosscutting Requirements Based on Feature Dependency Analysis. Proceedings of 14th IEEE International Conference on Requirements Engineering (RE'06), pp.300-303, 2006.
• Hong Mei, Wei Zhang, and Haiyan Zhao: A Metamodel for Modeling System Features and Their Refinement, Constraint and Interaction Relationships. Software & System Modeling (SoSyM)，Springer Berlin/Heidelberg, 2006, 5(2):172-186.
• Wei Zhang, Hong Mei, Haiyan Zhao, and Jie Yang: Transformation from CIM to PIM: A Feature-Oriented Component-Based Approach. Proceedings of 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS'05), pp.248-263, 2005.
• Kun Chen, Wei Zhang, Haiyan Zhao, and Hong Mei: An Approach to Constructing Feature Models Based on Requirements Clustering. Proceedings of 13th IEEE International Conference on Requirements Engineering (RE'05), pp.31-40, 2005.
• Wei Zhang, Hong Mei, and Haiyan Zhao: A Feature-Oriented Approach to Modeling Requirements Dependencies. Proceedings of 13th IEEE International Conference on Requirements Engineering (RE'05), pp.273-284, 2005
• Wei Zhang, Haiyan Zhao, and Hong Mei: A Propositional Logic-Based Method for Verification of Feature Models. Proceedings of 6th International Conference on Formal Engineering Methods (ICFEM'04), pp.115-130, 2004.

I am teaching 2 courses. Some materials are available online.

• Data Structures and Algorithm Analysis (undergraduate, 2009 Fall)
• Career and Leadership Development(undergraduate, 2009 summer school)
• Data Structures and Algorithm Analysis (undergraduate, 2008 Fall)
• Career and Leadership Development(undergraduate, 2008 summer school)

Office: Rm.1809, Science building #1
Tel: +86-10-6275-7670
Fax: +86-10-6275-1792
Email: zhhy at sei.pku.edu.cn