G-UML

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 3.0/5 - ‎1 ‎Głosów

O G-UML

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 zależności od języka), a także udowodnienie ich poprawności.