Enviar software
  1. Casa
  2. Windows
  3. Outros
  4. ER Model Transformation
  5. Download

ER Model Transformation

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

Sobre ER Model Transformation

Entidades e relacionamentos são especificados como tipos definidos pelo usuário. Usaremos a ferramenta de prova PVS. A verificação envolve provar as condições de correção do tipo geradas automaticamente pelo verificador de tipo.

Programas Relacionados

  • Guile XMMS Livre

    Um conjunto de vinculações que permitem que os programas Guile controlem xmms.

  • Gnome 2 applet simplified Livre

    Gnomo 2 applet simplificado é um athempt para fazeré mais fácil escrever maçãs de painel gnome 2 e para portar applets de vidraçairo. É uma biblioteca/skelleton que fornece as funções mais comuns que vocêprecisa quando

  • DataStructures,Algorithms,AutomataTheory Livre

    uma biblioteca de classe contendo uma coleção de estruturas de dados, alguns algoritmos de acordo com técnicas de design de algoritmos, algumas descrições sobre essas técnicas coletadas por mim, algoritmos sobre linguagens fo

  • Sky Pilot Livre

    Sky Pilot é uma nova implementação da linguagem de programação PILOT padrão IEEE. É portátil para todos os sistemas operacionais modernos, e foi projetado para ser fácil de usar e atualizado.

  • MCRS-Radio Scheduler Livre

    O MCRS está destinado a servir como um software de agendamento para estações de rádio. O objetivo é fornecer uma alternativa aos produtos comerciais expencive para tocar música, ginggles e publicidade em sistemas de estações

  • RACER Project Livre

    Coleção de Projetos e Ferramentas a serem utilizadas com o motor de raciocínio semântico RacerPro. RacerManager é o primeiro projeto disponível nesta coleção. RacerManager foi desenvolvido para servir como um servidor de apli

  • XFiler Livre

    XFiler é um sistema de gerenciamento de conteúdo baseado em J2EE que permite ao usuário arquivar conteúdo, metadados de perfil, manter o histórico de versão e acesso seguro.

  • Star Template for JSPWiki Livre

    "Modelo estelar para JSPWiki" é um modelo para JSPWiki (jspwiki.org). Nós fornecemos edição chinesa simplificada agora, e pode ser que forneceremos inglês, tradicional chinês, japonês no futuro. É licenciado de acor

  • Orangevolt EclipseXUL Livre

    EclipseXUL é um Recurso eclipse adicionando suporte XUL à plataforma Eclipse. O recurso inclui assistentes, editores, naturezas, configurações de lançamento, ajuda on-line etc. EclipseXUL é substituído por XULBooster (http://

  • cairngorm Livre

    Cairngorm estabelece as bases para a entrega de projetos flex e AIR bem-sucedidos.