Statecharts and Variabilities.

Nora Szasz Pedro Vilanova

Published in: VaMoS (2008)

Keyphrases

class diagrams
agent oriented
conceptual modeling
formal methods
model checker
reactive systems
social networks
test generation
databases
information systems
knowledge base
multi agent
open source
model checking
regression testing