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.
