Execução Programada de Statecharts.

João W. L. Cangussu Paulo César Masiero José Carlos Maldonado

Published in: SBES (1993)

Keyphrases

agent oriented
conceptual modeling
class diagrams
reactive systems
test generation
machine learning
multi agent systems
decision making
formal methods
model checker
sequence diagrams