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
- Kategorii: Rozwoju > Innych
- Wydawca: guml.sf.net
- Licencji: Wolna
- Cena: N/A
- Wersja: Array
- Platformy: windows