Ver código-fonte

= 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.