Haomin Zhan

Publications (2)0 Total impact

• Conference Proceeding: Process Algebra-Based Description for Software Requirement

  Haomin Zhan, Guisheng Yin, Changsong Sun, Linshan Shen, Jun Ni
  [show abstract] [hide abstract]
  ABSTRACT: A requirement process plays very important part in software engineering process. In order to truly meet the needs requested by customers, a software engineering system should include a high-quality requirement management process, which can accurately describes the software requirements. In this paper addresses and defines the requirement process to be implemented on a software system. It also reports on how we analyze the process in a perspective of system engineering. Based on the analysis and certain simplification, a process algebraic expression is proposed to establish a Software Requirement Process. The results show that development cycle is shortened, resources are saved; hence the efficiency is significantly improved.
  Computer and Computational Sciences, 2008. IMSCCS '08. International Multisymposiums on; 11/2008
• Conference Proceeding: Process Algebra Based for Requirement Process Reorganization.

  Haomin Zhan, Guisheng Yin, Changsong Sun
  International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 2: Software Engineering, December 12-14, 2008, Wuhan, China; 01/2008