Title :
Process Algebra Based for Requirement Process Reorganization
Author :
Haomin, Zhan ; Guisheng, Yin ; Changsong, Sun
Author_Institution :
Coll. of Comput. Sci. & Technol., Harbin Eng. Univ., Harbin
Abstract :
Requirement is very important part of software process. In order to truly meet the requirements of customer, it is necessary to establish an appropriate requirement management process, software process reorganization is particularly important. In this paper, firstly, a description of the requirement process is presented after software requirement process was analyzed from the perspective of requirement engineering. Then, analyzing and simplifying process algebraic expression, the approach of process algebra based for the requirement process reorganization is presented proceeded. Finally, the results of shows that development time are shortened, resources are saved and development efficiency is improved.
Keywords :
formal specification; process algebra; software development management; systems analysis; process algebra; requirement engineering; requirement management process; software requirement process reorganization; Algebra; Computer science; Contracts; Educational institutions; IEEE standard glossaries; Programming; Project management; Software engineering; Software maintenance; Software standards; process algebra; process reorganization; requirement; requirement engineering;
Conference_Titel :
Computer Science and Software Engineering, 2008 International Conference on
Conference_Location :
Wuhan, Hubei
Print_ISBN :
978-0-7695-3336-0
DOI :
10.1109/CSSE.2008.781