Pontifícia Universidade Católica de São Paulo

Tamanho: px
Começar a partir da página:

Download "Pontifícia Universidade Católica de São Paulo"

Transcrição

1 Pontifícia Universidade Católica de São Paulo Ferramenta para Análise de Textos com estrutura OCC-RDD por meio de tradução com semântica de Redes de Petri Nome: Carla Marye Bicas Ferrari Orientador: Profº Dr. Ítalo Santiago Vega

2 Roteiro Motivação Estado da Arte Objetivos da Pesquisa Metodologia Proposta da Pesquisa Andamento da Pesquisa Referências

3 Motivação Transferência de conhecimento fragilizada Diminuição na qualidade das aulas no Ensino Superior Evasão no Ensino Superior Apoio ao professor na preparação de uma aula OCC-RDD

4 Estado da Arte Narrativa OCC-RDD: Uma abordagem de Ensino Computacional por Meio do Uso da Técnica de Narrativa e História em quadrinhos(takeda, 2012) A Computational Teaching Approach through the Use of a Narrative Technique and a Comic Strip, (TAKEDA et al, 2012) FALCOM e ambientes de aprendizagem: Uma ferramenta interativa para potencializar a narração de histórias educacionais. (GOYA, 2014) Um protótipo de software para geração automática de roteiros de aula. Um estudo de caso fundamentado pela técnica OCC-RDD (BUTTIGNON, 2015)

5 Objetivos da Pesquisa Especificar uma gramática para realizar a tradução de um texto OCC-RDD para uma Rede de Petri (RP) Desenvolver uma ferramenta para realizar a tradução Elaborar um estudo de caso e aplicar na ferramenta Interpretar as propriedades da RP na fábula OCC-RDD

6 Metodologia 1. Levantamento de dados bibliográficos pesquisa descritiva e bibliográfica. (WLAZAWICK, 2010) Pesquisa aplicada (SILVEIRA; CÓRDOVA, 2009, p. 35) ( WLAZAWICK, 2010, p. 4) 2. Especificação da Gramática 3. Desenvolvimento da Ferramenta 4. Aplicação de um estudo de caso 5. Avaliação dos resultados

7 Proposta da Pesquisa

8 Base Conceitual

9 Base Conceitual

10 Mecânica da Fábula OCC-RDD Potencialização da Narrativa: em dois momento RDD.

11 DME da Fábula OCC-RDD

12 Texto OCC-RDD Elaborado a partir da linguagem da gramática projetada Constituído de Cenas proposta pela técnica Possui uma ordenação de cenas Marcas

13 Compilador OCC-RDD

14 Rede de Petri (RP)

15 Andamento da Pesquisa Realização de estudos referentes a: Linguagens Formais Redes de Petri colorida compiladores Construção da ferramenta Construção do estudo de caso Aplicação do estudo de caso na ferramenta Análise dos resultados obtidos

16 Referências AHO, Alfred V. et al. Compilers: Principles, Techniques, and Tools. 2. ed. Boston: Pearson, p. BAL, Mieke. Narratology: Introduction to the Theory of Narrative. 3. ed. Toronto: University Of Toronto Press, Scholarly Publishing Division, GIRAFFA, Lucia M. M.. Uma arquitetura de tutor utilizando estados mentais UFRS. Disponível em: < df>. Acesso em: 19 abr GOYA, Émerson L.. FALCOM e ambientes de aprendizagem: Uma ferramenta interativa para potencializar a narração de histórias educacionais PUC-SP.

17 Referências AHO, Alfred V. et al. Compilers: Principles, Techniques, and Tools. 2. ed. Boston: Pearson, p. BAL, Mieke. Narratology: Introduction to the Theory of Narrative. 3. ed. Toronto: University Of Toronto Press, Scholarly Publishing Division, GIRAFFA, Lucia M. M.. Uma arquitetura de tutor utilizando estados mentais UFRS. Disponível em: < df>. Acesso em: 19 abr GOYA, Émerson L.. FALCOM e ambientes de aprendizagem: Uma ferramenta interativa para potencializar a narração de histórias educacionais PUC-SP.

18 Referências TAKEDA, Mario M. et al. A Computational Teaching Approach through the Use of a Narrative Technique and a Comic Strip Ninth International Conference On Information Technology - New Generations, Las Vegas, p , abr IEEE. DOI: /itng WAZLAWICK, Raul S.. Uma reflexão sobre a pesquisa em Ciência da Computação à luz da classificação das Ciências e do Método Científico. Revista de Sistemas de Informação da FSMA, Macaé, p.3-10, jul./out Disponível em: < f>. Acesso em: 14 jun WAZLAWICK, Raul S.. Metodologia de Pesquisa para Ciência da Computação. 2. ed. Rio de Janeiro: Elsevier, 2014.

19 Pontifícia Universidade Católica de São Paulo Ferramenta para Análise de Textos com estrutura OCC-RDD por meio de tradução com semântica de Redes de Petri Nome: Carla Marye Bicas Ferrari Orientador: Profº Dr. Ítalo Santiago Vega

Pró-Reitoria Acadêmica Diretoria Acadêmica Assessoria Pedagógica da Diretoria Acadêmica

Pró-Reitoria Acadêmica Diretoria Acadêmica Assessoria Pedagógica da Diretoria Acadêmica FACULDADE: CENTRO UNIVERSITÁRIO DE BRASÍLIA UniCEUB CURSO: CIÊNCIA DA COMPUTAÇÃO DISCIPLINA: CONSTRUÇÃO DE COMPILADORES CARGA HORÁRIA: 75 H. A. ANO/SEMESTRE: 2016/02 PROFESSOR: EDUARDO FERREIRA DOS SANTOS

Leia mais

Universidade Federal do ABC Rua Santa Adélia, Bairro Bangu - Santo André - SP - Brasil CEP Telefone/Fax:

Universidade Federal do ABC Rua Santa Adélia, Bairro Bangu - Santo André - SP - Brasil CEP Telefone/Fax: Universidade Federal do ABC Rua Santa Adélia, 166 - Bairro Bangu - Santo André - SP - Brasil CEP 09.210-170 - Telefone/Fax: +55 11 4996-3166 1. CÓDIGO E NOME DA DISCIPLINA MC3201 - COMPILADORES 2. DISCIPLINA

Leia mais

COMPILADORES PROGRAMA E BIBLIOGRAFIA

COMPILADORES PROGRAMA E BIBLIOGRAFIA COMPILADORES PROGRAMA E BIBLIOGRAFIA Mariza A. S. Bigonha e Roberto S. Bigonha UFMG 27 de maio de 2008 Todos os direitos reservados Proibida cópia sem autorização dos autores OBJETIVOS DO CURSO Ensinar

Leia mais

Mestrado em Tecnologia da Inteligência e Design Digital

Mestrado em Tecnologia da Inteligência e Design Digital Pontifícia Universidade Católica de São Paulo Carla Marye Bicas Ferrari Proposta de uma gramática para análise de textos com estrutura OCC-RDD por meio de tradução com semântica de redes de Petri Mestrado

Leia mais

Ficha da Unidade Curricular

Ficha da Unidade Curricular Ficha da Unidade Curricular Curso: Engenharia Informática Ano Lectivo: 2008/09 Unidade Curr.: Processamento de Linguagens Ano Curricular: 3º Créditos: 6 Responsável: Maria João Varanda Regime: Anual X

Leia mais

UNIVERSIDADE LUSÍADA DE LISBOA. Programa da Unidade Curricular COMPILADORES Ano Lectivo 2017/2018

UNIVERSIDADE LUSÍADA DE LISBOA. Programa da Unidade Curricular COMPILADORES Ano Lectivo 2017/2018 Programa da Unidade Curricular COMPILADORES Ano Lectivo 2017/2018 1. Unidade Orgânica Ciências da Economia e da Empresa (1º Ciclo) 2. Curso Engenharia Informática 3. Ciclo de Estudos 1º 4. Unidade Curricular

Leia mais

Programação de Sistemas (Sistemas de Programação) Semana 10, Aula 17

Programação de Sistemas (Sistemas de Programação) Semana 10, Aula 17 PCS3616 Programação de Sistemas (Sistemas de Programação) Semana 10, Aula 17 Linguagens e Compiladores Programação em linguagem de alto nível Escola Politécnica da Universidade de São Paulo Roteiro 1.

Leia mais

Apresentação. !! Familiarização com os métodos de construção de compiladores de linguagens e com as técnicas de compilação mais habituais.

Apresentação. !! Familiarização com os métodos de construção de compiladores de linguagens e com as técnicas de compilação mais habituais. Apresentação Universidade dos Açores Departamento de Matemática www.uac.pt/~hguerra/!! Aquisição de conceitos sobre a definição de linguagens de programação.!! Familiarização com os métodos de construção

Leia mais

Desenvolvimento de um método e uma ferramenta para a reutilização de processos de software

Desenvolvimento de um método e uma ferramenta para a reutilização de processos de software Laboratório de Engenharia de Software - PUC MG - 1/ 13. Desenvolvimento de um método e uma ferramenta para a reutilização de processos de software André Luiz Peron Martins Lanna 1 Carlos Alberto Marques

Leia mais

Protótipo de um Simulador de um Aspirador de Pó, Utilizando Algoritmo de Busca e Agentes Inteligentes, em Ambientes com Barreiras

Protótipo de um Simulador de um Aspirador de Pó, Utilizando Algoritmo de Busca e Agentes Inteligentes, em Ambientes com Barreiras Protótipo de um Simulador de um Aspirador de Pó, Utilizando Algoritmo de Busca e Agentes Inteligentes, em Ambientes com Barreiras Jussara Vieira Ramos ROTEIRO Objetivo Introdução: I.A. X Robótica Agentes

Leia mais

UNIVERSIDADE LUSÍADA DE LISBOA. Programa da Unidade Curricular OPÇÃO 3 - TEORIA DA COMPUTAÇÃO Ano Lectivo 2011/2012

UNIVERSIDADE LUSÍADA DE LISBOA. Programa da Unidade Curricular OPÇÃO 3 - TEORIA DA COMPUTAÇÃO Ano Lectivo 2011/2012 Programa da Unidade Curricular OPÇÃO 3 TEORIA DA COMPUTAÇÃO Ano Lectivo 2011/2012 1. Unidade Orgânica Ciências da Economia e da Empresa (1º Ciclo) 2. Curso Informática 3. Ciclo de Estudos 1º 4. Unidade

Leia mais

INE5317 Linguagens Formais e Compiladores. Ricardo Azambuja Silveira INE-CTC-UFSC URL:

INE5317 Linguagens Formais e Compiladores. Ricardo Azambuja Silveira INE-CTC-UFSC   URL: INE5317 Linguagens Formais e Compiladores Ricardo Azambuja Silveira INE-CTC-UFSC E-Mail: silveira@inf.ufsc.br URL: www.inf.ufsc.br/~silveira Plano de Ensino OBJETIVO GERAL: Estudar a teoria das linguagens

Leia mais

Linguagens e Compiladores

Linguagens e Compiladores Linguagens e Compiladores Aula 1: a) Critérios b) Noções de Compiladores e Interpretadores c) Usos da tecnologia de compilação d) Compiladores, filtros e pré-processadores e) Estruturação lógica de compiladores

Leia mais

Aula 1 - Introdução à disciplina e Processos de desenvolvimento de software e suas atividades básicas

Aula 1 - Introdução à disciplina e Processos de desenvolvimento de software e suas atividades básicas Aula 1 - Introdução à disciplina e Processos de desenvolvimento de software e suas atividades básicas Análise de Sistemas Prof. Filipe Arantes Fernandes filipe.arantes@ifsudestemg.edu.br Nome da disciplina:

Leia mais

1. DADOS DE IDENTIFICAÇÃO:

1. DADOS DE IDENTIFICAÇÃO: 1. DADOS DE IDENTIFICAÇÃO: Curso: Bacharelado em Sistemas de Informação Disciplina: Introdução à Inteligência Artificial Professor: Msc. Mirthys Marinho do Carmo PLANO DE CURSO Código: SIF23 E-mail: mirthysmcmelo@gmail.com

Leia mais

PLANO DE ENSINO. CURSO: Bacharelado em Sistemas de Informação MODALIDADE: PRESENCIAL ( X ) OBRIGATÓRIA ( ) OPTATIVA DEPARTAMENTO: DEINFO

PLANO DE ENSINO. CURSO: Bacharelado em Sistemas de Informação MODALIDADE: PRESENCIAL ( X ) OBRIGATÓRIA ( ) OPTATIVA DEPARTAMENTO: DEINFO UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO Pró-Reitoria de Ensino de Graduação Coordenação do Curso de Bacharelado em Sistemas de Informação Site: http://www.bsi.ufrpe.br E-mail: coordenacao@bsi.ufrpe.br

Leia mais

Davi Romero de Vasconcelos. Análise de Estratégias Utilizando Verificação Formal de Modelos. Dissertação de Mestrado

Davi Romero de Vasconcelos. Análise de Estratégias Utilizando Verificação Formal de Modelos. Dissertação de Mestrado Davi Romero de Vasconcelos Análise de Estratégias Utilizando Verificação Formal de Modelos Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção do grau de Mestre pelo Programa

Leia mais

Reduzindo mudanças de requisitos no desenvolvimento de software usando Modelagem Independente de Computação e UX Design

Reduzindo mudanças de requisitos no desenvolvimento de software usando Modelagem Independente de Computação e UX Design Reduzindo mudanças de requisitos no desenvolvimento de software usando Modelagem Independente de Computação e UX Design Rodrigo Kuerten 1, Jandira Guenka Palma 1 1 Departamento de Computação Universidade

Leia mais

A PRACTICE OF A NARRATIVE LESSON MODEL USING FABLES BASED ON THE OC2-RD2 TECHNIQUE IN THE TEACHING OF COMPUTER PROGRAMMING

A PRACTICE OF A NARRATIVE LESSON MODEL USING FABLES BASED ON THE OC2-RD2 TECHNIQUE IN THE TEACHING OF COMPUTER PROGRAMMING Responsible Editor: Maria Dolores Sánchez-Fernández, Ph.D. Associate Editor: Manuel Portugal Ferreira, Ph.D. Evaluation Process: Double Blind Review pelo SEER/OJS A PRACTICE OF A NARRATIVE LESSON MODEL

Leia mais

UMA PROPOSTA DE FERRAMENTA PARA SIMPLIFICAR A DEPURAÇÃO DE CÓDIGOS EM C, POR ALUNOS INICIANTES

UMA PROPOSTA DE FERRAMENTA PARA SIMPLIFICAR A DEPURAÇÃO DE CÓDIGOS EM C, POR ALUNOS INICIANTES WAlgProg / 2016 UMA PROPOSTA DE FERRAMENTA PARA SIMPLIFICAR A DEPURAÇÃO DE CÓDIGOS EM C, POR ALUNOS INICIANTES Marina Gomes Érico Amaral Roteiro

Leia mais

UNIVERSIDADE LUSÍADA DE LISBOA. Programa da Unidade Curricular COMPILADORES Ano Lectivo 2011/2012

UNIVERSIDADE LUSÍADA DE LISBOA. Programa da Unidade Curricular COMPILADORES Ano Lectivo 2011/2012 Programa da Unidade Curricular COMPILADORES Ano Lectivo 2011/2012 1. Unidade Orgânica Ciências da Economia e da Empresa (1º Ciclo) 2. Curso Informática 3. Ciclo de Estudos 1º 4. Unidade Curricular COMPILADORES

Leia mais

Plano de Trabalho Docente Ensino Técnico

Plano de Trabalho Docente Ensino Técnico Plano de Trabalho Docente 2017 Ensino Técnico Plano de Curso nº 294 aprovado pela portaria CETEC - 774, de 24/09/2015 (atualizado 2º semestre/2016) Etec Professora Maria Cristina Medeiros Código: 141 Município:

Leia mais

1. DADOS DE IDENTIFICAÇÃO:

1. DADOS DE IDENTIFICAÇÃO: 1. DADOS DE IDENTIFICAÇÃO: Curso: Bacharelado em Sistemas de Informação Disciplina: Introdução à Inteligência Artificial Professor: Msc. Mirthys Marinho do Carmo PLANO DE CURSO Código: SIF23 E-mail: mirthysmcmelo@gmail.com

Leia mais

Trabalho de Conclusão de Curso I

Trabalho de Conclusão de Curso I Trabalho de Conclusão de Curso I Apresentação Prof. Dr. Paulo Henrique Ribeiro Gabriel phrg@ufu.br Faculdade de Computação Universidade Federal de Uberlândia 2016/1 Paulo H. R. Gabriel (FACOM/UFU) FACOM31701

Leia mais

Aprendizagem de Máquina

Aprendizagem de Máquina Aprendizagem de Máquina Apresentação da Disciplina Alessandro L. Koerich 2008 Mestrado e Doutorado em Informática Pontifícia Universidade Católica do Paraná (PUCPR) Mestrado/Doutorado em Informática Aprendizagem

Leia mais

Agenda TECNOLOGIA EM ANÁLISE E DESENVOLVIMENTO DE SISTEMAS ANÁLISE E PROJETO DE SISTEMAS. Aula 3 21/08/2012

Agenda TECNOLOGIA EM ANÁLISE E DESENVOLVIMENTO DE SISTEMAS ANÁLISE E PROJETO DE SISTEMAS. Aula 3 21/08/2012 TECNOLOGIA EM ANÁLISE E DESENVOLVIMENTO DE SISTEMAS ANÁLISE E PROJETO DE SISTEMAS Aula 3 Agenda O processo de desenvolvimento de software Processo Unificado e as fases do Processo Unificado Requisitos

Leia mais

Aprendizagem de Máquina

Aprendizagem de Máquina Plano da Apresentação Aprendizagem de Máquina Alessandro L. Koerich 2007 Mestrado e Doutorado em Informática Pontifícia Universidade Católica do Paraná (PUCPR) Professor & Experiência Acadêmica Horários

Leia mais

Elicitação de requisitos de software através da utilização de questionários

Elicitação de requisitos de software através da utilização de questionários Paulo Roberto de Oliveira Bastos Junior Elicitação de requisitos de software através da utilização de questionários Dissertação de Mestrado Dissertação apresentada ao Programa de Pós-graduação em Informática

Leia mais

PLANO DE DISCIPLINA DISCIPLINA: Análise de Algoritmos

PLANO DE DISCIPLINA DISCIPLINA: Análise de Algoritmos UNIVERSIDADE FEDERAL DE UBERLÂNDIA FACULDADE DE COMPUTAÇÃO BACHARELADO EM CIÊNCIA DA COMPUTAÇÃO PLANO DE DISCIPLINA DISCIPLINA: Análise de Algoritmos ( X ) SEMESTRAL - ( ) ANUAL CÓDIGO: GBC052 PERÍODO:

Leia mais

PONTIFÍCIA UNIVERSIDADE CATÓLICA DE GOIÁS Pró-Reitoria de Graduação - PROGRAD Plano de Ensino 2016/2

PONTIFÍCIA UNIVERSIDADE CATÓLICA DE GOIÁS Pró-Reitoria de Graduação - PROGRAD Plano de Ensino 2016/2 PONTIFÍCIA UNIVERSIDADE CATÓLICA DE GOIÁS Pró-Reitoria de Graduação - PROGRAD Plano de Ensino 2016/2 Disciplina: CMP1134 - Modelagem Conceitual de Dados Turma: C01 Subturma(s): 1 Créditos: 6 Carga Horária:

Leia mais

Aprendizagem de Máquina

Aprendizagem de Máquina Aprendizagem de Máquina Alessandro L. Koerich Programa de Pós-Graduação em Informática Pontifícia Universidade Católica do Paraná (PUCPR) Horários Aulas Sala 3 CCET [quinta-feira, 8:20 12:00] Atendimento

Leia mais

Um Método para Melhoria de Dados Estruturados de Imóveis

Um Método para Melhoria de Dados Estruturados de Imóveis Universidade Federal de Pernambuco Centro de Informática Graduação em Ciência da Computação Um Método para Melhoria de Dados Estruturados de Imóveis Lucas Nunes de Souza Proposta de Trabalho de Graduação

Leia mais

Desenvolvimento de um Tutorial de Pascal utilizando o Learning Space. Acadêmica: Renate Kammer Orientador: Maurício Capobianco Lopes

Desenvolvimento de um Tutorial de Pascal utilizando o Learning Space. Acadêmica: Renate Kammer Orientador: Maurício Capobianco Lopes Desenvolvimento de um Tutorial de Pascal utilizando o Learning Space Acadêmica: Renate Kammer Orientador: Maurício Capobianco Lopes Roteiro Introdução Objetivos Softwares Educacionais Metodologia de Especificação

Leia mais

SISTEMA DE APOIO EDUCACIONAL

SISTEMA DE APOIO EDUCACIONAL SISTEMA DE APOIO EDUCACIONAL Vandor R. V. Rissoli UnB Gama Apoio CNPq e FAPDF AGENDA Processo Educacional Ambiente Virtual de Aprendizagem Interoperabilidade Sistema Tutor Inteligente Educação Personalizada

Leia mais

LABORATÓRIO VIRTUAL EM SISTEMAS DE CONTROLE

LABORATÓRIO VIRTUAL EM SISTEMAS DE CONTROLE LABORATÓRIO VIRTUAL EM SISTEMAS DE CONTROLE Ana Cláudia Gomes 1, Agostinho Linhares Souza Folho 1, Luiz Affonso Guedes 1 Universidade Federal do Pará 1 Campus Universitário do Guamá {acgomes, affonso}@ufpa.br

Leia mais

Plano da Unidade Curricular

Plano da Unidade Curricular Plano da Unidade Curricular Documento com o PUC desta unidade curricular. Sítio: Elearning UAb Unidade curricular: Compilação 2014 01 Livro: Plano da Unidade Curricular Impresso por: Ricardo Marques Data:

Leia mais

Construção de Compiladores

Construção de Compiladores Construção de Compiladores Parte 1 Introdução Linguagens e Gramáticas F.A. Vanini IC Unicamp Klais Soluções Motivação Porque compiladores? São ferramentas fundamentais no processo de desenvolvimento de

Leia mais

Romualdo Monteiro de Resende Costa. Integração e Interoperabilidade de Documentos MPEG-4 e NCL. Dissertação de Mestrado

Romualdo Monteiro de Resende Costa. Integração e Interoperabilidade de Documentos MPEG-4 e NCL. Dissertação de Mestrado Romualdo Monteiro de Resende Costa Integração e Interoperabilidade de Documentos MPEG-4 e NCL Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção do título de Mestre pelo

Leia mais

UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL INSTITUTO DE INFORMÁTICA DEPARTAMENTO DE INFORMÁTICA APLICADA

UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL INSTITUTO DE INFORMÁTICA DEPARTAMENTO DE INFORMÁTICA APLICADA UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL INSTITUTO DE INFORMÁTICA DEPARTAMENTO DE INFORMÁTICA APLICADA DISCIPLINA: CÓDIGO: CURSOS/PRE-REQUISITO: CIC Linguagens formais e autômatos N COMPILADORES INF01147

Leia mais

Bruno Loureiro Rezende. Um Framework para a Automação de Testes com Linguagens de Especificação Configuráveis DISSERTAÇÃO DE MESTRADO

Bruno Loureiro Rezende. Um Framework para a Automação de Testes com Linguagens de Especificação Configuráveis DISSERTAÇÃO DE MESTRADO Bruno Loureiro Rezende Um Framework para a Automação de Testes com Linguagens de Especificação Configuráveis DISSERTAÇÃO DE MESTRADO DEPARTAMENTO DE INFORMÁTICA Programa de Pós-graduação em Informática

Leia mais

Universidade Federal de Pernambuco Graduação em Ciência da Computação Centro de Informática

Universidade Federal de Pernambuco Graduação em Ciência da Computação Centro de Informática Universidade Federal de Pernambuco Graduação em Ciência da Computação Centro de Informática 2014.2 Um estudo sobre a influência da comunicação no consumo de energia em dispositivos móveis Proposta de Trabalho

Leia mais

PLANO DE DISCIPLINA DISCIPLINA: Algoritmos e Programação

PLANO DE DISCIPLINA DISCIPLINA: Algoritmos e Programação UNIVERSIDADE FEDERAL DE UBERLÂNDIA FACULDADE DE COMPUTAÇÃO BACHARELADO EM GESTÃO DA INFORMAÇÃO PLANO DE DISCIPLINA DISCIPLINA: Algoritmos e Programação ( X ) SEMESTRAL - ( ) ANUAL CÓDIGO: GGI026 PERÍODO:

Leia mais

Estudo de viabilidade para o desenvolvimento de jogos em Java 3D em ambiente web

Estudo de viabilidade para o desenvolvimento de jogos em Java 3D em ambiente web Estudo de viabilidade para o desenvolvimento de jogos em Java 3D em ambiente web Universidade Estadual do Oeste do Paraná Unioeste Charles Giovane de Salles Bolsista: PET-MEC/SESu Ciência da Computação

Leia mais

Raúl Ademar Valdivia Pacheco. Visualização de Modelos de Engenharia via WEB utilizando VRML. Dissertação de Mestrado

Raúl Ademar Valdivia Pacheco. Visualização de Modelos de Engenharia via WEB utilizando VRML. Dissertação de Mestrado 1 Raúl Ademar Valdivia Pacheco Visualização de Modelos de Engenharia via WEB utilizando VRML Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção do título de Mestre pelo

Leia mais

TÍTULO: APLICAÇÃO DO SOFTWARE MODELLUS PARA SIMULAÇÃO E MODELAGEM COMPUTACIONAL EM CURSOS DE ENGENHARIA CATEGORIA: EM ANDAMENTO

TÍTULO: APLICAÇÃO DO SOFTWARE MODELLUS PARA SIMULAÇÃO E MODELAGEM COMPUTACIONAL EM CURSOS DE ENGENHARIA CATEGORIA: EM ANDAMENTO TÍTULO: APLICAÇÃO DO SOFTWARE MODELLUS PARA SIMULAÇÃO E MODELAGEM COMPUTACIONAL EM CURSOS DE ENGENHARIA CATEGORIA: EM ANDAMENTO ÁREA: ENGENHARIAS E ARQUITETURA SUBÁREA: ENGENHARIAS INSTITUIÇÃO: FACULDADE

Leia mais

Pontifícia Universidade Católica de São Paulo PUC-SP. Emerson Leandro Goya

Pontifícia Universidade Católica de São Paulo PUC-SP. Emerson Leandro Goya Pontifícia Universidade Católica de São Paulo PUC-SP Emerson Leandro Goya FALCOM e ambientes de aprendizagem: Uma ferramenta interativa para potencializar a narração de histórias educacionais. Mestrado

Leia mais

SCDI1: uma Ferramenta Computacional Educacional para a Visualização, Modelagem e Inversão de Funções Matemáticas

SCDI1: uma Ferramenta Computacional Educacional para a Visualização, Modelagem e Inversão de Funções Matemáticas SCDI1: uma Ferramenta Computacional Educacional para a Visualização, Modelagem e Inversão de Funções Matemáticas Centro Universitário Geraldo Di Biase UGB, Barra do Piraí-RJ myrrhaugb@gmail.com Resumo:

Leia mais

Análise e Projeto Orientados a Objetos

Análise e Projeto Orientados a Objetos Análise e Projeto Orientados a Objetos Introdução Diretoria Acadêmica de Gestão e Tecnologia da Informação Introdução Os sistemas computacionais adquiriram extrema importância para as organizações públicas

Leia mais

METODOLOGIA DE PROJETO ORIENTADO PARA A MANUFATURA INTEGRADA A UM SISTEMA DE PROJETO ASSISTIDO POR COMPUTADOR

METODOLOGIA DE PROJETO ORIENTADO PARA A MANUFATURA INTEGRADA A UM SISTEMA DE PROJETO ASSISTIDO POR COMPUTADOR PONTIFÍCIA UNIVERSIDADE CATÓLICA DO PARANÁ PRÓ-REITORIA DE PESQUISA E PÓS-GRADUAÇÃO PROGRAMA INSTITUCIONAL DE BOLSAS DE INICIAÇÃO CIENTÍFICA PIBIC/PIBITI 2017/2018 (OSIRIS CANCIGLIERI JUNIOR) METODOLOGIA

Leia mais

PLANO DE DISCIPLINA DISCIPLINA: Análise de Algoritmos

PLANO DE DISCIPLINA DISCIPLINA: Análise de Algoritmos UNIVERSIDADE FEDERAL DE UBERLÂNDIA FACULDADE DE COMPUTAÇÃO BACHARELADO EM CIÊNCIA DA COMPUTAÇÃO PLANO DE DISCIPLINA DISCIPLINA: Análise de Algoritmos ( X ) SEMESTRAL - ( ) ANUAL CÓDIGO: GBC052 PERÍODO:

Leia mais

Linguagens Formais e Autômatos (BBC242) Professor: Anderson Almeida Ferreira DECOM-UFOP

Linguagens Formais e Autômatos (BBC242) Professor: Anderson Almeida Ferreira DECOM-UFOP Linguagens Formais e Autômatos (BBC242) Professor: Anderson Almeida Ferreira DECOM-UFOP Ementa Gramáticas. Linguagens Regulares, Livres-de-Contexto e Sensíveis-ao- Contexto. Tipos de Reconhecedores. Operações

Leia mais

Utilização de uma estratégia para identificação de fontes de informação na fase de elicitação

Utilização de uma estratégia para identificação de fontes de informação na fase de elicitação Edson Andrade de Moraes Utilização de uma estratégia para identificação de fontes de informação na fase de elicitação Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção

Leia mais

PERÍODO LETIVO ENGENHARIA DE COMPUTAÇÃO

PERÍODO LETIVO ENGENHARIA DE COMPUTAÇÃO 1 O SEMESTRE DE 2018 1 o PERÍODO LETIVO SMA0300 Geometria Analítica SMA0300 Geometria Analítica SSC0600 Introdução à Ciência da Computação I 7600109 Laboratório Física Geral I - Turmas aulas quinzenais

Leia mais

Pontifícia Universidade Católica de São Paulo Departamento de Ciência da Computação

Pontifícia Universidade Católica de São Paulo Departamento de Ciência da Computação Pontifícia Universidade Católica de São Paulo Departamento de Ciência da Computação LP: Laboratório de Programação Apontamento 6 Prof. ISVega Março de 2004 Representação de Computações CONTEÚDO 6.1 Modelagem

Leia mais

JADEX: A BDI REASONING ENGINE. Alexander Pokahr, Lars Braubach e Winfried Lamersdorf Springer US - Multi-Agent Programming 2005 pp.

JADEX: A BDI REASONING ENGINE. Alexander Pokahr, Lars Braubach e Winfried Lamersdorf Springer US - Multi-Agent Programming 2005 pp. JADEX: A BDI REASONING ENGINE Alexander Pokahr, Lars Braubach e Winfried Lamersdorf Springer US - Multi-Agent Programming 2005 pp. 149-174 Volume 15 Motivação Existem muitas plataformas para desenvolvimento

Leia mais

METODOLOGIAS DE DESENVOLVIMENTO DE SISTEMAS

METODOLOGIAS DE DESENVOLVIMENTO DE SISTEMAS METODOLOGIAS DE DESENVOLVIMENTO DE SISTEMAS Keila de Carvalho Freitas 1, Demétrio Renó Magalhães 2, Francisco Antonio Fernandes Reinaldo 3 Abstract This article presents a comparison between two software

Leia mais

Uma Introdução à Computação Quântica

Uma Introdução à Computação Quântica Uma Introdução à Computação Quântica por Bernardo Lula Júnior 1 e Aércio Ferreira de Lima 2 1 Departamento de Sistemas e Computação Universidade Federal de Campina Grande lula@dsc.ufcg.edu.br 2 Departamento

Leia mais

Concurso público de provas e títulos para professor adjunto

Concurso público de provas e títulos para professor adjunto Concurso público de provas e títulos para professor adjunto Número de vagas: 03 Área: Ciência da Computação Matéria Específica: Ciência da Computação Informações complementares: Critérios de seleção de

Leia mais

VÍDEO AULA 1 APRESENTAÇÃO DO CURSO 100% ON LINE

VÍDEO AULA 1 APRESENTAÇÃO DO CURSO 100% ON LINE Curso Superior de Tecnologia em Análise e Desenvolvimento de Sistemas VÍDEO AULA 1 APRESENTAÇÃO DO CURSO 100% ON LINE Coordenador Prof. Dorival Magro Junior Mestre em Ciência da Computação EDUCAÇÃO A DISTÂNCIA

Leia mais

Autor 1 Orientador: 1. dia de mês de ano

Autor 1 Orientador: 1. dia de mês de ano Título Autor 1 Orientador: 1 1 Laboratório de Sistemas de Computação Universidade Federal de Santa Maria dia de mês de ano Roteiro Introdução Fundamentação Desenvolvimento Resultados Conclusão e Trabalhos

Leia mais

Programa Analítico de Disciplina INF323 Engenharia de Software II

Programa Analítico de Disciplina INF323 Engenharia de Software II 0 Programa Analítico de Disciplina Departamento de Informática - Centro de Ciências Exatas e Tecnológicas Número de créditos: Teóricas Práticas Total Duração em semanas: 15 Carga horária semanal 0 Períodos

Leia mais

Um Jogo Educacional que apoia o Ensino de Diagrama de Atividades

Um Jogo Educacional que apoia o Ensino de Diagrama de Atividades Um Jogo Educacional que apoia o Ensino de Diagrama de Atividades Williamson Silva 1, Igor Steinmacher 2, Tayana Conte 1 1 USES - Grupo de Pesquisa em Usabilidade e Engenharia de Software Programa de Pós-Graduação

Leia mais

Matchmaking Uma infraestrutura para alinhamento de esquemas

Matchmaking Uma infraestrutura para alinhamento de esquemas Raphael do Vale Amaral Gomes Matchmaking Uma infraestrutura para alinhamento de esquemas Dissertação de mestrado Dissertação apresentada como requisito parcial para a obtenção do grau de Mestre pelo Programa

Leia mais

Linguagens Formais e Autômatos

Linguagens Formais e Autômatos Linguagens Formais e Autômatos Contextualização Prof.ª Aracele Garcia de Oliveira Fassbinder IFSULDEMINAS Campus Muzambinho Muzambinho, Fevereiro de 2012 Sobre esta disciplina O que é uma linguagem formal?

Leia mais

UNIVERSIDADE PRESBITERIANA MACKENZIE Faculdade de Computação e Informática

UNIVERSIDADE PRESBITERIANA MACKENZIE Faculdade de Computação e Informática 2 a ETAPA exclusivo de curso (X) Eixo Comum ( ) Eixo Universal ( ) Curso: CIÊNCIA DA COMPUTAÇÃO ALGORITMOS E PROGRAMAÇÃO II ( 02 ) Sala de Aula 04 h/a ( 02 ) Laboratório ALGORITMOS E PROGRAMAÇÃO Estudo

Leia mais

Teoria da Computação (BBC244)

Teoria da Computação (BBC244) Teoria da Computação (BBC244) Professor: Anderson Almeida Ferreira anderson.ferreira@gmail.com http://www.decom.ufop.br/anderson Sala COM 10 DECOM-UFOP Ementa Gramáticas. Linguagens. Operações com Linguagens.

Leia mais

UNIVERSIDADE PRESBITERIANA MACKENZIE Faculdade de Computação e Informática. 3 a ETAPA

UNIVERSIDADE PRESBITERIANA MACKENZIE Faculdade de Computação e Informática. 3 a ETAPA 3 a ETAPA exclusivo de curso (X) Eixo Comum ( ) Eixo Universal () ORGANIZAÇÃO DE COMPUTADORES ( 02 ) Laboratório TECNOLOGIA E INFRA Estudo da organização funcional de computadores, com destaque para a

Leia mais

ESTRUTURA ORGANIZACIONAL

ESTRUTURA ORGANIZACIONAL ORGANIZAÇÃO, SISTEMAS E MÉTODOS ESTRUTURA ORGANIZACIONAL Curso Técnico em Administração Professor Adm. Walter Martins Júnior CRA 15.063-PR 1 ORGANIZAÇÃO CONCEITO Ordenação e agrupamento de atividades e

Leia mais

Heron Vilela de Oliveira e Silva

Heron Vilela de Oliveira e Silva Heron Vilela de Oliveira e Silva X-SMIL: Aumentando Reuso e Expressividade em Linguagens de Autoria Hipermídia DISSERTAÇÃO DE MESTRADO DEPARTAMENTO DE INFORMÁTICA Programa de Pós-Graduação em Informática

Leia mais

DESENVOLVIMENTO DE UM APLICATIVO MÓVEL (JOGO) PARA AUXÍLIO NO ENSINO DE MATEMÁTICA. Beatriz Polita Franchin 1, Elvio Gilberto da Silva 2

DESENVOLVIMENTO DE UM APLICATIVO MÓVEL (JOGO) PARA AUXÍLIO NO ENSINO DE MATEMÁTICA. Beatriz Polita Franchin 1, Elvio Gilberto da Silva 2 DESENVOLVIMENTO DE UM APLICATIVO MÓVEL (JOGO) PARA AUXÍLIO NO ENSINO DE MATEMÁTICA Beatriz Polita Franchin 1, Elvio Gilberto da Silva 2 1 Graduanda do curso de Ciência da Computação Bauru/SP biapolita@gmail.com;

Leia mais

Linguagens Formais e Autômatos. Tiago Alves de Oliveira

Linguagens Formais e Autômatos. Tiago Alves de Oliveira Linguagens Formais e Autômatos Tiago Alves de Oliveira Ementa Linguagens Regulares; Máquinas de Turing; O Problema da Parada da Máquina de Turing; Autômatos Finitos; Linguagens Livres de Contexto; Autômatos

Leia mais

PLANO DE APRENDIZAGEM

PLANO DE APRENDIZAGEM PLANO DE APRENDIZAGEM 1. DADOS DE IDENTIFICAÇÃO Curso: Bacharelado em Sistemas de Informação Disciplina: Linguagens Formais e Compiladores Código: SIF5N191 Professor: Jamilson Ramalho Dantas e-mail: jamilson.dantas@fasete.edu.br

Leia mais

Pensamento Computacional Desplugado: Ensino e Avaliação na Educação Primária da Espanha

Pensamento Computacional Desplugado: Ensino e Avaliação na Educação Primária da Espanha Pensamento Computacional Desplugado: Ensino e Avaliação na Educação Primária da Espanha Christian Puhlmann Brackmann brackmann@iffarroupilha.edu.br Orientador: Prof. Dr. Dante Augusto Couto Barone (UFRGS,

Leia mais

Pró-Reitoria Acadêmica Diretoria Acadêmica Assessoria Pedagógica da Diretoria Acadêmica

Pró-Reitoria Acadêmica Diretoria Acadêmica Assessoria Pedagógica da Diretoria Acadêmica FACULDADE: CENTRO UNIVERSITÁRIO DE BRASÍLIA UniCEUB CURSO: ENGENHARIA DE COMPUTAÇÃO DISCIPLINA: SISTEMAS DE TEMPO REAL E TOLERANTES À FALHA CARGA HORÁRIA: 75 H. A. ANO/SEMESTRE: 2016/01 PROFESSOR: EDUARDO

Leia mais

GQS Grupo de Qualidade de Software INCoD - Instituto Nacional de Ciência e Tecnologia para Convergência Digital. Paulo Battistella

GQS Grupo de Qualidade de Software INCoD - Instituto Nacional de Ciência e Tecnologia para Convergência Digital. Paulo Battistella Ensinar Ensinar com com Jogos Jogos GQS Grupo de Qualidade de Software INCoD - Instituto Nacional de Ciência e Tecnologia para Convergência Digital Paulo Battistella GQS Grupo de Qualidade de Software

Leia mais

CLICK QUÍMICA: ESTUDO SOBRE SISTEMAS DE INFORMAÇÃO QUE AUXILIAM O ENSINO DE QUÍMICA

CLICK QUÍMICA: ESTUDO SOBRE SISTEMAS DE INFORMAÇÃO QUE AUXILIAM O ENSINO DE QUÍMICA INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO MATO GROSSO DO SUL Campus Coxim - MS CLICK QUÍMICA: ESTUDO SOBRE SISTEMAS DE INFORMAÇÃO QUE AUXILIAM O ENSINO DE QUÍMICA Caroline Silverio Mossi,

Leia mais

Bacharelado em Ciência e Tecnologia Processamento da Informação. Apresentação da Disciplina de Processamento da Informação Modalidade: Presencial

Bacharelado em Ciência e Tecnologia Processamento da Informação. Apresentação da Disciplina de Processamento da Informação Modalidade: Presencial Apresentação da Disciplina de Modalidade: Presencial Apresentação do Professor Prof. João Henrique Kleinschmidt Centro de Engenharia, Modelagem e Ciências Sociais Aplicadas (CECS) E-mail: joao.kleinschmidt@ufabc.edu.br

Leia mais

Utilização de técnicas de Process Mining em Sistemas de Middleware Adaptativos Proposta de Trabalho de Graduação

Utilização de técnicas de Process Mining em Sistemas de Middleware Adaptativos Proposta de Trabalho de Graduação UNIVERSIDADE FEDERAL DE PERNAMBUCO GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO CENTRO DE INFORMÁTICA 2017.1 Utilização de técnicas de Process Mining em Sistemas de Middleware Adaptativos Proposta de Trabalho de

Leia mais

Metodologia da Pesquisa em Sistemas de Informação. Aula 3. Projeto de Pesquisa. Revisão Sistemática. Profa. Fátima L. S. Nunes

Metodologia da Pesquisa em Sistemas de Informação. Aula 3. Projeto de Pesquisa. Revisão Sistemática. Profa. Fátima L. S. Nunes Metodologia da Pesquisa em Sistemas de Informação Aula 3 Projeto de Pesquisa Revisão Sistemática Profa. Fátima L. S. Nunes Metodologia Pesquisa SI- 1 Como elaborar um projeto? Roteiro 1) Escolha do tema

Leia mais

Linguística Computacional Interativa

Linguística Computacional Interativa 1 Linguística Computacional Interativa Gramaticalização de Conversas: O longo percurso de LCI Aula de 16 de outubro de 2012 2 Contexto: Ambiente de Apoio ao Ensino de Raciocínio Computacional (POLIFACETS)

Leia mais

6 Referências bibliográficas

6 Referências bibliográficas 6 Referências bibliográficas ARANHA, M. L. de A. História da Educação. São Paulo: Moderna, 1996. ARGYRIS, C. Teaching Smart People How to Learn. Harvard Business Review, May./June. 1991. ARRUDA, A.. Adoção

Leia mais

Nesta aula inaugural, iremos:

Nesta aula inaugural, iremos: Nesta aula inaugural, iremos: Conhecer os objetivos, a organização curricular, o perfil desejado dos alunos; Apresentar os Professores e Tutores do curso; Introduzir brevemente as disciplinas deste semestre;

Leia mais

PONTIFÍCIA UNIVERSIDADE CATÓLICA DE GOIÁS Pró-Reitoria de Graduação - PROGRAD Plano de Ensino 2018/2

PONTIFÍCIA UNIVERSIDADE CATÓLICA DE GOIÁS Pró-Reitoria de Graduação - PROGRAD Plano de Ensino 2018/2 PONTIFÍCIA UNIVERSIDADE CATÓLICA DE GOIÁS Pró-Reitoria de Graduação - PROGRAD Plano de Ensino 2018/2 Disciplina: CMP1119 - Desenvolvimento de Aplicações para Cliente-Servidor Turma: C01 Subturma(s):1 Créditos:

Leia mais

Compreensão. Primeira Fase. INTERAD: uma Metodologia para Desenvolvimento de Interface para Materiais Educacionais Digitais

Compreensão. Primeira Fase. INTERAD: uma Metodologia para Desenvolvimento de Interface para Materiais Educacionais Digitais Universidade Federal do Rio Grande do Sul Programa de Pós-Graduação em Educação INTERAD: uma Metodologia para Desenvolvimento de Interface para Materiais Educacionais Digitais Primeira Fase Compreensão

Leia mais

PUC-SP. Daniel Henrique da Silva. Arquitetura de Agentes para a. Geração Automática de Roteiros OCC-RDD

PUC-SP. Daniel Henrique da Silva. Arquitetura de Agentes para a. Geração Automática de Roteiros OCC-RDD Pontifícia Universidade Católica de São Paulo PUC-SP Daniel Henrique da Silva Arquitetura de Agentes para a Geração Automática de Roteiros OCC-RDD MESTRADO EM TECNOLOGIAS DA INTELIGÊNCIA E DESIGN DIGITAL

Leia mais

Página 1 de 7 PRÓ-REITORIA DE GRADUAÇÃO ANEXO "F" ESCOLA POLITÉCNICA CURRÍCULO IDEAL (EC3-2018) Curso: Engenharia Elétrica - Ênfase em Computação

Página 1 de 7 PRÓ-REITORIA DE GRADUAÇÃO ANEXO F ESCOLA POLITÉCNICA CURRÍCULO IDEAL (EC3-2018) Curso: Engenharia Elétrica - Ênfase em Computação s em Sequência Aconselhada Obrigatórias 1º semestre 4323101 Física I 3 0 3 45 MAC2166 Introdução à Computação MAT2453 Cálculo Diferencial e Integral I 6 0 6 90 MAT3457 Álgebra Linear I PCC3100 Representação

Leia mais

Agentes pedagógicos. 2. Referencial teórico

Agentes pedagógicos. 2. Referencial teórico Agentes pedagógicos 1. Introdução Com o exponencial crescimento do computador, cada vez mais se faz necessário a busca e inserção de novas formas de aplicação de tecnologias na área da educação. Por intermédio

Leia mais

Universidade Federal de Goiás Bacharelado em Ciências da Computacão Compiladores

Universidade Federal de Goiás Bacharelado em Ciências da Computacão Compiladores Universidade Federal de Goiás Bacharelado em Ciências da Computacão Compiladores 2013-2 Compilador para a Linguagem Cafezinho Especificação dos trabalhos: T2 (Geração da Representação Intermediária e Análise

Leia mais

OBJETOS DE APRENDIZAGEM NO ENSINO DA UML 2.0

OBJETOS DE APRENDIZAGEM NO ENSINO DA UML 2.0 OBJETOS DE APRENDIZAGEM NO ENSINO DA UML 2.0 Tanaka. Sergio Akio 1, Tanaka. Simone Sawasaki 2, Alves. Jean Pierre R 3 3 Departamento de Sistemas e Computação Centro Universitário Filadélfia (UNIFIL) Londrina,

Leia mais

Renato Figueiró Maia. Um Framework para Sistemas Baseados em Componentes Distribuídos. Informática DEPARTAMENTO DE INFORMÁTICA

Renato Figueiró Maia. Um Framework para Sistemas Baseados em Componentes Distribuídos. Informática DEPARTAMENTO DE INFORMÁTICA Renato Figueiró Maia Um Framework para Adaptação Dinâmica de Sistemas Baseados em Componentes Distribuídos DISSERTAÇÃO DE MESTRADO DEPARTAMENTO DE INFORMÁTICA Programa de Pós graduação em Informática Rio

Leia mais

VI Ciclo de Palestras sobre Novas Tecnologias na Educação

VI Ciclo de Palestras sobre Novas Tecnologias na Educação VI Ciclo de Palestras sobre Novas Tecnologias na Educação Sistema Multiagentes Aplicado a Desafios Lógicos Abertos: Uma possibilidade de Interação através do incremento lúdico Othon C. Bastos Filho, Margarete

Leia mais

Centro Estadual de Educação Tecnológica Paula Souza Governo do Estado de São Paulo Rua Dos Andradas, 140 Santa Ifigênia CEP São Paulo SP

Centro Estadual de Educação Tecnológica Paula Souza Governo do Estado de São Paulo Rua Dos Andradas, 140 Santa Ifigênia CEP São Paulo SP MÓDULO II Qualificação Profissional Técnica de Nível Médio de AUXILIAR EM DESIGN DE WEBSITES II.1 REDES DE COMUNICAÇÃO DE DADOS I Função: Fundamentos de Redes 1. Analisar as características dos meios físicos

Leia mais

SOFTWARE EDUCACIONAL PARA ELABORAÇÃO DE PROVAS E EXERCÍCIOS

SOFTWARE EDUCACIONAL PARA ELABORAÇÃO DE PROVAS E EXERCÍCIOS SUZETE KEINER SOFTWARE EDUCACIONAL PARA ELABORAÇÃO DE PROVAS E EXERCÍCIOS CIOS Orientador: Prof.. Carlos Eduardo Negrão Bizzotto ROTEIRO Introdução Objetivos Informática na Educação Etapas de Implantação

Leia mais