Skip to main content
Link
Menu
Expand
(external link)
Document
Search
Copy
Copied
Matemática Discreta
Aulas
Avaliações
Instalando o Alloy Analyzer
Notes
Introdução a Alloy
Introdução a Alloy
Leituras
Leituras recomendadas
Materiais
Leituras
Slides com uma introdução a Alloy geral
Slides sobre definição de restrições lógicas em Alloy
Leituras recomendadas
Alloy
FAQ
Tutorial para o Alloy Analyzer tutorial, por Greg Dennis e Rob Seater [
parte 1
,
parte 2
]
Materiais
Um modelo de estrutura familiar em Alloy:
family.als
Um modelo de estrutura acadêmica em Alloy (com variações):
academia-1.als
,
academia-2.als
,
academia-3.als