Feature-based Development of State Transition Diagrams with Property Preservation.

Christian Prehofer

Published in: MoDeVVa@MoDELS (2013)

Keyphrases

state transition
black box
state transitions
case study
software engineering
input output
state transition model
state space
artificial intelligence
hidden markov models
markov chain
development process
software design
computer vision
probability distribution
test set