Programma's van guml.sf.net

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