Login / Signup
Under-specification and contextual variability of abstract.
Alda Mari
Published in:
SENSEVAL (2002)
Keyphrases
</>
high level
state machines
contextual information
specification language
low level
context sensitive
formal specification
formal verification
higher level
software product line
real world
data mining
web services
multiscale
artificial neural networks
programming language