Abstract Commands: a Uniform Notation for Specification and Implementation.

Published in: Electron. Notes Theor. Comput. Sci. (2001)

Keyphrases

web services
high level
state machines
decision making
bayesian networks
efficient implementation
specification language
data mining
case study
data structure
software development
modeling language
formal specification
implementation details