Abstract
In this paper, we discuss the issue of how to define and develop a software development process with formal methods from a view point of software process improvement. We use a standard development process improvement model, CMMI-DEV, as a reference which is a compilation of best practices in software development process. We expect this approach can lead to the exploitation of knowledge and findings obtained in the successful cases of introducing formal methods. In this work, we analyzed the process area network using the relationship of Related Process Areas components in the process improvement model CMMI-DEV. We compared the results with succeeded cases using formal methods in real projects and found similarities between observations on the process networks and the lessons learned from the succeeded cases.
| Original language | English |
|---|---|
| Pages (from-to) | 126-136 |
| Number of pages | 11 |
| Journal | Computer Software |
| Volume | 32 |
| Issue number | 3 |
| Publication status | Published - Aug 1 2015 |
Fingerprint
All Science Journal Classification (ASJC) codes
- Software
Cite this
Centrality analysis of related process areas in a process improvement model CMMI-DEV. / Kusakabe, Shigeru; Lin, Hsin Hung; Omori, Yoichi; Araki, Keijiro.
In: Computer Software, Vol. 32, No. 3, 01.08.2015, p. 126-136.Research output: Contribution to journal › Article
}
TY - JOUR
T1 - Centrality analysis of related process areas in a process improvement model CMMI-DEV
AU - Kusakabe, Shigeru
AU - Lin, Hsin Hung
AU - Omori, Yoichi
AU - Araki, Keijiro
PY - 2015/8/1
Y1 - 2015/8/1
N2 - In this paper, we discuss the issue of how to define and develop a software development process with formal methods from a view point of software process improvement. We use a standard development process improvement model, CMMI-DEV, as a reference which is a compilation of best practices in software development process. We expect this approach can lead to the exploitation of knowledge and findings obtained in the successful cases of introducing formal methods. In this work, we analyzed the process area network using the relationship of Related Process Areas components in the process improvement model CMMI-DEV. We compared the results with succeeded cases using formal methods in real projects and found similarities between observations on the process networks and the lessons learned from the succeeded cases.
AB - In this paper, we discuss the issue of how to define and develop a software development process with formal methods from a view point of software process improvement. We use a standard development process improvement model, CMMI-DEV, as a reference which is a compilation of best practices in software development process. We expect this approach can lead to the exploitation of knowledge and findings obtained in the successful cases of introducing formal methods. In this work, we analyzed the process area network using the relationship of Related Process Areas components in the process improvement model CMMI-DEV. We compared the results with succeeded cases using formal methods in real projects and found similarities between observations on the process networks and the lessons learned from the succeeded cases.
UR - http://www.scopus.com/inward/record.url?scp=84942411738&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84942411738&partnerID=8YFLogxK
M3 - Article
AN - SCOPUS:84942411738
VL - 32
SP - 126
EP - 136
JO - Computer Software
JF - Computer Software
SN - 0289-6540
IS - 3
ER -