Chú ý Ví dụ về các công cụ như vậy là phân tích mã nguồn để tính mã số liệu, công cụ CASE để sản xuất mô hình chính thức hóa, môi trường thử nghiệm để chạy các chương trình thực thi, danh sách kiểm tra để thu thập dữ liệu thanh tra hoặc bảng tính để sản xuất tổng hợp của các biện pháp.
đang được dịch, vui lòng đợi..
