Prototipagem e implementação de especificações LOTOS utilizando um ambiente para desenvolvimento de sistemas de tempo real

Prototipagem e implementação de especificações LOTOS utilizando um ambiente para desenvolvimento de sistemas de tempo real

Eilson Barbosa Medeiros

DISSERTAÇÃO

Português

(Broch.)

T/UNICAMP M468p

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

1v. (varias paginações) : il.

Orientador: Mauricio Ferreira Magalhães

Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica

Resumo: O processo de projeto e realização de sistemas é uma tarefa não trivial principalmente quando consideramos o desenvolvimento de sistemas complexos. Uma proposta que tem sido recentemente discutida é a definição de uma metodologia baseada em técnicas de descrição formais, para suportar as...

Abstract: Not informed.

Prototipagem e implementação de especificações LOTOS utilizando um ambiente para desenvolvimento de sistemas de tempo real

Eilson Barbosa Medeiros


										

Prototipagem e implementação de especificações LOTOS utilizando um ambiente para desenvolvimento de sistemas de tempo real

Eilson Barbosa Medeiros

    Exemplares