Prześlij oprogramowanie
  1. W: strona główna
  2. Windows
  3. Innych
  4. D.B.S.S.V.E.

D.B.S.S.V.E.

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

DBSSVE to jedno środowisko do wykorzystania intuicyjnej lekkiej specyfikacji formalnej w fazie specyfikacji i testowania oprogramowania. Również DBSSVE będzie rozszerzalny do innych opartych na podejmowaniu decyzji specyfikacji i języków.

historia wersji

  • Wersja dbssve opublikowany na 2011-07-23
    Kilka poprawek i aktualizacji
  • Wersja N/A opublikowany na 2011-07-23

Szczegóły programu

Programy pokrewne

  • JFserv Wolna

    JFserv to IRC-Bot (oparty na PircBot http://www.jibble.org/pircbot.php), którego można używać do udostępniania plików na IRC. Jest zapisywany w Javie, więc powinien działać na dowolnej platformie. JFserv używa połączeń ctcp/d

  • php::xul::lib Wolna

    php::xul::lib jest frameworkiem do tworzenia aplikacji internetowych z projektem, takim jak aplikacja X, php::xul::lib zapewnia warstwę abstrakcji databse, xul gen i inne zasoby dla programistów, kod źródłowy jest oo z php5.

  • MDARAD Toolbox Wolna

    Narzędzia dla chyłkanego RAD (Rapid Application Development) oparte na podejściu MDA. Zestaw narzędzi zawiera struktury i generatory dla wielu środowisk (JAVA, J2EE, Hibernate, .NET, C++, itp.), które umożliwiają generowanie

  • littlej Wolna

    littlej (wymawiane "Little Jay") to zestaw międzyplatformowych, wiersz poleceń narzędzia Java dla programisty Java, że programy z edytorem zwykłego tekstu zamiast IDE. littlej działa świetnie z redaktorami jak VI i UltraEdi

  • GPStoEXIF Wolna

    GPStoEXIF łączy dane GPS z GPX Files with Pictures przez jego sygnatury czasowe, aby mieć dane pozycji na zdjęciach exif meta informacji. GPStoEXIF używa biblioteki exiv2 do pisania danych EXIF i expat do analizowania plików

  • ASpider Wolna

    Solidny, wielowątkowy pająk internetowy CLI za pomocą apache commons httpclient v3.0 napisany w javie. ASpider pobiera wszystkie pliki pasujące do danego typu mime ze strony internetowej. Próbuje reg.exp. domyślnie dopasowu

  • Scene3DS Parser Wolna

    Niezwykle prosty w użyciu analizator 3ds. Wystarczy skonstruować obiekt Scene3DS, a następnie użyć publicznych funkcji odczytu do odczytu danych (takich jak obiekty siatki .etc).Jest to analizator - więc jego do Ciebie, aby

  • Weblogic to JBoss converter Wolna

    weblo2jboss jest weblogic do JBoss skrypt konwertera dla JBuilder 7 projektów przy użyciu CMP i fasoli sesji.

  • ArhebExtension Wolna

    arheb to rozszerzenie Firefoksa, które tłumaczy strony napisane w języku arabskim na skrypt hebrajski. Cała zawartość tekstowa stron jest automatycznie tłumaczona na skrypt hebrajski (jak w "meduberet").

  • Textual Analyzer Wolna

    P.A.N. (Poezja ANalyzer) używa konwencjonalnych reguł gramatycznych do rozbijania tekstu niekonwencjonalnego. Ten "Textual Analyzer&pozwala na zbadanie tekstu w niekonwencjonalny sposób, co pozwala na inną, świeżą no