Search ID
alloy.mit.edu
Alloy Community
URLs from
alloy.mit.edu
:
URL:
http://alloy.mit.edu
/
Tags:
verification
design
development
analysis
tool
computer
architecture
testing
functional
model
mit
theory
softwareengineering
alloy
modeling
logic
language
engineering
tools
software
free
opensource
programming
reference
research
URL:
http://alloy.mit.edu
Queries:
http www.alloy.c om
www.alloymodels.com
alloy
URL:
http://alloy.mit.edu
/alloy4/tutorial4/index.html
Tags:
tutorial
informatique
cours
formation
techniques
alloy
modélisation
tools
URL:
http://alloy.mit.edu
/community/
Tags:
language
programming
modeling
logic