Prześlij oprogramowanie
  1. W: strona główna
  2. Windows
  3. Innych
  4. Overture: Formal modelling in VDM
  5. Download

Overture: Formal modelling in VDM

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

O Overture: Formal modelling in VDM

W ramach projektu Overture powstaje zestaw wtyczek Eclipse open source wspierających integrację różnych narzędzi do modelowania VDM (Vienna Development Method). Celem jest zapewnienie obsługi wszystkich istniejących narzędzi VDM i dialektów językowych.

Programy pokrewne

  • Mkulu QA Proxy Wolna

    Mkulu QA Proxy służy do przeglądania szczegółów pakietów HTTP. Jest to przydatne narzędzie do tworzenia i testowania stron internetowych. Trwają prace nad zwiększeniem funkcjonalności narzędzia. Serwer proxy jest w stanie prz

  • Illumination Wolna

    Oświetlenie - bogata w funkcje, niezależna od plattforma biblioteka GUI C++. Najważniejsze cechy programu: themability, obsługa opisu powierzchni XML, sprytny silnik układowy, wrażliwość na czcionki, zaplecze dla X11, Windows

  • HMM Based Chinese Segmentor Wolna

    Jest to projekt, który implementuje interfejs Lucene Analyzer rozszerzyć swoją funkcję radzenia sobie z problemem chińskiej segmentacji w oparciu o model statystyczny (Model Hiden Marcov)

  • NHibernateIt Wolna

    NHibernateIt jest Pomocnikiem zarządzania sesjami NHibernate i zapewnia podstawowe akcje CRUD korygować klasy Repozytorium. Zainspirowany projektem NHibernator, na oracleatdotnet.com

  • AstroWeka Wolna

    AstroWeka to zestaw extentions do Weka, popularnego programu do eksploracji danych, który pozwala mu pracować bezpośrednio z danymi astronomicznymi w Wirtualnym Obserwatorium.

  • CalFaces Wolna

    CalFaces (wcześniej jsforganiser) to zbiór składników JavaServer Faces do użytku w aplikacjach PIM opartych na sieci Web, zapewniając kalendarz w stylu Outlooka z widokami dnia, tygodnia roboczego, tygodnia i miesiąca, a takż

  • Complement Wolna

    Wieloplatformowe biblioteki C++. 1. xmt: Przenośny interfejs programowania do tworzenia aplikacji lub bibliotek wielowątkowych (MT); 2. sockios: interfejs do gniazd (strumienie We/Wy C++); 3. StEM: skończona maszyna państwowa

  • H3xC4T Wolna

    H3xC4T odczytuje pliki binarne i pokazuje zawartość szesnastkowej uporządkowaną w kolumnach... w przyszłości dodam kilka funkcji, takich jak zwykła konwersja binarna lub demontaż ...

  • Charset detector Wolna

    Biblioteka do automatycznego wykrywania zestawu znaków danego tekstu lub pliku. Bufor wejściowy zostanie przeanalizowany w celu odgadnięcia używanego kodowania. Wynik (nazwa zestawu znaków lub identyfikator strony kodowej) mo

  • Java Signal/Slot with Annotations Wolna

    Ta biblioteka jest interfejsem API sygnału/gniazda dla środowiska Java 5.0, który używa adnotacji do oznaczania sygnałów/gniazd. Podklasa zawierająca wyliczenia sygnału/gniazda, a także metody emitowania sygnału do jego gniaz