Enviar Software
  1. Casa
  2. Windows
  3. Outros
  4. Maude MSOS Tool

Maude MSOS Tool

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 3.0/5 - ‎1 ‎votos
Baixar

A Ferramenta Maude MSOS é um ambiente formal para a especificação das especificações modulares da semântica operacional estrutural. É particularmente útil para a especificação formal das linguagens de programação e dos sistemas simultâneos.

história da versão

  • Versão N/A postado em 2011-08-12
    Várias correções e atualizações
  • Versão N/A postado em 2011-08-12

Detalhes do programa

Programas Relacionados

  • Intuitive Neural Network Grátis

    A Rede Neural Intuitiva é um software concievado para fins cae (Computer Aided Education) em Inteligência Artificial.

  • Digital Camera EXIF Backup Grátis

    Aplicação de reserva exif simples Java que lê a data tirada de uma imagem e clona o ficheiro para um local alvo usando uma estrutura de diretório de padrão de data predefinida.

  • TUPA - The Ultimate PowerDNS Admin Grátis

    TUPA é um frontend de administração webbased PowerDNS programado em PHP/Javascript(AJAX) / MySQL.Suporta a criação de grupos, utilizadores e modelos.

  • Surfraw - Shell Revolutionary Front Grátis

    Surfraw - A Raiva Revolucionária da Frente Revolucionária dos Utilizadores da Shell Contra a Web. A Surfraw fornece uma interface de linha de comando unix rápida para uma variedade de motores de pesquisa www populares e outro

  • Cybios Digital Community Grátis

    Cybios é uma comunidade online game-cyber baseado em Avatars que interage em cidades virtuais. Como Avatar podes viver, trabalhar e jogar na comunidade digital como o RealWorld. Em Cybios tudo pode acontecer. (encontrar amigo

  • OWLmt Grátis

    OWLmt é uma ferramenta de mapeamento de ontologia baseada nas especificações web ontotologia (OWL). Fornece uma interface gráfica do utilizador para definir os mapeamentos entre dois esquemas de ontologia. Fornece um motor pa

  • Maven Wiki Plugin Grátis

    O Maven Wiki Plugin recupera documentação de diferentes Sistemas Wikis e cria ficheiros XDoc para posterior processamento por outros plugins Maven, como o plugin PDF ou o plugin XDoc.

  • Input Abstraction Layer Grátis

    Input Abstraction Layer (IAL) é um projeto que faz chaves especiais (por exemplo, teclas multimédia, teclas de função encontradas em cadernos) "just work". O IAL fornece um daemon que pode ser melhorado por módulos.

  • iChooChoo Grátis

    IChooChoo é um simulador de comboio em rede baseado em Java, completo com som e animações. Crie layouts de pistas personalizados e até os comboios visitem outros computadores! Design de programação modular. Funciona e inte

  • Commons for Java 5 Grátis

    Uma solução para problemas comuns no java usando as novas características linguísticas, tais como anotações genéricas de autoboxing varargs...