Testable Use Cases in the Abstract State Machine Language.

Wolfgang Grieskamp Markus Lepper Wolfram Schulte Nikolai Tillmann

Published in: APAQS (2001)

Keyphrases

state machine
state machines
finite state machines
fault tolerant
language learning
programming language
natural language
modeling language
high level
database
test cases
case based reasoner
language processing
case based reasoning
case study
knowledge base
databases
data sets