DocumentCode :
2358552
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
fYear :
2001
fDate :
4-7 Dec. 2001
Firstpage :
202
Lastpage :
209
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering Conference, 2001. APSEC 2001. Eighth Asia-Pacific
ISSN :
1530-1362
Print_ISBN :
0-7695-1408-1
Type :
conf
DOI :
10.1109/APSEC.2001.991478
Filename :
991478
Link To Document :
بازگشت