VIATRA2

A VIATRA2 modelltranszformációs keretrendszerről információk az eszköz honlapján, a hivatalos Eclipse honlapon, illetve az Eclipse Wikin találhatók. Tovább »

PetriDotNet

A PetriDotNet program egy Petri-hálók szerkesztésére, szimulációjára és analízisére szolgáló keretrendszer. A programot a BME Méréstechnika és Információs Rendszerek tanszékén fejlesztjük azzal a céllal, hogy az oktatásban is használható, könnyen kezelhető és bővíthető program legyen. Tovább »

EMF-IncQuery

Az EMF-IncQuery inkrementális gráfmintaillesztő technológia segítségével hatékony, igen nagy mérnöki modellekre skálázható lekérdezések valósíthatóak meg, amelyekre pl. jólformáltsági validáció, modell-szinkronizáció, és számos egyéb, a modellvezérelt szoftverfejlesztésben használatos szolgáltatás építhető. A keretrendszerről további információk a projekt hivatalos honlapján olvashatók. Tovább »

PRISE case study

Introduction of the case study

Tovább »