specgen: A Tool for Modeling Statecharts in CSP.

Brandon Shapiro Chris Casinghino

Published in: NFM (2017)

Keyphrases

constraint satisfaction problems
sequence diagrams
reactive systems
neural network
constraint satisfaction
databases
data mining
artificial intelligence
information systems
modeling language
modeling method
decomposition methods
modeling tool
class diagrams