Conference Paper

Process Algebra-Based Description for Software Requirement

Coll. of Comput. Sci. & Technol., Harbin Eng. Univ., Harbin
DOI: 10.1109/IMSCCS.2008.32 Conference: Computer and Computational Sciences, 2008. IMSCCS '08. International Multisymposiums on
Source: IEEE Xplore


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.

4 Reads