Projeto Final - Turma S71 - 2009.1

Equipes

1. André Augusto Kaviatkovski, Felipe Lisboa, Suleiman Augusto Pavão Mahmoud
2. Fábio Schuartz, Marcos Henrique da Silva
3. André Augusto Dequech Carvalho, Maurício Okada, Lucas Godoi
4. Claudio Akio Namikata, Daniel Elias Ferreira, Henrique Reinaldo Sarmanto
5. Jorge Luiz dos Santos Ramos Junior, Kelvin Elton Nogueira da Silva, Dalton Erasmo dos Santos
6. Augusto Marks Batista, Demétrius Manica Teixeira, Henrique Petroski Such
7. Gionatta, Pedro, Victor
8. Liége, Amanda, Cibele
9. João Paulo Dupinska de Oliveira, Márcio Valença Ramos, Vinicius Zaramella
10. Liége, Amanda, Cibele
11. Cristiane, Rebeca, Liria.
12. Marlon, Guilherme, Danilo.
13. 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

1. Introdução
   1. 1. Motivação
2. Especificação Informal
3. Especificação Formal
4. 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.