Prześlij oprogramowanie
  1. W: strona główna
  2. Linux
  3. Innych
  4. Community Z Tools

Community Z Tools 1

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

Projekt Narzędzi Społeczności Z (CZT): Narzędzia do edycji, kontroli tekstu i animowania Z specyfikacji technicznych i powiązanych notacji. Zawiera platformę Java do tworzenia narzędzi metod formalnych.

historia wersji

  • Wersja 1_5_0 opublikowany na 2009-02-16
    Kilka poprawek i aktualizacji
  • Wersja 1_5_0 opublikowany na 2009-02-16

Szczegóły programu

Programy pokrewne

  • qDoc Bezpłatna wersja próbna

    Edytor raportów danych Burningbox qDoc to oprogramowanie, które może tworzyć raporty z baz danych. To oprogramowanie może uzyskać dostęp do większości popularnych baz danych. Można zdefiniować do 250 sekcji w dokumencie i dod

  • Simpletidy Wolna

    Simpletidy czyści i konwertuje strony internetowe do dobrze sformułowanego XHTML 1.0. Łatwy i prosty w użyciu interfejs. Czyści i naprawia kod HTML.Dodaje odpowiedni doctype.Rozwiązuje nakładające się zagnieżdżenia.Po

  • Xtrans Wolna

    Kompaktowy edytor do tworzenia szablonów XSL i testowania ich transformacji za pomocą dokumentów XML. Bardzo łatwy w użyciu. Nie wymaga konfiguracji, doskonałe narzędzie do tworzenia i debugowania XSL.

  • GeoMaker Wolna

    Utwórz bazę danych GeoDatabase dla całego świata. Ten program tworzy położenie geograficzne Szerokość, Długość geograficzna i Wysokość (Wysokość) dla każdego miasta, wsi, regionu, stanu, powiatu na świecie. Program indeksuje

  • MotoCast Wolna

    Przesyłaj strumieniowo całą kolekcję muzyki, list odtwarzania, zdjęć, filmów i dokumentów prosto z komputera! Brak przesyłania na serwer publiczny, nie martwisz się, że twoje urządzenie zabraknie miejsca. Dzięki MotoCast, ta

  • The Lemur Project Wolna

    Lemur Project rozwija wyszukiwarki, paski narzędzi przeglądarki, narzędzia do analizy tekstu i zasoby danych, które wspierają badania i rozwój oprogramowania do wyszukiwania informacji i eksploracji tekstu, w tym wyszukiwarki

  • Embedded Data Display System Wolna

    Wbudowany system wyświetlania danych zapewnia lekką przenośną bibliotekę serwerów C++ oraz klienta opartego na komputerze PC (Windows, Linux lub Mac), który przechwytuje i graficznie wyświetla dane generowane przez urządzenia

  • Eclipse CDT GNU PowerPC Plug-in Wolna

    Wtyczka dla narzędzia deweloperskiego Eclipse C/C++ (CDT), która dodaje nowe typy projektów specyficzne dla rozwoju programu PowerPC C/C++.

  • XRadar Wolna

    Otwarte, rozszerzalne narzędzie do analizy systemu dla oprogramowania Java, oparte na licznych inicjatywach analizy open source. Struktura przetwarzania wsadowego XML/XSL tworzy zintegrowane raporty HTML/SVG dotyczące bieżące

  • XML Conformance Testing Wolna

    Ten projekt obsługuje różne zasoby zaangażowane w testowanie zgodności dla XML i powiązanych standardów. Początkowo obsługuje testy XML (SAX/Java i DOM/JavaScript), ze schematem XML i innymi standardami przewidywanymi w najb