Refactoring of Statecharts.

Moria Abadi Yishai A. Feldman

Published in: NGITS (2009)

Keyphrases

class diagrams
object oriented systems
source code
software systems
reactive systems
software evolution
conceptual modeling
agent oriented
model checker
artificial intelligence
data quality
model checking
open source
object oriented
test generation
evolutionary algorithm
expert systems
multi agent
databases