Sciweavers

TOSEM
2002
93views more  TOSEM 2002»
13 years 3 months ago
Alloy: a lightweight object modelling notation
Alloy is a little language for describing structural properties. It offers a declaration syntax compatible with graphical object models, and a set-based formula syntax powerful en...
Daniel Jackson