A HIDE (Magas szintű integrált környezet megbízható rendszerek tervezéséhez) projekt fő célkitűzése az, hogy olyan integrált környezetet teremtsen a gyakorlati tervezőnek, ami lehetővé teszi számára, hogy UML-t használjon mind a rendszerszintű, mind pedig a felhasználói-szintű követelmények leírásához. A felhasználó egyszerűen validálhatja a tervet, mivel a matematikai háttér rejtve marad előle. Automatikus transzformációk végzik a matematikai modellek transzformációját UML nyelvből formális és kvantitatív validációhoz, majd az eredményeket felhasználói beavatkozás nélkül alakítják vissza ugyanabba az UML modellbe. A HIDE segítségével így sem az absztrakt matematika ismeretére, sem pedig fárasztó kézi modellezésre sincs szükség.