Donald Bren School of Information and Computer Sciences

SpecCharts is a language intended for system level specification and synthesis. Its blending of hierarchical state-diagrams with programming constructs permits description of event-driven systems as a true hierarchy of behaviors, unlike existing languages. Through many examples, we show in this report how a language with an underlying model of behavioral hierarchy greatly aids concise and comprehensible specifications obtained with minimal effort.