Jian Zhai

• Affiliations:

• Laboratory for Internet Software Technologies, Institute of Software, The Chinese Academy of Sciences, Beijing, China 100190 and Graduate University of Chinese Academy of Science, Beijing, China 1 ...;Laboratory for Internet Software Technologies, Institute of Software, Chinese Academy of Sciences, Beijing, China and Graduate University of Chinese Academy of Sciences, Beijing, China

• Organizations:

• China Nat. Pet. Corp.;Corporate Research Beijing;Corporate Research Beijing;Corporate Research Beijing;Corporate Research Beijing;Chinese Academy of Sciences and Loongson Technologies Corporation Limited;Graduate University and Institute of Software;Graduate University and Institute of Software;China and Graduate University of Chinese Academy of Sciences;China 100190 and Graduate University of Chinese Academy of Science;The Chinese Academy of Sciences and The Chinese University of Hong Kong;

• Fields:
• software process process model user story software process simulation traditional software process modeling parameterized system actual software project management enactable software process model quality software software company

• Stochastic Process Algebra Based Software Process Simulation Modeling

  Jian Zhai;Qiusong Yang;Feng Su;Junchao Xiao;Qing Wang;Mingshu Li

  ICSP '09 Proceedings of the International Conference on Software Process: Trustworthy Software Development Processes

• An algebraic approach for managing inconsistencies in software processes

  Qiusong Yang;Mingshu Li;Qing Wang;Guowei Yang;Jian Zhai;Juan Li;Lishan Hou;Yun Yang

  ICSP'07 Proceedings of the 2007 international conference on Software process

• Automatic mining of change set size information from repository for precise productivity estimation

  Hui Huang;Qiusong Yang;Junchao Xiao;Jian Zhai

  Proceedings of the 2011 International Conference on Software and Systems Process

• Value-Risk Trade-off Analysis for Iteration Planning in Extreme Programming

  Xin Dong;Qiu-Song Yang;Qing Wang;Jian Zhai;Gunther Ruhe

  APSEC '11 Proceedings of the 2011 18th Asia-Pacific Software Engineering Conference

• On mobility of software processes

  Mingshu Li;Qiusong Yang;Jian Zhai;Guowei Yang

  SPW/ProSim'06 Proceedings of the 2006 international conference on Software Process Simulation and Modeling

• Attacking the dimensionality problem of parameterized systems via bounded reachability graphs

  Qiusong Yang;Bei Zhang;Jian Zhai;Mingshu Li

  FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering