Language and Tool Support for Class and State Machine Refinement in UML-B.

Mar Yah Said Michael J. Butler Colin F. Snook

Published in: FM (2009)

Keyphrases

state machine
tool support
finite state machines
state machines
fault tolerant
software development
design decisions
software tools
software engineering
trade off
specification language
artificial intelligence
training set
modeling language
conceptual models
uml class diagrams