Detecting interference when merging specification evolutions.

Martin S. Feather

Published in: IWSSD (1989)

Keyphrases

high level
formal specification
automatic detection
artificial intelligence
decision making
data sets
real world
artificial neural networks
wireless sensor networks
user defined
formal methods