Отправить программное обеспечение
  1. Дома
  2. Windows
  3. Других
  4. Maude MSOS Tool

Maude MSOS Tool

Лицензии: Бесплатный ‎Размер файла: N/A
‎Рейтинг пользователей: 3.0/5 - ‎1 ‎Голосов
Скачать

Maude MSOS Tool является формальной средой для спецификации модульных структурных эксплуатационных спецификаций семантики. Это особенно полезно для формальной спецификации языков программирования и параллельных систем.

история версии

  • Версия N/A размещено на 2011-08-12
    Несколько исправлений и обновлений
  • Версия N/A размещено на 2011-08-12

Подробная информация о программе

Похожие программы

  • Intuitive Neural Network Бесплатный

    Интуитивная нейронная сеть — это программное обеспечение, созданное для целей CAE (Computer Aided Education) в области искусственного интеллекта.

  • Digital Camera EXIF Backup Бесплатный

    Простое резервное java-приложение EXIF, которое считывает дату, взятую из изображения, и клонирует файл в целевое местоположение с помощью заранее выясовавой структуры каталога шаблонов дат.

  • TUPA - The Ultimate PowerDNS Admin Бесплатный

    TUPA является веб-powerDNS администрации интерфейс программы в PHP / Javascript (AJAX) / MyS'L.Поддерживает создание групп, пользователей и шаблонов.

  • Surfraw - Shell Revolutionary Front Бесплатный

    Surfraw - Shell пользователей революционного фронта ярость против Интернета. Surfraw обеспечивает быстрый интерфейс командной линии unix для различных популярных поисковых систем WWW и других артефактов власти. Оставить GUI и

  • Cybios Digital Community Бесплатный

    Cybios - это онлайн-игра-киберсообщение, основанное на Аватарах, которая взаимодействует в виртуальных городах. Как Аватар вы можете жить, работать и играть в цифровом сообществе, как RealWorld. В Сибиосе все может случиться.

  • OWLmt Бесплатный

    OWLmt — это онтологический картографический инструмент, основанный на спецификациях Web Ontology Language (OWL). Он обеспечивает графический пользовательский интерфейс для определения карт между двумя онтологическими схемами.

  • Maven Wiki Plugin Бесплатный

    Maven Wiki Plugin получает документацию из различных систем Wikis и создает файлы XDoc для дальнейшей обработки другими плагинами Maven, такими как плагин PDF или плагин XDoc.

  • Input Abstraction Layer Бесплатный

    Входной уровень абстракции (IAL) - это проект, который делает специальные клавиши (например, мультимедийные клавиши, функциональные клавиши, найденные на ноутбуках) .quot;just work-quot;. IAL обеспечивает daemon, который може

  • iChooChoo Бесплатный

    iChooChoo — это сетевой тренажер для поездов на базе Java, в комплекте со звуком и анимацией. Создавайте пользовательские макеты трасс и даже посещайте другие компьютеры! Модульная конструкция программирования. Работает и

  • Commons for Java 5 Бесплатный

    Решение общих проблем в Java с использованием новых языковых функций, таких как аннотации дженериков autoboxing varargs ...