Prześlij oprogramowanie
  1. W: strona główna
  2. Windows
  3. Innych
  4. OCL development environment for Eclipse

OCL development environment for Eclipse 2

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

Głównym celem tego projektu jest utworzenie edytora Eclipse do określania kontraktów OCL. Język OCL służy do określania warunków wstępnych, po warunkach i niezmiennych. Projekt zawiera również analizator do sprawdzania poprawności syntaktycznej i semantycznej.

historia wersji

  • Wersja OCLEditor%20-%20Alpha%20%282%29 opublikowany na 2004-01-06
    Kilka poprawek i aktualizacji
  • Wersja OCLEditor - Alpha 2 opublikowany na 2004-01-06

Szczegóły programu

Programy pokrewne

  • Faile Wolna

    Faile to darmowy program szachowy, który gra w dość silną grę w szachy (siła eksperta lub lepsza). Jednym z głównych celów Faile jest zapewnienie w pełni funkcjonalny program szachowy z kodem źródłowym, który jest schludny, d

  • Sonyer Wolna

    To narzędzie pozwala na tworzenie kopii zapasowych danych, takich jak książka telefoniczna, kalendarz, notatki i inne sonyericsson (testowane na w810i) telefon komórkowy. To narzędzie wiersza polecenia.

  • SubdiverSVN Wolna

    SubdiverSVN jest klientem Subversion dla Linuksa z biblioteką GTKmm.

  • Note Me Up Free Wolna

    Ryć proste notatki i powiadamiaj notatki. Jest też dostępny widżet. Wspieraj nas kupując pełną wersję, która zawiera wszystkie dodatki: - Capture Notes (Capture from camera, use multi touch to view notes)- Voice Notes (Play/R

  • CMWS Model Wolna

    Model CMWS, obecnie napisany w pythonie, kompiluje przebiegi modelu operacyjne GFS i nam wyjścia modelu komputerowego przez NOAA, aby zapewnić numeryczną prognozę pogody przy użyciu prognoz statystycznych. Model działa w http

  • UO Sphere Scripter Wolna

    SphereScripter to proste narzędzie, które pozwala na łatwe wykonywanie skryptów Sphereserver i gumps. Cechy: kolor kodu, sprawdź składnię, twórca gump, wyświetlanie zdjęć Art / Mul, szukaj elementu Sztuki / NPC / gump i więce

  • CarbonKernel Wolna

    Ten projekt sourceforge jest zamknięty do odwołania --CarbonKernel to symulator RTOS oparty na technikach symulacji opartych na zdarzeniach. Naśladuje zachowanie systemów operacyjnych w czasie rzeczywistym, umożliwiając wdr

  • BTCpp Wolna

    BTCpp to biblioteka Bluetooth open source napisana w języku C/C++.Możesz użyć BTCpp w swoich projektach C / C ++, jeśli potrzebujesz wsparcia dla podstawowych odczytów / zapisu danych do zdalnych urządzeń, zdalnego skanowan

  • OOF: the very open Flash components Wolna

    OOF to zestaw komponentów, które umożliwiają projektantom tworzenie back office, front office, dynamicznych witryn, formularzy, bogatych aplikacji, aplikacji opartych na bazie danych... Odbywa się to za pomocą Flash lub SILEX

  • Nobles Riggers App Wolna

    Opracowane przez Nobles, to proste, łatwe w użyciu narzędzie, które pozwala na wyszukanie limitów obciążenia roboczego dla różnych rodzajów olin (zawiesia linowe, zawiesia łańcuchowe, syntetyczne zawiesia), wszystko zgodnie z