Projeto Final - Turma S71 - 2009.1
Tabela de conteúdo |
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.
Estrutura do Documento
- Capa
- Folha de rosto
- Índice
- Introdução
- Motivação
- Especificação Informal
- Especificação Formal
- Considerações Finais
- Referências
onde: a) capa, folha de rosto, índice e referências devem seguir o padrão descrito nas Normas para a Elaboração de Trabalhos Acadêmicos da UTFPR (http://www.utfpr.edu.br/documentos/normas_trabalhos_utfpr.pdf)
Operações a Especificar
Deverão ser especificadas formalmente no mínimo 10 operações.
Conjunto Mínimo
- Cadastrar Evento
- Cadastrar Avisos de Evento
- Registrar Envio de Artigo a Evento
- Registrar Recebimento de Resposta de Evento
Outras Operações
- Cadastrar Periódico
- Cadastrar Intenção de Escrever Artigo para Periódico
- Registrar Envio de Artigo para Periódico
- Registrar Recebimento de Resposta de Periódico
- Cadastrar Disciplina
- Cadastrar Avisos de Disciplinas
- Registrar Atividades em Disciplinas
- Encerrar Disciplina
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.
