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

grad-fee@fee.unicamp.br

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