Programmeertaal en tools die het mogelijk maken: eenvoudige codegeneratie voor Java,C#, C++,..; de correctheid en formele eigenschappen van de code te controleren. Het doel is om een maximale herbruikbaarheid van componenten (zonder afhankelijkheid van taal) mogelijk te maken en de juistheid ervan te bewijzen.
versiegeschiedenis
- Versie N/A geplaatst op 2011-08-09
Verschillende oplossingen en updates - Versie N/A geplaatst op 2011-08-09
Programmadetails
- Categorie: Ontwikkeling > Andere
- Publisher: guml.sf.net
- Licentie: Gratis
- Prijs: N/A
- Versie: Array
- Platform: windows