![]() |
|
|||||||||||||
BME VIK Méréstechnika és Információs Rendszerek Tanszék |
![]() |
MIT honlap - Kutatás - Projektek - HIDE | |
![]() |
Magas szintű integrált környezet megbízható rendszerek tervezéséhez1998 - 1999 Tanszéki témavezető: Pataricza András
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. Partnerek:
További információk a projektről: |