Projeto Final - Turma S71 - 2009.1
De Wiki DAINF
Equipes
- André Augusto Kaviatkovski, Felipe Lisboa, Suleiman Augusto Pavão Mahmoud
- Fábio Schuartz, Marcos Henrique da Silva
- André Augusto Dequech Carvalho, Maurício Okada, Lucas Godoi
- Claudio Akio Namikata, Daniel Elias Ferreira, Henrique Reinaldo Sarmanto
- Jorge Luiz dos Santos Ramos Junior, Kelvin Elton Nogueira da Silva, Dalton Erasmo dos Santos
- Augusto Marks Batista, Demétrius Manica Teixeira, Henrique Petroski Such
- Gionatta, Pedro, Victor
- Liége, Amanda, Cibele
- João Paulo Dupinska de Oliveira, Márcio Valença Ramos, Vinicius Zaramella
- Liége, Amanda, Cibele
- Cristiane, Rebeca, Liria.
- Marlon, Guilherme, Danilo.
- Eduardo Felipe Ewert Bonet
Obs.: Está faltando um aluno (ou aluna) entre os ainda não reporvados por falta. Este deve juntar-se ao Eduardo Bonet e formar uma equipe. Caso ele (ou ela) tenha desisistido, o Eduardo Bonet deve juntar-se à equipe do Fábio.
Descrição Informal
Obs.: Esta descrição estará sendo constantemente atualizada até o encerramento do trabalho.
A UTFPR, a maior e melhor Universidade Tecnológica do Brasil, possui vários professores-pesquisadores.
Estes professores muitas vezes estão sobrecarregados com várias tarefas: ministrar aulas, escrever artigos científicos, orientar alunos, etc.
O objetivo deste trabalho é especificar formalmente um sistema que auxilie os professores-pesquisadores da UTFPR a alcançar todos os seus objetivos.
Observações sobre o Documento a Ser Entregue
- O documento deverá ser elaborado em latex.
- A linguagem de especificação formal utilizada pode ser Z ou VDM-SL.
- Poderão ser utilizadas algumas extensões e simplificações vistas em sala de aula e colocadas nos exemplos disponíveis no EAD da disciplina.
