Estrangeiro no Departamento de Engenharia Elé-
trica (1997-1999)
É no antigo Departamento de Engenharia Elétrica da Universidade Federal de Uber- lândia que eu tive a oportunidade de ministrar as primeiras aulas da minha carreira como docente tanto na pós-graduação (disciplina de Sistemas a Eventos Discretos) quanto na graduação (disciplina de Sistemas Sequenciais).
3.2.1
Sistemas a Eventos Discretos (pós-graduação)
Tal disciplina foi ministrada no contexto do curso de Mestrado e Doutorado em En- genharia Eletrica. Foi um tópico apresentado na época como uma necessidade do Grupo de Automação e Controle do programa de pós-graduação em Engenharia Eletrica para apresentar uma visão Discreta dos Sistemas.
o Objetivos: apresentar um modelo formal para a representação e análise dos Sistemas a Eventos Discretos.
o Ementa: autômatos finitos e suas limitações para a representação explícita do pa- ralelismo nos sistemas complexos; redes de Petri autônomas e suas propriedades; algoritmos de verificação das boas propriedades das redes de Petri e das proprie- dades estruturais; redes de Petri interpretadas, temporais e estocásticas; redes de Petri de alto nível e Coloridas.
o Bibliografia principal: Redes de Petri de Janette Cardoso e Robert Valette (CAR- DOSO; VALETTE, 1997); Petri Nets and Grafcet: Tools for Modelling Discrete
Event Systems de René David e Hassane Alla (DAVID; ALLA, 1992).
o Quantidade média de alunos: 15
o Periodicidade: a disciplina foi ministrada durante dois semestres no período em que eu fiquei no Departamento de Engenharia Eletrica como Professor Visitante Estrangeiro.
o Relação com meus Temas de Pesquisa: tal disciplina apresenta os fundamentos básicos da Teoria das Redes de Petri e constitui, desde a época do meu Doutorado, o meu principal tema de pesquisa.
3.2.2
Sistemas Sequenciais (graduação)
Foi um tópico apresentado na época no contexto de uma disciplina optativa para os alunos de graduação do curso de Engenharia Eletrica.
o Objetivos: apresentar métodos e técnicas de Lógica sequencial baseados em autô- matos para a elaboração de circuitos de cálculo e de comando de computadores.
o Ementa: circuitos elementares dos sistemas sequenciais; concepção de circuitos se- quenciais (método de Huffman); modelagem por máquinas de estados de sistemas de comando industriais; introdução das redes de Petri interpretadas para a modelagem de sistemas a evolução simultânea; introdução da normal industrial “Grafcet”.
o Bibliografia principal: Commande des procédés discontinus: logique séquentielle de Marc Courvoisier e Robert Valette (COURVOISIER; VALETTE, 1993); Redes de
Petri de Janette Cardoso e Robert Valette (CARDOSO; VALETTE, 1997); Petri Nets and Grafcet: Tools for Modelling Discrete Event Systems de René David e
Hassane Alla (DAVID; ALLA, 1992).
o Quantidade média de alunos: 25
o Periodicidade: a disciplina foi ministrada somente por um semestres no período em que eu fiquei no Departamento de Engenharia Eletrica como Professor Visitante Estrangeiro.
3.3. Atividades de Ensino como Professor Visitante Estrangeiro no Departamento de Informática
(1999-2002) 29
o Relação com meus Temas de Pesquisa: tal disciplina apresenta os fundamentos básicos de modelos usados para representação de sistemas a eventos discretos, em particular para a realização de circuitos sequenciais e de sistemas de comandos industriais. Na época em que eu ministrava a disciplina, eu estava envolvido ainda com assuntos relacionados à minha tese de Doutorado, em particular, à modelagem e análise de sistemas de comando industriais no contexto dos Sistemas Flexíveis de Manufatura.
3.3
Atividades de Ensino como Professor Visitante
Estrangeiro no Departamento de Informática -
(1999-2002)
3.3.1
Teoria dos Grafos (graduação)
Quando eu ainda era Professor Visitante Estrangeiro no Departamento de Engenha- ria Eletrica, recebi um convite da Professora Márcia Aparecida Fernandes, que era na época a Coordenadora do Curso de Bacharelado em Ciência da Computação do Depar- tamento de Informática, para ministrar a disciplina “Teoria dos Grafos”. Tal disciplina fazia parte do grupo de disciplinas optativas do currículo antigo do curso de Bacharelado em Ciência da Computação (graduação), criado em 1988 junto com o Departamento de Informática. Como eu havia estudado durante a minha Tese de Doutorado o problema do Escalonamento de Sistemas de Manufatura baseado em Grafos, eu estava com uma certa experiência no assunto e achei o desafio interessante, uma vez que tinha o propósito de atuar na área de informática.
o Objetivos: apresentar os métodos de resolução dos principais problemas baseados em Grafos.
o Ementa: noções básicas de Grafos orientados e não orientados; representação matri- cial e geométrica dos Grafos; planaridade de Grafos; Subgrafos; Árvores geradoras; Conectividade; passeios Euleriano e Hamiltoniano; coloração de Vértices e de Ares- tas; Fluxos em redes; problemas de caminhos.
o Bibliografia principal: Graphs and algorithms de Michel Gondran e Michel Minoux (GONDRAM; MINOUX, 1984); Grath Theory with Applications de John Adrian Bondy e U.S.R Murty (BONDY; MURTY, 1976); Modern Graph Theory de Béla Bollobás (BOLLOBAS, 1998).
o Periodicidade: Como Professor Visitante Estrangeiro no Departamento de Informá- tica, eu ministrei a disciplina 3 vezes. Depois de me tornar Professor Efetivo em 2002 e até a disciplina se tornar obrigatória na atualização do plano pedagógico do curso em 2010, eu ministrei a disciplina regularmente (anualmente) até 2008.
o Relação com meus Temas de Pesquisa: tal disciplina apresenta os fundamentos básicos de modelos usados para representação de problemas clássicos de Pesquisa Operacional. Na época em que eu ministrava a disciplina, eu estava envolvido ainda com assuntos relacionados à minha tese de Doutorado, em particular com problemas de Escalonamento no contexto dos Sistemas Flexíveis de Manufatura.
3.3.2
Introdução à Teoria das Filas (graduação)
Depois da minha transferência para o Departamento de Informática, ainda como Pro- fessor Visitante Estrangeiro, além de receber propostas para ministrar disciplinas no pro- grama de pós-graduação, comecei a receber, regularmente, com grande satisfação, convites para ministrar também disciplinas optativas e obrigatórias no curso de Bacharelado em Ciência da Computação. A primeira disciplina obrigatória que ministrei foi “Teoria das Filas”.
o Objetivos: introduzir a problemática dos processos estocásticos com ênfase nos mo- delos de filas.
o Ementa: cadeias de Markov; processo de Poisson; distribuição exponencial; processo de Nascimento e Morte; introdução aos principais modelos de filas de espera (notação de Kendall); exemplos de sistemas representados por modelos de filas.
o Bibliografia principal: Probability and Random Processes: A First Course with Ap-
plications de Bruce Clarke e Ralph Disney (CLARKE; DISNEY, 1985); Computer Networks and Systems - Queueing theory and Performance Evaluation de Thomas
G. Robertazzi (G.ROBERTAZZI, 2000); Probability and statistics with reability,
queuing and computer science applications de Kishor S. Trivedi (TRIVEDI, 1982).
o Quantidade média de alunos: 30
o Periodicidade: Como Professor Visitante Estrangeiro no Departamento de Informá- tica, eu ministrei a disciplina 3 vezes. Depois de me tornar Professor Efetivo em 2002, eu ministrei a disciplina regularmente (anualmente) até 2012.
o Relação com meus Temas de Pesquisa: tal disciplina apresenta os fundamentos básicos dos modelos estocásticos usados para representação de problemas clássicos de Filas de espera e são geralmente utilizados para tratar problemas de desempenho e de dimensionamento de recursos em Sistemas de Tempo Real. Na época em que
3.3. Atividades de Ensino como Professor Visitante Estrangeiro no Departamento de Informática
(1999-2002) 31
eu ministrava a disciplina, eu estava envolvido ainda com assuntos relacionados à minha tese de Doutorado, em particular com problemas de dimensionamento de quantidades de recursos discretos em Sistemas de Manufatura baseados em modelos a eventos discretos temporizados probabilísticos.
3.3.3
Engenharia de Software (pós-graduação)
Tal disciplina foi a minha primeira disciplina obrigatória ministrada no contexto do curso de Mestrado em Ciência da Computação. Foi um tópico apresentado na época como uma necessidade do grupo de Engenharia de Software do programa de pós-graduação em Ciência da Computação.
o Objetivos: apresentar as principais atividades relacionadas à verificação, validação e teste de Software, bem como discutir as principais responsabilidades de um gerente de projeto no contexto de um processo de desenvolvimento de software.
o Ementa: introdução à Engenharia de Software; modelos de especificação de Re- quisitos e de Arquiteturas de Software; gestão do processo de desenvolvimento de software; projeto da Interface com o usuário; teste de programas; qualidade de software.
o Bibliografia principal: Engenharia de Software de Roger S. Pressman (PRESSMAN, 1995); Engenharia de Software de Ian Sommerville (SOMMERVILLE, 2000).
o Quantidade média de alunos: 15
o Periodicidade: a disciplina foi ministrada durante dois semestres no período em que eu fiquei no Departamento de Informática como Professor Visitante Estran- geiro. Depois de me tornar Professor Efetivo em 2002, eu ministrei a disciplina regularmente (anualmente) até 2006.
o Relação com meus Temas de Pesquisa: tal disciplina apresenta as atividades básicas existentes no processo de desenvolvimento de software. Na época em que eu minis- trava a disciplina, eu estava envolvido ainda com assuntos relacionados à minha tese de Doutorado, principalmente com problemas de especificação de modelos de análise e de arquitetura de Sistemas de Manufatura no contexto da Engenharia Assistida por Computador (CAE) e da Manufatura Assistida por Computador (CAM). Tam- bém, na época, tinham sido desenvolvidos, no contexto da minha Tese, algoritmos de análise de especificações formais (verificação de boas propriedades dos modelos) e de simulação de sistemas com características de Tempo Real. Tais atividades contemplavam boa parte das atividades que se encontram no desenvolvimento de Software para operar em Tempo Real.