Aşağıdaki Bilgisayar Destekli Yazılım Mühendisliği (CASE) araçlarından hangisi  sistem modellerinin, tanımlamalarının, özelliklerinin, tasarımın bütünlüğünün, tutarlılığının uygulanılan geliştirme süreci kural ve tanımlamalarına uygunluğunu analiz ve kontrol eder?