TBP: Code-Oriented Component Behavior Specification.

Jan Kofron Tomás Poch Ondrej Sery

Published in: SEW (2008)

Keyphrases

code generation
high level
source code
video sequences
control flow
qualitative simulation
bayesian networks
software engineering
business rules
state transition
dynamic behavior