LCS Publication Details
Publication Title: Alloy: A Lightweight Object Modelling Notation
Publication Author: Jackson, D.
Additional Authors:
LCS Document Number: MIT-LCS-TR-797
Publication Date: 2-1-2000
LCS Group: Software Design
Additional URL: No URL Given
Abstract:
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 am
To obtain this publication:

    To purchase a printed copy of this publication please contact MIT Document Services.