These environments attempt to not just formally specify the analysis and design objects of the software process but the actual process itself and to use that formal process to control and guide software projects.
Các môi trường này không chỉ xác định chính xác các đối tượng cần phân tích và thiết kế của quy trình phần mềm mà còn sử dụng quy trình chính thức để kiểm soát và hướng dẫn các dự án phần mềm.