Programy według guml.sf.net

Język programowania i narzędzia umożliwiające: łatwe generowanie kodu dla java, C#, C ++ ,..; zweryfikować poprawność kodu i właściwości formalne. Celem jest umożliwienie maksymalnego ponownego wykorzystania komponentów (bez