Exercises in Style (Alpha Specifications).

Uri Abraham Tamar Pinhas

Published in: Fundam. Informaticae (2003)

Keyphrases

delay insensitive
formal specification
learning guide
real time
functional requirements
control flow
databases
data mining
information retrieval
data structure
multi agent systems
data model
finite state machines
attribute grammars