Sign in

Composable semantics for model-based notations.

Jianwei NiuJoanne M. AtleeNancy A. Day
Published in: SIGSOFT FSE (2002)
Keyphrases
  • formal semantics
  • data driven
  • levels of abstraction
  • proof theory
  • modeling language
  • default reasoning
  • neural network
  • genetic algorithm
  • nonmonotonic logics