- pauta - reunião de dezembro de 2016...dia : 05 de dezembro de 2016 hora : 14 horas local : sala...
TRANSCRIPT
FACULDADE DE ENGENHARIA ELÉTRICA E DE COMPUTAÇÃO
COORDENADORIA DE GRADUAÇÃO
- PAUTA -
Reunião de Dezembro de 2016
Coordenadores
RENATO DA ROCHA LOPES EDUARDO ALVES DO VALLE JUNIOR
ALIM PEDRO DE CASTRO GONÇALVES JOSÉ MARIO DE MARTINO
Professores
MATEUS GIESBRECHT (DSIF)
LEONARDO ABDALA ELIAS (DEB)
BRUNO MASIERO (DECOM)
DANIEL DOTTA (DSE)
LETICIA RITTNER (DCA)
Representantes Discentes
RAUL CECATO (CABS)
VICTOR CARNEIRO DE LIMA (CABS)
LUCAS SILVA SCHANNER (CACO)
NIKOLAS MAKIYA VICHI (CACO)
DIA : 05 de Dezembro de 2016
HORA : 14 horas
Local : Sala de Reuniões da FEEC
Assunto Página
I. Ata
Reunião de 07 de novembro de 2016 2
II. Ordem do Dia
1 - Calendário de Reuniões 2017 3
2 - Relatório de Atividades – Prof. Luis G.P. Meloni 4
3 - Alterações Catálogo 2018 – Cursos 11, 41 e 34: EA080 (tipo) e EA871 (Exame) 5-6
III. Expediente
01 -
Alterações Catálogo 2018 – Curso 34- Proposta IC: Modalidade AA: MC426; MC626; MC558; MC658; MC733
Modalidade AB/AX: troca da disciplina MC302 (Programação Orientadas a Objetos – 6 créditos)
para MC322 (Programação Orientada a Objetos – 4 créditos)
7-13
IV. Informes
Faculdade de Engenharia Elétrica e de Computação - UNICAMP
ATA DA 10ª REUNIÃO DE 2016 DA CG/FEEC - 07 de NOVEMBRO de 2016
Presentes: Profs. Renato da Rocha Lopes; Alim 1
Pedro de Castro Gonçalves; Eduardo Alves do 2
Valle Jr.; José Mario De Martino; Bruno 3
Masiero; Daniel Dotta; Leonardo Abdala Elias; 4
Paula D. Paro Costa (substituindo a Letícia 5
Rittner); e Mateus Giesbrecht. 6
Alunos: Raul G. Cecato; Cesar Henrique Pinado 7
Moraes (substituindo o Victor Carneiro Lima), 8
Lucas Silva Schanner e Nikolas Makiya Vichi. 9
Ouvinte: Rafael Gonçalves (discente) 10
O Prof. Renato cumprimenta a todos iniciando 11
a reunião com o primeiro item da pauta. 12
I) Ata da Reunião de 03 de outubro de 2016. 13
O Prof. Renato questiona se há alterações na 14
ata. Não havendo alterações a ata é aprovada 15
com três abstenções. 16
II) Ordem do Dia 17
Prosseguindo a reunião, o Prof. Renato 18
esclarece que houve necessidade de inserir 19
novamente na pauta, para apreciação da 20
comissão, o item que trata a avaliação docente, 21
pois a disciplina EA616, turma U, foi ministrada 22
pela Dra. Cecília de Freitas Moraes e não pelo 23
coordenador, como constou no documento 24
anterior. Após esclarecimento, são colocados em 25
votação e aprovados por unanimidade, os 26
seguintes itens da pauta: 2–Avaliação Docente 27
– 1S/2016 e 3–Relatório de Atividades do Prof. 28
José Raimundo de Oliveira (Agosto de 2012 a 29
Julho de 2016). Em continuidade a reunião, o 30
Prof. Renato esclarece que o item 1 - Alteração 31
Catálogo 2018 – EA080 – Laboratório de Redes 32
de Computadores – trata-se de alteração no tipo, 33
de semanal para quinzenal. O Prof. José Mario 34
solicita a retirada de pauta para discussão no 35
departamento. Então, o Prof. Renato coloca em 36
votação a proposta de retirada de pauta que é 37
aprovada por unanimidade. 38
III) Expediente 39
O Prof. Renato prossegue a reunião 40
questionando se alguém deseja inserir algum 41
assunto no Expediente. O Prof. Dotta solicita 42
informações sobre a equivalência de disciplinas 43
entre a FEM/FEEC e sobre a reunião agendada 44
com a FEM. Os Profs. Eduardo, Renato e 45
Alim esclarecem que a proposta é para as 46
disciplinas de Circuitos Lógicos (EA772 e 47
EA773), tendo como objetivo oferecimento de 48
maior flexibilidade de horário e semestre para o 49
curso noturno e melhor aproveitamento das 50
estruturas da FEM e FEEC. O Prof. Renato 51
informa que ainda não foi possível agendar a 52
reunião com os docentes da FEM. Em seguida, 53
deseja saber se há mais algum assunto a ser 54
discutido. O Prof. Mateus menciona sobre os 55
cartazes inseridos sobre a reforma curricular e 56
comenta sobre o empenho dos discentes para 57
discussões sobre a reforma, mas não sobre 58
questões de ética. Ressalta que alguns docentes 59
queixam-se das assinaturas adulteradas em lista 60
de presença e colas em provas. O Prof. Alim 61
informa que o Prof. Christian e um grupo de 62
alunos estão elaborando um código de conduta. 63
O discente Raul informa que o CABS poderá 64
iniciar uma discussão sobre código de conduta 65
como tem praticado em outros assuntos, como a 66
avaliação, que é sempre colocado em pauta 67
pelos alunos. Inicia-se uma discussão sobre o 68
código de conduta e a reforma curricular. Após 69
discussão e não havendo mais assuntos, o Prof. 70
Renato agradece a participação de todos 71
encerrando a reunião. Ana Flávia da Silva, 07 de 72
novembro de 2016. 73
Calendário – Reuniões da Comissão de Graduação
2017
Local: Sala de reuniões da FEEC
Horário: 14h00
Segundas-feiras
FEVEREIRO MARÇO ABRIL MAIO JUNHO JULHO
06 06 03 08 05 03
AGOSTO SETEMBRO OUTUBRO NOVEMBRO DEZEMBRO
07 04 02 06 04
(019) 3521-3716
Coordenadoria de Graduação - FEEC Fax (019) 3289-5242
Campinas, 18 de outubro de 2016.
Faculdade de Engenharia Elétrica e de Computação - UNICAMP
Caixa Postal 6101 - 13083-852 Campinas - S.P. http://www.fee.unicamp.br
INTERESSADO : Prof. Luis Geraldo Pedroso Meloni
ASSUNTO : RELATÓRIO DE ATIVIDADES
PERÍODO : Setembro de 2013 a Agosto de 2016
PARECER
Trata-se de um relatório referente a três anos de atividades, portanto, seis semestres letivos,
incluindo desde o segundo semestre de 2013 até o primeiro semestre de 2016. No período, o Prof.
Luis Geraldo Pedroso Meloni realizou as seguintes atividades ligadas ao ensino de graduação:
a) Ministrou três disciplinas teóricas obrigatórias, de 60 horas de aula, a seis (6) turmas, sendo
três turmas noturnas, com cinquenta e nove (59) alunos em média.
(Em síntese: total de turmas: 6; total de alunos: 353; carga horária semanal média: 4,0 horas)
b) Orientou quatro estágio PAD – Programa de Apoio Didático.
c) As avaliações discentes disponíveis resultam em uma média global de 8,7.
Pelo exposto, esta coordenadoria recomenda a aprovação de seu relatório.
Prof. Dr. Renato da Rocha Lopes
Coordenador de Graduação
Engenharia Elétrica
ATUALIZAR DISCIPLINAS Folhas
CA002 Processo
Rubrica
ALTERAR DISCIPLINACÓDIGO DISCIPLINA
EA080NOME EM PORTUGUÊS
Laboratório de Redes de ComputadoresNOME EM INGLÊS
NOME EM ESPANHOL
Unidade/Depto Coord. Nível Responsável Tipo Aprovação Característica Frequência Periodicidade Oferecimento Nº De Semanas Exame
1VETOR DE CARGA HORÁRIA
T - TEORIA P - PRÁTICA L - LABORATÓRIO O - ORIENTAÇÃO D - ATIVIDADES À DISTÂNCIA SL - SALA DE AULA C - CRÉDITO
PRÉ-REQUISITO
CONTINÊNCIA (A disciplina informada no campo CÓD. DISCIPLINA está contida na(s) disciplina(s) deste campo)
EQUIVALÊNCIA
EMENTA
ESCLARECIMENTOS PARA O PREENCHIMENTO
ALTERAR Preencher código, nome da disciplina e campos a alterar.
APROVAÇÃO N = Nota e Frequência; F = Frequência; C = Conceitos "Suficiente e Insuficiente" (quando o valor do campo "O" do vetor de carga
horária for igual ou maior que a soma dos campos T, L e P).
CARGA HORÁRIA Nº de horas aula: T = Teoria; P = Prática; L = Laboratório; O = Atividades Orientadas; D = Atividades à Distância; SL = Sala de Aula,
onde T + L (obrigatório) ou T + L + P sendo P opcional; C = Crédito, onde a somatória deverá ser considerada T + P + L + O.
CARACTERÍSTICA 0 = Regular; 1 = Tópico; 2 = Est. Dirigido; 3 = Leitura Independente; 4 = Monografia; 5 = Seminário; 6 = Estágio.
DESATIVAR (Disciplina que deixará de constar do catálogo do ano) Preencher código e nome da disciplina.
EXAME Exame avaliação final: S = SIM; N = Não.
FREQUÊNCIA Porcentagem mínima para aprovação (maior ou igual a 75%).
NÍVEL G = Graduação / T = Tecnologia / P = Pós-Graduação / E = Especialização.
Nº DE SEMANAS Número total de semanas para cada período.
OFERECIMENTO 1 = Períodos Ímpares / 2 = Períodos Pares / 5 = Todos / 6 = A critério da Unidade.
PERIODICIDADE S = Semestral.
RESPONSÁVEL 0 = Regular / 1 = Licenciatura / 2 = Centro de Ensino de Línguas.
RETORNAR Preencher código, nome da disciplina e campos a serem alterados se necessário.
TIPO 0 = Semanal / 1 = Quinzenal.
UNIDADE/DEPTO Usar número da tabela pública da UNICAMP (só 4 dígitos).
Data Assinatura do Coordenador
ATUALIZAR DISCIPLINAS Folhas
CA002 Processo
Rubrica
ALTERAR DISCIPLINACÓDIGO DISCIPLINA
EA871NOME EM PORTUGUÊS
Laboratório de Programação Básica de Sistemas DigitaisNOME EM INGLÊS
NOME EM ESPANHOL
Unidade/Depto Coord. Nível Responsável Tipo Aprovação Característica Frequência Periodicidade Oferecimento Nº De Semanas Exame
NVETOR DE CARGA HORÁRIA
T - TEORIA P - PRÁTICA L - LABORATÓRIO O - ORIENTAÇÃO D - ATIVIDADES À DISTÂNCIA SL - SALA DE AULA C - CRÉDITO
PRÉ-REQUISITO
CONTINÊNCIA (A disciplina informada no campo CÓD. DISCIPLINA está contida na(s) disciplina(s) deste campo)
EQUIVALÊNCIA
EMENTA
ESCLARECIMENTOS PARA O PREENCHIMENTO
ALTERAR Preencher código, nome da disciplina e campos a alterar.
APROVAÇÃO N = Nota e Frequência; F = Frequência; C = Conceitos "Suficiente e Insuficiente" (quando o valor do campo "O" do vetor de carga
horária for igual ou maior que a soma dos campos T, L e P).
CARGA HORÁRIA Nº de horas aula: T = Teoria; P = Prática; L = Laboratório; O = Atividades Orientadas; D = Atividades à Distância; SL = Sala de Aula,
onde T + L (obrigatório) ou T + L + P sendo P opcional; C = Crédito, onde a somatória deverá ser considerada T + P + L + O.
CARACTERÍSTICA 0 = Regular; 1 = Tópico; 2 = Est. Dirigido; 3 = Leitura Independente; 4 = Monografia; 5 = Seminário; 6 = Estágio.
DESATIVAR (Disciplina que deixará de constar do catálogo do ano) Preencher código e nome da disciplina.
EXAME Exame avaliação final: S = SIM; N = Não.
FREQUÊNCIA Porcentagem mínima para aprovação (maior ou igual a 75%).
NÍVEL G = Graduação / T = Tecnologia / P = Pós-Graduação / E = Especialização.
Nº DE SEMANAS Número total de semanas para cada período.
OFERECIMENTO 1 = Períodos Ímpares / 2 = Períodos Pares / 5 = Todos / 6 = A critério da Unidade.
PERIODICIDADE S = Semestral.
RESPONSÁVEL 0 = Regular / 1 = Licenciatura / 2 = Centro de Ensino de Línguas.
RETORNAR Preencher código, nome da disciplina e campos a serem alterados se necessário.
TIPO 0 = Semanal / 1 = Quinzenal.
UNIDADE/DEPTO Usar número da tabela pública da UNICAMP (só 4 dígitos).
Data Assinatura do Coordenador
MC426 - Engenharia de Software
OF:S-5 T:002 P:002 L:000 O:000 D:000 HS:004 SL:004 C:004 AV:N EX:S FM:75%
Pré-Req.: MC302
Ementa: Paradigmas da Engenharia de Software. Processos de Software. Modelos de Processo de Software. Extração e Especificação de Requisitos. Análise e Projeto de Sistemas de Software. Padrões de Arquitetura e Padrões de Projeto.
Programa:
1) Paradigmas da Engenharia de Software
a) Visão geral da área de Engenharia de Software;
b) Conceitos de Produto (sistemas de software) e de Processo de Desenvolvimento;
c) Modelos de Processo de Software;
d) Reutilização de Software e Engenharia de Software Baseada em Componentes;
e) Métodos Ágeis de Desenvolvimento de Software.
2) Extração e Especificação de Requisitos
a) Requisitos de Software: Requisitos Funcionais, Não-Funcionais, de Usuário e de Sistema;
b) Técnicas para extração de requisitos;
c) Especificação de requisitos;
d) Modelos de casos de uso.
3) Análise de Sistemas de Software
a) Análise Orientada a Objetos: modelagem estática e dinâmica;
b) Modelos de Sistema: modelo de classes, modelo de estados, modelo comportamentais
(modelo de sequência e de comunicação), modelo de atividades, modelo de componentes em
UML;
c) Padrões de Análise.
4) Projeto de Sistemas de Software
a) Conceitos Básicos: Abstração, Refinamento, Encapsulamento, Módulo, Hierarquia e
Componentização.
b) Projeto Arquitetural e Projeto Detalhado;
c) Arquitetura de Software, Visões Arquiteturais e Atributos de Qualidade;
d) Projeto Orientado a Objetos e Processos de Desenvolvimento Centrados na Arquitetura;
e) Padrões e Estilos Arquiteturais;
f) Projeto de Componentes e de suas Interfaces;
g) Padrões de Projeto e Implementação de Modelos Arquiteturais.
Bibliografia
I. Sommerville, Software Engineering, Addison-Wesley, 10th Edition, 2015.
R. S. Pressman and B. Maxim, Software Engineering: A Practitioner’s Approach, 8th Edition, McGrow
Hill, 2014.
C. Larman, Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and
the Unified Process, Second Edition, Prentice-Hall, 2002.
L. Bass, P. Clements & R. Kazman, Software Architecture in Practice, Second Edition, Addison-
Wesley, 2003, SEI Series in Software Engineering.
M. Shaw & D. Garlan. Software Architecture: Perspectives on an Emerging Discipline, Prentice Hall,
1996.
F. Buschmann et al., A System of Patterns: Pattern-Oriented Software Architecture, Wiley, 1996.
E. Gamma et al., Design Patterns: Elements of Reusable Object-Oriented Software, Addison-Wesley,
1995.
MC558 - Projeto e Análise de Algoritmos II OF:S-5 T:004 P:000 L:000 O:000 D:000 HS:004 SL:004 C:004 AV:N EX:S FM:75% Pré-Req.: MC458
Ementa:
Grafos: conceitos e algoritmos. Reduções entre problemas. Programação Linear. Classes
de Problemas.
Programa:
1. Grafos - Definição e representação de grafos e de dígrafos - Isomorfismos - Vizinhanças, cortes e graus - Caminhos e ciclos - Subgrafos - Grafos conexos e componentes conexas - Conjuntos independentes, cliques e coberturas - Colorações de vértices - Emparelhamentos - Colorações de arestas
2. Algoritmos em Grafos - Representação por lista de adjacência e matriz de adjacência - Busca em profundidade - Busca em largura - Ordenação topológica - Componentes fortemente conexos - Árvore geradora mínima: algoritmos gulosos de Prim e Kruskal (uso do "union-find" e análise amortizada) - Caminhos mínimos com uma única fonte: algoritmos de Dijkstra, Bellman-Ford e DAG - Caminhos mínimos entre todos os pares de vértices: algoritmos da multiplicação de matrizes e Floyd-Warshall
3. Reduções entre problemas - Para obtenção de cotas superiores - Para obtenção de cotas inferiores - Reduções entre problemas envolvendo grafos
4. Programação Linear - Formulação de problemas como PLs.
5. Classes de Problemas
- A hierarquia de Complexidade. As classes P, NP, NP-completo e NP-difícil - Noção de completude e o Teorema de Cook - Problemas e reduções fundamentais em NP-completude - Outras classes de problemas: co-NP, PSPACE, problemas indecidíveis (Problema da Parada)
Bibliografia:
1 - T. Cormen, C. Leiserson, R. Rivest, C. Stein. Algoritmos - Teoria e Prática (3a. edição), Editora Campus (2012). 2 - U. Manber. Introduction to Algorithms, Addison-Wesley (1989). 3 - M. Sipser. Introduction to the Theory of Computation (3a. edição), Thomson South-Western (2012). 4 - M. Bazaraa, J. Jarvis, H. Sherali. Linear Programming and Network Flows (4a. edição), Wiley (2009). 5 - L. A. Wolsey. Integer Programming, Wiley (1998).
MC626 - Verificação, Validação e Testes de Software
OF:S-5 T:002 P:000 L:002 O:000 D:000 HS:004 SL:004 C:004 AV:N EX:S FM:75%
Pré-Req.: MC426
Ementa: Verificação e Validação (V&V) de software. Técnicas de Verificação Estática. Testes de
Software: Técnicas e Ferramentas. Testes ágeis.
Programa:
● Introdução
○ Importância de garantir a qualidade do software; custo dos defeitos; o que é V&V e suas
principais técnicas
● V&V: Técnicas Estáticas
○ Revisões, Inspeções, Análise Estática de código
● V&V: Técnicas dinâmicas
○ Execução simbólica
● Testes: objetivos e terminologia
● Testes caixa branca
○ Técnicas baseadas no fluxo de controle; técnicas baseadas no fluxo de dados
○ Ferramentas: análise de cobertura; análise de mutantes
● Testes caixa preta
○ Testes baseados na interface
○ Testes combinatórios
○ Testes baseados em modelos
● Escopo de testes
○ Testes de Unidades, de Integração, de Sistemas, de Aceitação
○ Componentes de testes: drivers, dublês
● Testes de requisitos de qualidade
○ Testes de robustez, de segurança, entre outros
● Testes em métodos ágeis
○ Desenvolvimento guiado pelos testes
○ Desenvolvimento guiado pelo comportamento
Bibliografia:
1. Mauro Pezzè, Michal Young. Teste e Análise de Software: processos, princípios e técnicas.
Tradução: Bernardo Copstein e Flávio Moreira de Oliveira. Bookman, 2008.
2. Marcio Delamaro, José Carlos Maldonado e Mário Jino. Introdução ao Teste de Software. Editora
Campus, 2007.
3. Paul Ammann and Jeff Offutt, Introduction to Software Testing, Cambridge University Press,
Cambridge, UK, ISBN 0-52188-038-1, 2008.
4. Robert Binder. “Testing object-oriented systems: models, patterns, and tools”. Editora Addison-
Wesley Professional, 2000.
MC658 - Projeto e Análise de Algoritmos III OF:S-5 T:003 P:001 L:000 O:000 D:000 HS:004 SL:004 C:004 AV:N EX:S FM:75% Pré-Req.: MC558
Ementa:
Tratamento de Problemas NP-difíceis: algoritmos exatos, algoritmos aproximados e algoritmos heurísticos.
Programa:
1. Algoritmos Exatos a. Algoritmos pseudo-polinomiais para o problema da mochila b. Algoritmos de backtracking. Sugestões de exemplos:
i. Coloração de grafos ii. Soma de subconjuntos
c. Algoritmos de branch-and-bound. Sugestão de exemplo: problema da mochila d. Programação Linear Inteira como uma ferramenta para resolver problemas NP-
difíceis
2. Algoritmos Aproximados a. Definições básicas: aproximação absoluta, fator de aproximação b. Aproximação Absoluta. Sugestão de exemplos:
i. Armazenagem de arquivos em 2 discos ii. Coloração de grafos planares
c. Inaproximabilidade em aproximação absoluta. Sugestão de exemplos: i. Problema da Mochila ii. Clique Máxima
d. Fator de aproximação. Sugestão de exemplos: i. Cobertura de Vértices ii. TSP métrico iii. Cobertura por Conjuntos iv. Escalonamento de Tarefas v. Bin packing
e. Inaproximabilidade em fator de aproximação. Sugestão de exemplo: TSP f. Esquemas de aproximação polinomial. Sugestão de exemplo:
i. Problema da Mochila usando Programação Dinâmica g. Uso de PL no desenvolvimento de algoritmos aproximados. Sugestão de
exemplos: i. Cobertura por Vértices ii. Cobertura por Conjuntos iii. Max-Sat
3. Algoritmos heurísticos
a. Definições básicas: algoritmos construtivos e algoritmos de busca local b. Algoritmos construtivos gulosos. Sugestão de exemplo:
i. Cobertura por vértices ii. Algoritmos de busca local. Sugestão de Exemplos: iii. 2-opt (ou duas trocas) para o TSP iv. Troca simples para corte máximo
c. Meta-heurísticas. Sugestões de exemplos: i. GRASP ii. Busca Tabu iii. Simulated Annealing iv. Algoritmos Genéticos
Bibliografia:
1 - T. Cormen, C. Leiserson, R. Rivest, C. Stein. Algoritmos - Teoria e Prática (3a. edição), Editora
Campus (2012).
2 - U. Manber. Introduction to Algorithms, Addison-Wesley (1989).
3 - M. Sipser. Introduction to the Theory of Computation (3a. edição), Thomson South-Western
(2012).
4 - M. Bazaraa, J. Jarvis, H. Sherali. Linear Programming and Network Flows (4a. edição), Wiley
(2009).
5 - L. A. Wolsey. Integer Programming, Wiley (1998).