Small Specifications for Tree Update.

Philippa Gardner Mark J. Wheelhouse

Published in: WS-FM (2009)

Keyphrases

real time
tree structure
information systems
formal specification
frequent updates
knowledge base
small number