General Modeling Framework for Eclipse

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 3.0/5 - ‎1 ‎Stemmen

Over General Modeling Framework for Eclipse

De General Modeling Framework for Eclipse (GMF / E) is een raamwerk bruikbaar door taal ingenieurs en in het algemeen iedereen die wil nieuwe formele verificatiemethoden te ontwikkelen, en test ze met behulp van de VIATRA simulator.