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

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

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

COMPILADORES PROGRAMA E BIBLIOGRAFIA

Mestrado em Tecnologia da Inteligência e Design Digital

Ficha da Unidade Curricular

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

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

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.

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

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

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

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

Linguagens e Compiladores

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

1. DADOS DE IDENTIFICAÇÃO:

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

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

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

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

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

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

Plano de Trabalho Docente Ensino Técnico

1. DADOS DE IDENTIFICAÇÃO:

Trabalho de Conclusão de Curso I

Aprendizagem de Máquina

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

Aprendizagem de Máquina

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

PLANO DE DISCIPLINA DISCIPLINA: Análise de Algoritmos

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

Aprendizagem de Máquina

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

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

SISTEMA DE APOIO EDUCACIONAL

LABORATÓRIO VIRTUAL EM SISTEMAS DE CONTROLE

Plano da Unidade Curricular

Construção de Compiladores

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

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

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

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

PLANO DE DISCIPLINA DISCIPLINA: Algoritmos e Programação

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

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

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

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

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

Análise e Projeto Orientados a Objetos

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

PLANO DE DISCIPLINA DISCIPLINA: Análise de Algoritmos

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

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

PERÍODO LETIVO ENGENHARIA DE COMPUTAÇÃO

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

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

METODOLOGIAS DE DESENVOLVIMENTO DE SISTEMAS

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

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

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

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

Programa Analítico de Disciplina INF323 Engenharia de Software II

Um Jogo Educacional que apoia o Ensino de Diagrama de Atividades

Matchmaking Uma infraestrutura para alinhamento de esquemas

Linguagens Formais e Autômatos

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

Teoria da Computação (BBC244)

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

ESTRUTURA ORGANIZACIONAL

Heron Vilela de Oliveira e Silva

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

Linguagens Formais e Autômatos. Tiago Alves de Oliveira

PLANO DE APRENDIZAGEM

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

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

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

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

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

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

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

Linguística Computacional Interativa

6 Referências bibliográficas

Nesta aula inaugural, iremos:

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

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

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

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

Agentes pedagógicos. 2. Referencial teórico

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

OBJETOS DE APRENDIZAGEM NO ENSINO DA UML 2.0

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

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

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

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

Transcrição:

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

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

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

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)

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

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

Proposta da Pesquisa

Base Conceitual

Base Conceitual

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

DME da Fábula OCC-RDD

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

Compilador OCC-RDD

Rede de Petri (RP)

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

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

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

Referências TAKEDA, Mario M. et al. A Computational Teaching Approach through the Use of a Narrative Technique and a Comic Strip. 2012 Ninth International Conference On Information Technology - New Generations, Las Vegas, p.445-451, abr. 2012. IEEE. DOI: 10.1109/itng.2012.104. 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. 2010. Disponível em: <http://www.fsma.edu.br/si/edicao6/fsma_si_2010_2_principal_1.pd f>. Acesso em: 14 jun. 2015. WAZLAWICK, Raul S.. Metodologia de Pesquisa para Ciência da Computação. 2. ed. Rio de Janeiro: Elsevier, 2014.

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