ProjetoPedagogicoEngCompMatriz2011 PROGRAD VersaoPreliminar PDF

Universidade Federal de Alagoas
Instituto de Computao
Curso de Engenharia de Computao

Projeto Pedaggico
2011
Macei, junho de 2010
2
Universidade Federal de Alagoas
Instituto de Computao
Curso de Engenharia de Computao

Projeto Pedaggico do Curso
Elaborao:
Equipe de professores e tcnicos

administrativos do Instituto de
Computao da Universidade Federal de
Alagoas
Coordenao do Projeto:
Fbio Cunha de Albuquerque
Macei, junho de 2010
3
Sumrio
Identificao do Curso.................................................................................................................................. 5
1. Introduo................................................................................................................................................. 6
2. Perfil do Egresso.......................................................................................................................................8
3. Competncias, Habilidades e Atitudes..................................................................................................... 9
4. Contedos/Matriz Curricular.................................................................................................................. 11
4.1. Matriz Curricular...........................................................................................................................13
5. Ordenamento Curricular......................................................................................................................... 15
5.1. Ementas das Disciplinas.................................................................................................................20
5.2 Disciplinas Eletivas ementas predefinidas..................................................................................38
6. Estgio Supervisionado...........................................................................................................................54
8. Atividades Complementares................................................................................................................... 56
9. Avaliao................................................................................................................................................ 58
9.1. Avaliao do Projeto Pedaggico.................................................................................................. 58
9.2. Avaliao dos Docentes.................................................................................................................. 58
9.3. Avaliao dos Discentes..................................................................................................................59
9.4. Consideraes Finais da Avaliao do Aprendizado...................................................................59
4
Identificao do Curso
Nome do Curso: Engenharia de Computao
Ttulo Ofertado: Engenharia de Computao
Reconhecimento:
Turnos: Diurno.
Carga Horria: 3920 horas.
Durao: Mnima: 10 semestres

Mxima: 14 semestres
Vagas: 60 anuais com duas entradas semestrais de 30 alunos.
Perfil: Engenheiro de Computao apto a ser um profissional capacitado para especificar, conceber,
desenvolver, integrar, implementar, adaptar, produzir, implantar e supervisionar
sistemas computacionais para o exerccio das profisses na rea de projeto de
Sistemas Inteligentes, Embarcados, Mveis e de Automao e Controle.
Campo de Atuao: Anlise, Projeto e Desenvolvimento de Sistemas Computacionais, nas reas de

Sistemas Inteligentes, Embarcados, Mveis e de Automao e Controle, assim
como prestao de consultoria sobre tais sistemas, incluindo aspectos de
implantao destes, em instituies pblicas ou privadas, indstrias, comercio e
servios, centros de pesquisas, tanto no mbito local, regional, nacional ou
internacional.
5
1. Introduo
O Curso de Engenharia de Computao da UFAL, contempla as diretrizes de formao de
recursos humanos em Computao, estabelecidos pelo MEC/SESu, que especifica caractersticas prprias
de formao visando atender as necessidades da sociedade brasileira. Os cursos de Cincia da
Computao e Engenharia de Computao, segundo as diretrizes curriculares do MEC, tm como
objetivo a formao de recursos humanos para o desenvolvimento cientfico e tecnolgico da rea de
Computao.
De acordo com as recomendao encontradas nas diretrizes propostas pela Comisso de

Especialistas em Educao em Computao e Informtica (CEEInf) do Ministrio da Educao, o curso
de Engenharia de Computao possui as seguintes caractersticas:
1. So cursos cujos currculos possuem uma base terica profunda em computao;
2. So cursos nos quais os alunos tm uma intensa atividade de estudos e exerccios extra-classe;
3. So cursos de formao tecnolgica que visam o desenvolvimento tecnolgico e, portanto,

pretendem ou devem estar cercados por um ambiente industrial/empresarial de computao;
4. So cursos em que a formao complementar visa conhecer um domnio de aplicao, fora da

rea de computao, com vistas ao desenvolvimento de tecnologias (ferramentas) para a soluo
dos problemas do domnio;
5. So cursos voltados no apenas para o mercado de trabalho imediato mas, principalmente, para
alavancar/transformar o mercado de trabalho, atravs da produo/gerao de novas tecnologias;
6. So cursos em que os alunos so instados a participar dos projetos de pesquisas dos professores
na qualidade de alunos de iniciao cientfica;
7. So cursos em que seus professores esto engajados efetivamente na pesquisa

cientfica/tecnolgica sendo, portanto, recomendvel a insero desses cursos em um ambiente de
ps-graduao e/ou de pesquisa na rea;
8. So cursos recomendados para serem oferecidos no turno diurno;
9. So cursos de mercado de trabalho restrito;
10. So cursos em que os alunos devem ser estimulados a prosseguir estudos em nvel de mestrado
e doutorado.
Os egressos desses cursos devem estar situados no estado da arte da Cincia e da Tecnologia da
Computao, de tal forma que possam continuar suas atividades na pesquisa, promovendo o
6
desenvolvimento cientfico, ou aplicando os conhecimentos cientficos e promovendo o desenvolvimento
tecnolgico do pas.
Este projeto traz uma descrio do que se pretende como perfil do egresso conectado com
as principais competncias e habilidades requeridas, refletindo uma matriz curricular apropriada e
condizente com tais pretenses. O projeto foi elaborado mantendo-se, principalmente, a coerncia com as
Diretrizes Curriculares do MEC para o Curso de Engenharia de Computao.
O curso de Engenharia de Computao proposto tem por objetivo a formao terica e

prtica em engenharia computao, a fim de preparar adequadamente os seus alunos para atuar nos mais
diversos setores da Informtica, conseguindo acompanhar suas evolues, e tambm para ingressar em
programas de Ps-Graduao e Pesquisa.
A formao do aluno abranger a compreenso do campo cientfico da computao,

buscando a sua aplicao na soluo de problemas da sociedade e no desenvolvimento de conhecimento e
tecnologias que permitam a evoluo da computao.
O curso garantir uma formao bsica, habilitando os seus alunos a ganharem

competncias e poder seguir com efetividade o curso nas matrias das reas de conhecimento especficas
da computao de acordo com o perfil desejado pelo aluno. A formao abranger tambm o estudo dos
aspectos profissionais, ticos e sociais da engenharia de computao e de outras reas do conhecimento,
como, por exemplo, matemtica, fsica, administrao, direito e outras, tal como recomendado nas
diretrizes propostas pela Comisso de Especialistas em Educao em Computao e Informtica (CEEInf)
do Ministrio da Educao, bem como a Resoluo CNE/CES 11, de 11 de maro de 2002, que Institui
Diretrizes Curriculares Nacionais dos Cursos de Graduao em Engenharia.
7
2. Perfil do Egresso
O Curso enfatiza uma formao profissional slida, considerando uma forte integrao entre as
reas de software e hardware. Isso tudo, envolvendo conhecimentos em Cincia da Computao,
Eletrnica, Comunicaes, Automao e Controle, fortalecido por uma base em engenharia, como
estabelecido pela Resoluo CNE/CES 11, de 11 de maro de 2002, que Institui Diretrizes Curriculares
Nacionais dos Cursos de Graduao em Engenharia; estes conhecimentos necessrios ao projeto de
Sistemas Inteligentes, Embarcados, Mveis e de Automao e Controle. Neste sentido, pretende-se que o
egresso do curso seja um profissional capacitado para especificar, conceber, desenvolver, integrar,
implementar, adaptar, produzir, implantar e supervisionar sistemas computacionais, em organizaes
locais, regionais, nacionais, ou at mesmo internacionais. O mesmo se aplica a pesquisas cientfico-
tecnolgicas.
8
3. Competncias, Habilidades e Atitudes
Com base no perfil almejado para seu egresso, o Engenheiro de Computao dever, dentre outras,
possuir as seguintes competncias e habilidades:
1. especificar, conceber, desenvolver, integrar, implementar, adaptar, produzir, implantar e supervi

sionar;
2. aplicar percepo espacial, raciocnio lgico e conhecimentos matemticos, cientficos,
tecnolgicos e instrumentais na resoluo de problemas de engenharia;
3. projetar e conduzir experimentos e interpretar resultados, avaliando criticamente ordens de
grandeza e significncia de resultados numricos;
4. desenvolver e aplicar modelos matemticos e fsicos a partir de informaes sistematizadas
e fazer anlises crticas dos modelos empregados no estudo das questes de engenharia;
5. conceber, projetar e analisar sistemas, produtos e processos;
6. planejar, supervisionar, elaborar e coordenar projetos e servios de engenharia;
7. identificar, formular e resolver problemas de engenharia;
8. desenvolver e/ou utilizar novas ferramentas e tcnicas;
9. supervisionar e avaliar criticamente a operao e manuteno de sistemas e processos;
10. comunicar-se eficiente e sinteticamente nas formas escrita, oral e grfica;
11. atuar em equipes multidisciplinares;
12. compreender e aplicar a tica e responsabilidades profissionais;
13. avaliar o impacto das atividades de engenharia no contexto social e ambiental;
14. avaliar a viabilidade econmica de projetos de engenharia; e
15. assumir a postura de permanente busca de atualizao profissional.
Quanto s competncias profissionais especficas, o Engenheiro de Computao deve ser capaz de

fornecer respostas s necessidades dos setores que envolvam tecnologias para abordar Sistemas
Inteligentes, Embarcados, Mveis e de Automao e Controle. Neste sentido, esto envolvidas
competncias, tais como:
1. automao, controle e monitorao de sistemas computacionais em geral;

2. concepo, desenvolvimento e manuteno de sistemas dedicados e embarcados de
software e hardware;
3. realizao de clculos matemticos no-triviais obedecendo a restries temporais;
4. comunicao segura, rpida e confivel entre sistemas computacionais;
9
5. anlise e processamento de sinais de diferentes tipos;
6. comunicao humano-mquina;
7. desenvolvimento de sistemas distribudos, aplicaes multimdia e sistemas inteligentes;
8. extrao e recuperao de informao relevante a partir de fontes de dados de diferentes
mdias e formatos;
9. desenvolvimento e integrao de sistemas de automao e controle, embarcados e mveis.
Alm das competncias e habilidades mencionadas, pode-se citar mais:
a) Auto-aprendizado. Trata-se de uma caracterstica motivada pela rpida evoluo da engenharia de

computao, levando o profissional dessa rea a envolver-se num processo contnuo de
aprendizado, aps a concluso do seu curso. Assim sendo, fundamental que o aluno adquira
desde cedo a capacidade de aprender a aprender. Ele precisar estar sempre aprendendo para
manter-se atualizado e competente. A habilidade em pesquisa enseja significativamente o auto-
aprendizado. Esta habilidade desenvolvida ao longo de todo o curso atravs de trabalhos de
pesquisa e desenvolvimento em diversas disciplinas, pela participao em projetos de pesquisa e
pela realizao do trabalho de concluso de curso;
b) Trabalho em grupo. Um indicador importante para motivar o desenvolvimento dessa habilidade
que o desenvolvimento quase sempre realizado em equipe, com profissionais desempenhando
diferentes funes. A habilidade de trabalhar em grupo fundamental para o profissional da
engenharia da computao e estimulada e desenvolvida durante o curso durante a realizao de
projetos de pesquisa e trabalhos em disciplinas;
c) Criatividade. Anlise de problemas e modelagem de solues criativas com suas conseqentes
implementaes. A anlise de um problema e a capacidade criativa de elaborao de um modelo
para a sua soluo uma habilidade essencial para um profissional de engenharia da computao.
Esta habilidade introduzida desde o incio do curso nas atividades de programao e
desenvolvida mais amplamente, em diversas disciplinas e atividades curriculares.
d) Capacidade Empreendedora. Trata-se de uma habilidade importante para um profissional,
inclusive queles que no desejam ser empresrios. Esta habilidade pode ser desenvolvida e visa
capacitar o profissional a assumir uma atitude pr-ativa, a desenvolver uma rede de relaes e a
liderar projetos em suas atividades profissionais. Ela introduzida no curso com a disciplina
Empreendedorismo. Alm disso, ela desenvolvida ao longo do curso atravs de atividades
prticas, nas quais os alunos so estimulados a apresentar e liderar projetos de sistemas.
Alm destas habilidades, o aluno tem a oportunidade de aprimorar sua capacidade de expresso
oral e escrita, atravs da elaborao e apresentao de projetos em seminrios e debates, e de vrios
trabalhos escritos em provas dissertativas, trabalhos em grupo e relatrios individuais durante o curso.
10
O aluno deve desenvolver tambm competncia e desempenho em lngua inglesa atravs de apoio
de disciplina de ingls instrumental e leitura de livros e artigos de engenharia da computao, escritos na
lngua inglesa.
4. Contedos/Matriz Curricular
O Curso de Engenharia da Computao tem a durao mnima de 5 anos e a mxima de 7 anos. O
seu currculo est estruturado em 10 semestres, onde os 4 primeiros destinam-se s disciplinas de
formao bsica, os outros 3 semestres destinam-se formao profissional e, por fim, os ltimos 3
semestres so dedicados formao especfica em Engenharia de Computao. O curso conta com um
total de 3890 horas/aula, correspondendo a 49 disciplinas obrigatrias (2730 1 horas/aula) e um mnimo de
900 horas/aula em disciplinas eletivas. O contedo da Formao Bsica em Computao formado pelo
conjunto de disciplinas obrigatrias. Este conjunto de disciplinas obrigatrias visa garantir a competncia
mnima necessria a um profissional de engenharia da computao de nvel superior, com os
conhecimentos bsicos e alguns especficos das principais reas da engenharia da computao que o
habilitam ao exerccio da profisso.
A grade curricular apresenta, tambm, um segundo grupo de disciplinas destinadas formao

profissional. Cada disciplina especializa uma ou mais competncias contribuindo para o perfil do
profissional da engenharia da computao. Com esse segundo grupo, somado as disciplinas eletivas,
totalizamos uma carga horria de 3630 horas, igualando o mnimo recomendado a um curso de
engenharia que atualmente de 3600 horas, de acordo com as diretrizes curriculares.
A matriz curricular apresenta um grupo de eletivas voltado para a formao especfica em

engenharia da computao, sendo elas com nfase em Sistemas Embarcados e Automao e Controle.
Aps a integralizao dos contedos obrigatrios, exige-se a elaborao e apresentao de uma

monografia individual (Trabalho de Concluso de Curso TCC) com temtica relacionada ao exerccio
profissional e com o apoio de um professor orientador. O TCC previsto como atividade obrigatria,
tendo carga horria para integralizao correspondente a 90 horas.
facultada ao aluno, a possibilidade de cursar outras disciplinas eletivas ofertadas, bem com
realizar Atividades Complementares no decorrer do curso.
As Atividades Complementares devem ter uma carga horria de no mnimo 200 horas e podem ser
realizadas atravs do Estgio Supervisionado, abrangendo experincias prticas em ambiente profissional,
no interior da Universidade ou fora dela, ou atravs de outras atividades regulamentadas pelo
1
Sem considerar 90 horas do Trabalho de Concluso de Curso
11
CONSUNI/UFAL e por Resolues do Colegiado de Curso.
Desta forma, a carga horria mnima total do curso ser composta por: 2730 horas/aula de
disciplinas obrigatrias; 900 horas/aula de disciplinas eletivas; 90 horas de Trabalho de Concluso de
Curso e 200 horas de atividades complementares, perfazendo um total de 3920 horas.
As horas/aula de disciplinas eletivas cursadas e/ou as atividades complementares realizadas que

ultrapassarem a carga horria total sero lanadas no histrico escolar do aluno, somando-se sua
integralizao curricular.
O Curso de Engenharia da Computao no visa apenas formao de tcnicos. A sua matriz

curricular apresenta disciplinas que possibilitam ao aluno, ingressar em grupos de ensino, pesquisa e
extenso, como tambm o habilitam ao ingresso em programas de ps-graduao. Desde o 4 semestre, o
aluno poder inserir-se nos projetos de pesquisa e iniciao cientfica atualmente existentes no Instituto
de Computao ou participar de projetos externos ao Instituto.
As atividades de extenso, quer seja atravs da realizao de cursos para a comunidade interna e
externa, quer atravs de aes que demandem servios de informatizao, podem ser exercidas com a
participao do alunado desde o 3 semestre letivo.
Com relao participao dos alunos nos programas de ps-graduao, convm ressaltar que a
maioria das atividades acadmicas do nosso Curso de Mestrado em Modelagem Computacional de
Conhecimento, tais como seminrios, palestras, mini-cursos e outros eventos, est sempre aberta para o
alunado da graduao, visando estimular os que se interessam pela carreira acadmica. A matriz
curricular atual apresenta vrias disciplinas que proporcionam um embasamento terico matemtico e
computacional, visando habilitar o aluno aos programas de ps-graduao em Cincia da Computao e
Engenharia de Computao atualmente existentes no pas.
12
4.1. Matriz Curricular
Matriz Curricular 2011 do Curso de engenharia de Computao do Instituto de Computao da UFAL
Introduo
F
Ingls Matemtica Geometria
1 Instrumental
Programao I
Discreta
Clculo 1
Analtica
Engenharia de
Computao 4
o
4 4 4 4 4 r
m
a
Lgica Aplicada Estrutura de Circuitos
2 Computao Dados
Fsica 1 Clculo 2 lgebra Linear
Digitais
Desenho

4 4 4 4 4 4 4
o
Ling. Formais,
Autmatos e
Metodologia
Sistemas B
3 Computabi-
Projeto de SW Fsica 2 Clculo 3 da Pesquisa e
do Trab. Cient. 2
Digitais
lidade 4 4 4 4 4
s
i
Probabilidade e Engenharia de Variveis
Organizao e
Fsica
c
4 Estatstica Software
Fsica 3 Clculo 4
Complexas
Arquitetura de
Computadores 4
Experimental a
4 4 4 4 4 2
P
Projeto e Conceitos de r
Circuitos Redes de Sinais e Sistemas
5 Anlise de
Algoritmos
Eltricos Computadores Sistemas
Linguagens de
Programao 4
Operacionais o
4 4 4 6 4 f
i
Paradigmas de
s
Princpios de Sistemas Inteligncia Teoria de Teoria dos s
6 Comunicao
Eletrnica
Distribudos Artificial
Compiladores
Controle Grafos
Linguagens de
4 4 4 4 4 4 2 Programao 2 i
o
n
Sistemas de
Sistemas Mtodos Computao Noes de Empreendedoris a
7 Banco de Dados
Embarcados
Eventos
Discretos
Numricos Grfica Direito mo
l
24 4 4 4 4 4 4
Mtodos Programao
Interface
Sistemas de Processamento
Computador,
Gerncia de Estatstica E
8 Formais Linear
Hardware -
software
Tempo Real Digital de Sinais
Sociedade e
tica
Projetos Computacional l
2 2 4 2 4 2 4 2
e
t
Anlise Formal Projeto de Projeto de i
Microcontrolado Processamento Modelagem e
9 res e Aplicaes
Multimdia
de Imagens Simulao
de Sistemas
Complexos 4
Sistemas
Embarcados
Automao e
Controle
v
2 2 2 2 4 4 a
6, 4 ou 2 horas-aula por semana
10 Disciplina Eletiva com Ementa predeterminada e em um perodo
sugerido
13
O fluxograma da Matriz Curricular do Curso de Engenharia de Computao mostra a
relao existente entre os diversos grupos de disciplinas existentes, podendo at haver pr-
requisitos, quando for o caso.
Conforme a Portaria n 4.059 do MEC, de 10 de dezembro de 2004, o docente

responsvel pela disciplina, poder dedicar at 20% da carga horria de sua disciplina em
atividades pedaggicas na modalidade a distncia.
5. Ordenamento Curricular
O Ordenamento Curricular do Curso de Engenharia de Computao formado pelas
disciplinas abaixo relacionadas por semestre:
Disciplinas Obrigatrias
DISCIPLINAS 1 SEMESTRE
CARGA HORRIA
CDIGO NOME DA DISCIPLINA SEMESTRAL
SEMANAL
Terica Prtica Total
ECOM001 Ingls Instrumental 4 40 20 60
ECOM002 Programao 1 4 40 20 60
1 ECOM003 Matemtica Discreta 4 40 20 60
ECOM004 Clculo 1 4 40 20 60
ECOM005 Geometria Analtica 4 40 20 60
ECOM006 Introduo Eng da Computao 4 40 20 60
Carga Horria Total 24 360
CARGA HORRIA
SEMANAL
Terica Prtica Total
ECOM007 Lgica Aplicada Computao 4 40 20 60
ECOM008 Estrutura de Dados 4 40 20 60
ECOM009 Fsica 1 4 40 20 60
2
ECOM010 Clculo 2 4 40 20 60
ECOM011 lgebra Linear 4 40 20 60
ECOM012 Circuitos Digitais 2 20 10 30
ECOM013 Desenho 4 40 20 60
CARGA HORRIA
SEMANAL
Terica Prtica Total
ECOM014 Linguagens Formais, Autmatos e 4 40 20 60
Computabilidade
ECOM015 Projeto de Software 4 40 20 60
3 ECOM016 Fsica 2 4 40 20 60
ECOM017 Clculo 3 4 40 20 60
ECOM018 Metodologia da Pesquisa e do Trabalho 2 20 10 30
Cientfico
ECOM019 Sistemas Digitais 4 40 20 60
15
CARGA HORRIA
SEMANAL
Terica Prtica Total
ECOM020 Probabilidade e Estatstica 4 40 20 60
ECOM021 Engenharia de Software 4 40 20 60
ECOM022 Fsica 3 4 40 20 60
4 ECOM023 Clculo 4 4 40 20 60
ECOM024 Variveis Complexas 4 40 20 60
ECOM025 Organizao e Arquitetura de 4 40 20 60
Computadores
ECOM026 Fsica Experimental 2 10 20 30
CARGA HORRIA
SEMESTRE CDIGO NOME DA DISCIPLINA SEMESTRAL
SEMANAL
Terica Prtica Total
ECOM027 Projeto e Anlise de Algoritmos 4 40 20 60
ECOM028 Circuitos Eltricos 4 40 20 60
ECOM029 Redes de Computadores 4 40 20 60
5 ECOM030 Sinais e Sistemas 6 60 30 90
ECOM031 Conceitos de Linguagens de Programao 4 40 20 60
ECOM032 Sistemas Operacionais 4 40 20 60
CARGA HORRIA
SEMANAL
Terica Prtica Total
ECOM033 Princpios de Comunicao 4 40 20 60
ECOM034 Eletrnica 4 40 20 60
ECOM035 Sistemas Distribudos 4 40 20 60
ECOM036 Inteligncia Artificial 4 40 20 60
ECOM037 Compiladores 4 40 20 60
6
ECOM038 Teoria de Controle 4 40 20 60
ECOM039 Teoria dos Grafos 2 20 10 30
ECOM040 Paradigmas de Ling. de Programao 2 20 10 30
16
CARGA HORRIA
SEMANAL
Terica Prtica Total
ECOM041 Banco de Dados 4 40 20 60
ECOM042 Sistemas Embarcados 4 40 20 60
7o ECOM043 Sistemas de Eventos Discretos 4 40 20 60
ECOM044 Mtodos Numricos 4 40 20 60
ECOM045 Computao Grfica 4 40 20 60
ECOM046 Noes de Direito 4 40 20 60
ECOM047 Empreendedorismo 4 40 20 60
CARGA HORRIA
SEMANAL
Terica Prtica Total
ECOM048 Computador, Sociedade e tica 2 20 10 30
8o ECOM049 Gerncia de Projetos 4 40 20 60
-- Disciplinas Eletivas - - - -
CARGA HORRIA
SEMANAL
Terica Prtica Total
--- Disciplinas Eletivas - - - -
9o
Carga Horria Total - -
CARGA HORRIA
SEMANAL
Terica Prtica Total
--- Disciplinas Eletivas - - - -
10o
Carga Horria Total - -
17
Disciplinas Eletivas
DISCIPLINAS ELETIVAS
CDIGO NOME DA DISCIPLINA CH CH
SEMANAL SEMESTRAL
ECOM101 Mtodos Formais 2 30
ECOM102 Programao Linear 2 30
ECOM103 Interface Harware-software 4 60
ECOM104 Sistemas de Tempo Real 2 30
ECOM105 Processamento Digital de Sinais 4 60
ECOM106 Estatstica Computacional 2 30
ECOM107 Microcontroladores e Aplicaes 2 30
ECOM108 Multimdia 2 30
ECOM109 Processamento de Imagens 2 30
ECOM110 Modelagem e Simulao 2 30
ECOM111 Anlise Formal de Sistemas Complexos 4 60
ECOM112 Projeto de Sistemas Embarcados 4 60
ECOM113 Projeto de Automao e Controle 4 60
ECOM114 Anlise de Sistemas Engenharia de Requisitos 2 30
ECOM115 Arquitetura de Software 2 30
ECOM116 Gerncia de Configuraes e Mudanas 2 30
ECOM117 Computao Mvel e Sem Fio 2 30
ECOM118 Qualidade de Software 2 30
ECOM119 Redes de Petri 2 30
ECOM120 Tcnicas de Reuso de Software 2 30
ECOM121 Fundamentos de Libras 4 60
ECOM122 Fundamentos de Matemtica 4 60
ECOM123 Internet e Web 2 30
ECOM124 Banco de Dados 2 2 30
ECOM125 Teste de Software 4 60
ECOM126 Pesquisa Operacional 4 60
ECOM127 Redes de Computadores 2 2 30
ECOM128 Inteligncia Artificial 2 2 30
ECOM129 Interao Homem-Mquina 2 30
ECOM130 Introduo Administrao 4 60
18
DISCIPLINAS ELETIVAS Tpicos Especiais
CDIGO NOME DA DISCIPLINA CH CH
SEMANAL SEMESTRAL
ECOM201 Tpicos em Humanidades - -
ECOM202 Tpicos em Computao Cientfica - -
ECOM203 Tpicos em Computao Paralela - -
ECOM204 Tpicos em Banco de Dados - -
ECOM205 Tpicos em Software Bsico - -
ECOM206 Tpicos em Engenharia de Software - -
ECOM207 Tpicos em Arquitetura de Computadores - -
ECOM208 Tpicos em Comunicao de Dados - -
ECOM209 Tpicos em Redes de Computadores - -
ECOM210 Tpicos em Inteligncia Artificial - -
ECOM211 Tpicos Especiais em Computao - -
ECOM212 Tpicos Especiais em Engenharia - -
ECOM213 Tpicos em Modelagem Computacional de - -
Conhecimento
ECOM214 Tpicos Especiais em Programao - -
ECOM215 Tpicos em Informtica na Educao - -
19
5.1. Ementas das Disciplinas
Disciplinas Obrigatrias
Cdigo Nome da Disciplina CH

ECOM001 Ingls Instrumental 60
Ementa:
Estudo de textos especficos da rea de computao visando compreenso. Aspectos gramaticais e
morfolgicos pertinentes compreenso. Desenvolvimento e ampliao das estratgias de leitura.
Conscientizao do processo de leitura. Explorao de informaes no-lineares, cognatos e contexto.
Seletividade do tipo de leitura (Skimming/Scanning). Levantamento de hiptese sobre texto (ttulo e
subttulos). Abordagem de pontos gramaticais problemticos para leitura. Uso do dicionrio como estratgia-
suporte de leitura: tipos, recursos, prtica.
Bibliografia:
PINTO, Dilce. Compreenso Inteligente de Textos. Grasping the Meaning. Vol 1 e 2. Rio de Janeiro:LTC,
1991.
DUBIN, F. Reading by All Means. USA: Addison-Wesley, 1990.
EDIGER, A. Reading for Meaning. USA: Longman, 1989.
MICHAELIS. Dicionrio Ingls-Portugus. So Paulo: Melhoramentos, 2003.

ECOM002 Programao 1 60
Ementa:
Resoluo de problemas e desenvolvimento de algoritmos. Anlise do problema. Estratgias de soluo.
Representao e documentao. Programao de algoritmos usando uma linguagem de programao.
Estruturao de programas. Noes de tipos e estrutura elementares de dados. Conceito de recurso e sua
aplicao.
Bibliografia:
EVARISTO, Jaime. Aprendendo a Programar Programando na Linguagem C. Rio de Janeiro: Book
Express, 2004.
ASCENCIO, Ana F. G. e Campos, Edilene A. V. Fundamentos de Programao de Computadores.
Prentice Hall, 2002.
FORBELLONE, Andr L.V. Ebesrpacher, Henri F. Lgica de programao - a construo de algoritmos e
estruturas de dados, 2a ed. So Paulo: Makron Books, 2000.
MIZRAHI, Victorine V. Treinamento em Linguagem C. Mdulo 1. McGraw Hill, 1990.
MIZRAHI, Victorine V. Treinamento em Linguagem C. Mdulo 2. McGraw Hill, 1990.

ECOM003 Matemtica Discreta 60
20
Ementa:
Conjuntos e Funes. Construo Axiomtica do Conjunto dos Nmeros Naturais: Postulados de Peano.
Estruturas Algbricas: Anis, Domnios de Integridade, Domnios Bem Ordenados, Construo Axiomtica
do Conjunto dos Nmeros Inteiros. Representao dos Nmeros Inteiros: Sistemas de Numerao. Fatorao
de Nmeros Inteiros: Mximo Divisor Comum, Nmeros Primos. Aritmtica Modular: Congruncias, Anis
Zn, Criptografia RSA. Noes da Teoria dos Grafos. Combinatria Elementar.
Bibliografia:
EVARISTO, Jaime. Introduo lgebra Abstrata. Macei: EDUFAL, 2002.
ALBERTSON, M. O. Discrete Mathematic with Algorithms. USA: Wiley & Sons, 1998.
KNUTH, D. E. The Art of Computer Programming, Volume 2. USA: Addison-Wesley, 1988.
GRAHAM, R.; KNUTH, D; PATASCHINK, O. Matemtica Concreta. Rio de Janeiro: LTC, 1995.
SZWARCFILER, Jaime. L. Grafos e Algoritmos Computacionais. Campus, 1984.

ECOM004 Clculo 1 60
Ementa:
Funes e grficos. Limite e continuidade. A derivada e a derivao. Valores Extremos de funes. Tcnicas
de construo de grficos. A diferencial. Integrao e a integral definida.
Bibliografia:
VILA, Geraldo. Clculo 1, Funes de uma Varivel Real. Rio de Janeiro: LTC, 2004.
STEWART, James. Clculo 1. So Paulo: Thomson Learning, 2005.
SWOKOWSKI, Earl. Clculo com Geometria Analtica. So Paulo: Makron Books, 1994.
GUIDORIZZI, Hamilton. Um Curso de Clculo. Rio de Janeiro: LTC, 2001.
LEITHOLD, Louis. Clculo com Geometria Analtica. So Paulo: Harbra, 1994.

ECOM05 Geometria Analtica 60
Ementa:
Geometria em Trs Dimenses: Vetores. Produtos internos. Produtos vetoriais. Retas e planos. Cnicas e
qudricas. Espaos e subespaos euclidianos. Matrizes e Determinantes. Sistemas de equaes lineares.
Bibliografia:
BOULOS, Paulo. Vetores e Geometria Analtica: Um Tratamento Vetorial. So Paulo: Makron Books,
2005.
REIS, Gensio. Geometria Analtica. Rio de Janeiro: LTC, 1996.

ECOM006 Introduo a Engenharia de Computao 60
21
Ementa:
Histrico da Engenharia. Atribuies do engenheiro de computao. Componentes bsicos de um sistema de
computao. Linguagem de programao: conceituao e classificao. Noes de software bsico: sistema
operacional, compilador, interpretador, montador, ligador e carregador. Representao interna dos dados e
sistema de numerao. Noes de sistemas embarcados e automao. Seminrios.
Bibliografia:
CAPRON, Harriet L.; JOHNSON, J. A. Introduo a Informtica. Prentice Hall Brasil, 2004.
SETZER, V. Introduo Computao e Construo de Algoritmos. So Paulo: McGraw-Hill, 1991.
FORBELLONE, Andr. Lgica de Programao. So Paulo: Makron Books, 2000.
BAZZO, W. A; PEREIRA, L. T. do V.. Introduo a Engenharia. Editora Universidade Federal de Santa
Catarina, 1993.

ECOM007 Lgica Aplicada Computao 60
Ementa:
Histrico evolutivo. Fundamentos de Lgica. Lgica proposicional. Lgica de primeira ordem. Prova
Automtica de Teoremas. Seminrios em temas complementares.
Bibliografia:
CHANG, C.: LEE, R. Symbolic Logic and Mechanical Theorem Proving. Academic Press, 1973.
VAN, Dalen D. Logic and Structure. Second Edition. Springer-Verlag, 1989.
SOUZA, J. N. Lgica para Cincia da Computao. Rio de Janeiro: Editora Campus, 2002.
ENDERTON, H. B. A Mathematical Introduction to Logic. USA: Academic Press, 1972.

ECOM008 Estrutura de Dados 60
Ementa:
Introduo programao orientada a objetos. Classes containers: arrays, arrays ordenados, listas e suas
variantes (alocao dinmica). Tipos abstratos de dados: pilha, fila, fila de prioridade, rvore, grafo. Notao
de ordem de complexidade. Algoritmos de busca e ordenao.
Bibliografia:
LAFORE, R. Aprenda em 24 horas Estruturas de Dados e Algoritmos. Campus, 1999.
KRUSE, Robert L; RYBA, Alexander J. Data Structures and Program Design in C++. Prentice Hall, 1999.
LEISERSON, Charles; CORMEN, Thomas. Algoritmos: Teoria e Prtica. Campus, Rio de Janeiro, 2002.

ECOM009 Fsica 1 60
Ementa:
Grandezas fsicas. Vetores. Cinemtica e dinmica da partcula. Trabalho e energia. Dinmica de um sistema
de partculas. Cinemtica e dinmica da rotao.
22
Bibliografia:
HALLIDAY, Resnick. Fundamentos de Fsica. Volume 1. Rio de Janeiro: LTC, 2001.

ECOM010 Clculo 2 60
Ementa:
A integral indefinida. Logaritmos e exponenciais. Funes trigonomtricas e funes trigonomtricas
inversas. Funes hiperblicas. Tcnicas de integrao. Aplicaes da integrao. Coordenadas polares.
Integrais imprprias. Frmula de Taylor. Seqncias e sries infinitas.
Bibliografia:
STEWART, James. Clculo 2. So Paulo: Thomson Learning, 2005.
GUIDORIZZI, Hamilton. Um Curso de Clculo, Rio de Janeiro: LTC, 2001.

ECOM011 lgebra Linear 60
Ementa:
Sistemas de Equaes Lineares e Matrizes. Mtodos de Gauss-Jordan. Espaos Vetoriais. Base e Dimenso.
Espaos com Produto Interno. Transformaes lineares. Auto-valores e auto-vetores. Diagonalizao de
operadores. Introduo forma de Jordan. Produto interno. Tipos especiais de operadores lineares. Formas
lineares, bilineares e quadrticas. Aplicaes.
Bibliografia:
CALLIOLI, Carlos. lgebra Linear e Aplicaes. So Paulo: Editora Atual, 1990.
STEINBRUCH, Alfredo. lgebra Linear. So Paulo: Makron Books, 1987.

ECOM012 Circuitos Digitais 30
Ementa:
Sistemas Numricos e Cdigos. Portas Lgicas e lgebra Booleana. Circuitos Combinacionais e Seqenciais.
Aritmtica Binria: Operaes e Circuitos. Converso digital-analgico e analgico-digital.
23
Bibliografia:
WAGNER, Flvio. Fundamentos de Circuitos Digitais. Porto Alegre: Sagra-Luzzatto, 2006.
TAUB, Hebert. Circuitos Digitais e Microprocessadores. So Paulo: McGraw Hill, 1984.
MALVINO, A. P. Eletrnica Digital: Princpios e Aplicaes. So Paulo: McGraw-Hill, 1988.
TANENBAUM, A.S. Organizao Estruturada de Computadores. Brasil: Prentice Hall, 2007.
STALLINGS, William. Arquitetura e Organizao de Computadores. Brasil: Prentice Hall, 2002.

ECOM013 Desenho 60
Ementa:
Introduo. Objetivos: conceituao histrica. Noes de desenho geomtrico e geometria descritiva. Normas
do desenho tcnico. Escala. Cotagem e dimensionamento. Projees ortogonais. Vistas principais, auxiliares e
secionais. Perspectiva. Noes de projeto por computador. Desenho de projetos complementares. Leitura e
integrao de projetos.
Bibliografia:
PRINCIPE JNIOR, Alfredo dos Reis. Introduo Geometria Descrita. So Paulo: Ed. Nobel, v.1, 1998.
MACHADO, Ardevan. Geometria Descritiva. So Paulo: Ed. McGraw Hill.
MONTENEGRO, Gildo A. A Perspectiva dos Profissionais. So Paulo: Ed. Edgard Blucher, 1998.

ECOM014 Linguagens Formais, Autmatos e Computabilidade 60
Ementa:
Alfabeto. Linguagens e operaes com Linguagens. Gramticas formais e autmatos. Tipos de Linguagens e a
Hierarquia de Chomsky. Autmatos Finitos e de Pilha. Contagem e enumerabilidade. Tese de Church-Turing .
Modelos de computao. Teoria das funes recursivas. Mquinas de Turing. Decidibilidade. Problema da
parada. Reducidibilidade. Complexidade computacional.
Bibliografia:
MENEZES, P. Linguagens Formais e Autmatos. So Paulo: Sagra-Luzzatto. 2005.
HOPCROFT, J. Introduo a Teoria dos Autmatos, Linguagens e Computao. Campus, 2001.
SIPSER, M. Introduction to the Theory of Computation. PSW Publishing Company, 1997.
DIVRIO, T ; MENEZES, P. B. Teoria da Computao. Sagra-Luzzatto, 2005.
LEWIS, H; PAPADIMITRIOU, C. Elements of the Theory of Computation. Prentice-Hall, 1981.
ECOM015 Projeto de Software 60
Ementa:
Fundamentos de abstrao de dados, orientao a objetos, programao genrica e tratamento de excees.
Fundamentos de uma determinada linguagem orientada a objetos, abstrao, herana, polimorfismo. Aspectos
avanados: classes e instncias, sobrecarga de operadores, templates, objetos funo, iteradores e padres de
projeto orientado a objetos.
24
Bibliografia:
STROUSTRUP, B. An Overview of the C++ Programming Language, in The Handbook of Object
Technology. CRC Press, Boca Raton, 1999.
STROUSTRUP, B. A Linguagem de Programao C++. 3 ed. Porto Alegre: Bookman, 2000.
DEITEL, D. Java Como Programar. 6 ed. So Paulo: Pearson, 2005.
GAMMA, Erich; HELM, Richard; JOHNSON, Ralph; VLISSIDES, John M. Design Patterns: Elements of
Reusable Object-Oriented Software. Addison Wesley, 1995.

ECOM016 Fsica 2 60
Ementa:
Gravitao. Movimentos oscilatrios. Ondas. Mecnica dos Fluidos. Termodinmica e Teoria Cintica dos
Gases.
Bibliografia:

ECOM017 Clculo 3 60
Ementa:
Curvas parametrizadas. Comprimento de arco. Curvatura e Torso. Triedro de Frenet. Funes de vrias
variveis. Limite e continuidade. Derivadas parciais. Aplicaes diferenciveis. Matriz Jacobiana. Derivadas
direcionais. Gradiente. Regra da Cadeia. Funes implcitas. Funes vetoriais. Teorema da funo inversa.
Mximos e mnimos. Multiplicadores de Lagrange. Frmula de Taylor.
Bibliografia:
STEWART, James. Clculo 2, Thomson Learning. So Paulo, 2005.

ECOM018 Metodologia da Pesquisa e do Trabalho Cientfico 30
Ementa:
Cincia e conhecimento cientfico. Diferena entre cincia e tecnologia. A pesquisa cientfica. Teorias
cientficas e a validao da pesquisa. Metodologia geral da pesquisa. Tipos de pesquisa. Mtodos
e tcnicas de pesquisa. Problema e problemtica - aprimoramento das hipteses. Estudos exploratrios e
referencial terico. Elaborao de um projeto de pesquisa e de um relatrio de pesquisa. Ferramentas
auxiliares.
25
Bibliografia:
CASTRO, C. M. A Prtica da Pesquisa. Pearson, 2006.
VOLPATO, G. L. Cincia: da filosofia publicao. Cultura Acadmica, 2007
COSTA, Ana Rita. Orientaes Metodolgicas para Produo de Trabalhos Acadmicos. Macei: Edufal,
1997.
LAKATOS, E.M. Fundamentos de Metodologia Cientfica. So Paulo: Atlas, 2001.

ECOM019 Sistemas Digitais 60
Ementa:
Metodologias de Desenvolvimento. Aplicao de circuitos seqenciais. Anlise e sntese de circuitos
seqenciais. Modelos de circuitos seqenciais sncronos e assncronos. Diagramas de fluxo e tabelas de
estados. Circuitos seqenciais com lgica programvel. Conversores. Teorema da amostragem. Dispositivos
de Lgica programvel. Mquinas de estados finitos. Linguagem de descrio de hardware. Hardware
reconfigurvel: conceitos, configurao, ambientes de desenvolvimento, sntese. Controladores.
Bibliografia:
TOCCI, Ronald J. et al. Sistemas Digitais - Princpios e Aplicaes, 10 ed. Prentice Hall Brasil, 2003.
IDOETA, I.V., CAPUANO, F.G. Elementos de eletrnica digital. Livros rica Ed. Ltda.
CARRO, Luigi. Projeto e Prototipao de Sistemas Digitais, 1 ed. Editora UFRGS, 2001.
DAMORE, Roberto. VHDL - Descrio e Sntese de Circuitos Digitais. LTC, 2005.
MAXFIELD, Clive. The Design Warrior's Guide to FPGAs, 1 ed. Newnes (Elsevier), 2004.
WAKERLY, J.F.: DIGITAL DESIGN PRINCIPLES AND PRACTICES. 3rd edition, Prentice-Hall. 2000.
TAUB, H. Circuitos digitais e microprocessadores. Makron Books.

ECOM020 Probabilidade e Estatstica 60
Ementa:
Anlise exploratria. Probabilidade. Distribuio discreta e contnua de variveis aleatrias. Valor esperado e
varincia. Inferncia estatstica: estimao de parmetros e teste de hipteses. Tpicos especiais. Utilizao de
ferramentas computacionais.
26
Bibliografia:
MAGALHES, M.T; LIMA, A.C. Noes de Probabilidade e Estatstica. 6 ed.. So Paulo: EDUSP, 2004.
BUSSAB, W; MORETTIN, P. Estatstica Bsica. 5 ed.. So Paulo: Saraiva, 2004.
YATES, R.D; GOODMAN, D.J. Probability and Stochastic Processes: A Friendly Introduction for
Electrical and Computer Engineers. New York: John Wiley & Sons, 2002.
DEKKING, F. M.; KRAAIKAMP, C.; LOPUHA, H. P. & Meester, L. E. A Modern Introduction to
Probability and Statistics: Understanding Why and How. Springer, 2005.
MAGALHES, M. N. Probabilidade e Variveis Aleatrias. IME-USP, 2004.
VERZANI, J. Using R for Introductory Statistics. Chapman & Hall/CRC, 2004.
LAPPONI, J.C. Estatstica Usando Excel. 2 ed.. So Paulo: Lapponi, 2000.
DALGAARD, P. Introductory Statistics with R. Springer, 2002.

ECOM021 Engenharia de Software 60
Ementa:
Fases do desenvolvimento de software. Modelos de processos de software. Requisitos de especificao de
software. Tcnicas de levantamento de dados. Planejamento e projeto de software. Gerenciamento de projetos.
Modelos de sistema. Testes de software.
Bibliografia:
SOMMERVILLE, Ian. Engenharia de Software. So Paulo: Prentice-Hall, 2003.
PRESSMAN, Roger. Software Engineering: A practitioners Approach. McGraw-Hill, 2004.

ECOM022 Fsica 3 60
Ementa:
Estudo introdutrio da Teoria da Eletricidade e do Magnetismo.
Bibliografia:

ECOM023 Clculo 4 60
Ementa:
Integrais mltiplas. Integrais de Linha. Campos vetoriais conservativos. Mudana de variveis em integrais
mltiplas. Superfcies parametrizadas. Integrais de superfcie. Teorema de Green. Teorema de Gauss.
Teorema de Stoke. Equaes diferenciais de primeira e segunda ordem. Mtodos elementares de soluo.
Equaes diferenciais lineares.
27
Bibliografia:
STEWART, James. Clculo 2, Thomson Learning. So Paulo, 2005.

ECOM024 Variveis Complexas 60
Ementa:
Nmeros Complexos. Funes analticas complexas. Representao conforme. Integrao complexa. Mtodo
dos Resduos. Funes harmnicas. Expanso em srie de potncias. A funo Gamma. A frmula de Stirling.
Bibliografia:
VILA, G. Variveis Complexas e Aplicaes. LTC Editora, Ed. 3. 2000.
SOARES, Marcio G.: Clculo em Uma Varivel Complexa. Rio de Janeiro: Instituto de Matemtica Pura
Aplicada, (Coleo Matemtica Universitria), 2001.
AHLFORS, V.: Complex Analysis. 3 rd Ed., McGraw-Hill,1979.

ECOM025 Organizao e Arquitetura de Computadores 60
Ementa:
Organizao bsica de computadores: processador, memria, entrada-sada. Organizao interna do
processador. Hierarquia de memria. Dispositivos de E/S. Barramentos. Microarquiteturas e
microprogramao. Arquitetura do conjunto de instrues. Linguagem de mquina e de montagem.
Arquiteturas no-convencionais.
Bibliografia:
WEBER, Raul. Fundamentos de Arquitetura de Computadores. Porto Alegre: Sagra Luzzato, 2001.
MURDOCCA, Miles. Computer Organization and Architecture. Ie-Wiley, 2007.
HENNESSY, John. Arquitetura de Computadores: uma Abordagem Quantitativa. Rio de Janeiro
Campus, 2003.

ECOM026 Fsica Experimental 30
Ementa:
Laboratrio de Eletricidade e Magnetismo.
Bibliografia:

ECOM027 Projeto e Anlise de Algoritmos 60
28
Ementa:
Projeto de Algoritmos. Recursividade. Anlise de complexidade de algoritmos. Apresentao de problemas
de otimizao. Programao dinmica. Problemas NP-completos. Algoritmos especiais.
Bibliografia:
CORMEN, T. H.; LEISERSON, C. E.; RIVEST, R. L.; STEIN, C. Introduction to Algorithms. 2 ed..
Cambridge: MIT Press, 2001.
CORMEN, Leiserson; RIVEST. Algotirmos: Teoria e Prtica. Rio de Janeiro: Campus, 2002.
PARBERRY, I. Problems on Algorithms. USA: Prentice Hall, 1995.
SZWARCFITER, J. Estruturas de Dados e seus Algoritmos. Rio de Janeiro: LTC, 1994.

ECOM028 Circuitos Eltricos 60
Ementa:
Elementos de circuitos lineares. Lei de Ohm. Leis de Kirchoff. Mtodos de anlise. Teoremas. Circuitos de
primeira ordem. Excitao senoidal. Fasores. Anlise em regime permanente C.A.. Potncia em regime
permanente C.A. Sintese de Circuitos.
Bibliografia:
JOHNSON, D.E. Fundamentos de anlise de circuitos eltricos. Prentice Hall, 1994.
HAYT, W.H. Anlise de circuitos em engenharia. McGraw-Hill, 1975.
BURIAN , Yaro. Circuitos Eltricos. So Paulo: Prenntice Hall, 2006.
NILSSON, James W.; RIEDEL, Susan A.. Circuitos Eltricos. 6 edio. Livros Tcnicos e Cientficos
Editora Ltda, 2003.

ECOM029 Redes de Computadores 60
Ementa:
Conceitos de redes de computadores. Comunicao de dados. Arquitetura de redes de computadores.
Protocolos de baixo nvel. Protocolos de alto nvel. Redes locais de computadores. Redes de longa distncia.
Noes de interconexo de redes de computadores.
Bibliografia:
KUROSE, James F. Redes de Computadores e a Internet:Uma Abordagem Top-down. 3 ed.. Pearson
Education, 2006.
TANEMBAUM, Andrew. Redes de Computadores. 4a ed. Rio de Janeiro: Campus, 2003.
PETERSON, Larry. Computer Networks: a Systems Approach. USA: Morgan Kaufmann, 2003.

ECOM030 Sinais e Sistemas 90
29
Ementa:
Sinais em tempo contnuo, em tempo discreto e digitalizados. Sistemas lineares e invariantes no tempo (tempo
contnuo e tempo discreto). Variveis de estado. Funo de transferncia de tempo discreto. Transformada de
Laplace. Srie e Transformada de Fourier. Amostragem e construo de sinais contnuos. Equaes a
diferenas. Transformada Z. Transformada discreta de Fourier. Transformada rpida de Fourier. Noes de
filtragem.
Bibliografia:
HAYKIN, Simon; VEEN, Barry. Sinais e Sistemas, Porto Alegre: Bookman, 2001.
LATHI, B.P. Sinais e Sistemas Lineares. Bookman, 2006.
HSU, Hwei. Sinais e Sistemas. Bookman, 2004.
OPPENHEIM, A.V.; WILSKY, A.S. ; NAWAB, S.H.; Signals and Systems, 2a. ed. Prentice-Hall, 1996.

ECOM031 Conceitos de Linguagens de Programao 60
Ementa:
Fundamentos da anlise de linguagens de programao. Nomes, ligao, checagem de tipos e escopos. Tipos
de dados. Expresses, atribuio e estruturas de controle. Subprogramas. Programao: estruturada, funcional,
lgica, orientada a objetos, outras.
Bibliografia:
SEBESTA, Robert. Conceitos de Linguagens de Programao. Porto Alegre: Bookman, 2000.
PRATT, T. Programming Languages: Design and Implementation. USA: Prentice Hall, 1996.

ECOM032 Sistemas Operacionais 60
Ementa:
Conceitos bsicos. Evoluo dos sistemas operacionais. Estrutura e funes dos sistemas operacionais.
Gerenciamento de processos. Gerncia de memria. Gerenciamento de entrada/sada. Sistemas de arquivos.
Estudos de caso de sistemas operacionais.
Bibliografia:
TANENBAUM, Andrew. Sistemas Operacionais Modernos. So Paulo: Prentice-Hall, 2003.
SILBERSCHATZ, Abraham. Fundamentos de Sistemas Operacionais. Rio de Janeiro: LTC, 2004.
DEITEL, C. Sistemas Operacionais. So Paulo: Prentice-Hall, 2005.
TANENBAUM, Andrew S.; WOODHULL, Albert S. Operating systems: Design and Implementation. 3
ed.. Upper Saddle River: Prentice-Hall, 2006.

ECOM033 Princpios de Comunicao 60
30
Ementa:
Sinais analgicos e digitais. Iintroduo a processos estocsticos. Rudos em sistemas. Transmisso de sinais
em sistemas lineares. Modulao e demodulao em banda base. Codificao de linha. Modulao e
demodulao em banda passante. Anlise de enlaces. Introduo teoria da informao.
Bibliografia:
LATHI, B. P. Modern Digital and Analog Communication Systems - Oxford USA Trade, 1998.
HAYKIN, S. Introduo aos sistemas de comunicao - 2 ed., Ed. Bookman, 2008
PROAKIS, John G.; SALEHI, Masoud . Communication Systems Engineering - 2 edio, Prentice Hall.

ECOM034 Eletrnica 60
Ementa:
Diodos. Diodo zener. Circuitos com diodos. Transistores: tipos, princpios de operao, caractersticas e
polarizao. Circuitos amplificadores e de chaveamento com transistores. Aplicaes lineares e de
chaveamento. Modelos de pequenos sinais. Amplificadores. Tiristores: tipos e caractersticas. Circuitos com
tiristores. Dispositivos opto-eletrnicos. Amplificador operacional. Circuitos com amplificadores
operacionais. Fontes de alimentao.
Bibliografia:
SEDRA, A. D.; SMITH, K. C.. Microeletronica. Makron. 1999.
BOYLESTAD, Robert L ; NASHELSKY Louis. Dispositivos Eletrnicos e Teoria de Circuitos. 8ed.,
Prentice Hall, 2004.
CATHEY, Jimmie F. Dispositivos Eletrnicos e Circuitos Eletrnicos. Bookman, 2003.
BOGAT, Theodore F. Dispositivos e Circuitos Eletrnicos, 3 ed. Makron Books, 2001.

ECOM035 Sistemas Distribudos 60
Ementa:
Caracterizao de sistemas de computao distribuda. Modelos de sistemas distribudos. Processos em
sistemas distribudos. Objetos distribudos. Sincronizao e coordenao. Servios de sistemas distribudos.
Segurana em sistemas distribudos. Novos modelos de sistemas distribudos. Algoritmos distribudos.
Replicao e tolerncia a falhas.
Bibliografia:
COULOURIS, G. Dollimore J. Distributed Systems: Concepts and Design. USA: Addison Wesley, 2005.
TANENBAUM, A. Steen M. Distributed Systems: Principles and Paradigms. USA: Prentice Hall, 2002.

ECOM036 Inteligncia Artificial 60
Ementa:
Aspectos histricos e conceituao da inteligncia artificial. Resoluo de problemas via busca.
Representao do conhecimento e raciocnio. Sistemas especialistas. Aquisio de conhecimento e
aprendizagem automtica. Raciocnio baseado em casos. Tratamento de incerteza. Seminrios em temas
complementares.
31
Bibliografia:
LUGER, George. Inteligncia Artificial: Estruturas e Estratgias para a Soluo. Porto Alegre: Bookman,
2004.
RUSSELL, Stuart; NORVIG, Peter. Inteligncia Artificial. Rio de Janeiro: Campus, 2004.
RICH, Elaine; KNIGHT, Kevin. Inteligncia artificial. 2 ed. So Paulo: Makron Books, 1994.

ECOM037 Compiladores 60
Ementa:
Processadores de linguagem: compilador e interpretador. Introduo compilao. Fases da compilao.
Ambigidade. Relaes sobre gramticas. Anlise lxica. Anlise sinttica ascendente e descendente.
Ferramentas para anlise lxica e sinttica. Tabelas de smbolos. Anlise semntica e gerao de cdigo.
Introduo otimizao de cdigo.
Bibliografia:
PRICE, A. M. Implementao de Linguagens de Programao: Compiladores. Sagra Luzzato, 2001.
AHO, Sethi Ullman. Compiladores: Princpios, Tcnicas e Ferramentas. Rio de Janeiro: LTC, 1986.
SETZER, Valdemar. A Construo de um Compilador. Rio de Janeiro: Campus, 1986.

ECOM038 Teoria de Controle 60
Ementa:
Aspectos gerais da teoria de controle. Modelagem e simulao de sistemas dinmicos contnuos e discretos.
Linearizao. Funo de transferncia de sistemas contnuos e discretos. Diagrama de blocos de sistemas
contnuos, discretos e hbridos. Anlise no espao de estados: autovalores, soluo da equao de estados,
decomposio da funo de transferncia, relaes entre funo de transferncia e equao de estado,
discretizao do modelo no espao de estados. Estabilidade de sistemas lineares contnuos e discretos. Anlise
de erro em regime e do desempenho da resposta transitria no domnio do tempo para sistemas lineares
contnuos e discretos. Efeito da adio de plos e zeros. Anlise de erro em regime e desempenho da resposta
transitria via grfico de Bode para sistemas contnuos.
Bibliografia:
OGATA, K. Engenharia de Controle Moderno. 4 ed.. Prentice-Hall do Brasil, 2003.
DORF, Richard C. e BISHOP, Robert H. Sistemas de Controle Modernos. 10a edio. LTC, 2009.
KUO, B. C.e GOLNARAGHI, F. Automatic Control Systems. 9rd ed., Wiley, 2009.

ECOM039 Teoria dos Grafos 30
32
Ementa:
Introduo teoria dos grafos. Noes bsicas: grafos orientados, no-orientados, bipartidos. Percursos em
grafos. Casamentos. Subgrafos, hipergrafos, matrides e cliques. rvores e rvores geradoras. Conectividade.
Problemas de caminhos. Estabilidade e nmero cromtico. Grafos planares. Circuitos eulerianos e
hamiltonianos. Grafos sem circuitos. Redes. Fluxos em redes.
Bibliografia:
SZWARCFITER, Jayme. Grafos e Algoritmos Computacionais. Rio de Janeiro: Campus, 1984.
NETTO, Paulo B. Grafos: Teoria, Modelos e Algoritmos. So Paulo: Edgard Blucher, 1996.

ECOM040 Paradigmas de Linguagens de Programao 30
Ementa:
Programao: estruturada, funcional, lgica, orientada a objetos, outras.
Bibliografia:
SEBESTA, Robert. Conceitos de Linguagens de Programao. Porto Alegre: Bookman, 2000.
PRATT, T. Programming Languages: Design and Implementation. USA: Prentice Hall, 1996.
ECOM041 Banco de Dados 60

Ementa:
Mtodos de acesso primrio e secundrio. Arquitetura de banco de dados e modelos de dados. Projeto
conceitual: modelo entidade-relacionamento. Projeto lgico. Modelo relacional. Estudos de casos em
SGBDS. Transaes, concorrncia, recuperao, segurana e integridade em banco de dados. Linguagem
SQL.
Bibliografia:
NAVATHE, S; ELMASRI, R. E. Sistemas de Banco de Dados. Brasil: Addison Wesley, 2005.
SILBERSCHATZ, Abraham. Sistemas de Banco de Dados. Rio de Janeiro: Campus, 2006.
DATE, C. J. Introduo a Sistemas de Banco de Dados. Rio de Janeiro: Campus, 2004.
SETZER, Valdemar. Banco de Dados. So Paulo: Edgard Blucher, 2005.
HEUSER, C.A. Projeto de Banco de Dados. Porto Alegre: Sagra-Luzzatto, 2004.

ECOM042 Sistemas Embarcados 60
Ementa:
Definio do conceito de software embarcado e Sistemas Operacionais de Tempo Real.
Abstrao de hardware, administrao de recursos e ambiente multi tarefas. Configurao das ferramentas de
desenvolvimento e conceitos bsicos na plataforma ARM Configurao de um Sistema operacional em
Tempo Real. Configurao de um Linux embarcado. Outros Sistemas Embarcados e outras plataformas.
33
Bibliografia:
NOERGAARD, T. Embedded Systems Architecture: A Comprehensive Guide for Engineers and
Programmers. Newnes, 2005.
BERGER, A.; BERGER, A.S. Embedded Systems Design: An Introduction to Processes, Tools and
Techniques. Newnes; 2001.

ECOM043 Sistemas de Eventos Discretos 60
Ementa:
Introduo a Sistemas de Eventos Discretos (SEDs). Modelagem de SEDs: Autmatos e Redes de Petri.
Redes interpretadas. Redes de alto nvel. Redes de Petri e a representao no tempo. Metodologia de projeto
de sistemas de controle para SEDs. Teoria de Controle Supervisrio. Aplicaes.
Bibliografia:
CARROL, J., D. Long. Theory of Finite Automata. Prentice-Hall International Editions, 1989.
HOPCROFT, J. E., ULLMANN, J. D. Introduction to Automata Theory, Languages and Computation.
Addison - Wesley, USA, 1979.
DAVID, R., ALLA, H. Petri Nets and Grafcet: Tools for Modeling Discrete-Event Systems. Englewood
Cliffs, N.J. : Prentice Hall, 1992.
CARDOSO, Janette, VALLETE, Robert. Redes de Petri. Editora da UFSC, 1997.
ARNOLD, A. Finite Transition Systems. Prentice Hall, 1994.

ECOM044 Mtodos Numricos 60
Ementa:
Aritmtica computacional. Soluo numrica de equaes no-lineares. Soluo numrica de sistemas de
equaes lineares. lgebra linear computacional. Aproximao de funes. Derivao e integrao numricas.
34
Bibliografia:
RUGGIERO, Mrcia. Clculo Numrico: Aspectos Tericos e Computacionais. So Paulo: Makron Books,
1996.
KINCAID, D.; CHENEY, W. Numerical Analysis: Mathematics of Scientific Computing. USA: Brooks-
Cole, 2002.
CLUDIO, Dalcidio M.; MARINS, Jussara M. Clculo numrico computacional: teoria e prtica. So
Paulo: Atlas, 2000.
SPERANDIO, Dcio; MENDES, Joo Teixeira; SILVA, Luiz Henry M. Clculo Numrico: Caractersticas
Matemticas e Computacionais dos Mtodos Numricos. Prentice Hall, 2006.
PRESS, William H.; TEUKOLSKY, Saul A.; VETTERLING, William T.; FLANNERY, Brian P. Numerical
Recipes in C. Cambridge University, 1996.

ECOM045 Computao Grfica 60
Ementa:
Transformaes Geomtricas 2D e 3D. Modelagem. Visualizao. Iluminao. Realidade virtual. Ferramentas
e Ambientes de Software.
Bibliografia:
GOMES, Jonas e Cruz Velho. Fundamentos da Computao Grfica. Rio de Janeiro: IMPA, 2003.
WATT, Alan. 3D Computer Graphics. USA: Addison Wesley, 1999.
HEARN, Donald. Computer Graphics with Open GL, NJ: Pearson Education, 2004.
BORGES, Jos Antonio. Introduo s tcnicas de computao grfica 3D. Rio de Janeiro: SBC, 1988.
ANGEL, Edward. Interactive computer graphics: a top-down approach with OpenGL. 3rd ed. Reading.
MA: Addison-Wesley, 2003.
AMES, A.L.; NADEAU, D.R.; MORELAND, J.L. VRML 2.0 sourcebook. 2. ed. New York: Wiley, 1997.

ECOM046 Noes de Direito 60
Ementa:
Noes gerais de direito e de direito civil. Direito comercial noes gerais, ttulos de crdito, sociedades
comerciais. Propriedade industrial e direito autoral. Direito do trabalho conceitos de empregado e
empregador, durao do trabalho, remunerao. Justia do trabalho. Direito tributrio sujeitos ativo e
passivo da obrigao tributria, tributos. Direito administrativo atos administrativos, concorrncia pblica.
Legislao especfica.
35
Bibliografia:
NADER, Paulo. Introduo ao Estudo do Direito. Rio de Janeiro: Companhia Forense, 2006.
MACHADO, Hugo. Introduo ao Estudo do Direito. So Paulo: Atlas, 2004.
COELHO, Luiz. Aulas de Introduo ao Direito. So Paulo: Manole, 2004.
GROPPALI, Alessandro. Introduo ao Estudo do Direito. So Paulo: mbito Cultural, 2003.
POLETTI, Ronaldo. Introduo ao Direito. Campo Grande: Saraiva, 1996.

ECOM047 Empreendedorismo 30
Ementa:
O Empreendimento e o Empreendedor. Caractersticas do Empreendedor. Plano de Negcios Simplificado.
Teoria Visionria. Estudos de Viabilidade. Anlise de Mercado. Fundamentos de Marketing. Criatividade.
Planejamento Financeiro. Fontes de financiamento, incubadoras Conceitos Bsicos de Legislao
Empresarial. Depoimentos de Empreendedores. Simulao Empresarial. Anlise dos Planos de Negcios.
Bibliografia:
DOLABELA, Fernando. O Segredo de Luisa. So Paulo: Cultura, 1999.
DOLABELA, Fernando. Oficina do Empreendedor, So Paulo: Cultura, 1999.
DORNELAS, J.C.A. Empreendedorismo Transformando Idias Em Negcios. 2 ed. Campus, 2005.
DORNELAS, J.C.A. Empreendedorismo na Prtica. 1 Edio. Editora Campus, 2008.
SALIM, Csar. Construindo Planos de Negcios. Rio de Janeiro: Elsevier, 2003.
COVEY, Sthephen. Os 7 Hbitos das Pessoas Altamente Eficazes. So Paulo: Best Seller, 2002.
CARLZON, Jan. A Hora da Verdade. Rio de Janeiro: Sextante, 2003.

ECOM048 Computador, Sociedade e tica 30
Ementa:
A informatizao e suas conseqncias econmicas. A informatizao e o aspecto educacional. Efeitos
polticos. Impactos sociais. Informatizao e privacidade. Informtica e desenvolvimento econmico e social.
O Impacto da automao e a questo do trabalho. Incluso digital. Questes da atualidade e consideraes
sobre o futuro.
36
Bibliografia:
DYSON, Esther. A Nova Sociedade Digital. Rio de Janeiro: Campus, 1988.
FERNANDES, Aguinaldo. Gerencia Estratgica da Tecnologia da Informao. Rio de Janeiro: LTC,
1992.
NEGROPONTE, Nicholas. A Vida Digital. So Paulo: Companhia das Letras, 1995.

ECOM049 Gerncia de Projetos 60
Ementa:
Ciclo de vida e organizao de projetos. Gesto da integrao. Gesto do escopo. Gesto do tempo. Gesto de
custos. Gesto de qualidade. Gesto de recursos humanos. Gesto de comunicaes. Gesto de riscos. Gesto
de aquisies. Software para gesto de projetos.
Bibliografia:
PMI INSTITUTE. Um Guia do Conjunto de Conhecimentos em Gerenciamento de Projetos.
Pennsylvania, EUA: Project Management Institute, 2004.
HELDMAN, K. Gerncia de Projetos: Guia Para o Exame Oficial do PMI. So Paulo: Campus, 2005.
PRADO, D. S. Gerenciamento de Projetos nas Organizaes. Belo Horizonte: EDGerencial, 1999.
DINSMORE, C. Como se Tornar Um Profissional em Gerenciamento de Projetos. Rio de Janeiro:
Qualitymark,, 2005.
37
5.2 Disciplinas Eletivas ementas predefinidas
ECOM101 Mtodos Formais 30
Ementa:
Introduo ao desenvolvimento formal de software (motivao, ciclo de desenvolvimento, verificao versus
validao, classificao de mtodos). Formalismo no desenvolvimento de software. Notaes para
especificao formal. Modelagem, verificao e validao de sistemas de software. Estudos de casos.
Bibliografia:
BJORNER, D. Formal Specification and Software Development. Prentice Hall, NJ, 1982.
CLARKE, Jr., Edmund M.;Model checking. Cambridge, MA : MIT Press, 1999.
EHRING, H. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. Springer-
Verlag, USA, 1985.
EHRING, H. Fundamentals of Algebraic Specification 2: Module Specification and Constraints.
Springer-Verlag, 1990.

ECOM102 Programao Linear 30
Ementa:
Formulao de modelos de programao linear. Soluo grfica. Mtodo simplex. Geometria do mtodo
simplex. Algoritmo simplex revisado. Dualidade. Anlise de sensibilidade e interpretao econmica. Fluxos
em redes.
Bibliografia:
GOLDBARD, M. C.; LUNA, H. P. L. Otimizao Combinatria e Programao Linear: Modelos e
Algoritmos. Rio de Janeiro: Campus, 2005.
PRADO, Darci Santos do. Programao Linear. Srie Pesquisa Operacional Volume I. Belo Horizonte:
Editora DG, 2003.

ECOM103 Interface Harware-software 30
Ementa:
Dispositivos de entrada e sada. Mecanismos de tratamento de entrada-sada. Interfaces de hardware para
sistemas perifricos. Conceitos do kernel do sistema operacional. Drivers de dispositivos.
Bibliografia:
STALLINGS, William. Arquitetura e organizao de computadores. Brasil: Prentice Hall, 2010.
COBERT, Jonathan; RUBINI, Alessandro; KROAH-HARTMAN, Greg. Linux Device Drivers. USA:
O'Reilly, 2005.
BOVET, Daniel; CESATI, Marco. Understanding the Linux Kernel. USA: O'Reilly, 2005.

ECOM104 Sistemas de Tempo Real 30
38
Ementa:
Introduo. Modelo de processos. Concorrncia. Comunicao e sincronizao de processos. Deadlocks.
Tolerncia a falhas. Algoritmos de escalonamento de processos para sistemas em tempo real. Modelagem de
sistemas em tempo real. Sistemas operacionais para sistemas em tempo real. Linguagens de programao para
sistemas em tempo real. Sistemas Embarcados.
Bibliografia:
KOPETZ, Hermann. Real Time Systems: Designs Principles for Distributed Embedded Applications.
Springer International Series in Engineering and Computer Science, 1997.
ARI, Ben. Principles of Concurrent and Distributed Programming. Addison Wesley, 2 edition; 2006
TANENBAUM, Andrew. Modern Operating Systems. 2nd Edition.Prentice Hall, 2001.

ECOM105 Processamento Digital de Sinais 30
Ementa:
Introduo. Sinais, sistemas e processamento de sinais. Sinais determinsticos. Sinais no tempo discreto.
Transformada Z. Anlise espectral de sinais e sistemas. Transformada Fourier. Sinais aleatrios. Amostragem
de sinais. Filtros digitais. Anlise de PDS com ferramenta computacional.
Bibliografia:
OPPENHEIM, Alan V.; SCHAFER, Ronald W. Discrete-Time Signal Processing. Prentice Hall Press.
OPPENHEIM, Alan V.; SCHAFER, Ronald W. Digital Signal Processing. Prentice Hall Press.
PROAKIS, John G.; MANOLAKIS, Dimitris G. Digital Signal Processing : Principles, Algorithms, and
Applications. Prentice Hall Press.

ECOM106 Estatstica Computacional 30
Ementa:
Introduo estatstica computacional. Mtodo de substituio. Mtodos de mxima verossimilhana,
inferncia bayesiana e de otimizao no linear. Ensaios monte carlo. Plataformas computacionais.
Bibliografia:
GIVENS, G.H.; HOETING, J.A. Computational Statistics. 4 ed. Wiley, New York, 2006.
GENTLE, J.E.; HARDLE, W.; MORI, Y. (Eds). Handbook of Computional Statistics: Concepts and
Methods. 1 ed., Springer. New York, 2004.
FRERY, A.C.; CRIBARI-NETO, F. Elementos de Estatstica Computacional usando Plataformas de
Software Livre Gratuito, IMPA, Rio de Janeiro, 2005.
DALGAARD, P. Introductory Statistics with R, Springer, New York, 2002.
MAMDONALD, J. ; BRANN, J. Data Analysis and Graphics with R: an Example-based Approach.
Cambridge, 2003.

ECOM107 Microcontroladores e Aplicaes 30
39
Ementa:
Introduo. Exemplos de Microarquitetura. Blocos funcionais do processador.
Microinstrues. Microprogramas. Arquitetura, conjunto de instrues, perifricos.
Programao em linguagem assembly. Aplicaes de microprocessador e microcontrolador.
Famlias de microprocessadores e microcontroladores. Aplicaes.
Bibliografia:
Manuais de Fabricantes de Microprocessadores e Microcontroladores.

ECOM108 Multimdia 30
Ementa:
Introduo. Tecnologias e aplicaes multimdia. Mdias Discretas e Contnuas. Tcnicas de Compactao e
Compresso. Hardware e software para multimdia. Representao e Processamento de udio - Msica e
Voz, Imagem e Vdeo. Multimdia na Internet. Sistemas Multimdia e Hipermdia. Linguagens de autoria
multimdia (XML, SMIL, NCL). Ergonomia de interfaces multimdia. Ferramentas de desenvolvimento.
Gerncia de produto multimdia. .Infra-estrutura de Redes para Aplicaes Multimdia Distribudas. Direes
do futuro - Tendncias.
Bibliografia:
VAUGHAN, T. Multimedia Making it Work. McGraw-Hill, 2001.
PAULA FILHO, W. de P. Multimdia: Conceitos e Aplicaes. LTC Editora, 2000.
BUFORD, J. F. K. Multimedia Systems. Addison- Wesley, 1994.
DAN, A., SITARA, D. Multimedia Servers: Applications, Environments, and Design. Morgan
Kaufmman, 1999.
KUO, Franklin F. Multimedia Communications: Protocols & Applications. Prentice Hall, 1997.
HALSALL, F. Multimedia Communications: Applications, Networks, Protocols, and Standards.
Addison-Wesley Publishing, 2000.
STEINMETZ, Ralf; NAHRSTEDT, Klara. Multimedia Fundamentals, Volume I: Media Coding and
Content Processing. 2nd Edition. Prentice Hall, 2002.

ECOM109 Processamento de Imagens 30
40
Ementa:
Imagens e processamento digital. Digitalizao e visualizao de imagens. Transferncia e armazenamento de
imagens. Processamento de imagens. Anlise espectral. Filtragem digital. Tcnicas de restaurao de imagens.
Classificao de imagens.
Bibliografia:
BARRETT, H. H.; MYERS, K. J. Foundations of Image Science. Wiley-Interscience, 2004.
JAIN, A. K. Fundamentals of Digital Image Processing. Prentice-Hall International Editions, 1989.
RICHARDS, J. A.; JIA, X. Remote Sensing Digital Image Analysis. Springer, 1999.

ECOM110 Modelagem e Simulao 30
Ementa:
Introduo simulao. Propriedades e classificao dos modelos de simulao. Gerao de nmeros
aleatrios. Noes bsicas em teoria dos nmeros. Gerao e teste. Distribuies clssicas contnuas e
discretas. Simulao de sistemas discretos e de sistemas contnuos. Verificao e validao de modelos.
Tcnicas estatsticas para anlise de dados e de resultados de modelos de simulao. Simulao de sistemas
simples de filas. Simulao de sistemas de computao.
Bibliografia:
LAW, Averill M.. Simulation Modeling and Analysis. Mcgraw-Hill, 2006.
JAIN, R.. The Art of Computer Systems Performance Analysis: Techniques for Experimental Design,
Measurement, Simulation, and Modeling. John Wiley, 1991.

ECOM111 Anlise Formal de Sistemas Complexos 60
Ementa:
Modelos formais, Lgica temporal. Checadores de modelo. Problemas associados a sistemas complexos e
estratgias para resolues.
Bibliografia:
CHRISTEL, Baier; JOOST-PIETER, Katoen. Principles of Model Checking. London: The MIT Press, 2008.
CLARKE, Edmund; GRUMBERG, Orna; PELED, Doron. Model Checking. London: The MIT Press, 1999.

ECOM112 Projeto de Sistemas Embarcados 60
Ementa:
Introduo. Prototipao de hardware (FPGAs, ASICs). Prototipao de software. Co-simulao de hardware
e software. Testes. Projeto de um sistema embutido.
41
Bibliografia:
BALL, Stuart R. Debugging Embedded Microprocessor Systems. Newnes, 1998.
VALVANO, Johnatan W. Embedded Microprocessor Systems. Brooks/Cole Pub, 2000.
BARROS, E. Cavalcante, S.; LIMA M. E.; VALDERRAMA, C. Hardware/Software Co-design:
Projetando Hardware e Software Concorrentemente. Livro da Escola de Computao SBC, 2000.
OLDFIELD J.; DORF C. Field Programmable Gate Arrays: Reconfigurable Logic for Rapid
Prototyping and Implementation of Digital Systems. John Wiley & Sons, Inc., 1995.

ECOM113 Projeto de Automao e Controle 60
Ementa:
Anlise e projeto de sistemas de controle: mtodo do lugar das razes. Anlise de resposta em freqncia:
diagramas de Bode, grficos polares, critrio de estabilidade de Nyquist, estabilidade relativa. Anlise e
projeto de sistemas de controle no domnio da freqncia. Controladores por Avano de Fase, Atraso de Fase,
Avano-Atraso, PI, PD e PID. Exemplos prticos de projeto de sistemas de controle.
Bibliografia:
OGATA, K. Engenharia de Controle Moderno. 4 ed.. Prentice-Hall do Brasil, 2003.
DORF, Richard C. e BISHOP, Robert H. Sistemas de Controle Modernos. 10a edio. LTC, 2009.
KUO, B. C.e GOLNARAGHI, F. Automatic Control Systems. 9rd ed., Wiley, 2009.
ASTRM, Karl J.; MURRAY, Richard M. Feedback Systems, Princeton University Press, 1st Edition, 2008.

ECOM114 Anlise de Sistemas Engenharia de Requisitos 30
Ementa:
Anlise orientada a objetos. Tcnicas de elicitao e especificao de requisitos. Documentao de requisitos
de software utilizando UML. Tcnicas de validao de requisitos. Modelos para especificao de sistemas de
software.
42
Bibliografia:
PRESSMAN, Roger. Software Engineering: A practitioners Approach. McGraw-Hill, 2004.
HULL, E.; JACKSON, K.,Dick, J. Requirements Engineering. SpringerVerlag, 2004.
SOMMERVILLE, Ian; SAWYER, P. Requirements Engineering: A Good Practice Guide. John Wiley &
Sons, 1997.
CHISTEL, M.G.; KANG, K.C. Issues in Requirements Elicitation. Software Engineering Institute,
Technical Report CMU/SEI-92-Tr-12, Pittsburgh, PA.Carnegie Mellon University, Sep, 1992.
SCHNEIDER, G.; WINTERS, J. Applying Use Cases- A practical guide. Addison-Wesley, 1998.

ECOM115 Arquitetura de Software 30
Ementa:
Iintroduo sobre arquitetura de software e definio dos conceitos. Estilos arquiteturais e arquiteturas de
referncia. Vises arquiteturais. Documentao de arquiteturas. Desenvolvimento centrado na arquitetura.
Avaliao de arquiteturas de software.
Bibliografia:
BASS, Len. CLEMENTS, Paul and KAZMAN, Rick. Software Architecture in Practice. Addison-Wesley
Professional, 1st edition 1997.
FOWLER, Martin. Patterns of Enterprise Application Architecture. Addison-Wesley Professional, 2002.
CLEMENTS, Paul. Felix Bachmann, Len Bass, David Garlan, James Ivers, Reed Little, Robert Nord, Judith
Stafford. Documenting Software Architecture: Views and Beyond. Addison Wesley Professional,2002.

ECOM116 Gerncia de Configuraes e Mudanas 30
Ementa:
Introduo gerncia de configurao e mudanas, sua importncia, sua funo no processo de
desenvolvimento de software. Procedimentos de check-in e check-out. Papis na GC. Controle de Mudanas
(RCMs). Padres em Gerncia de Configurao. Ferramentas de apoio. Processos para controle de mudanas.
Processos para gesto de ambiente.
Bibliografia:
BAYS, M.E. Software Release Methodology. Prentice Hall, 1999.
Configuration Management Today - http://cmtoday.com

ECOM117 Computao Mvel e Sem Fio 30
Ementa:
Equipamentos mveis. Sistemas Operacionais para ambiente mvel. Linguagens para ambiente mvel.
Restries e limitaes em ambientes mveis. Transmisso de dados sem fio. Aplicaes.
Bibliografia:
A bibliografia ser definida em funo do tema sobre Computao Mvel e Sem Fio a ser adotado pelo
professor responsvel pela disciplina.
43
ECOM118 Qualidade de Software 30
Ementa:
O histrico e o conceito de qualidade. O conceito de qualidade de software. Mtricas de qualidade de
software. Normas de qualidade de software. Tcnicas de garantia da qualidade de software. Teste de software:
conceitos, tipos e aplicao no contexto da qualidade. Modelos de melhoria do processo de software.
Planejamento de sistemas de qualidade de software. Padres: ISO, SEI, CMMi, MPS-BR.
Bibliografia:
WEBER, Kival. Qualidade de Software: Teoria e Prtica. Rio de Janeiro: Makron-Books, 2001.
KOCIANSKI, Andr. Qualidade de Software. So Paulo: Novatec, 2006.
BARTIE, Alexandre. Garantia da Qualidade de Software. Rio de Janeiro: Campus, 2002.
SILVA, Ivan. Qualidade em Software. So Paulo: Alta Books, 2005.

ECOM119 Redes de Petri 30
Ementa:
Introduo Modelagem de Sistemas e Redes de Petri. Redes de Petri Lugar Transio. Redes de Petri
Coloridas. Redes de Petri Coloridas Temporizadas. Redes de Petri Coloridas Hierrquicas. Anlise de
Propriedades. Ferramentas para edio e anlise de redes de Petri. Aplicaes com redes de Petri.
Bibliografia:
JENSEN, Kurt; KRISTENSEN, Lars M. Coloured Petri Nets: Modelling and Validation of Concurrent
Systems. Springer, 2009.
MURATA, T. Petri net: properties, analysis and application. Proceedings of the IEEE 77(4):541-580,
1989.
JENSEN, Kurt; KRISTENSEN, Lars Michael; WELLS, Lisa. Coloured Petri Nets and CPN Tools for
Modelling and Validation of Concurrent Systems. International Journal on Software Tools for
Technology Transfer. Springer, 2007.

ECOM120 Tcnicas de Reuso de Software 30
Ementa:
Engenharia de Software baseada em reuso de software, Conceitos bsicos de Desenvolvimento Baseado em
Componentes. Desenvolvimento Baseado em Componentes, Utilizao de Frameworks no desenvolvimento
baseado em componentes, Reuso de componentes baseado na abordagem de Linha de Produto de Software,
Reuso de projetos de software mediante utilizao de Padres de Projeto. Processos de desenvolvimento para
Reuso de Software x Processos de desenvolvimento com Reuso de Software.
44
Bibliografia:
PRESSMAN, Roger. Engenharia de Software. So Paulo: McGraw-Hill, 2002.
CHEESMAN, John; DANIELS, John. UML Components: A Simple Process for Specifying Component-
Based Software, Addison Wesley, 2001.
FAYAD, Mohamed E.; JOHNSON, Ralph E.; SCHMIDT, Douglas C.. Building Application Frameworks:
Object-Oriented Foundations of Framework Design, John Wiley and Sons, 1999.
CLEMENTS, Paul; NORTHROP, Linda. Software Product Lines: Practices and Patterns, Addison
Wesley, 2001.

ECOM121 Fundamentos de Libras 60
Ementa:
Panorama histrico da lngua de sinais brasileira, seus fundamentos tericos e metodolgicos; introduo s
competncias e habilidades bsicas necessrias ao desempenho comunicativo satisfatrio nos processos de
interao e incluso dos surdos no sistema educacional.
Bibliografia:
A bibliografia ser definida em funo da abordagem adotada pelo professor responsvel pela disciplina.

ECOM122 Fundamentos de Matemtica 60
Ementa:
Noes de lgica, conjuntos e tcnicas de demonstrao. Propriedades bsicas dos nmeros reais: operaes,
produtos notveis e fatorao, potncias e razes, relao de ordem, valor absoluto, o eixo real. Funes reais:
grfico de uma funo, funes limitadas, funes crescentes e decrescentes, funes pares e mpares, funes
limitadas. Funo linear: equaes e inequaes do primeiro grau. Funo quadrtica: equaes e inequaes
do segundo grau. Funes polinomiais. Funes trigonomtricas. Funes exponenciais. Funes
logartmicas.
45
Bibliografia:
DO CARMO, M. P. Trigonometria e Nmeros Complexos. Coleo do Professor de Matemtica. SBM,
2005.
LIMA, E. L.; CARVALHO, P. C.; WAGNER, E. & MORGADO, A. C. A Matemtica do Ensino Mdio.
Vol. 1 e Vol. 3. Coleo do Professor de Matemtica. SBM, 2004.
LIMA, E. L.; CARVALHO, P. C.; WAGNER, E. & MORGADO, A. C. Temas e Problemas Elemenatres.
Coleo do Professor de Matemtica. SBM, 2006.

ECOM123 Internet e Web 30
Ementa:
Histrico de Internet e Web. Arquitetura bsica de um ambiente Web. Noes de HTML e XML.
Bibliografia:
COMER, D. E. Interligao em Redes com TCP/IP. Vol. 1, 5edn. Campus.
FOROUZAN, B. A. (2006). Data Communications and Networking. 4 edn. Mc-Graw Hill.
KUROSE, J. & Ross, K. (2006). Redes de Computadores e a Internet: Uma Abordagem Top-down .
3 edn. Addison-Wesley.
TANENBAUM, A. S. (2003). Redes de Computadores. 4 edn. Campus.
WORLD WIDE WEB CONSORTIUM (2006). URL: http://www.w3c.org

ECOM124 Banco de Dados 2 30
Ementa:
Integrao de bases de dados. Data Warehouse. Noes de banco de dados distribudo. Noes de banco de
dados orientado a objeto.
Bibliografia:
NAVATHE, S.; ELMASRI, R.E. Sistemas de Banco de Dados. Brasil: Addison Wesley, 2005.
SILBERSCHATZ, Abraham. Sistemas de Banco de Dados. Rio de Janeiro: Campus, 2006.
DATE, C. J. Introduo a Sistemas de Banco de Dados. Rio de Janeiro: Campus, 2004.
SETZER, Valdemar. Banco de Dados. So Paulo: Edgard Blucher, 2005.

ECOM125 Teste de Software 60
Ementa:
Esta disciplina, aborda o tema da identificao e remoo de falhas em sistemas de software utilizando
estratgias de teste automatizado. So abordados os seguintes tpicos:
(1) fundamentos de teste de software; (2) planejamento dos testes; (3) teste caixa preta; (4) teste caixa branca;
(5) teste caixa cinza (baseados na arquitetura); (6) ferramentas para apoio e automao de teste. A
metodologia utilizada ter um carter terico-prtico, com esposio de conceitos tericos e exemplos reais,
seguidos por aulas prticas com exerccios de fixao.
46
Bibliografia:
BEIZER, B. Software Testing Techniques. International Thomson Computer Press, 2a ed, 1990.
BINDER, R. Testing OO Systems. Addison Wesley, 2000.
MARTINS, E. Verificao e Validao de Software. Notas de Curso, 2005.
J.MYERS, G. The Art of Software Testing. John Wiley & Sons, 1979.
PRESSMAN, Roger. Software Engineering. A Practitiners Approach. 4 edio, 1997.

ECOM126 Pesquisa Operacional 60
Ementa:
Objetivos da Pesquisa Operacional. Programao Linear. Modelagem. Mtodo Simplex. Problema de
Alocao de Recursos. Dualidade. Avaliao tima de Recursos. Anlise de Sensibilidade do Modelo de
Programao Linear. Problema de Transporte. Anlise de Sensibilidade do Modelo de Transporte. Problema
de Designao.
Bibliografia:
GOLDBARD, M. C.; LUNA, H. P. L. Otimizao Combinatria e Programao Linear: Modelos e
Algoritmos. Campus, Rio de Janeiro, 2005.
PRADO, Darci Santos do. Programao Linear. Srie Pesquisa Operacional Volume I. Belo Horizonte:
Editora DG, 2003.
ARENALES, M.; ARMENTANO, V.; MORABITO, R.; YANASSE, H. Pesquisa operacional para cursos
de engenharia. Editora Campus, 2007.
LACHTERMACHER, Gerson. Pesquisa operacional na tomada de decises. 3. ed.; Editora Campus, 2006.

ECOM127 Redes de Computadores 2 30
Ementa:
Redes Multimdia. Redes de Alta Velocidade. Redes sem Fio. Mobilidade. Segurana de redes.
Gerenciamento de redes.
Bibliografia:
KUROSE, James F. Redes de Computadores e a Internet:Uma Abordagem Top-down. 3 ed.. Pearson
Education, 2006.
TANEMBAUM, Andrew. Redes de Computadores. Rio de Janeiro: Campus, 2003.
SCHILLER, Jochen. Mobile Communications. USA: Addison Wesley, 2003.

ECOM128 Inteligncia Artificial 2 60
47
Ementa:
Viso geral e evoluo da Inteligncia Artificial Distribuda (IAD). Principais abordagens da IAD. Resoluo
distribuda de problemas. Agentes inteligentes. Sistemas multi-agentes. Introduo computao neural e
evolucionria.
Bibliografia:
REZENDE, S. O. Sistemas Inteligentes: Fundamentos e Aplicaes. Manole, 2005.
WOOLDRIDGE, M. An Introduction to MultiAgent Systems. John Wiley & Sons, 2002.
FERBER, J. Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence. Addison-
Wesley, 1999.
WEISS, G. Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence. MIT Press,
1999.
LUGER, G. F. Inteligncia Artificial: Estruturas e Estratgias para a Soluo de Problemas Complexos.
4 ed.. Porto Alegre: Bookman, 2004.
RICH, E.; KNIGHT, K. Inteligncia Artificial. So Paulo: McGraw-Hill, 1988.
RUSSELL, Stuart; NORVIG, Peter. Inteligncia Artificial. Rio de Janeiro: Campus, 2004.

ECOM129 Interao Homem-Mquina 30
Ementa:
Os conceitos e fundamentos de interao e interface homem-mquina (IHM). Tcnicas de concepo da
interao. Anlise de tarefas. Teste de usabilidade e ferramentas de avaliao de interfaces. Persona.
Bibliografia:
KRUG, S. Dont Make Me Think! A Common Sense Approach to Web Usability. 2 ed. Idianapolis: New
Riders, 2005.
DUMAS, J. S.; REDISH, J. C.. A Practical Guide to Usability Testing. Ed. ver.. Intellect, Bristol, 1999.
HACKOS, J. T.; REDISH, J. C. User and Task Analysis for Interface Design. New York: John Wiley &
Sons, 1998.
PRUITT, J.; ADLIN, T. The Persona Lifecycle: Keeping People in Mind Throughout Product Design.
San Francisco: Morgan Kaufmann, 2006.
ECOM130 Introduo Administrao 60
Ementa:
Esprito Empreendedor, Escolha do Negcio, Conjuntura Econmica, Planejamento Estratgico, Organizao
da Empresa, Marketing, Operaes, Gesto de Pessoas, Motivao e Liderana, Contabilidade e Finanas para
Empreendedores, Noes de Gesto de Projetos, Planejamento e Implantao do Negcio.
Bibliografia:
MAXIMINIANO, Antonio Csar. Administrao para Empreendedores. So Paulo: Pearson Prentice Hall,
2006.
MAXIMINIANO, A. C. Introduo Administrao. So Paulo: Atlas, 2004.
FIALHO, Francisco. Empreendedorismo na Era do Conhecimento. Florianpolis: Visual Books, 2006.
SALIM, Csar. Construindo Planos de Negcios. Rio de Janeiro: Elsevier, 2003.
48
49
Disciplinas Eletivas Tpicos
ECOM201 Tpicos em Humanidades -
Ementa:
Os tpicos sero definidos pelo professor ao ministrar a disciplina, enfocando os principais temas atuais da
rea.
Bibliografia:
A bibliografia ser definida em funo do tema sobre Humanidades a ser adotado pelo professor responsvel
pela disciplina.

ECOM202 Tpicos em Computao Cientfica -
Ementa:
rea.
Bibliografia:
A bibliografia ser definida em funo do tema sobre Computao Cientfica a ser adotado pelo professor
responsvel pela disciplina.

ECOM203 Tpicos em Computao Paralela -
Ementa:
rea.
Bibliografia:
A bibliografia ser definida em funo do tema sobre Computao Paralela a ser adotado pelo professor

ECOM204 Tpicos em Bancos de Dados -
Ementa:
rea.
Bibliografia:
A bibliografia ser definida em funo do tema sobre Bancos de Dados a ser adotado pelo professor

ECOM205 Tpicos em Software Bsico -
Ementa:
rea.
Bibliografia:
A bibliografia ser definida em funo do tema sobre Software Bsico a ser adotado pelo professor

ECOM206 Tpicos em Engenharia de Software -
Ementa:
rea.
Bibliografia:
A bibliografia ser definida em funo do tema sobre Engenharia de Software a ser adotado pelo professor

ECOM207 Tpicos em Arquitetura de Computadores -
Ementa:
rea.
Bibliografia:
A bibliografia ser definida em funo do tema sobre Arquitetura de Computadores a ser adotado pelo
professor responsvel pela disciplina.

ECOM208 Tpicos em Comunicao de Dados -
Ementa:
rea.
Bibliografia:
A bibliografia ser definida em funo do tema sobre Comunicao de Dados a ser adotado pelo professor

ECOM209 Tpicos em Redes de Computadores -
Ementa:
rea.
Bibliografia:
A bibliografia ser definida em funo do tema sobre Redes de Computadores a ser adotado pelo professor
51
ECOM210 Tpicos em Inteligncia Artificial -
Ementa:
rea.
Bibliografia:
A bibliografia ser definida em funo do tema sobre Inteligncia Artificial a ser adotado pelo professor

ECOM211 Tpicos Especiais em Computao -
Ementa:
rea.
Bibliografia:
A bibliografia ser definida em funo dos temas especiais em Computao a ser adotado pelo professor

ECOM212 Tpicos Especiais em Engenharia -
Ementa:
rea.
Bibliografia:
A bibliografia ser definida em funo dos temas especiais em Engenharia a ser adotado pelo professor

ECOM213 Tpicos em Modelagem Computacional de Conhecimento -
Ementa:
rea.
Bibliografia:
A bibliografia ser definida em funo do tema sobre Modelagem Computacional de Conhecimento a ser
adotado pelo professor responsvel pela disciplina.

ECOM214 Tpicos Especiais em Programao -
Ementa:
rea.
52
Bibliografia:
A bibliografia ser definida em funo do tema em Programao a ser adotado pelo professor responsvel
pela disciplina.

ECOM215 Tpicos em Informtica na Educao -
Ementa:
rea.
Bibliografia:
A bibliografia ser definida em funo do tema em Informtica na Educao a ser adotado pelo professor
53
6. Estgio Supervisionado
O Estgio Supervisionado do Curso de Engenharia de Computao, obrigatrio,

segundo a Resoluo CNE/CES 11, de 11 de maro de 2002, que Institui Diretrizes
Curriculares Nacionais dos Cursos de Graduao em Engenharia, cuja carga horria mnima
do estgio curricular dever atingir 160 (cento e sessenta) horas, tem por objetivo, a
articulao dos conhecimentos tericos e o exerccio da profisso em seu sentido mais amplo,
promovendo atividades voltadas para a formao de profissionais de computao com
conhecimento das diversas realidades do mercado, quer seja nas aplicaes de carter
cientfico, quer nas de cunho empresarial.
O Estgio Supervisionado coordenado pelo Colegiado do Curso. Pode ser realizado

ao longo do curso, aps o 3 (terceiro) semestre letivo. Durante o Estgio, os alunos devero
desenvolver atividades prticas que permitam sedimentar os conhecimentos acumulados nas
diversas disciplinas j cursadas e entrar em contato com a realidade local, conhecendo suas
dificuldades e necessidades de aprimoramento.
Os estgios supervisionados devero ter acompanhamento de um professor do

Instituto de Computao, responsvel pela evoluo do aluno nas suas atividades prticas,
suprindo-lhe com a orientao e apoio necessrios ao seu bom desempenho durante todo o
estgio.
O Estgio Supervisionado poder ser remunerado ou no, e em instituies de ensino

e pesquisa ou em empresas privadas, desde que haja nelas um profissional da rea de
Computao que seja responsvel pelas atividades dirigidas do aluno e que possa avali-lo no
final do estgio. O Estgio Supervisionado dever cumprir as normatizaes legais vigentes
no pas.
7. Trabalho de Concluso de Curso
A concluso do curso depender da elaborao individual de uma monografia final,
denominada TCC Trabalho de Concluso do Curso, apresentada a uma banca examinadora,
sob a coordenao do Colegiado do Curso de Engenharia de Computao, na forma como
dispe a Resoluo n. 01-IC, de 10.08.2006. O TCC no constitui disciplina apesar de contar
com uma carga horria obrigatria de 90 horas para a integralizao curricular.
A monografia representa o trabalho final de curso previsto no Regimento Geral da

Universidade, sendo obrigatria a sua entrega por escrito e a respectiva apresentao
individual perante uma banca examinadora formada por no mnimo 02 (dois) professores que
no participaram da orientao do trabalho. Os TCCs sero normatizados pelas resolues da
Universidade e por resolues do Colegiado de Curso.
O TCC tem como finalidade desenvolver a capacidade crtica e a produo criativa do
aluno, demonstrando os conhecimentos adquiridos no decorrer do curso. Para tanto, alm do
auxlio de um orientador o aluno contar na estrutura curricular com uma disciplina de
Metodologia da Pesquisa e Trabalho Cientfico, visando auxili-lo na elaborao da
monografia.
55
8. Atividades Complementares
As atividades complementares devem ser desenvolvidas ao longo do curso, dentro da
carga horria prevista, segundo programao individual de cada aluno.
Ao final do Curso, a Coordenao cadastrar as atividades individuais dos alunos,

definindo a carga horria correspondente a cada atividade, considerando-se, dentre outras e
todas vinculadas a reas de interesse do curso: pesquisa, extenso, monitoria, eventos
culturais, cientficos e estudantis (congressos, seminrios, encontros, conferncias, palestras,
cursos), ncleos temticos, temas interdisciplinares, disciplinas extracurriculares ministradas
fora do curso ou por outras instituies, se forem compatveis com a formao do Profissional
em Engenharia de Computao.
A Parte Complementar do Curso de Engenharia de Computao do Instituto de

Computao da UFAL com carga horria mnima de 200 (duzentas) horas, poder ser
composta da seguinte forma:
Desdobramento dos Grupos de Atividades

Resoluo CEPE n. 113/95
GRUPO 1 Monitoria. At 100 horas por ano completo e no total.
Disciplinas isoladas, de outros cursos. Total da carga horria da disciplina, at o total de 120 horas.
Local
5 horas por dia sem
10 horas por dia com trabalho
trabalho
Participao em eventos: seminrios, At 50 horas por ano e at 150 horas no total.
congressos, conferncias, encontros
estudantis, cursos de atualizao. Fora da cidade
GRUPO 2 10 horas por dia sem
20 horas por dia com trabalho.
trabalho.
At 50 horas por ano e at 150 horas no total.
At 150 horas no total.
Ncleos temticos.
Atividades de extenso. At 100 horas por ano e 150 horas no total.
Estgios extracurriculares. At 100 horas por ano e 150 horas no total.
Atividades de pesquisa e iniciao cientfica. At 100 horas por ano e 150 horas no total.
GRUPO 3
Trabalhos publicados. 30 horas para cada.
Administrao e representao em entidades
GRUPO 4 estudantis. At 50 horas por ano e 100 horas no total.
Representao em colegiados da UFAL. At 50 horas por ano e 100 horas no total.
As atividades devem ser pertinentes e teis formao do Engenheiro de Computao

e admitidas pelo Colegiado do Curso, observada a interdisciplinaridade.
56
Os documentos comprobatrios devem ser visados pelo Coordenador do Curso, com a
respectiva computao da carga horria.
Ser ainda fomentada a participao em pesquisa e extenso na rea de computao ou

afim e realizadas de modo interligado com o ensino, visando atender formao fundamental
e prtica do Engenheiro de Computao, com a devida valorao como atividade
complementar.
57
9. Avaliao
9.1. Avaliao do Projeto Pedaggico

A avaliao permanente deste Projeto Pedaggico a ser implantado com a
presente proposta de importncia fundamental para aferir o sucesso do currculo proposto
para o Curso, como tambm para certificar-se da necessidade de alteraes futuras que
venham aprimorar o Projeto, tendo em vista o seu carter dinmico e a necessidade de
adaptar-se s constantes avaliaes que ter que enfrentar.
Seguindo a orientao dos Conselhos Superiores da UFAL, devero ser

inseridos mecanismos que possibilitem uma avaliao institucional e uma avaliao do seu
desempenho acadmico ensino e aprendizagem de acordo com as normas vigentes na
Instituio, possibilitando a realizao de uma anlise diagnstica e formativa, durante todo o
processo de implantao do atual Projeto Pedaggico.
Tal processo de avaliao dever utilizar estratgias e tticas que possibilitem

uma discusso ampla, visando detectar as deficincias que porventura existam.
As atividades de extenso universitria, realizadas no mbito do Curso, em

parceria com rgos pblicos ou empresas privadas, sero tambm avaliadas pela sociedade,
atravs de instrumentos adequados, inclusive nos estgios curriculares obrigatrios.
Tambm ser adotado para fins de avaliao do Projeto Pedaggico do curso, o

roteiro proposto pelo INEP/MEC para as condies de ensino, atravs de alguns dos seguintes
tpicos:
1. Organizao Didtico-Pedaggica: Administrao Acadmica, Projeto do Curso,

Atividades Acadmicas articuladas ao ensino de graduao;
2. Corpo Docente: Formao Profissional, Condies de Trabalho, Atuao e
Desempenho Acadmico e Profissional;
3. Infra-Estrutura: Instalaes Gerais, Biblioteca, Instalaes e Laboratrios Especficos.
9.2. Avaliao dos Docentes

A avaliao do desempenho docente ser efetivada pelos alunos/disciplinas
atravs de formulrio prprio e obedecendo aos critrios do processo de avaliao
Institucional.
58
9.3. Avaliao dos Discentes
A verificao de aprendizagem ser realizada pela freqncia e pelo aproveitamento
nos estudos, os quais devero ser atingidos conjuntamente. Essa verificao ser aplicada
segundo as resolues vigentes na Instituio.
9.4. Consideraes Finais da Avaliao do Aprendizado

indispensvel que a avaliao seja entendida como um processo amplo de
aprendizagem, envolvendo assim a responsabilidades do professor e a do aluno. Assim, a
avaliao aqui proposta deve-se pautar tambm em questes de avaliao comportamental,
avaliao humanista, avaliao cognitivista e avaliao no modelo scio-cultural.
O aluno tambm ser avaliado nas suas atividades de Iniciao Cientfica, estgios e
monitorias, visando garantir um maior aproveitamento. O Colegiado acompanhar, ainda, o
desempenho dos alunos no ENADE e nas selees para os programas de ps-graduao
atravs do POSCOMP que um dos principais programas de seleo de ps-graduao do
pas, na rea.
As correntes consideraes se garantiro com o empenho da instituio em prover

infra-estrutura bsica para seu funcionamento como: espao fsico, laboratrios para prticas
em disciplinas, pesquisas e extenses, contedo bibliogrfico, e em acompanhamento destas
necessidades no percurso do curso, considerando a sua dinmica.
59

ProjetoPedagogicoEngCompMatriz2011 PROGRAD VersaoPreliminar PDF

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

ProjetoPedagogicoEngCompMatriz2011 PROGRAD VersaoPreliminar PDF

Enviado por

Direitos autorais:

Formatos disponíveis

Universidade Federal de Alagoas

Curso de Engenharia de Computao

Curso de Engenharia de Computao

Equipe de professores e tcnicos

Fbio Cunha de Albuquerque

Macei, junho de 2010

Ttulo Ofertado: Engenharia de Computao

Carga Horria: 3920 horas.

Durao: Mnima: 10 semestres

Vagas: 60 anuais com duas entradas semestrais de 30 alunos.

Campo de Atuao: Anlise, Projeto e Desenvolvimento de Sistemas Computacionais, nas reas de

De acordo com as recomendao encontradas nas diretrizes propostas pela Comisso de

1. So cursos cujos currculos possuem uma base terica profunda em computao;

3. So cursos de formao tecnolgica que visam o desenvolvimento tecnolgico e, portanto,

4. So cursos em que a formao complementar visa conhecer um domnio de aplicao, fora da

7. So cursos em que seus professores esto engajados efetivamente na pesquisa

8. So cursos recomendados para serem oferecidos no turno diurno;

9. So cursos de mercado de trabalho restrito;

O curso de Engenharia de Computao proposto tem por objetivo a formao terica e

A formao do aluno abranger a compreenso do campo cientfico da computao,

O curso garantir uma formao bsica, habilitando os seus alunos a ganharem

1. especificar, conceber, desenvolver, integrar, implementar, adaptar, produzir, implantar e supervi

Quanto s competncias profissionais especficas, o Engenheiro de Computao deve ser capaz de

1. automao, controle e monitorao de sistemas computacionais em geral;

Alm das competncias e habilidades mencionadas, pode-se citar mais:

a) Auto-aprendizado. Trata-se de uma caracterstica motivada pela rpida evoluo da engenharia de

A grade curricular apresenta, tambm, um segundo grupo de disciplinas destinadas formao

A matriz curricular apresenta um grupo de eletivas voltado para a formao especfica em

Aps a integralizao dos contedos obrigatrios, exige-se a elaborao e apresentao de uma

As horas/aula de disciplinas eletivas cursadas e/ou as atividades complementares realizadas que

O Curso de Engenharia da Computao no visa apenas formao de tcnicos. A sua matriz

Matriz Curricular 2011 do Curso de engenharia de Computao do Instituto de Computao da UFAL

Conforme a Portaria n 4.059 do MEC, de 10 de dezembro de 2004, o docente

Cdigo Nome da Disciplina CH

Cdigo Nome da Disciplina CH

Cdigo Nome da Disciplina CH

Cdigo Nome da Disciplina CH

Cdigo Nome da Disciplina CH

Cdigo Nome da Disciplina CH

Cdigo Nome da Disciplina CH

Cdigo Nome da Disciplina CH

Cdigo Nome da Disciplina CH

Cdigo Nome da Disciplina CH

Cdigo Nome da Disciplina CH

Cdigo Nome da Disciplina CH

Cdigo Nome da Disciplina CH

Cdigo Nome da Disciplina CH

Cdigo Nome da Disciplina CH

Cdigo Nome da Disciplina CH

Cdigo Nome da Disciplina CH

Cdigo Nome da Disciplina CH

Cdigo Nome da Disciplina CH

Cdigo Nome da Disciplina CH

Cdigo Nome da Disciplina CH

Cdigo Nome da Disciplina CH

Cdigo Nome da Disciplina CH

Cdigo Nome da Disciplina CH

Cdigo Nome da Disciplina CH

Cdigo Nome da Disciplina CH

Cdigo Nome da Disciplina CH

Cdigo Nome da Disciplina CH

Cdigo Nome da Disciplina CH

Cdigo Nome da Disciplina CH