Title :
Tailoring and verifying software process
Author :
Yoon, Il-Chul ; Min, Sang-Yoon ; Bae, Doo-Hwan
Author_Institution :
Software Eng. Dept., ETRI, Taejon, South Korea
Abstract :
Process tailoring and verification are very important since project-specific processes are tailored from an organizational process standard and many quality assurance activities are based on the process standard. However, existing research does not provide a systematic method for process tailoring and verification. In this paper, we propose a systematic method for formalizing a process standard clearly with encapsulated reusable process modules for tailoring and verifying tailored process. AAG (activity artifact graph) is used to represent and tailor each process module. Additionally, a prototype tool is implemented to support the proposed method. We believe that the proposed method is helpful in tailoring a process standard and verifying a tailored process.
Keywords :
formal verification; software maintenance; software standards; activity artifact graph; encapsulated reusable process modules; formalization; quality assurance; software process tailoring; software process verification; Natural languages; Process design; Prototypes; Quality assurance; Scattering; Software engineering; Software prototyping; Software quality; Software standards; Standards organizations;
Conference_Titel :
Software Engineering Conference, 2001. APSEC 2001. Eighth Asia-Pacific
Print_ISBN :
0-7695-1408-1
DOI :
10.1109/APSEC.2001.991478