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

Syspect 1.5.0

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

Syspect jest narzędziem do określenia systemu przy użyciu diagramów UML2 i przełożenia ich na specyfikację CSP-OZ-DC w celu formalnej weryfikacji.

historia wersji

  • Wersja 1.5.0 opublikowany na 2010-05-11
    Kilka poprawek i aktualizacji
  • Wersja 1.5.0 opublikowany na 2010-05-11

Szczegóły programu

Programy pokrewne

  • Frankenstein Project: Hack the Genome Wolna

    Projekt Frankenstein: Hack genomuZbiór cennych narzędzi potrzebnych do analizy genomu, takich jak:- cząsteczka, przeglądarka struktury białka 3d- maszyna do wyrównywania białek- cloner- Narzędzia do manipulowania DN

  • Order Switchable Column Table (OSCT) Wolna

    Order Switchable Column Table (OSCT) jest ramą formatu tabulacji w biologii molekularnej. OSCT, opracowany w RIKEN OSC, zapewnia ogólne ramy do przechwytywania metadanych (takich jak plik wejściowy, protokół, parametry itp.),

  • Chemistry Terms Dictionary Wolna

    Pobierz kompletny słownik przewodnika chemicznego już dziś. Ta aplikacja zawiera ponad 1000 "Chemical Terms" wraz z ich Scientific Definitions.The użytkownik tej aplikacji może wyszukać definicje dla niektórych term

  • Zoorbar Wolna

    Zoorbar to aplikacja komputerowa przeznaczona do zarządzania i digitalizacji kolekcji Historii Naturalnej. - Rejestrowanie wszystkich identyfikatorów okazów. Jest on oparty na MS-Access. Kredyty i więcej informacji na http://

  • Turkish Human Mutation Database Wolna

    Szybka akumulacja danych dotyczących mutacji ludzkich doprowadziła do pomysłu utworzenia krajowej/etnicznej bazy danych w Turcji zatwierdzonej przez HUGO-MDI/HGVS. Interdyscyplinarny projekt hmut-tr zainicjowany w 1995 r. ma

  • Regex Creator Wolna

    Regex Creator to narzędzie pomagające w tworzeniu wyrażeń regularnych (regex). Celem jest, aby to było tak proste i tak szybko, jak to możliwe, aby utworzyć regex. Wklej tekst do analizy, należy określić wartości do wyodrębni

  • Lapack++ Wolna

    LAPACK++ to biblioteka do obliczeń algebry liniowej o wysokiej wydajności.Ta wersja obejmuje obsługę rozwiązywania systemów liniowych za pomocą LU, Cholesky,Faktoryzacja macierzy QR, dla macierzy rzeczywistych i złożonych

  • Buxa Code Documentor for PHP 6 Wolna

    Łatwy w użyciu interfejs API do dokumentowania projektów PHP (>= 5.3). Wynika to ze ścisłej struktury i pierwotnie, został napisany tylko dla Ramy Buxa. Dokumentator wykorzystuje głównie odbicie i tak... oczywiście, obsług

  • Moodle presubscribe Wolna

    Obiekt presubscribe może być używany z Moodle, aby dodać do niego pełne możliwości presubscribe. Moduł umożliwia użytkownikom presubscribe kurs (z powiadomieniem e-mail). Administrator Moodle może zatwierdzić tę subskrypcję e

  • di-base read Fast Alignment Search Tool Wolna

    Narzędzie do wyszukiwania szybkiego wyrównania dla odczytów di-base (przestrzeń kolorów; AB SOLiD). Uzupełniający program dla popularnej Illumina czytać mappers mrFAST i mrsFAST.