Tabela de conteúdo

Orientações

Obs.: usar o formato descrito nas NORMAS PARA ELABORAÇÃO DE TRABALHOS ACADÊMICOS da UTFPR (ver página 15).

Obs.: pode ser simplicado se for o caso.

Revisão Bibliográfica com o estado da arte sobre o tema/problema a ser resolvido e/ou descrição detalhada do ambiente de negócios focalizado, mostrando a situação ATUAL da empresa e como ela seria beneficiada com a implantação do SISTEMA INFORMACIONAL proposto.
ESPECIFICAÇÃO INFORMAL:
- Descrição detalhada do problema
- DFDs
  - DFD de nível 0 (geral)
  - DFDs de nível 1 (processo por processo)
- Descrição informal de cada processo
Revisão Bibliográfica com o estado da arte sobre as ferramentas/técnicas/metodologias já existentes e as suas falhas/desvantagens e perspectivas.

Obs.: pode ser simplicado se for o caso.

Especificação do Sistema Desenvolvido Utilizando a Metodologia de Análise e Projeto apropriada.
Especificação Formal:
- Tipos do sistema
- Estado do Sistema
  - Inicialização do estado do sistema
- Descrição formal de cada processo
  - Pré-condições
  - Pós-condições
  - Invariantes

Ao menos um (1) exemplo completo de utilização passo-a-passo do sistema que permita verificar a correspondência das especificações e testes descritos no item anterior
Resultados atingidos (descrições das condições experimentais e estudo das distribuições estatísticas dos resultados, quando aplicável). No caso de Sistemas de Informação descrição do ambiente de uso e/ou cenário de implantação
(SE FOR O CASO) Análise qualitativa/quantitativa dos resultados atingidos e comparação dos mesmos com outras implementações/técnicas semelhantes e/ou análogas

Lucas Campos Silva, Marcelo Butzke Leopoldino, Isaac Toyoshi Takiguchi Jr.
Rubens Carlos Meggetto Junior, Estevan Frederico Pasquetta Jantsk, Thomaz Teodorovicz
Daniel Felipe Warkentin(*), Raul Vitor Tessaro Esteves
Cristiano De Oliveira Viana Correia, Jonatas Da Luz, Luan Nestor Vageti Aruquipa
Emerson Shigueo Sugimoto, Rodrigo Cirino De Andrade, Vagner Vengue
Ana Paula Ferreira(*), Fernando Bozza, Vanessa Maria Da Silva
Bruno Milczewski, Mario Sergio Esperanca Silva, Thiago Vinicius Pereira
Andressa Caroline Portes Da Cunha, Melina Deraldo Dos Santos, Thays Boiko
Fernando Hiroshi Suemitsu, Bruno Guilherme Andretta De Miranda, Matheus Alves De Souza
Andrei Magaievski, Andre Luiz De Lacerda, Ricardo Trizzolini Piekarski
Andre Hoeldtke Castro, Rafael Oliveira Tavares Pinto, Vinicius Andreatta
Bruna Pereira Segan, Leticia Ueda, Kelly Cristina Schultz
Eduardo Carvalho Zanello, Gregorio Ivanchechen De Mattos, Pablo Kravicz, Ana Cristina Da Silva

(*) significa que em Lógica para Computação já estão reprovados por falta.

Formato: dia (em junho de 2009) - hora - local ":" número da equipe