Results 1 -
2 of
2
Alloy: A New Object Modelling Notation
"... Alloy is a lightweight, precise and tractable notation for object modelling. It attempts to combine the practicality of UML's static structure notation with the rigour of Z, and to be expressive enough for most object modelling problems while remaining amenable to automatic analysis. Alloy has a ..."
Abstract
- Add to MetaCart
Alloy is a lightweight, precise and tractable notation for object modelling. It attempts to combine the practicality of UML's static structure notation with the rigour of Z, and to be expressive enough for most object modelling problems while remaining amenable to automatic analysis. Alloy has a
Information and Computation 207 (2009) 258–283 Contents lists available at ScienceDirect
"... Information and Computation journal homepage: www.elsevier.com/locate/ic ..."
