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

Maude MSOS Tool

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 3.0/5 - ‎1 ‎Votos
Download

Maude MSOS Tool é um ambiente formal para especificação de semântica operacional estrutural modular. É particularmente útil para a especificação formal de linguagens de programação e 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 Livre

    Intuitive Neural Network é um software concieved para fins CAE (Computer Aided Education) em Inteligência Artificial.

  • Digital Camera EXIF Backup Livre

    Simples aplicativo DE BACKUP EXIF Java que lê a marca da data tirada de uma imagem e clona o arquivo para um local de destino usando uma estrutura de diretório padrão de data predefinida.

  • TUPA - The Ultimate PowerDNS Admin Livre

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

  • Surfraw - Shell Revolutionary Front Livre

    Surfraw - Frente Revolucionária dos Usuários da Shell Rage Against the Web. A Surfraw fornece uma interface rápida de linha de comando unix para uma variedade de populares mecanismos de busca WWW e outros artefatos de energia

  • Cybios Digital Community Livre

    Cybios é uma comunidade online de Game-Cybercommunity baseada em Avatares que interage em cidades virtuais. Como avatar, você pode viver, trabalhar e jogar na comunidade digital como o RealWorld. Em Cybios tudo poderia aconte

  • OWLmt Livre

    O OWLmt é uma ferramenta de mapeamento de ontologia baseada nas especificações da Linguagem de Ontologia da Web (OWL). Ele fornece uma interface gráfica do usuário para definir os mapeamentos entre dois esquemas de ontologia.

  • Maven Wiki Plugin Livre

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

  • Input Abstraction Layer Livre

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

  • iChooChoo Livre

    iChooChoo é um simulador de trem em rede baseado em Java, completo com som e animações. Crie layouts de pista personalizados e até mesmo os trens visitem outros computadores! Design de programação modular. Funciona e inter

  • Commons for Java 5 Livre

    Uma solução para problemas comuns em java usando os novos recursos de linguagem, como anotações de genéricos autoboxing varargs...