Prześlij oprogramowanie
  1. W: strona główna
  2. Linux
  3. Innych
  4. B Compiler

B Compiler 19.05.2009

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

Kompilator B jest narzędziem, które może analizować modele B i przeprowadzać analizę składniową i semantyczną. Może być również używany jako biblioteka, połączony z aplikacjami manipulującymi modelami B (cross referencer, generator kodu, generator dokumentacji itp.).

historia wersji

  • Wersja bcomp%20source%2019.05.2009 opublikowany na 2009-05-19
    Kilka poprawek i aktualizacji
  • Wersja bcomp source 19.05.2009 opublikowany na 2009-05-19

Szczegóły programu

Programy pokrewne

  • SEO - Keyword Checker Bezpłatna wersja próbna

    Analizuj dowolną stronę internetową i sprawdzaj, czy nie ma najczęściej używanych słów kluczowych

  • Finite State Machine Language Wolna

    Język, w którym należy określić maszyny o stanie skończonego. Maszyny te są następnie implementowane w różnych językach, a nawet w różnych modelach w tych językach, za pomocą kodu generowanego przez fsmlang. Ponadto, tabela

  • MVR Composer Wolna

    Kompozytor regresji wielowymiarowej, przybornik Matlab. Generuje model regresji optymalnej struktury. Używa zestawu danych źródłowych, modeli początkowych i funkcji pierwotnych.

  • Design Pattern Automation Toolkit Wolna

    Zestaw narzędzi do projektowania aplikacji przy użyciu wzorców projektowych, z możliwością generowania kodu i inżynierii odwrotnej. Przeciągnij i upuść obiektu do tworzenia diagramów klasy UML Wsparcie do pisania niestandardo

  • Software Build System Wolna

    Krypton jest narzędziem do tworzenia oprogramowania, które stosuje paradygmat zorientowany na artefakty do kompilacji, zgodnie z którą skupiamy się na tym, co jest budowane, a nie na tym, jak jest budowane. Standardowa biblio

  • MammoothLibrary Wolna

    MammoothLibrary to zbiór klas C++, przeznaczony głównie do dostarczania wielowątkowe przenośne ramy, z bardzo prostych w użyciu dyrektyw do tworzenia i zarządzania wątkami i gniazdami. Rdzeń jest oparty na modelu SCOOP, oprac

  • codavaj - javadoc in reverse Wolna

    codavaj - javadoc w odwrotnej kolejności. Pozornie bezużyteczne narzędzie inżynierii odwrotnej do przekształcania html javadoc w szkielety plików źródłowych java - lub odbicie api-jak reprezentacja wewnętrzna.

  • yaf Wolna

    yaf! oznacza Jeszcze jeden Fotoalbum! i jest kolejnym albumem fotograficznym skrypt CGI.

  • GuardX Antivirus Bezpłatna wersja próbna

    Boisz się, że twój telefon zostanie zainstalowany złośliwą aplikację lub twoje dane osobowe zostaną skradzione? Następnie użyj GuardX. Chroni aplikacje przed złośliwymi i szpiegowskimi oprogramowaniami. Za pomocą GuardX tel

  • Redmine Client Wolna

    Redmine Client to bezpłatne i otwarte narzędzie do raportowania czasu poświęconego na problemy i tworzenia problemów w Redmine Project Management System i biblioteki funkcji hermetyzujących cechy Redmine Project Management Sy