From the perspective of application scope it can be divided into holistic and local methods.

1) Cleanroom method cleanroom software engineering method is a formal method which can produce high-quality software. Cleanroom method is a strict software engineering method. It is a software process model that emphasizes mathematical verification of correctness and certification of software reliability. Its objectives and results have a very low error rate which is difficult or impossible to achieve by using non formal methods.