| 2000 |
Trabalho em evento |
A Web Teaching System Based on Formal Methods
Carlos Tadeu Queiroz De MORAIS; Júlio Henrique Araújo Pereira MACHADO; Paulo Blauth MENEZES; Ricardo A L REIS
ICEUT - International Conference on Educational Uses of Communication and Information Technologies; IFIP World Computer Congress
|
PS
Computer Science Applications
|
| 1999 |
Trabalho em evento |
Autômatos Finitos: um formalismo para cursos na web
Júlio Henrique Araújo Pereira MACHADO; Leonardo PENCZEK; Carlos Tadeu Queiroz De MORAIS; Paulo Blauth MENEZES
XIII Simpósio Brasileiro de Engenharia de Software
|
PS
Software
|
| 1999 |
Trabalho em evento |
Exercícios e Avaliação Interativa Mediada por Computador Baseada em Sistemas Formais
Carlos Tadeu Queiroz De MORAIS; Júlio Henrique Araújo Pereira MACHADO; Paulo Blauth MENEZES; Mauro Nogueira De OLIVEIRA
X Simpósio Brasileiro de Informática na Educação
|
SH
Education
|
| 1999 |
Trabalho em evento |
Computer in Classroom: impact on the environment and on the relatioships
Mauro Nogueira De OLIVEIRA; Júlio Henrique Araújo Pereira MACHADO; Carlos Tadeu Queiroz De MORAIS; Paulo Blauth MENEZES
International Conference on Engineering and Computer Education
|
PS
Computer Science Applications
|
| 1999 |
Trabalho em evento |
Autômatos Finitos: um formalismo para cursos na web
Júlio Henrique Araújo Pereira MACHADO; Leonardo PENCZEK; Carlos Tadeu Queiroz De MORAIS; Paulo Blauth MENEZES
XIII Simpósio Brasileiro de Engenharia de Software.
|
PS
Computer Science (miscellaneous)
|
| 1998 |
Trabalho em evento |
Study of Rooms for the Teaching Mediated by Computers
Carlos Tadeu Queiroz De MORAIS; Paulo Blauth MENEZES; Júlio Henrique Araújo Pereira MACHADO
International Conference on Engineering and Computer Education
|
PS
Computer Science Applications
|