Alloy: A Lightweight Object Modelling Notation

Alloy: A Lightweight Object Modelling Notation (2001)

by Daniel Jackson

Citations:

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Alloy: A Lightweight Object Modelling Notation	user correction - Legacy Corrections
AUTHOR NAME	Daniel Jackson	SVM HeaderParse 0.1
AUTHOR AFFIL	Laboratory for Computer Science; Massachusetts Institute of Technology	SVM HeaderParse 0.2
ABSTRACT	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 enough to express complex constraints and yet amenable to a fully automatic semantic analysis. Its meaning is given by translation to an even smaller (formally defined) kernel. This paper presents the language in its entirety, and explains its motivation, contributions and deficiencies.	user correction - Legacy Corrections
YEAR	2001	user correction - Legacy Corrections
CITATIONS	13 found	ParsCit 1.0