Browsing Exact and Earth Sciences by Subject "Programação"
Now showing items 1-4 of 4
-
Aplicação do método Peer Instruction no ensino de algoritmos e programação de computadores
(2017) [Journal article]O presente trabalho discute e apresenta os resultados de um experimento realizado na disciplina de algoritmos e programação de computadores de uma escola pública, utilizando o método de ensino Peer Instruction (Instrução ... -
Control software specification and design : an overview
(1984) [Journal article]Resumo não disponível -
Introdução a métodos formais : especificação, semântica e verificação de sistemas concorrentes
(2000) [Journal article]Este tutorial apresenta uma visão geral de metodos formais para a especificação, semântica e verificação de sistemas concorrentes. Um mêtodo de especificação for- mal dá uma descrição precisa de um sistema em uma notação ... -
A new trend on the development of fault-tolerant applications : software meta-level architectures
(1997) [Journal article]The purpose of this paper is to investigate a clearly defined way of developing fault-tolerant applications using software meta-level architectures. Meta-level architectures are software architectures based on computational ...