Apresentação
Autor: Jorge Rady de Almeida Junior
Esse programa é um ambiente gráfico de desenvolvimento e simulação do formalismo dos statecharts de Harel, aos quais foi acrescentada uma camada adaptativa, transformando-os em statecharts adaptativos. Esse formalismo implementa uma ferramenta muito interessante para uso na especificação, teste e depuração de sistemas reativos, com sincronismo implícito, e com topologia autonomamente variável em tempo de execução. A ferramenta pode ser utilizada também de forma simplificada para a especificação de sistemas síncronos e estáticos.
