From the perspective of application scope it can be

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 re