Jackson, Daniel "Alloy: A Lightweight Object Modelling Notation" ACM pp256?290 (2002) |
(2002) Information and Software Technology 44(4) 31 March 2002
Languages mentioned
- ALLOY {2002} Object modelling language
- Catalysis {1998} Object modelling language
- Fusion {1994} Object modelling language
- OCL {1999} Object Constraint Language
- Syntropy {1994} Object modelling language
|
|
|