Sign in

Alloy: A Logical Modelling Language.

Daniel Jackson
Published in: ZB (2003)
Keyphrases
  • modelling language
  • formal semantics
  • learning scenarios
  • learning design
  • adaptive learning
  • ims ld
  • knowledge representation