Composable semantics for model-based notations.

Jianwei Niu Joanne M. Atlee Nancy 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