Alloy: a lightweight object modelling notation.

Published in: ACM Trans. Softw. Eng. Methodol. (2002)

Keyphrases

lightweight
complex objects
d objects
moving objects
target object
object recognition
multiple objects
dos attacks
communication infrastructure