Prześlij oprogramowanie
  1. W: strona główna
  2. Windows
  3. Innych
  4. Maude MSOS Tool

Maude MSOS Tool

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

Maude MSOS Tool to formalne środowisko do specyfikacji modułowych strukturalnych specyfikacji operacyjnych. Jest to szczególnie przydatne w przypadku formalnej specyfikacji języków programowania i systemów równoczesnych.

historia wersji

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

Szczegóły programu

Programy pokrewne

  • Intuitive Neural Network Wolna

    Intuicyjna sieć neuronowa to oprogramowanie zrównane do celów CAE (Computer Aided Education) w sztucznej inteligencji.

  • Digital Camera EXIF Backup Wolna

    Prosta aplikacja exif kopii zapasowej Java, który odczytuje datę pobranego tagu z obrazu i klonuje plik do lokalizacji docelowej przy użyciu wstępnie zdefiniowanej struktury katalogu wzorca daty.

  • TUPA - The Ultimate PowerDNS Admin Wolna

    TUPA jest webbased administracji PowerDNS frontend zaprogramowany w PHP / Javascript (AJAX) / MySQL.Obsługuje tworzenie grup, użytkowników i szablonów.

  • Surfraw - Shell Revolutionary Front Wolna

    Surfraw - Rewolucyjny Front Rage Użytkowników Shell przeciwko sieci. Surfraw zapewnia szybki interfejs linii poleceń unix do wielu popularnych wyszukiwarek WWW i innych artefaktów mocy. Forsake IDOLAtry GUI! Aposate powrót!

  • Cybios Digital Community Wolna

    Cybios to internetowa społeczność game-cyberspołeczność oparta na awatarach, które współdziałają w wirtualnych miastach. Jako awatar możesz żyć, pracować i bawić się w cyfrowej społeczności, takiej jak RealWorld. W Cybios wsz

  • OWLmt Wolna

    OWLmt jest narzędziem do mapowania ontologii opartym na specyfikacjach web ontology language(OWL). Zapewnia graficzny interfejs użytkownika do definiowania mapowań między dwoma schematami ontologii. Zapewnia silnik w celu osi

  • Maven Wiki Plugin Wolna

    Maven Wiki Plugin pobiera dokumentację z różnych Wikis Systems i tworzy pliki XDoc do dalszego przetwarzania przez inne wtyczki Maven, takie jak wtyczka PDF lub wtyczka XDoc.

  • Input Abstraction Layer Wolna

    Input Abstraction Layer (IAL) to projekt, który tworzy specjalne klawisze (np. klucze multimedialne, klawisze funkcyjne znalezione w notesach) "just work". IAL zapewnia demona, który może być wzmocniony przez moduły

  • iChooChoo Wolna

    iChooChoo to symulator pociągu opartego na sieci java, wraz z dźwiękiem i animacjami. Twórz niestandardowe układy torów, a nawet jeżdą pociągi odwiedzają inne komputery! Modułowa konstrukcja programowania. Działa i współpr

  • Commons for Java 5 Wolna

    Rozwiązanie typowych problemów w języku java przy użyciu nowych funkcji językowych, takich jak adnotacje generics autoboxing varargs ...