Alloy Language

The Alloy specification language is a simple structural modelling tool based on first-order logic. Alloy is targeted at the creation of micro-models of software systems that can then be automatically checked for correctness.

External links

 

<< PreviousWord BrowserNext >>
1839 in science
african socialism
matthew griswold
fijian alliance
matthew griswold (governor)
quraish
matthew griswold (congressman)
black faced woodswallow
florinda meza
hms revenge
sam spade
1840 in science
bash.org
lemonade
arbetarmakt
patterson's curse (band)
el siddiq
1841 in science
walloon
house wren
broken arrow
castle morpeth
elizabeth fraser
vale of white horse
rock wren
1842 in science
walter a. shewhart
mick goodrick
genootskap vir regte afrikaners
coordinates (elementary mathematics)
william hopkins
khalid bin walid
clarence irving lewis
james p. hoffa
martin o'neill
thomas beckington
shahzadi
paul stacey
oc
new ross
john stafford
martin o'neill (footballer)
cal poly
frank rudolph wolf
Copyright 2005-2009 OnPedia.com. All Rights Reserved