Verificador de Propriedades em
|
|
- Maria Vitória Monteiro
- 4 Há anos
- Visualizações:
Transcrição
1 Verificador de Propriedades em Gramática de Grafos Acadêmica: Fernanda Gums Orientadora: Joyce Martins
2 Roteiro Introdução Objetivos do trabalho Fundamentação teórica Desenvolvimento do Java Verification Graph Grammar (JVGG) Conclusão Extensões Verificador de Propriedades em Gramática de Grafos 2/30
3 Introdução Desenvolvimento de sistemas Métodos formais Gramática de grafos Verificação de propriedades Verificador de Propriedades em Gramática de Grafos 3/30
4 Objetivos do trabalho Desenvolver uma ferramenta para verificar propriedades em gramática de grafos. Criação da gramática Rótulos Grafo inicial Regras Verificação de propriedades Alcançabilidade Aplicabilidade Conflito potencial Verificador de Propriedades em Gramática de Grafos 4/30
5 Fundamentação teórica Conceitos Gramática de grafos Propriedades da gramática de grafos Trabalhos correlatos Attributed Graph Grammar(AGG) TU Berlin Graph Rewrite GENerator(GrGen) Opensource Graphs for Object-Oriented Verification(GROOVE) University of Twente Verificador de Propriedades em Gramática de Grafos 5/30
6 Gramática de grafos Rótulos Grafo inicial Conjunto de regras Abordagem Single PushOut (SPO) Exemplo da Ferrovia (Déharbe) Verificador de Propriedades em Gramática de Grafos 6/30
7 Gramática de grafos: exemplo ferrovia Verificador de Propriedades em Gramática de Grafos 7/30
8 Gramática de grafos: exemplo ferrovia Verificador de Propriedades em Gramática de Grafos 8/30
9 Gramática de grafos: sintaxe Morfismo e não morfismo Verificador de Propriedades em Gramática de Grafos 9/30
10 Gramática de grafos: sintaxe Especifica a mudança de estado do sistema: Itens em L devem estar presentes no estado atual para que a regra possa ser aplicada Itens em L que não têm uma imagem em R são removidos Itens em L que são mapeados para R são preservados Itens em R que não tem uma pré-imagem em L são criados. Verificador de Propriedades em Gramática de Grafos 10/30
11 Gramática de grafos: semântica Indica o comportamento da gramática Adicionar ao grafo inicial tudo que foi criado pela regra Remover do grafo resultante do passo acima tudo que deve ser eliminado pela regra Remover arestas pendentes Verificador de Propriedades em Gramática de Grafos 11/30
12 Gramática de grafos: semântica Derivação Sequencial Paralela Verificador de Propriedades em Gramática de Grafos 12/30
13 Propriedades da gramática de grafos Análise de computações da especificação Propriedades: Alcançabilidade Aplicabilidade Conflito potencial Verificador de Propriedades em Gramática de Grafos 13/30
14 Propriedade: Alcançabilidade trilho1 Verificador de Propriedades em Gramática de Grafos 14/30
15 Propriedade: Aplicabilidade entradesvio saidesvio mudadesvio aguardadesvio Verificador de Propriedades em Gramática de Grafos 15/30
16 Propriedade: Conflito potencial entradesvio mudadesvio Verificador de Propriedades em Gramática de Grafos 16/30
17 Desenvolvimento do JVGG Levantamento dos requisitos Especificação do JVGG através dos diagramas de caso de uso, classes e sequência Implementação e testes do JVGG Verificador de Propriedades em Gramática de Grafos 17/30
18 Requisitos Funcionais Criação de vértices e arestas Criação da gramática (grafo inicial e regras) Verificação de propriedades Não funcionais Abordagem Single PushOut(SPO) Utilizar a linguagem Java e as bibliotecas JGraph e JGraphT Verificador de Propriedades em Gramática de Grafos 18/30
19 Especificação do JVGG Orientação a objetos UML / Entreprise Architect Diagrama de casos de uso Diagrama de classes Diagrama de sequência Verificador de Propriedades em Gramática de Grafos 19/30
20 Especificação: Casos de uso Verificador de Propriedades em Gramática de Grafos 20/30
21 Especificação: Diagrama de classes Verificador de Propriedades em Gramática de Grafos 21/30
22 Implementação do JVGG Java (Eclipse + NetBeans) JGraph e JGraphT Etapas Criação da gramática Verificação de propriedades Verificador de Propriedades em Gramática de Grafos 22/30
23 Criação da gramática addvertex(string vertex) : Grammar addvertex(string vertex) : InitialGraph addedge(string vertexsource, String vertextarget) : InitialGraph Rule(String rulename, boolean isgeneric) : Rule addvertex(string vertex) : Graph addedge(string vertexsource, String vertextarget) : Graph Verificador de Propriedades em Gramática de Grafos 23/30
24 Verificação das propriedades Alcançabilidade public void verification(grammar g) Entrada: Vértice origem + vértice destino Dijkstra Aplicabilidade Entrada: Regra Específica ou genérica? Subgrafo de L Todas situações Conflito potencial Entrada: Duas regras G1 = M1 e G2 = M2 Verificador de Propriedades em Gramática de Grafos 24/30
25 Operacionalidade Verificador de Propriedades em Gramática de Grafos 25/30
26 Resultados e discussão AGG GrGen GROOVE JVGG criação / edição de regras criação / edição do grafo inicial criação / edição de vértices / arestas rotulados criação / edição de vértices / arestas tipados criação / edição de vértices / arestas com atributos verificação de conflito verificação de aplicabilidade verificação de alcançabilidade abordagem SPO SPO SPO SPO inicio do projeto Verificador de Propriedades em Gramática de Grafos 26/30
27 Conclusões Objetivos alcançados Escolha da abordagem SPO Verificação das propriedades Uso da JGraph e JGraphT Verificador de Propriedades em Gramática de Grafos 27/30
28 Extensões Transformações em tempo real Verificação de novas propriedades Gramáticas de grafos orientadas a objetos Grafos tipados e/ou grafos com atributos Criação de regras com condições negativas Verificador de Propriedades em Gramática de Grafos 28/30
29 Referências DÉHARBE, David et al. Introdução a métodos formais: especificação, semântica e verificação de sistemas concorrentes. Revista de Informática Teórica e Aplicada, Porto Alegre, v. vii, n. 1, p. 7-48, set Verificador de Propriedades em Gramática de Grafos 29/30
30 Perguntas... Obrigada! Fernanda Gums Verificador de Propriedades em Gramática de Grafos 30/30
VERIFICADOR DE PROPRIEDADES EM GRAMÁTICA DE GRAFOS
UNIVERSIDADE REGIONAL DE BLUMENAU CENTRO DE CIÊNCIAS EXATAS E NATURAIS CURSO DE CIÊNCIAS DA COMPUTAÇÃO BACHARELADO VERIFICADOR DE PROPRIEDADES EM GRAMÁTICA DE GRAFOS FERNANDA GUMS BLUMENAU 2009 2009/1-06
Leia maisFerramenta para criaçã. ção o e execuçã
Ferramenta para criaçã o e execuçã o visual de algoritmos em grafos Susan Braun Paulo César Rodacki Gomes Orientador Roteiro da apresentaçã Introdu Objetivos do trabalho Fundamenta teórica Principais conceitos
Leia maisEspecificação de Sistemas de Tempo Real com Gramática de Grafos. Leonardo Michelon Simone Costa Leila Ribeiro
Especificação de Sistemas de Tempo Real com Gramática de Grafos Leonardo Michelon Simone Costa Leila Ribeiro Roteiro Introdução Gramática de Grafos Baseada em Objetos (GGBO) GGBO Temporizada Semântica
Leia maisFURB Universidade Regional de Blumenau TCC -Trabalho de Conclusão de Curso Curso de Ciências da Computação - Matutino
Ferramenta para desenvolvimento de padrões de imagem 2D e separação de cores Aluno: Charles Theiss Orientador: Dalton Solando dos Reis FURB Universidade Regional de Blumenau TCC -Trabalho de Conclusão
Leia maisVisEdu-MAT: Visualizador de material educacional, módulo de matemática
VisEdu-MAT: Visualizador de material educacional, módulo de matemática José Ricardo Krauss Orientador: Dalton Solano dos Reis FURB Universidade Regional de Blumenau DSC Departamento de Sistemas e Computação
Leia maisOntologia de Livro: Aplicativo Android para Busca de Dados
Ontologia de Livro: Aplicativo Android para Busca de Dados de Personagens Eduardo Kraus Nunes Prof. Roberto Heinzle, Doutor - Orientador Roteiro de Apresentação 1. Introdução; 2. Objetivos; 3. Fundamentação
Leia maisCASE EMPRESA TÊXTIL KARSTEN S.A. Felipe Rotermel. Orientador: Prof. Oscar Dalfovo, Doutor
UTILIZANDO PORTAIS CORPORATIVOS COMO FERRAMENTA DE GESTÃO DO CONHECIMENTO: CASE EMPRESA TÊXTIL KARSTEN S.A. Felipe Rotermel Orientador: Prof. Oscar Dalfovo, Doutor Roteiro da apresentação Introdução; Objetivos;
Leia maisFerramenta Web de Apoio à Elicitação de Requisitos de Software. Acadêmico: Ivan Wilhelm Orientador: Everaldo Artur Grahl
Ferramenta Web de Apoio à Elicitação de Requisitos de Software Acadêmico: Ivan Wilhelm Orientador: Everaldo Artur Grahl Roteiro Introdução Objetivos do trabalho Fundamentação teórica Desenvolvimento Resultados
Leia maisMarilan Ricardo Tagliari - TCC Marilan Ricardo Tagliari - TCC Orientando: Marilan Ricardo Tagliari Orientador: Everaldo Artur Grahl
Orientando: Marilan Ricardo Tagliari Orientador: Everaldo Artur Grahl UNIVERSIDADE REGIONAL DE BLUMENAU Introdução Objetivos Especificação Estruturada Especificação Orientada a Objetos Estratégia de Mapeamento
Leia maisUNIVERSIDADE FEDERAL DO PAMPA UNIPAMPA WILLIAN DOMINGUES COELHO EDITOR DE GRAMÁTICAS DE GRAFOS ORIENTADOS A OBJETO
UNIVERSIDADE FEDERAL DO PAMPA UNIPAMPA WILLIAN DOMINGUES COELHO EDITOR DE GRAMÁTICAS DE GRAFOS ORIENTADOS A OBJETO Bagé 2015 Willian Domingues Coelho Editor de Gramáticas de Grafos Orientados a Objeto
Leia maisLeonardo Zorzo Carbone. Orientador: Adilson Vahldick
WebCode Componente web para edição de código fonte Leonardo Zorzo Carbone Orientador: Adilson Vahldick Roteiro da Apresentação Introdução Fundamentação Teórica Desenvolvimento Conclusão Extensões Introdução
Leia maisFerramenta para auxílio na análise de impacto e rastreabilidade de requisitos na gestão de mudanças
Ferramenta para auxílio na análise de impacto e rastreabilidade de requisitos na gestão de mudanças Aluno: José Alberto Zimermann Orientador: Marcel Hugo Banca: Everaldo Artur Grahl Joyce Martins Roteiro
Leia maisFURBUP: UM PROCESSO DE SOFTWARE PARA USO ACADÊMICO BASEADO NO OPENUP. Acadêmico: João Paulo Pedri Orientador: Everaldo Artur Grahl
Roteiro da Apresentação Introdução; Objetivos; Conceitos Básicos; Disciplinas de Engenharia de Software Currículo 2007/1; Trabalhos Correlatos; Tradução do Processo OpenUP; Elaboração e Publicação do FurbUP;
Leia maisUNIVERSIDADE REGIONAL DE BLUMENAU CENTRO DE CIÊNCIAS EXATAS E NATURAIS DEPARTAMENTO DE SISTEMAS E COMPUTAÇÃO CURSO: CIÊNCIAS DA COMPUTAÇÃO
UNIVERSIDADE REGIONAL DE BLUMENAU CENTRO DE CIÊNCIAS EXATAS E NATURAIS DEPARTAMENTO DE SISTEMAS E COMPUTAÇÃO CURSO: CIÊNCIAS DA COMPUTAÇÃO TRABALHO DE CONCLUSÃO DE CURSO BLUMENAU, 11 DE JULHO DE 2007 EDITOR
Leia maisDefinição e Conceitos Básicos
Definição e Conceitos Básicos Grafos e Algoritmos Computacionais Prof. Flávio Humberto Cabral Nunes fhcnunes@yahoo.com.br 1 Conceitos Básicos Em grafos ocorrem dois tipos de elementos: Vértices ou nós;
Leia maisSOFTWARE PARA VERIFICAÇÃO DE CONFORMIDADE DE SISTEMAS À NORMA ISO/IEC Dayana Fernanda Trapp Orientador: Paulo Fernando da Silva
SOFTWARE PARA VERIFICAÇÃO DE CONFORMIDADE DE SISTEMAS À NORMA ISO/IEC 15408 Dayana Fernanda Trapp Orientador: Paulo Fernando da Silva Roteiro Introdução Objetivos Fundamentação teórica Desenvolvimento
Leia maisSOFTWARE DE APOIO A GESTÃO DE SOLICITAÇÃO DE MUDANÇAS
Universidade Regional de Blumenau Centro de Ciências Exatas e Naturais Trabalho de Conclusão de Curso Ciências da Computação SOFTWARE DE APOIO A GESTÃO DE SOLICITAÇÃO DE MUDANÇAS AS Acadêmico: Fabricio
Leia maisSISTEMA WEB ESCOLAR PARA RESERVA DE RECURSOS DIDÁTICOS UTILIZANDO RBC
UNIVERSIDADE REGIONAL DE BLUMENAU CURSO DE CIÊNCIA DA COMPUTAÇÃO SISTEMA WEB ESCOLAR PARA RESERVA DE RECURSOS DIDÁTICOS UTILIZANDO RBC JHONE HEITOR THEISS PROF. ROBERTO HEINZLE, Orientador ROTEIRO DA APRESENTAÇÃO
Leia maisQ d( ) P. a( ) c( ) e( ) c( ) S. c( ) d( )
ELEMENTOS BÁSICOS DA LINGUAGEM JAVA Patricia Della Méa Plentz INE-CTC-UFSC E-Mail: plentz@inf.ufsc.br URL: http://moodle.ufsc.br INE5605-Turma 0238B Sumário 2.1 Classes e Objetos na POO 2.2 2 Revisão da
Leia maisAcadêmica: Rosana Ittner Prof. Orientador: Dr. Oscar Dalfovo
Universidade Regional de Blumenau Centro de Ciências Exatas e Naturais Departamento de Sistemas e Computação DESENVOLVIMENTO DO SISTEMA DE GESTÃO FINANCEIRA, APLICADO AO PLANO DE NEGÓCIOS, UTILIZADO NA
Leia maisFerramenta de apoio a Experimentos em Engenharia de Software
Ferramenta de apoio a Experimentos em Engenharia de Software Acadêmico: Jeison Dandolini Orientador: Everaldo Artur Grahl Roteiro Introdução Objetivos do trabalho Conceitos básicos Contexto atual Requisitos
Leia maisCOBOL Query 1.0. Ferramenta para extração de dados em arquivos COBOL. Aluno: André Luiz Jacinto Orientador: Adilson Vahldick
COBOL Query 1.0 Ferramenta para extração de dados em arquivos COBOL Aluno: André Luiz Jacinto Orientador: Adilson Vahldick Roteiro Introdução Objetivos do trabalho Fundamentação teórica Desenvolvimento
Leia maisGerador de grade de horários com Algoritmos Genéticos
Gerador de grade de horários com Algoritmos Genéticos Rodrigo Correia Prof. Roberto Heinzle, Doutor - Orientador Roteiro da apresentação Introdução Objetivos Fundamentação teórica Tecnologias utilizadas
Leia maisIntrodução. Diagramas de Interação. Introdução. Introdução. Introdução. Introdução. Os modelos de análise não respondem a algumas perguntas:
Diagramas de Interação Os modelos de análise não respondem a algumas perguntas: Como as operações do sistema são executadas internamente? A que classes estas operações internas pertencem? Quais objetos
Leia maisAcadêmica: Giselle Mafra Schlosser Orientador: Everaldo Artur Grahl
AVALIAÇÃO DA QUALIDADE DO CÓDIGO FONTE ESCRITO EM PL/SQL Acadêmica: Giselle Mafra Schlosser Orientador: Everaldo Artur Grahl Roteiro Introdução Objetivos do trabalho Fundamentação teórica Desenvolvimento
Leia maisTGR BCC Representação Computacional de Grafos. Prof. Ricardo José Pfitscher
TGR BCC Representação Computacional de Grafos Prof. Ricardo José Pfitscher Cronograma Representação Matriz de djacências Lista de djacências Matriz de Incidências Representação Como podemos representar
Leia maisFerramenta de apoio aos testes baseados em requisitos
Ferramenta de apoio aos testes baseados em requisitos Acadêmico: Leandro da Cunha Orientador: Everaldo Artur Grahl Agenda Introdução Objetivos do trabalho Conceitos básicos Contexto atual do tema Especificação
Leia maisIntroduzindo um Ambiente de Programação Visual para a Máquina Geométrica
Introduzindo um Ambiente de Programação Visual para a Máquina Geométrica Marcos B. Cardoso, Renata H. Sander Reiser, Antônio C. da R. Costa, Lucas L. Borba, Diego G. Prestes Escola de Informática Universidade
Leia maisOrientação a Objetos e UML
Orientação a Objetos e UML Aula #4.1. EBS 211 POO e UML Prof. Luiz Fernando S. Coletta luizfsc@tupa.unesp.br Campus de Tupã Roteiro Programação Orientada a Objetos (POO); Comparação com Linguagem Estruturada;
Leia maisFerramenta de apoio à gerência de requisitos baseada no modelo CMMI. Mariane Meisen. Everaldo Artur Grahl
Ferramenta de apoio à gerência de requisitos baseada no modelo CMMI Mariane Meisen Everaldo Artur Grahl Roteiro Introdução Objetivos Fundamentação Teórica Desenvolvimento Considerações Finais Introdução
Leia maisESTUDO COMPARATIVO ENTRE ALGORITMO A* E BUSCA EM LARGURA PARA PLANEJAMENTO DE PERSONAGENS EM JOGOS DO TIPO PACMAN
ESTUDO COMPARATIVO ENTRE ALGORITMO A* E BUSCA EM LARGURA PARA PLANEJAMENTO DE PERSONAGENS EM JOGOS DO TIPO PACMAN Acadêmica: Jeanita Bassani da Silva Orientador: Prof. Paulo César C Rodacki Gomes ROTEIRO
Leia mais1) Defina os principais conceitos de orientação a objetos. 4) Porque é desejável programar com foco em interfaces?
Instituto de Computação Bacharelado em Ciência da Computação Disciplina: Técnicas de Programação Avançada Primeira lista de exercícios - 2013.2 Conceitos Básicos de O.O 1) Defina os principais conceitos
Leia maisIMPLEMENTAÇÃO DE VISUALIZAÇÃO DE PERSONAGEM NÃO JOGADOR NA MOBILE 3D GAME ENGINE (M3GE)
IMPLEMENTAÇÃO DE VISUALIZAÇÃO DE PERSONAGEM NÃO JOGADOR NA MOBILE 3D GAME ENGINE (M3GE) Nome: Claudio José Estácio Orientador: Prof. Dr. Paulo Cesar Rodacki Gomes Roteiro de Apresentação 1. Introdução
Leia maisAPLICATIVO DE CONTROLE DE PEDIDOS EM AMBIENTE WEB Roni Rohling Orientando Prof. Ricardo de Alencar de Azambuja Orientador
APLICATIVO DE CONTROLE DE PEDIDOS EM AMBIENTE WEB Roni Rohling Orientando Prof. Ricardo de Alencar de Azambuja Orientador Roteiro Introdução Objetivos Fundamentação Teórica Especificação Implementação
Leia maisComponentes gráficos para prototipagem e documentação rápid a em Delphi. Aluno: Reinoldo Krause Junior Orientadora: Luciana Pereira de Araújo
Componentes gráficos para prototipagem e documentação rápid a em Delphi Aluno: Reinoldo Krause Junior Orientadora: Luciana Pereira de Araújo Roteiro Introdução Objetivos Fundamentação Teórica Trabalhos
Leia maisLinguagem de Programação II Herança
Linguagem de Programação II Herança Prof. Alessandro Borges 2 Tópicos Reutilização de classes Delegação Herança Definição Superclasse e Subclasse A palavra reservada extends Método construtor com herança
Leia maisFundamentos de Programação 1
Fundamentos de Programação 1 Slides N. 2 D / Prof. SIMÃO Slides elaborados pelo Prof. Robson Linhares elaborados pelo Prof. Robson Linhares http://www.dainf.ct.utfpr.edu.br/~robson/ Jean Marcelo SIMÃO
Leia maisInformática Parte 15 Prof. Márcio Hunecke
Escriturário Informática Parte 15 Prof. Márcio Hunecke Informática SCALA 2.12 O projeto do Scala começou em 2001 por Martin Odersky e tinha como objetivo criar uma linguagem de programação que combinava
Leia maisMapeamento de Rotas Turísticas Inerentes a Analise da Complexidade de Algoritmos
Mapeamento de Rotas Turísticas Inerentes a Analise da Complexidade de Algoritmos Ferraz Augusto Diogo Manuel 1, Daniel Hahn da Silveira 1, Sidney Roberto da Silva Webba 1, Priscyla Waleska Targino de Azevedo
Leia maisEderson Luiz da Silva Ciência da Computação. Algoritmos e Programação
Ederson Luiz da Silva Ciência da Computação Algoritmos e Programação Linguagem de programação Linguagem de Programação Linguagem de máquina http://www.assemblyprogressivo.net/p/curso.html Linguagem de
Leia maisCONCEITOS BÁSICOS DE ORIENTAÇÃO A OBJETOS PROF. ME. HÉLIO ESPERIDIÃO
CONCEITOS BÁSICOS DE ORIENTAÇÃO A OBJETOS PROF. ME. HÉLIO ESPERIDIÃO CLASSES E OBJETOS PARA PROGRAMAÇÃO ORIENTADA A OBJETOS Classes são estruturas das linguagens de POO criadas para conter os dados que
Leia maisProjeto de Compiladores
Projeto de Compiladores FIR Faculdade Integrada do Recife João Ferreira 12 e 13 de fevereiro de 2007 Questionário 1. Em quais linguagens de programação você já programou? 2. O que você sabe sobre compiladores?
Leia maisGRAFOS ORIENTADOS. PSfrag replacements. Figura 1: Exemplo de um grafo orientado.
Introdução à Teoria dos Grafos Bacharelado em Ciência da Computação UFMS, 2005 GRAFOS ORIENTAOS Resumo Existem ocasiões onde grafos não são apropriados para descrever certas situações. Por exemplo, um
Leia maisCONTROLE DE TRAÇÃO E DIREÇÃO DE UM VEÍCULO AUTÔNOMO NÃO TRIPULADO. Carla Real Amorim Cardoso Prof. Antônio Carlos Tavares - Orientador
CONTROLE DE TRAÇÃO E DIREÇÃO DE UM VEÍCULO AUTÔNOMO NÃO TRIPULADO Carla Real Amorim Cardoso Prof. Antônio Carlos Tavares - Orientador Roteiro 1. Introdução 2. Objetivos do trabalho 3. Fundamentação teórica
Leia maisCELINE LIP: UM FRAMEWORK QUE UTILIZA O MODELO IMS LIP EM APLICAÇÕES WEB JEE. Marcelo Gonzaga. Orientador: Prof. Adilson Vahldick
CELINE LIP: UM FRAMEWORK QUE UTILIZA O MODELO IMS LIP EM APLICAÇÕES WEB JEE. Marcelo Gonzaga Orientador: Prof. Adilson Vahldick Roteiro da Apresentação Introdução Fundamentação teórica Desenvolvimento
Leia maisLinguagens Formais e Autômatos P. Blauth Menezes
Linguagens Formais e Autômatos P. Blauth Menezes blauth@inf.ufrgs.br Departamento de Informática Teórica Instituto de Informática / UFRGS Linguagens Formais e Autômatos - P. Blauth Menezes 1 Linguagens
Leia maisINCLUSÃO DO ALGORITMO DE TRANSFORMAÇÃO DE UM AUTÔMATO FINITO EM EXPRESSÃO REGULAR NO AMBIENTE EDITOR DE AUTÔMATOS FINITOS
INCLUSÃO DO ALGORITMO DE TRANSFORMAÇÃO DE UM AUTÔMATO FINITO EM EXPRESSÃO REGULAR NO AMBIENTE EDITOR DE AUTÔMATOS FINITOS Acadêmico: Fernando Rafael Piccini Orientador: José Roque Voltolini da Silva Roteiro
Leia maisProcessamento distribuído em ambiente peer-to-peer
Processamento distribuído em ambiente peer-to-peer Alexandre Helfrich Orientando Prof. Paulo Fernando da Silva Orientador Roteiro Introdução e Objetivos Fundamentação Teórica, Conceitos e Contexto Atual
Leia maisLaboratório de Engenharia de Software I
Laboratório de Engenharia de Software I Turma 01: Profa. Lucia Vilela Leite Filgueiras Turma 02: Profa. Maria Alice Grigas Varela Ferreira Aula 01 Casos de uso e protótipo da interface de usuário Roteiro
Leia maisHMI: UM MIDDLEWARE PARA OBJETOS DISTRIBUÍDOS SOBRE O PROTOCOLO HTTP
HMI: UM MIDDLEWARE PARA OBJETOS DISTRIBUÍDOS SOBRE O PROTOCOLO HTTP Aluno: Abel Luiz Cechinel Orientador: Paulo Fernando da Silva Sumário Introdução; Fundamentação Teórica; Desenvolvimento; Conclusão;
Leia maisSimulação do controle de tráfego de automóveis em uma malha rodoviária urbana: Versão 3.0
Trabalho de Conclusão de Curso Simulação do controle de tráfego de automóveis em uma malha rodoviária urbana: Versão 3.0 Ederson André Savi Orientador: José Roque Voltolini da Silva Roteiro Introdução
Leia maisEspecificação dos Padrões de Controle de Fluxo em NPDL
Especificação dos Padrões de Controle de Fluxo em NPDL MAC5861 - Modelagem de Dados kellyrb@ime.usp.br Departamento de Ciência da Computação Instituto de Matemática e Estatística (IME) Universidade de
Leia maisFerramenta de Suporte a Decisão caracterizada por Consultas OLAP
Ferramenta de Suporte a Decisão caracterizada por Consultas OLAP Daniel Ricardo Batiston Orientador: Evaristo Baptista Seqüência da apresentação Introdução Objetivos Fundamentação Teórica Sistema atual
Leia maisAPLICATIVO WEB DE AUXÍLIO À INSPEÇÃO DE SOFTWARE COM LISTAS DE VERIFICAÇÃO
UNIVERSIDADE REGIONAL DE BLUMENAU CURSO DE SISTEMAS DE INFORMAÇÃO APLICATIVO WEB DE AUXÍLIO À INSPEÇÃO DE SOFTWARE COM LISTAS DE VERIFICAÇÃO Mayara Barbieri da Silva Prof. Everaldo Artur Grahl, Orientador
Leia maisCURSO DE SISTEMAS DE INFORMAÇÕES
1 CURSO DE SISTEMAS DE INFORMAÇÕES EMENTÁRIO DAS DISCIPLINAS Matriz Curricular 2018.1 BRUSQUE (SC) Consunini nº. 13/18, 2018 de 21 de março de 2018. 2 SUMÁRIO 1ª FASE... 4 01 ARQUITETURA DE COMPUTADORES...
Leia maisSérgio Koch Van-Dall
PROTÓTIPO PARA ATUALIZAÇÃO ASSÍNCRONA DE DADOS UTILIZANDO WEB SERVICES Sérgio Koch Van-Dall sergiod@inf.furb.br Orientador: Prof. Paulo Fernando da Silva UNIVERSIDADE REGIONAL DE BLUMENAU CURSO DE CIÊNCIAS
Leia maisINF1636 PROGRAMAÇÃO ORIENTADA A OBJETOS
INF1636 PROGRAMAÇÃO ORIENTADA A OBJETOS Departamento de Informática PUC-Rio Ivan Mathias Filho ivan@inf.puc-rio.br Programa Capítulo 1 Conceitos de Orientação a Objetos Classe Objeto Mensagem Orientação
Leia maisRoteiro de Apresentação 1. Introdução Objetivos do Trabalho 2. Fundamentação Teórica 3. Desenvolvimento do Sistema Requisitos principais Especificação
Sistema de programação de produção com representação gráfica utilizando OpenGL em Java Jaques Douglas Claudino Orientador: Prof. Dr. Paulo Cesar Rodacki Gomes 09/07/2007 Roteiro de Apresentação 1. Introdução
Leia maisProtótipo de Protocolo de Aplicação para Troca de Documentos da Área Extra Judicial. Acadêmico: Fabrício Bento Orientador: Paulo Fernando da Silva
Protótipo de Protocolo de Aplicação para Troca de Documentos da Área Extra Judicial Acadêmico: Fabrício Bento Orientador: Paulo Fernando da Silva Conteúdo Introdução Fundamentação teórica Desenvolvimento
Leia maisVisão Geral da UML. SSC Engenharia de Software I Profa. Dra. Elisa Yumi Nakagawa 2 o semestre de 2012
Visão Geral da UML SSC 121 - Engenharia de Software I Profa. Dra. Elisa Yumi Nakagawa 2 o semestre de 2012 Conteúdo Introdução Ferramentas de Apoio Diagramas da UML Elementos Genéricos Material sobre UML
Leia maisUML 2.0 Método, Linguagem e Ferramenta. Prof. Cesar Augusto Tacla
UML 2.0 Método, Linguagem e Ferramenta Prof. Cesar Augusto Tacla Conteúdo do Curso MÉTODO RUP FERRAMENTA Visual Paradigm Enterprise Architect LINGUAGEM UML UML: Unified Modeling Language Linguagem padrão
Leia maisIntrodução à UML. Prof. Jesus José de Oliveira Neto
Introdução à UML Prof. Jesus José de Oliveira Neto UML Linguagem de Modelagem Unificada Linguagem visual utilizada para modelar softwares baseados no paradigma de orientação a objetos UML não é uma linguagem
Leia maisQuestões de Paradigmas de Programação Matéria: Prova 1 4ª EDIÇÃO
Questões de Paradigmas de Programação Matéria: Prova 1 4ª EDIÇÃO QUESTÃO 1 : Enviada por: Francisco Carlos Moraes Junior Duvidas: Thaise Domínios de programação são áreas onde os computadores são usados.
Leia maisROBOTOY: ferramenta para ensino de programação para crianças usando robôs Arduino. Aluna: Juliana Carolina Batista Orientadora: Joyce Martins
ROBOTOY: ferramenta para ensino de programação para crianças usando robôs Arduino Aluna: Juliana Carolina Batista Orientadora: Joyce Martins Roteiro Introdução Objetivo Geral Objetivos Específicos Fundamentação
Leia maisCIDADÃO FISCAL: APLICATIVO PARA A ABERTURA E ACOMPANHAMENTO DE PROCESSOS NO SETOR DE OUVIDORIA DA PREFEITURA MUNICIPAL DE BLUMENAU
UNIVERSIDADE REGIONAL DE BLUMENAU CURSO DE SISTEMAS DE INFORMAÇÃO - BACHARELADO CIDADÃO FISCAL: APLICATIVO PARA A ABERTURA E ACOMPANHAMENTO DE PROCESSOS NO SETOR DE OUVIDORIA DA PREFEITURA MUNICIPAL DE
Leia maisAlgoritmos Fundamento e Prática
Everton Coimbra de Araújo Algoritmos Fundamento e Prática 3 a Edição Ampliada e Atualizada Visual Books Sumário Prefácio... 15 Introdução... 17 Capítulo 1 - Os Cursos de Informática e Computação... 23
Leia maisProgramação Orientada a Objetos
Programação Orientada a Objetos Pacotes e Encapsulamento Msc. Paulo de Tarso F. Júnior 1 Introdução Permite o agrupamento de classes em uma coleção chamada pacote Um pacote é uma coleção de classes e interfaces
Leia maisRafael Antonio Pires Orientador: Francisco Adell Péricas
FERRAMENTA PARA CONTROLE E MONITORAMENTO DE SERVIÇOS NA ÁREA DE TI Rafael Antonio Pires Orientador: Francisco Adell Péricas Roteiro da Apresentação 1. Introdução e Objetivos 2. Fundamentação teórica 3.
Leia maisAjax na Construção de uma Aplicação Web para Monitoramento de Ambientes. Marcus Vinícius Silva Gois Orientador: Paulo César Rodacki Gomes
Ajax na Construção de uma Aplicação Web para Monitoramento de Ambientes Marcus Vinícius Silva Gois Orientador: Paulo César Rodacki Gomes Roteiro Introdução O problema da web Objetivos do Trabalho Fundamentação
Leia maisRequisitos de sistemas
Requisitos de sistemas Unidade III - Casos de Uso Identificação de casos de uso Conceitos de orientação a objetos Modelagem do diagrama de classes e casos de uso 1 Casos de uso CONCEITO Especifica o comportamento
Leia maisLinguagem Visual Orientada. por Figuras Geométricas voltada. para o Ensino de Programação. Orientando. Prof. José Roque Voltolini da Silva Orientador
Linguagem Visual Orientada por Figuras Geométricas voltada para o Ensino de Programação Fabrício José Theiss Orientando Prof. José Roque Voltolini da Silva Orientador Roteiro Introdução Objetivos Fundamentação
Leia maisProf. Dr. Thiago Jabur Bittar
Prof. Dr. Thiago Jabur Bittar Uma representação abstrata e simplificada do processo de desenvolvimento software, tipicamente mostrando as principais atividades e dados usados na produção e manutenção de
Leia maisProgramação Orientada a Objetos Relacionamentos entre classes
Programação Orientada a Objetos Relacionamentos entre classes Prof. Vicente Paulo de Camargo RELACIONAMENTO ENTRE CLASSES Interface agregação Dependencia composição generalização associação RELACIONAMENTO
Leia maisVocal: Assistente para o uso de smartphones operado por voz
Departamento de Sistemas e Computação FURB Curso de Ciência da Computação Trabalho de Conclusão de Curso 2016/1 Vocal: Assistente para o uso de smartphones operado por voz Acadêmico: Eli Tonny de Souza
Leia maisIntrodução. Compiladores Análise Semântica. Introdução. Introdução. Introdução. Introdução 11/3/2008
Compiladores Análise Semântica Fabiano Baldo Análise Semântica é por vezes referenciada como análise sensível ao contexto porque lida com algumas semânticas simples tais como o uso de uma variável somente
Leia maisProgramação Orientada a Objectos - P. Prata, P. Fazendeiro
7 Classes Abstractas e Interfaces Classe Abstracta Classe em que pelo menos um dos métodos de instância não é implementado. Exemplo: public abstract class Forma{ public abstract double area(); public abstract
Leia maisGuilherme Fernando Gielow
Guilherme Fernando Gielow SISTEMA DE INFORMAÇÕES PARA CONTROLE DE GERENCIAMENTO DE PROJETOS DE INFORMÁTICA BASEADO NO PMBOK Orientador: Evaristo Baptista 1 Sumário 1. Introdução 2. Fundamentação Teórica
Leia maisCAP. VI ANÁLISE SEMÂNTICA
CAP. VI ANÁLISE SEMÂNTICA VI.1 Introdução Semântica SIGNIFICADO, SENTIDO LÓGICO, COERÊNCIA,... Diferença entre SINTAXE e SEMÂNTICA Sintaxe : descreve as estruturas de uma linguagem; Semântica : descreve
Leia maisUm estudo de caso usando o método formal Z para especificação de um
Um estudo de caso usando o método formal Z para especificação de um sistema Bruno Biribio Woerner Orientado por José Roque Voltolini da Silva Roteiro da apresentação Introdução Objetivos Fundamentação
Leia maisDESENVOLVIMENTO DE UM PROCESSO BASEADO EM MÉTRICA PARA ESTIMAR ESFORÇO EM UM PROJETO DE IMPLANTAÇÃO DE SOFTWARE
DESENVOLVIMENTO DE UM PROCESSO BASEADO EM MÉTRICA PARA ESTIMAR ESFORÇO EM UM PROJETO DE IMPLANTAÇÃO DE SOFTWARE Acadêmica: Mônica Budag Orientador: Prof. Marcel Hugo ROTEIRO DE APRESENTAÇÃO Introduçã ção
Leia maisVisualizador de animações 3D com suporte ao formato arquivos FBX em Objective-C++
Visualizador de animações 3D com suporte ao formato arquivos FBX em Objective-C++ Felipe Silvino Pereira Prof. Paulo César Rodacki Gomes, Dr. - Orientador Roteiro da Apresentação Introdução Objetivos do
Leia maisINF1013 MODELAGEM DE SOFTWARE
INF1013 MODELAGEM DE SOFTWARE Departamento de Informática PUC-Rio Ivan Mathias Filho ivan@inf.puc-rio.br Programa Capítulo 1 O Paradigma Orientado a Objetos A Linguagem UML Descrição da Arquitetura 1 Programa
Leia maisSISTEMA DE AUTOMAÇÃO DE PROCESSO DE VENDAS APLICADO À EMPRESA PINTARELLI INDUSTRIAL
SISTEMA DE AUTOMAÇÃO DE PROCESSO DE VENDAS APLICADO À EMPRESA PINTARELLI INDUSTRIAL Cláudio Augusto Deschamps Pintarelli Orientador: Marcel Hugo Roteiro de Apresentação Introdução Fundamentação Sistema
Leia maisSISTEMA DE MONITORAMENTO DE REDES SOCIAIS DIGITAIS UTILIZANDO REDES NEURAIS ARTIFICIAIS
FUNDAÇÃO UNIVERSIDADE REGIONAL DE BLUMENAU CURSO DE SISTEMAS DE INFORMAÇÃO SISTEMA DE MONITORAMENTO DE REDES SOCIAIS DIGITAIS UTILIZANDO REDES NEURAIS ARTIFICIAIS Marco Aurélio Beber Orientador: Roberto
Leia maisSISTEMA DISTRIBUÍDO PARA GERENCIAMENTO DE LIBERAÇÃO DE RELEASES DE SOFTWARE
SISTEMA DISTRIBUÍDO PARA GERENCIAMENTO DE LIBERAÇÃO DE RELEASES DE SOFTWARE 12/2013 Acadêmico: Rogério Mello Vanti Orientador: Paulo Fernando da Silva Roteiro Introdução Fundamentação teórica Resultados
Leia maisFerramenta WEB de Apoio ao planejamento e controle de teste de software. Bruna Tatiane Bonecher Orientadora: Fabiane Barreto Vavassori Benitti
Ferramenta WEB de Apoio ao planejamento e controle de teste de software Bruna Tatiane Bonecher Orientadora: Fabiane Barreto Vavassori Benitti Roteiro de Apresentação Introdução Objetivo do trabalho Fundamentação
Leia maisUML. Modelando um sistema
UML Modelando um sistema Fases do desenvolvimento de Software Análise de requisitos Análise Projeto Programação Análise de Requisitos Esta fase captura as intenções e necessidades dos usuários do sistema
Leia maisDouglas Matheus de Souza Prof. Marcel Hugo, Mestre - Orientador
Douglas Matheus de Souza Prof. Marcel Hugo, Mestre - Orientador Introdução Objetivos Fundamentação teórica Desenvolvimento da ferramenta Operacionalidade Resultados e discussão Conclusões Versões futuras
Leia maisQEA Integração entre a ferramenta para desenvolvimento de sistemas web Quellon e o Enterprise Architect
UNIVERSIDADE REGIONAL DE BLUMENAU CURSO DE SISTEMAS DE INFORMAÇÃO QEA Integração entre a ferramenta para desenvolvimento de sistemas web Quellon e o Enterprise Architect Bruna Emerich Dall Olivo de Souza
Leia maisANÁLISE DE SISTEMAS. Diagrama de atividades. por. Antônio Maurício Pitangueira
ANÁLISE DE SISTEMAS Diagrama de atividades por Antônio Maurício Pitangueira 1 Diagrama de atividade Há diversos diagramas da UML que descrevem os aspectos dinâmicos de um sistema. diagramas de estados,
Leia maisProgramação Orientada a Objetos
Curso Profissional de Gestão e Programação de Sistemas Informáticos Disciplina: Programação e Sistemas de Informação Programação Orientada a Objetos Módulos 9/10/11 POO 2016/2017 História A OO surgiu no
Leia maisFACULDADE LEÃO SAMPAIO
FACULDADE LEÃO SAMPAIO Paradigmas de Programação Curso de Análise e Desenvolvimento de Sistemas Turma: 309-5 Semestre - 2014.2 Paradigmas de Programação Prof. MSc. Isaac Bezerra de Oliveira. 1 PARADIGMAS
Leia maisRequisitos de Software e UML Básico. Janaína Horácio
Requisitos de Software e UML Básico Janaína Horácio janaina@les.inf.puc-rio.br Agenda Requisitos O que é? Objetivos? Atividades?... UML O que é? Modelos... Casos de Uso O que é? Componentes 2 Requisitos
Leia maisGRAFOS E ALGORITMOS ALGORITMOS E APLICAÇÕES
GRAFOS E ALGORITMOS ALGORITMOS E APLICAÇÕES 1a. PARTE Prof. Ronaldo R. Goldschmidt rribeiro@univercidade.br ronaldo_goldschmidt@yahoo.com.br ROTEIRO 1. EXEMPLOS DE APLICAÇÕES DE GRAFOS 2. IMPLEMENTAÇÕES
Leia maisModelagem Temporal com UML
Modelagem Temporal com UML! Tipo especial de diagrama de estados, onde são representados os estados de uma atividade, ao invés dos estados de um objeto.! Estados de Atividade: "Exemplo 1: passos de um
Leia maisVISEDU-CG: Aplicação Didática para Visualizar Material Educacional, Módulo de Computação Gráfica
VISEDU-CG: Aplicação Didática para Visualizar Material Educacional, Módulo de Computação Gráfica James Perkison Montibeler Orientador: Dalton Solano dos Reis FURB Universidade Regional de Blumenau Grupo
Leia maisINF1013 MODELAGEM DE SOFTWARE
INF1013 MODELAGEM DE SOFTWARE Departamento de Informática PUC-Rio Ivan Mathias Filho ivan@inf.puc-rio.br Programa Capítulo 2 A Modelagem Dinâmica Diagramas de Interação Diagrama de Seqüência 1 Programa
Leia maisPARALELIZAÇÃO DE ALGORITMO DE INSPEÇÃO DE ROTAS UTILIZANDO PERMUTAÇÃO LEXICOGRÁFICA 1
PARALELIZAÇÃO DE ALGORITMO DE INSPEÇÃO DE ROTAS UTILIZANDO PERMUTAÇÃO LEXICOGRÁFICA 1 Jessica De Almeida Berlezi 2, Janiel Ceretta Foletto 3, Edson Luiz Padoin 4, Rogério S. M. Martins 5. 1 Trabalho realizado
Leia mais