Projeto Final - Turma S71 - 2009.1
(→Conjunto Mínimo de Operações a Especificar) |
(→Operações a Especificar) |
||
Linha 30: | Linha 30: | ||
== Operações a Especificar == | == Operações a Especificar == | ||
+ | Deverão ser especificadas formalmente no mínimo 10 operações. | ||
=== Conjunto Mínimo === | === Conjunto Mínimo === |
Edição de 13h51min de 10 de junho de 2009
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.
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.