Pontifícia Universidade Católica de São Paulo
|
|
- Heloísa Andrade
- 5 Há anos
- Visualizações:
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
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 maisUniversidade 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 maisCOMPILADORES 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 maisMestrado 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 maisFicha 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 maisUNIVERSIDADE 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 maisProgramaçã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 maisApresentaçã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 maisDesenvolvimento 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 maisProtó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 maisUNIVERSIDADE 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 maisINE5317 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 maisLinguagens 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 maisAula 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 mais1. 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 maisPLANO 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 maisDavi 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 maisReduzindo 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 maisA 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 maisUMA 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 maisUNIVERSIDADE 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 maisPlano 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 mais1. 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 maisTrabalho 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 maisAprendizagem 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 maisAgenda 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 maisAprendizagem 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 maisElicitaçã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 maisPLANO 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 maisPONTIFÍ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 maisAprendizagem 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 maisUm 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 maisDesenvolvimento 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 maisSISTEMA 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 maisLABORATÓ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 maisPlano 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 maisConstruçã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 maisRomualdo 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 maisUNIVERSIDADE 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 maisBruno 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 maisUniversidade 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 maisPLANO 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 maisEstudo 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 maisRaú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 maisTÍ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 maisPontifí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 maisSCDI1: 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 maisAná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 maisMETODOLOGIA 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 maisPLANO 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 maisLinguagens 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 maisUtilizaçã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 maisPERÍ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 maisPontifí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 maisJADEX: 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 maisMETODOLOGIAS 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 maisUma 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 maisConcurso 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 maisVÍ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 maisAutor 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 maisPrograma 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 maisUm 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 maisMatchmaking 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 maisLinguagens 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 maisUNIVERSIDADE 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 maisTeoria 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 maisUNIVERSIDADE 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 maisESTRUTURA 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 maisHeron 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 maisDESENVOLVIMENTO 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 maisLinguagens 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 maisPLANO 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 maisPensamento 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 maisPró-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 maisGQS 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 maisCLICK 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 maisBacharelado 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 maisUtilizaçã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 maisMetodologia 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 maisLinguí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 mais6 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 maisNesta 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 maisPONTIFÍ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 maisCompreensã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 maisPUC-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 maisPá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 maisAgentes 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 maisUniversidade 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 maisOBJETOS 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 maisRenato 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 maisVI 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 maisCentro 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 maisSOFTWARE 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