G-UML

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

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.

historia wersji

  • Wersja N/A opublikowany na 2011-08-09
    Kilka poprawek i aktualizacji
  • Wersja N/A opublikowany na 2011-08-09

Szczegóły programu