Engenharia de Software

As dissertações de mestrado da área de concentração de Engenharia de Software do Mestrado Profissional em Engenharia de Computação do IPT devem estar vinculadas a uma das linhas de pesquisa cujos escopos são descritos a seguir. Observe-se que as descrições de escopo são indicativas e não apresentam uma enumeração completa dos temas possíveis. O critério de aceitação do tema e dos objetivos das dissertações é que possuam uma alta coesão conceitual com uma linha de pesquisa.

Linhas de pesquisa

LP1. Engenharia de Requisitos de Software.
Os principais temas incluídos nesta linha são: fundamentos teóricos de requisitos, processo da engenharia de requisitos, elicitação de requisitos, análise de requisitos, especificação de requisitos, especificação formal de requisitos, validação de requisitos, gestão de requisitos, fundamentos da interação homem-computador, requisitos de usabilidade, e prototipação.

LP2. Projeto (design) de Software.
Os principais temas incluídos nesta linha são: fundamentos do projeto (design) de software, arquitetura de software, avaliação do projeto de software, linguagens e notações para o projeto de software, métodos e modelos do projeto de software, métodos formais aplicados ao projeto de software, fundamentos da construção de software, métodos e técnicas de implementação de software, arquitetura de interface homem-computador, e métodos e técnicas para o projeto da interface homem-computador.

LP3. Verificação e Validação de Software.
Os principais temas incluídos nesta linha são: fundamentos da verificação e validação de software (V&VS), processo de V&VS, fundamentos do teste de software, técnicas de teste, medidas de teste, e processo de teste.

LP4. Processos de Engenharia de Software
Os principais temas incluídos nesta linha são: definição de processo de software, implementação e configuração de processo, avaliação de processo, medidas de processo e produto, gestão de projeto de software, gestão de configuração de software, fundamentos da manutenção de software, e técnicas de manutenção.

LP5. Métodos e Ferramentas de Engenharia de Software
Os principais temas incluídos nesta linha são: ferramentas de engenharia de software como suporte para os temas das linhas de pesquisa, avaliação de ferramentas de engenharia de software, e métodos específicos para a solução de problemas dos temas das linhas de pesquisa.

LP6. Qualidade de Software
Os principais temas incluídos nesta linha são: fundamentos da qualidade de software, gestão da qualidade de software, e métricas de qualidade de software.

LP7. Banco de Dados
Os principais temas incluídos nesta linha são: fundamentos de banco de dados, análise e projeto de banco de dados, banco de dados distribuídos, avaliação de sistemas de bancos de dados, administração de banco de dados, datawarehouse, mineração de dados, e aplicações de bancos de dados.

LP8. Sistemas de Informação
Exemplos de temas incluídos nesta linha são: fundamentos de sistemas de informação, sistemas baseados em inteligência competitiva, métricas de desempenho de sistemas de informação, e modelos de ontologias corporativas.

LP9. Inteligência Artificial
Os principais temas incluídos nesta linha são: a aplicação de sistemas especialistas em várias áreas de conhecimento, a aplicação de agentes inteligentes de software, agentes distribuídos, agentes móveis, agentes colaborativos, e agentes sociais.

LP10. Sistemas Inteligentes em Transportes (ITS)
Explorar o potencial da engenharia de software para desenvolver aplicações voltadas à otimização do uso da malha viária, contribuindo para a eficiência e a segurança em transportes, além de explorar modelos de entrega de serviços para usuários dos sistemas de transporte.

Orientadores
Segue uma sugestão de classificação do quadro atual de orientadores cadastrados por linhas de pesquisa.

  LP1. Engenharia de Requisitos de Software.

• Edilson de Andrade Barbosa
• Edison Spina
• Ivanir Costa
• Judith Pavón Mendoza
• Lucia Vilela Leite Filgueiras (ênfase em interação humano-computador)
• Márcia Ito
• Paulo Sérgio Muniz Silva
   

LP2. Projeto (design) de Software.

• Alan Mitchell Durhan
• Edison Spina
• Fernando Antonio de Castro Giorno
• Ivanir Costa
• Jorge Luiz Risco Becerra
• Jsé Eduardo Zindel Deboni
• Júlio Arakaki.
• Marcelo Novaes de Rezende
• Marco Dimas Gubitoso
• Paulo Sérgio Muniz Silva
• Reginaldo Arakaki

LP3. Verificação e Validação de Software.

• Ivanir Costa
• Edison Spina
• José Eduardo Zindel Deboni
• Kechi Hirama

LP4. Processos de Engenharia de Software

• Alfredo Goldman
• Edilson de Andrade Barbosa
• Edison Spina
• Ivanir Costa
• Jorge Luiz Risco Becerra
• José Eduardo Zindel Deboni
• Kechi Hirama
• Marcelo Schneck de Paula Pessoa 
• Mario Yoshikazu Miyake (ênfase em gestão de projetos).
• Mauro de Mesquita Spinola
• Reginaldo Arakaki

LP5. Métodos e Ferramentas de Engenharia de Software

• Edit Grassiani Lino de Campos (ênfase em banco de dados)
• Fernando Antonio de Castro Giorno
• Jorge Luiz Risco Becerra
• Lucia Vilela Leite Filgueiras (ênfase em interação homem-computador)
• Marco Dimas Gubitoso
• Mauro de Mesquita Spinola
• Reginaldo Arakaki

LP6. Qualidade de Software

• Edilson de Andrade Barbosa
• Edison Spina
• Ivanir Costa
• Jorge Luiz Risco Becerra
• Kechi Hirama
• Marcelo Schneck de Paula Pessoa
• Mauro de Mesquita Spinola
• Reginaldo Arakaki

LP7. Banco de Dados

• Edit Grassiani Lino de Campos
• João Eduardo Ferreira 
• Judith Pavón Mendoza
• Solange Nice Alves de Souza

LP8. Sistemas de Informação

• Fernando Antonio de Castro Giorno
• Ivanir Costa
• Marcelo Novaes de Rezende
• Mário Yoshikazu Miyake

LP9. Inteligência Artificial

• Fernando Antonio de Castro Giorno
• Flavius Portela Ribas Martins
• Olímpio Murilo Capeli

LP10. Sistemas Inteligentes em Transportes (ITS)

• Claudio Luiz Marte
• Antonio Luiz Rigo
• Mario Yoshikazu Miyake

Redes de Computadores

As dissertações de mestrado da área de concentração de Redes de Computadores do Mestrado Profissional em Engenharia de Computação do IPT devem estar vinculadas a uma das linhas de pesquisa cujos escopos são descritos a seguir. Observe-se que as descrições de escopo são indicativas e não apresentam uma enumeração completa dos temas possíveis. O critério de aceitação do tema e dos objetivos das dissertações é que possuam uma alta coesão conceitual com a linha de pesquisa.

Linhas de pesquisa

LP11. Tecnologias de nova geração (ngn).
Explorar as tecnologias NGN e seus impactos:

• IPv6, ferramentas de teste, migração e recursos nativos para mobilidade, qualidade de serviços e segurança
• Voz sobre IP (VoIP) e convergência dos serviços de telecomunicações tradicionais, multicast, TV digital e Internet
• Redes sem fio infra-estruturadas e Ad Hoc (WiFi, GSM, GPRS, Wimax)
• Mobilidade e computação "pervasiva" ou "ubiqüa"
• Ensino à distância

LP12. Redes de computadores e tecnologias computacionais.
Explorar os limites das tecnologias tradicionais:

• Alta disponibilidade (balanceamento de carga [LVS, Farms], redundância [Heartbeat, RAID], datacenters)
• Alto desempenho (Clusters e Grids)
• Roteamento em LAN e WAN (teoria de filas, PTT e MPLS)
• Modos de acesso à WEB (última milha, SOHO, Powerline, Phoneline, Cable)
• Metodologias em projetos e avaliação de serviços de rede
   

LP13. Segurança digital, gerenciamento de redes e governança de ti.
Explorar requisitos, processos, recursos, riscos e controles de TI que afetam os negócios corporativos.

• Segurança de Intranet/Internet/Extranet (VPNs, Firewalls, filtros de conteúdo, IDS e IPS)
• Ferramentas de gerenciamento, análise de tráfego e gerenciamento de serviços em redes
• Sistemas de informação, gestão de ambientes e de negócios
• Portais, sistemas de colaboração e outsourcing
• PKI - certificados e assinaturas digitais

LP14. Sistemas inteligentes em transportes (its).
Explorar o potencial da telemática na otimização do uso da malha viária, contribuindo para a eficiência e a segurança em transportes.

• Arquiteturas de sistemas de comunicação para melhorar o acoplamento veículo-pista, provendo localização espacial e informações relevantes aos dispositivos de controle automáticos de apoio à navegação
• Modelos de sistemas de troca de informação com o usuário de transportes modais para auxiliá-lo na tomada de decisão e reduzir sua ansiedade
• Centrais inteligentes de supervisão, monitoramento de tráfego e apoio à gestão de recursos nas grandes metrópoles
• Sistemas integrados de sensoriamento, sinalização, controle e algoritmos inteligentes de fluxo
• Soluções de transportes que incorporem novas tecnologias cibernéticas
   

Orientadores

Segue uma classificação dos orientadores cadastrados por linhas de pesquisa.
LP11. Tecnologias de nova geração

• Antonio Luiz Rigo
• José Roberto Almeida Amazonas
• Sergio Takeo Kofugi
• Wagner Luiz Zucchi

LP12. Redes de computadores e tecnologias computacionais.

• Adilson Eduardo Guelfi
• Antonio Luiz Rigo
• Claudio Luiz Marte
• Denis Gabos
• Geraldo Lino de Campos
• José Roberto Almeida Amazonas
• Paulino Ng
• Volnys Borges Bernal
• Wagner Luiz Zucchi
   

LP13. SEGURANÇA DIGITAL, GERENCIAMENTO E GOVERNANÇA DE TI.

• Adilson Eduardo Guelfi
• Antonio Luiz Rigo
• Claudio Luiz Marte
• Geraldo Lino de Campos
• Mario Yoshikazu Miyake
• Olímpio Murilo Capeli
• Pedro Luis Próspero Sanchez
• Sergio Takeo Kofuji
• Volnys Borges Bernal
• Wagner Zucchi

LP14. SISTEMAS INTELIGENTES EM TRANSPORTES (ITS).

• Claudio Luiz Marte
• Antonio Luiz Rigo
• Mario Yoshikazu Miyake