Um processo de sintese de sistemas reativos

Um processo de sintese de sistemas reativos

Antonio Gonçalves Figueiredo Filho

DISSERTAÇÃO

Português

T/UNICAMP F469p

Campinas, SP : [s.n.], 1991.

[112]f. : il.

Orientador: Hans Kurt Edmund Liesenberg

Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação

Resumo: Esta dissertação apresenta um gerador de programas adequado para implementar o controle de sistemas reativos complexos. Este processo de geração consiste em uma síntese de sistemas reativos a partir de uma especificação, baseada em estadogramas. Os estadogramas são diagramas de estados...

Abstract: A Program generator appropriate to implement the complex reactive systems control is presented. This generation process consists in a synthesis of reactive systems from a statecharts-based specification. Statecharts are a broad extension of conventional state diagrams supporting the notion...

Um processo de sintese de sistemas reativos

Antonio Gonçalves Figueiredo Filho


										

Um processo de sintese de sistemas reativos

Antonio Gonçalves Figueiredo Filho

    Exemplares