Instalando o Alloy Analyzer
O Alloy Analyzer 6 está disponível aqui (a versão latest
) como um arquivo jar e requer que Java esteja instalado na sua máquina.
O jeito mais fácil de utilizar a ferramenta é baixando o arquivo org.alloytools.alloy.dist.jar
no seu computador e iniciando-o clicando no ícone (Windows or Mac) ou tornando-o executável e executando-o com Java (Linux).
Atenção: Usuários de Mac podem querer instalar a versão nativa da ferramenta para Mac OS: alloy.dmg
.
Utilizando o Alloy Analyzer
Clique no menu “Help” no Analyzer para um tutorial de como usar a ferramenta.