Projeto Final - Turma S71 - 2009.1
(→Equipes) |
(→Estrutura do Documento) |
||
(25 edições intermediárias de 8 usuários não apresentadas) | |||
Linha 1: | Linha 1: | ||
= Equipes = | = Equipes = | ||
− | # André Augusto Kaviatkovski, Felipe Lisboa, Suleiman Augusto Pavão | + | # André Augusto Kaviatkovski, Felipe Lisboa, Suleiman Augusto Pavão Mahmoud |
# Fábio Schuartz, Marcos Henrique da Silva | # Fábio Schuartz, Marcos Henrique da Silva | ||
# André Augusto Dequech Carvalho, Maurício Okada, Lucas Godoi | # André Augusto Dequech Carvalho, Maurício Okada, Lucas Godoi | ||
# Claudio Akio Namikata, Daniel Elias Ferreira, Henrique Reinaldo Sarmanto | # 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. |
Edição atual tal como 14h10min 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.
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.