Sign in

Alloy: a lightweight object modelling notation.

Daniel Jackson
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