Especificação Formal da Sintaxe Abstrata do Guaraná DSL

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

Download "Especificação Formal da Sintaxe Abstrata do Guaraná DSL"

Transcrição

1 Projeto de Mestrado Mestrando: Mauri Klein UNIJUI Especificação Formal da Sintaxe Abstrata do Guaraná DSL Grupo de pesquisa em Computação Aplicada Orientador: Prof. Dr. Sandro Sawicki Coorientadora: Profa. Dra. Fabricia Roos Frantz Ijui, RS - Brasil Maio de 2014

2 Contextualização Fonte: Frantz et al, 2011

3 Contextualização Integração de Aplicações Empresariais (Linthicum, 1999), (Hohpe e Woolf, 2003);

4 Contextualização Tecnologias para geração de Soluções de integração: (Dossot e D'Emic, 2009) (Ibsen e Anstey, 2010) (Fisher et al., 2010); Guaraná (Frantz et al., 2011).

5 Contextualização Tolerância a Falhas e suas etapas (Frantz et al, 2012); Event Reporting Error Monitoring Error Diagnosing Error Recovery

6 Tecnologia Guaraná (Frantz et al, 2011) Proposta inovadora; Guaraná DSL é uma linguagem específica de domínio (DSL - Domain-Specific Language) para projetar soluções de Integração de Aplicações Empresariais em um alto nível de abstração. Facilidade de uso; Construção gráfica de soluções; Processamento assíncrono de tarefas; Utilização de Buffers com liberação das tarefas; Reutilização dos projetos; Independentes de plataforma; Soluções de integração executáveis para diferentes tecnologias;

7 Processo de Construção do Guaraná Fonte: Frantz et al., 2011

8 Motivação... Apesar de existir um mecanismo de Tolerância a Falhas, as regras que o compõe são inseridas manualmente por engenheiros de software; Cada nova Solução de Integração corresponde a novas regras;

9 Motivação... como garantir que estas regras estejam corretas?

10 Motivação... Como GERÁ-LAS automaticamente? E como VALIDÁ-LAS?

11 Motivação... FORMALIZAÇÃO!!!

12 Métodos Formais Técnicas que utilizam modelos matemáticos rigorosamente especificados para construir Software. Utilizam a prova matemática como complemento de teste de sistema;

13 Métodos Formais Testes mostram em que situação o sistema não falhará (Bentley, 1989); Verificação formal não elimina os testes (Bowen e Hinchey, 1995) (Kling, 1995);

14 Etapas do Processo de Formalização... (Menezes, 2008) Especificação Formal; Define com muito rigor as especificidades do sistema e consegue expressar com maior clareza as mesmas (Kling, 1995); Verificação; Forte ênfase na Correção e clareza; Através de ferramentas; Implementação; Especificação em código;

15 Etapas do Processo de Formalização... (Menezes, 2008) Especificação Formal; Define com muito rigor as especificidades do sistema e consegue expressar com maior clareza as mesmas (Kling, 1995); Verificação; Forte ênfase na Correção e clareza; Através de ferramentas; Implementação; Especificação em código;

16 Objetivo Geral Propor um modelo com a especificação formal da sintaxe abstrata do Guaraná DSL.

17 Objetivos Específicos Contextualizar os ambientes empresariais; Apresentar os conceitos de tolerância a falhas; Apresentar as especificidades do Guaraná DSL; Estudar os métodos formais e destacar aqueles com características desejáveis; Validar a Especificação Formal da Sintaxe Abstrata do Guaraná DSL;

18 ICEIS... Proposta inicial da Especificação Formal da sintaxe abstrata do Guaraná DSL foi aceita para o ICEIS. Para esta proposta foi utilizado o método formal denominado notação Z.

19 Tipos e Restrições... Metamodelo UML (Fonte: Frantz et al., 2011) [Name, Script] (1) Type::= Task Port Slot Process Application Link (2) A type1, type2 : Type type1.name = type2.name type1=type2 (3)

20 Esquemas e Relacionamentos...

21 Esquemas e Relacionamentos...

22 Esquemas e Relacionamentos...

23 Cronograma de Atividades Atividades M A M J J A S O N D J F M Contexto da pesquisa (background) Integração de Aplicações Empresariais;Tolerância a Falhas;Guaraná DSL e Guaraná FT; Formalização e Validação Escrita do projeto de dissertação 13 Entrega do projeto de dissertação para os orientadores 13 Prévia da defesa do projeto de dissertação 09 Defesa do projeto de dissertação 12 Estudo dos métodos formais a partir da literatura 15 Extrair as características que contemplam o contexto do problema 15 Identificar os métodos formais com base no contexto do problema 01 Seminário de Andamento (GCA) 01 Trabalhos relacionados que utilizam os métodos formais identificados 01 Elaborar um glossário de termos envolvidos na pesquisa 01 Framework de comparação 01 Seminário de Andamento (GCA) 01 Com base na comparação do item anterior, escolher dois métodos formais a serem utilizados na dissertação Elaboração do modelo 10 Validação do modelo 01 Escrita de artigo 15 Prévia 1 da defesa de dissertação (GCA) 22 Entrega da primeira versão completa da dissertação para revisão pelos orientadores 05 Entrega da versão final da dissertação (corrigida) 17 Escrita de proposta de capítulo de livro 24 Prévia 2 da defesa de dissertação (GCA) 26 Defesa da dissertação M A M J J A S O N D J F M

24 Contribuições... Classificação: Qualis B1

25 Bibliografia... Alonso, G., Hagen, C., Divyakant, D., Abbadi, A. E., and Mohan C.(2000). Enhancing the fault tolerance of workflow management systems. IEEE Concurrency, 8(3): Anderson, T., Lee, P. A. (1981). Fault tolerance -principles and practice. Englewood Cliffs, Prentice-Hall. Avizienis, A., Laprie, J.-C., Randell, B., and Landwehr, C. (2004). Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. on Depend. and Secure Comp., 1(1):11 33, Jan-Mar 2004 Baresi, L., Guinea, S., Kazhamiakin, R., and Pistore, M. (2008). An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations. In Towards a Service-Based Internet, volume 5377 of LNCS, pages Springer. Borrego, D., Gasca, R. M., Gómez-López, M. T., and Parody, L. (2010). Contract based diagnosis for business process instances using business compliance rules. In Proc. 21th Int l Workshop on Principles of Diagnosis (DX 10) Bowen, J. P., and Hinchey, M. G. (1995). Seven more myths of formal methods, IEEE Software, 12(4): 34-41, July. Bowen, J. P., and Stavridou, V. (1993). Safety-critical systems, formal methods and standards, IEE/BCS Software Engineering Journal, 8(4): , July. Campbell, R., and Randell, B. (1986). Error recovery in asynchronous systems. IEEE Trans. Soft. Eng., 12(8): Channabasavaiah, K., Holley, K., Tuggle, Jr., and Edward, M. (2004). Migrating to a service-oriented architecture. IBM DeveloperWorks. New York: [s.n.]. Disponível em: <ftp:// /software/info/openenvironment/g _Final.pdf>. Chen, M., Accardi, A., Kiciman, E., Lloyd, J., Patterson, D., Fox, A., and Brewer, E. (2004). Path-based failure and evolution management. In Proc. Int l Symp. Netw. Syst. Des. and Impl., page 23. Dossot, D. and D Emic, J. (2009). Mule in Action. Manning. Fisher, M., Partner, J., Bogoevici, M., and Fuld, I. (2010). Spring Integration in Action. Manning. Frantz, R. Z. (2012). Enterprise Application Integration. Doctoral Dissertation. University of Seville. February, Frantz, R. Z., Corchuelo, R., and Molina-Jiménez, C. (2012). A proposal to detect errors in Enterprise Application Integration solutions. Journal of Systems and Software, 85(3):

26 Frantz, R. Z., Quintero, A.M. R., and Corchuelo, R. (2011). A Domain-Specific Language to Design Enterprise Application Integration Solutions. Int. J. Cooperative Inf. Syst., 20(2): Gaudel, M.-C. (1995). Testing Can Be Formal, Too. In TAPSOFT 95: Theory and Practice of Software Development, 6 th International Joint Conference CAAP/FASE, volume 915 of Lecture Notes in Computer Science, pages 82 96, Aarhus, Denmark, Maio Springer. Hagen C., and Alonso G. (2000). Exception handling in workflow management systems. IEEE Trans. Softw. Eng., 26(10): Hohpe, G. (2002). Enterprise Application Integration. In Proc. 9th Conf. on Pattern Language of Programms, page #14. Hohpe, G. and Woolf, B. (2003). Enterprise Integration Patterns - Designing, Build ing, and Deploying Messaging Solutions. Addison-Wesley. Ibsen, C. and Anstey, J. (2010). Camel in Action. Manning. Kling, R. (1995). Systems safety, normal accidents, and social vulnerability. In Computerization and controversy (2nd ed.), Rob Kling (Ed.). Academic Press, Inc., Orlando, FL, USA Laprie, J. C. (1998) Dependability: von concepts to limits. In: Proceedings of the IFIP International Workshop on Dependable Computing and its Applications. DCIA 98, Johannesburg, South Africa, January p Li, L., Hadjicostis, C., and Sreenivas, R. (2008). Designs of bisimilar petri net controllers with fault tolerance capabilities. IEEE Trans. Syst. Man Cybern. Part A: Syst. Humans, 38(1): Linthicum, D. S. (1999). Enterprise Application Integration. 1. ed. [S.l.]: Wesley, Publisher Addison. p Menezes, P. B. (2008). Linguagens formais e autômatos. 5. ed. Porto Alegre: Bookmann: Instituto de Informática da UFRGS. Messerschmitt D. and Szyperski C. A. (2003). Software Ecosystem: Understanding an Indispensable Technology and Industry. MIT Press.

27 Moura, A. V. (2001). Especificações em Z: uma introdução. Campinas, SP: Editora da Unicamp. Pradhan, D. K. (1996). Fault-Tolerant System Design. Prentice Hall, New Jersey. Rainer Jr, R. K. e Cegielski, C. (2012) Introdução a Sistemas de Informação, 3ª Ed. Rio de Janeiro. Editora Elsevier Brasil. Singh, S. (2008). O Último Teorema de Fermat. Tradução de Jorge Luiz Calife. 14ª Ed. Rio de Janeiro: Record, Sommerville, I. (2003). Engenharia de Software. São Paulo. Pearson Addison Wesley. Tonsig, S. L. (2008). Engenharia de Software. Análise e Projeto de Sistemas. Rio de Janeiro. Editora Ciência Moderna Ltda. van Lamsweerde, A. (2000). Formal specification: a roadmap. In ICSE - Future of SE Track, pages Weiss, J. (2005). Aligning relationships: Optimizing the value of strategic outsourcing, Technical report, IBM. Wu, Q., Pu, C., and Sahai, A. (2006). DAG synchronization contraint language for business process. In IEEE Int l Conf. on Commerce and Enterprise Computing (CEC 09). IEEE Computer Society. Yan, Y., and Dague, P. (2007). Modeling and diagnosing orchestrated web service processes. In Proc. IEEE Int l Conf. on Web Serv. (ICWS 2007), pages 51 59, July 9-13, Salt Lake City, Utah. IEEE Computer Society.

28 Obrigado!!! Grupo de pesquisa em Computação Aplicada Gratuidade Capes-Prosup Mauri Klein Site:www.gca.unijui.edu.br/mklein

MODELAGEM DE UMA SOLUÇÃO DE INTEGRAÇÃO PARA O PROCESSO DE REMATRÍCULA DA UNIVERSIDADE UNIJUÍ 1

MODELAGEM DE UMA SOLUÇÃO DE INTEGRAÇÃO PARA O PROCESSO DE REMATRÍCULA DA UNIVERSIDADE UNIJUÍ 1 MODELAGEM DE UMA SOLUÇÃO DE INTEGRAÇÃO PARA O PROCESSO DE REMATRÍCULA DA UNIVERSIDADE UNIJUÍ 1 Igor G. Haugg 2, Rafael Z. Frantz 3, Fabricia Roos-Frantz 4, Sandro Sawicki 5. 1 Pesquisa de Iniciação em

Leia mais

Table 1. Dados do trabalho

Table 1. Dados do trabalho Título: Desenvolvimento de geradores de aplicação configuráveis por linguagens de padrões Aluno: Edison Kicho Shimabukuro Junior Orientador: Prof. Dr. Paulo Cesar Masiero Co-Orientadora: Prof a. Dr. Rosana

Leia mais

UMA PROPOSTA PARA COMPARAÇÃO DE PROVEDORES DE COMPUTAÇÃO EM NUVEM DESDE UMA PERSPECTIVA DE INTEGRAÇÃO DE APLICAÇÕES 1

UMA PROPOSTA PARA COMPARAÇÃO DE PROVEDORES DE COMPUTAÇÃO EM NUVEM DESDE UMA PERSPECTIVA DE INTEGRAÇÃO DE APLICAÇÕES 1 UMA PROPOSTA PARA COMPARAÇÃO DE PROVEDORES DE COMPUTAÇÃO EM NUVEM DESDE UMA PERSPECTIVA DE INTEGRAÇÃO DE APLICAÇÕES 1 Igor G. Haugg 2, Rafael Z. Frantz 3, Fabricia Roos-Frantz 4, Sandro Sawicki 5. 1 Pesquisa

Leia mais

Rumo a Implantação de Soluções de Integração na Nuvem

Rumo a Implantação de Soluções de Integração na Nuvem Rumo a Implantação de Soluções de Integração na Nuvem Igor Haugg Bolsista PIBITI/CNPq Curso de Ciências da Computação Área de Pesquisa Integração de Aplicações Empresariais Computação em Nuvem Projeto

Leia mais

Dependabilidade em Sistemas Computacionais

Dependabilidade em Sistemas Computacionais Dependabilidade em Sistemas Computacionais 1 Objetivo Dependabilidade (do termo Dependability em inglês) é a propriedade que define a capacidade dos sistemas computacionais de prestar um serviço que se

Leia mais

Modelagem Conceitual de uma Solução de Integração para o Processo de Rematrícula da Universidade Unijuí

Modelagem Conceitual de uma Solução de Integração para o Processo de Rematrícula da Universidade Unijuí Modelagem Conceitual de uma Solução de Integração para o Processo de Rematrícula da Universidade Unijuí Igor G. Haugg Bolsista PIBITI/CNPq Orientador: Dr. Rafael Z. Frantz Área de Pesquisa [ GCA Prof.

Leia mais

Sistemas Distribuídos e Tolerância a Falhas Mestrado em Engenharia Informática - Ramo Redes e Multimédia. 1ª ano / 2ª semestre

Sistemas Distribuídos e Tolerância a Falhas Mestrado em Engenharia Informática - Ramo Redes e Multimédia. 1ª ano / 2ª semestre Sistemas Distribuídos e Tolerância a Falhas Mestrado em Engenharia Informática - Ramo Redes e Multimédia Bibliografia: 1ª ano / 2ª semestre - Basic Concepts and Taxonomy of Dependable and Secure Computing,

Leia mais

Programação Orientada a Objetos

Programação Orientada a Objetos Stream de Dados + Pipe & Filter André Santanchè Laboratory of Information Systems LIS Instituto de Computação UNICAMP Maio 2015 Picture by Moyan Brenn [http://www.flickr.com/photos/aigle_dore/6225536653/]

Leia mais

Um Framework para definição de processos de testes de software que atenda ao nível 3 do TMM-e

Um Framework para definição de processos de testes de software que atenda ao nível 3 do TMM-e JEANE MENDES DA SILVA SANTOS Um Framework para definição de processos de testes de software que atenda ao nível 3 do TMM-e Plano de Trabalho de Conclusão de Curso apresentado à Universidade Federal de

Leia mais

Especificação de Testes Funcionais usando Redes de Petri a Objetos para Softwares Orientados a Objetos

Especificação de Testes Funcionais usando Redes de Petri a Objetos para Softwares Orientados a Objetos Especificação de Testes Funcionais usando Redes de Petri a Objetos para Softwares Orientados a Objetos Autor(a): Liliane do Nascimento Vale 1 Orientador: Stéphane Júlia 1 1 Universidade Federal de Uberlândia

Leia mais

Um Simulador para Avaliação da Antecipação de Tarefas em Sistemas Gerenciadores de Workflow

Um Simulador para Avaliação da Antecipação de Tarefas em Sistemas Gerenciadores de Workflow Um Simulador para Avaliação da Antecipação de Tarefas em Sistemas Gerenciadores de Workflow Resumo. A fim de flexibilizar o fluxo de controle e o fluxo de dados em Sistemas Gerenciadores de Workflow (SGWf),

Leia mais

Ciência da Computação ENGENHARIA DE SOFTWARE. Análise dos Requisitos de Software

Ciência da Computação ENGENHARIA DE SOFTWARE. Análise dos Requisitos de Software Ciência da Computação ENGENHARIA DE SOFTWARE Análise dos Requisitos de Software Prof. Claudinei Dias email: prof.claudinei.dias@gmail.com Roteiro Introdução Tipos de requisitos Atividades Princípios da

Leia mais

Planejamento da disciplina: Modelagem de processos de negócio

Planejamento da disciplina: Modelagem de processos de negócio UNIVERSIDADE FEDERAL DE MINAS GERAIS / INSTITUTO DE CIÊNCIAS EXATAS DEPARTAMENTO DE CIÊNCIA DA COMPUTAÇÃO Planejamento da disciplina: Modelagem de processos de negócio Professor: Clarindo Isaías Pereira

Leia mais

Uma Abordagem Dinâmica de Linha de Produto para Gestão de Processos de Negócio

Uma Abordagem Dinâmica de Linha de Produto para Gestão de Processos de Negócio Uma Abordagem Dinâmica de Linha de Produto para Gestão de Processos de Negócio Trabalho de Mestrado Roberto dos Santos Rocha (Aluno), Marcelo Fantinato (Orientador) Programa de Pós-graduação em Sistemas

Leia mais

Requisitos de Ferramentas Especializadas de Gestão de Configuração de Software

Requisitos de Ferramentas Especializadas de Gestão de Configuração de Software Requisitos de Ferramentas Especializadas de Gestão de Configuração de Software Ricardo Terra 1 1 Departamento de Ciência da Computação Universidade Federal de Minas Gerais (UFMG) Campus da Pampulha 31.270-010

Leia mais

Fundamentos de Tolerância a Falhas. Graduação: CIC e ECP Taisy Silva Weber 2002

Fundamentos de Tolerância a Falhas. Graduação: CIC e ECP Taisy Silva Weber 2002 Fundamentos de Tolerância a Falhas Graduação: CIC e ECP Taisy Silva Weber 2002 Bibliografia básica Pradhan, D. K. Jalote, P. Fault-Tolerant System Design. Prentice Hall, New Jersey, 1996. Fault tolerance

Leia mais

Em Busca de uma Arquitetura de Referência para Frameworks de Aplicação Dirigidos por Modelos para Sistemas de Informação

Em Busca de uma Arquitetura de Referência para Frameworks de Aplicação Dirigidos por Modelos para Sistemas de Informação Em Busca de uma Arquitetura de Referência para Frameworks de Aplicação Dirigidos por Modelos para Sistemas de Informação Valdemar Vicente GRACIANO NETO 1 ; Juliano Lopes DE OLIVEIRA 1 1 Instituto de Informática

Leia mais

Avaliação de Modelos i* com o Processo AIRDoc-i*

Avaliação de Modelos i* com o Processo AIRDoc-i* Avaliação de Modelos i* com o Processo AIRDoc-i* Cleice Souza 1, Cláudia Souza 1, Fernanda Alencar 2, Jaelson Castro 1, Paulo Cavalcanti 1, Monique Soares 1, Gabriela Guedes 1, Eduardo Figueiredo 3 1 Centro

Leia mais

LINGUAGEM DE ESPECIFICAÇÃO E DESCRIÇÃO (SDL) APLICADA AO PROCESSO DE VERIFICAÇÃO E VALIDAÇÃO DE SISTEMAS REATIVOS

LINGUAGEM DE ESPECIFICAÇÃO E DESCRIÇÃO (SDL) APLICADA AO PROCESSO DE VERIFICAÇÃO E VALIDAÇÃO DE SISTEMAS REATIVOS LINGUAGEM DE ESPECIFICAÇÃO E DESCRIÇÃO (SDL) APLICADA AO PROCESSO DE VERIFICAÇÃO E VALIDAÇÃO DE SISTEMAS REATIVOS Fabiana Fraga Ferreira Bacharelanda em Sistemas de Informação Bolsista de Iniciação Científica

Leia mais

Modelagem Flexível para Processos de Negócio. Resultados de um Estudo Experimental

Modelagem Flexível para Processos de Negócio. Resultados de um Estudo Experimental Modelagem Flexível para Processos de Negócio Resultados de um Estudo Experimental Fabiane Albino Aluna Mestrado Prof. Ricardo Massa Orientador Cenário Atual Modelagem de Processos de Negócio de maneira

Leia mais

ESPECIFICAÇÃO DO AMBIENTE EXPSEE SEGUNDO O MÉTODO CATALYSIS

ESPECIFICAÇÃO DO AMBIENTE EXPSEE SEGUNDO O MÉTODO CATALYSIS ESPECIFICAÇÃO DO AMBIENTE EXPSEE SEGUNDO O MÉTODO CATALYSIS RESUMO Este artigo apresenta a especificação de um sistema gerenciador de workflow, o ExPSEE, de acordo com a abordagem de desenvolvimento baseado

Leia mais

Importância da Arquitetura de Sistemas Baseados em Componentes para os Testes por Injeção de Falhas

Importância da Arquitetura de Sistemas Baseados em Componentes para os Testes por Injeção de Falhas Importância da Arquitetura de Sistemas Baseados em Componentes para os Testes por Injeção de Falhas Regina Lúcia de Oliveira Moraes Universidade Estadual de Campinas (UNICAMP) Centro Superior de Educação

Leia mais

Proposta de um processo de construção da arquitetura de software para aprendiz

Proposta de um processo de construção da arquitetura de software para aprendiz Proposta de um processo de construção da arquitetura de software para aprendiz Vinícius Fernandes de Jesus 1, Jandira Guenka Palma 1 1 Departamento de Computação Universidade Estadual de Londrina (UEL)

Leia mais

Gestão de Projectos de Software - 1

Gestão de Projectos de Software - 1 Gestão de Projectos de Software Licenciaturas de EI / IG 2012/2013-4º semestre msantos@ispgaya.pt http://paginas.ispgaya.pt/~msantos Gestão de Projectos de Software - 1 Objectivos da Disciplina de Gestão

Leia mais

Análise qualitativa do processo de workflow da ouvidoria do IFMG campus Bambuí: um estudo de caso

Análise qualitativa do processo de workflow da ouvidoria do IFMG campus Bambuí: um estudo de caso Análise qualitativa do processo de workflow da ouvidoria do IFMG campus Bambuí: um estudo de caso Estefânia Paula da SILVA¹; Lígia Maria SOARES PASSOS² ¹ Aluna do curso de Engenharia de Produção do IFMG

Leia mais

ECOSSISTEMAS DE SOFTWARE

ECOSSISTEMAS DE SOFTWARE ECOSSISTEMAS DE SOFTWARE MODELOS E REUTILIZAÇÃO EM ECOSSISTEMAS DE SOFTWARE Alunos: Felyppe Rodrigues da Silva (Mestrado) Gabriella Castro Barbosa Costa (Doutorado) Professor: Toacy Cavalcante de Oliveira

Leia mais

Aplicação de Apoio Computacional Baseado em Processos de Negócio e Serviços Web para o Desenvolvimento Distribuído de Software

Aplicação de Apoio Computacional Baseado em Processos de Negócio e Serviços Web para o Desenvolvimento Distribuído de Software Aplicação de Apoio Computacional Baseado em Processos de Negócio e Serviços Web para o Desenvolvimento Distribuído de Software Gabriel Costa Silva 1, Itana Maria de Souza Gimenes 1, Marcelo Fantinato 2,

Leia mais

Uma Arquitetura de Linha de Produto Baseada em Componentes para Sistemas de Gerenciamento de Workflow

Uma Arquitetura de Linha de Produto Baseada em Componentes para Sistemas de Gerenciamento de Workflow Uma Arquitetura de Linha de Produto Baseada em Componentes para Sistemas de Gerenciamento de Workflow Itana M. S. Gimenes 1 itana@din.uem.br Fabrício R. Lazilha 2 fabricio@cesumar.br Edson A. O. Junior

Leia mais

EXPSEE: UM AMBIENTE EXPERIMENTAL DE ENGENHARIA DE SOFTWARE ORIENTADO A PROCESSOS

EXPSEE: UM AMBIENTE EXPERIMENTAL DE ENGENHARIA DE SOFTWARE ORIENTADO A PROCESSOS EXPSEE: UM AMBIENTE EXPERIMENTAL DE ENGENHARIA DE SOFTWARE ORIENTADO A PROCESSOS Edson Alves de Oliveira Junior (1) Igor Fábio Steinmacher (2) eaojunio@bol.com.br ifsteinm@din.uem.br Edna Tomie Takano

Leia mais

Um Arcabouço open source em Python para DBC com

Um Arcabouço open source em Python para DBC com Um Arcabouço open source em Python para DBC com Suporte à Evolução Dinâmica não Antecipada Yguaratã C. Cavacanti 1, Hyggo Oliveira de Almeida 1, Evandro Costa 2 1 Instituto de Computação Universidade Federal

Leia mais

Spider-PM: Uma Ferramenta de Apoio à Modelagem de Processos de Software

Spider-PM: Uma Ferramenta de Apoio à Modelagem de Processos de Software Spider-PM: Uma Ferramenta de Apoio à Modelagem de Processos de Software Renan Sales Barros 1, Sandro Ronaldo Bezerra Oliveira 1 1 Faculdade de Computação Instituto de Ciências Exatas e Naturais (ICEN)

Leia mais

ATENAS: Um Sistema Gerenciador de Regras de Negócio

ATENAS: Um Sistema Gerenciador de Regras de Negócio 1. Introdução ATENAS: Um Sistema Gerenciador de Regras de Negócio Geraldo Zimbrão da Silva (IM/UFRJ) Victor Teixeira de Almeida (COPPE/UFRJ) Jano Moreira de Souza (COPPE/UFRJ) Francisco Gonçalves Pereira

Leia mais

Especificação de Requisitos de Software com o Método SCR

Especificação de Requisitos de Software com o Método SCR Especificação de Requisitos de Software com o Método SCR Flávio Ricardo Carpena Tereza Gonçalves Kirner Departamento de Computação - Universidade Federal de São Carlos Rodovia Washington Luiz, Km 235 -

Leia mais

Integrando UML e Métodos Formais

Integrando UML e Métodos Formais Universidade Federal de Pernambuco Graduação em Ciência da Computação Centro de Informática Proposta de Trabalho de Graduação Integrando UML e Métodos Formais Aluno: Orientador: Co-orientador: Rafael Magalhães

Leia mais

Verificação e Validação de Sistemas de Software para Projetos Espaciais

Verificação e Validação de Sistemas de Software para Projetos Espaciais Verificação e Validação de Sistemas de Software para Projetos Espaciais Coordenador: Carlos H.N. Lahoz Equipe: Miriam C. B. Alves Martha A. D. Abdala Luciene Bianca Alves (bolsista DTI) Tópicos: 1- Objetivo

Leia mais

Instituto de Computação, Universidade Federal do Amazonas (UFAM) Manaus-AM, Brasil

Instituto de Computação, Universidade Federal do Amazonas (UFAM) Manaus-AM, Brasil Elicitação de Requisitos a partir de Modelos de Processos de Negócio e Modelos Organizacionais: Uma pesquisa para definição de técnicas baseadas em heurísticas Marcos A. B. de Oliveira 1, Sérgio R. C.

Leia mais

Controle de Célula de Produção de Tempo Real com DMIs

Controle de Célula de Produção de Tempo Real com DMIs Controle de Célula de Produção de Tempo Real com DMIs Leandro Azevedo Cassol, Avelino Francisco Zorzo {cassol, zorzo}@inf.pucrs.br FACIN - PUCRS - Av. Ipiranga, 6681-90619-900 - Porto Alegre - RS Abstract.

Leia mais

2. Sistemas Multi-Agentes (Multi-Agent System - MAS)

2. Sistemas Multi-Agentes (Multi-Agent System - MAS) AORML uma linguagem para modelagem de uma aplicação Multiagentes: Uma Aplicação no Sistema Expertcop. Hebert de Aquino Nery, Daniel Gonçalves de Oliveira e Vasco Furtado. Universidade de Fortaleza UNIFOR

Leia mais

Proposta de abordagem de desenvolvimento de software orientado a modelos para empresas

Proposta de abordagem de desenvolvimento de software orientado a modelos para empresas Proposta de abordagem de desenvolvimento de software orientado a modelos para empresas Tânia Eiko Eishima 1, Jandira Guenka Palma 1 1 Departamento de Computação Universidade Estadual de Londrina (UEL)

Leia mais

USO DOS CONCEITOS DE INTERAÇÃO HUMANO-COMPUTADOR NO DESENVOLVIMENTO WEB PARA EDUCAÇÃO A DISTÂNCIA

USO DOS CONCEITOS DE INTERAÇÃO HUMANO-COMPUTADOR NO DESENVOLVIMENTO WEB PARA EDUCAÇÃO A DISTÂNCIA Discutindo a visibilidade da EaD Pública no Brasil USO DOS CONCEITOS DE INTERAÇÃO HUMANO-COMPUTADOR NO DESENVOLVIMENTO WEB PARA EDUCAÇÃO A DISTÂNCIA Priscilla Márcia Scarpelli Bastos 1, Diogo Marcos de

Leia mais

8 Bibliografia. ACEAUME, E. et al. On The Formal Specification of Group Membership Services. INRIA, 1995, 15 p. Relatório Técnico TR95-1534.

8 Bibliografia. ACEAUME, E. et al. On The Formal Specification of Group Membership Services. INRIA, 1995, 15 p. Relatório Técnico TR95-1534. Bibliografia 88 8 Bibliografia ACEAUME, E. et al. On The Formal Specification of Group Membership Services. INRIA, 1995, 15 p. Relatório Técnico TR95-1534. AMBRIOLA, V.; TORTORA, G. Advances in Software

Leia mais

SISTEMA DE GESTÃO DE PROJETOS DE SOFTWARE - SGPS

SISTEMA DE GESTÃO DE PROJETOS DE SOFTWARE - SGPS SISTEMA DE GESTÃO DE PROJETOS DE SOFTWARE - SGPS Lilian R. M. Paiva, Luciene C. Oliveira, Mariana D. Justino, Mateus S. Silva, Mylene L. Rodrigues Engenharia de Computação - Universidade de Uberaba (UNIUBE)

Leia mais

são capturados de forma sistemática e intuitiva por meio de casos de uso.

são capturados de forma sistemática e intuitiva por meio de casos de uso. Prevenção de defeitos em Requisitos de Software: Uma caracterização do processo de melhoria Daniela C. C. Peixoto (Synergia, DCC/UFMG), Clarindo Isaías P. S. Pádua (Synergia, DCC/UFMG), Eveline A. Veloso

Leia mais

Software para Sistemas Críticos

Software para Sistemas Críticos Software para Sistemas Críticos Nuno Silva, Engineering Manager Encontro Nacional Colégio Informática da Ordem dos Engenheiros, 16-09-2005 Dependable Technologies for Critical Systems Copyright Critical

Leia mais

Usando RDL para Derivação de Produtos em uma Linha de Produtos de Software

Usando RDL para Derivação de Produtos em uma Linha de Produtos de Software Usando RDL para Derivação de Produtos em uma Linha de Produtos de Software Juliano Dantas Santos Universidade Federal do Rio de Janeiro COPPE - Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa

Leia mais

LISTA DE TEMAS PARA CONCURSO DE PROFESSOR ADJUNTO EDITAL 90/2010 ÁREA DE ANATOMIA VEGETAL GERAL, COM ÊNFASE EM ANATOMIA ECOLÓGICA * * * * * *

LISTA DE TEMAS PARA CONCURSO DE PROFESSOR ADJUNTO EDITAL 90/2010 ÁREA DE ANATOMIA VEGETAL GERAL, COM ÊNFASE EM ANATOMIA ECOLÓGICA * * * * * * ÁREA DE ANATOMIA VEGETAL GERAL, COM ÊNFASE EM ANATOMIA ECOLÓGICA 1. Sistema de formação. 2. Sistema de revestimento (de proteção). 3. Tecidos fundamentais (parênquima, colênquima e esclerênquima). 4. Sistema

Leia mais

UNIVERSIDADE PRESBITERIANA MACKENZIE Faculdade de Computação e Informática EMENTAS DAS DISCIPLINAS OPTATIVAS I

UNIVERSIDADE PRESBITERIANA MACKENZIE Faculdade de Computação e Informática EMENTAS DAS DISCIPLINAS OPTATIVAS I EMENTAS DAS DISCIPLINAS 1 FACUL DADE DE COMPUTAÇÃO E INFORMATICA NEGÓGIOS GOVERNANÇA DE TECNOLOGIA DA INFORMAÇÃO ( 68) Teóricas Etapa: 7ª ( ) Práticas Interpretação de Governança e estratégia organizacional:

Leia mais

SIPTEST System Intelligent Process Testing. SLAs a aplicar em frentes de testes funcionais

SIPTEST System Intelligent Process Testing. SLAs a aplicar em frentes de testes funcionais SIPTEST System Intelligent Process Testing. SLAs a aplicar em frentes de testes funcionais SIPTEST - System Intelligent Testing Link Consulting,SA Pág. 0 de 8 Índice 1 Introdução... 2 2 SLAs a aplicar

Leia mais

Uma Abordagem para Tratamento de Regras de Negócio nas Fases Iniciais do Desenvolvimento

Uma Abordagem para Tratamento de Regras de Negócio nas Fases Iniciais do Desenvolvimento Uma Abordagem para Tratamento de Regras de Negócio nas Fases Iniciais do Desenvolvimento Marco Antonio De Grandi, Valter Vieira de Camargo, Edmundo Sérgio Spoto Centro Universitário Eurípides de Marília

Leia mais

IN0997 - Redes Neurais

IN0997 - Redes Neurais IN0997 - Redes Neurais Aluizio Fausto Ribeiro Araújo Universidade Federal de Pernambuco Centro de Informática - CIn Departamento de Sistemas da Computação aluizioa@cin.ufpe.br Conteúdo Objetivos Ementa

Leia mais

Universidade Federal de Goiás Instituto de Informática Sistemas de Informação Código da Matriz Curricular: 109P1NB

Universidade Federal de Goiás Instituto de Informática Sistemas de Informação Código da Matriz Curricular: 109P1NB Universidade Federal de Goiás Instituto de Informática Sistemas de Informação Código da Matriz Curricular: 109P1NB Plano de Disciplina Ano Letivo: 2013-1 º Semestre Dados da Disciplina Código Disc. Nome

Leia mais

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

UNIVERSIDADE PRESBITERIANA MACKENZIE Faculdade de Computação e Informática EMENTAS DA 3ª. ETAPA EMENTAS DA 3ª. ETAPA Núcleo Temático: PROGRAMAÇÃO Disciplina: ESTRUTURA DE DADOS 108 há ( 72 ) Teóricas ( 36 ) Práticas Tipos abstratos de dados. Estudo das estruturas lineares: pilhas, filas e listas

Leia mais

Fase 1: Engenharia de Produto

Fase 1: Engenharia de Produto Fase 1: Engenharia de Produto Disciplina: Análise de Requisitos DURAÇÃO: 44 h O objetivo principal da disciplina é realizar uma análise das necessidades e produzir um escopo do produto. Representará os

Leia mais

Proposta de um método para auditoria de projetos de desenvolvimento de software iterativo e incremental

Proposta de um método para auditoria de projetos de desenvolvimento de software iterativo e incremental Proposta de um método para auditoria de projetos de desenvolvimento de software iterativo e incremental Francisco Xavier Freire Neto 1 ; Aristides Novelli Filho 2 Centro Estadual de Educação Tecnológica

Leia mais

Sistema de Apoio ao Ensino de Modelagem de Software Uma extensão para o editor de programação BlueJ

Sistema de Apoio ao Ensino de Modelagem de Software Uma extensão para o editor de programação BlueJ IV Encontro de Pesquisa PUCSP/TIDD 2011 Sistema de Apoio ao Ensino de Modelagem de Software. Uma extensão para o editor de programação BlueJ Autor: Luciano Gaspar - E-mail: tigaspar@hotmail.com Orientador:

Leia mais

INF2135 Processos e Ambientes de Engenharia de Software

INF2135 Processos e Ambientes de Engenharia de Software INF2135 Processos e Ambientes de Engenharia de Software Arndt von Staa arndt at inf.puc-rio.br Departamento de Informática 2014/1 site: www.inf.puc-rio.br/~inf2135 Objetivo Capacitar os alunos a avaliar,

Leia mais

Universidade Federal de Goiás Instituto de Informática Sistemas de Informação Código da Matriz Curricular: 109P1NB

Universidade Federal de Goiás Instituto de Informática Sistemas de Informação Código da Matriz Curricular: 109P1NB Universidade Federal de Goiás Instituto de Informática Sistemas de Informação Código da Matriz Curricular: 109P1NB Plano de Disciplina Ano Letivo: 2012-2 º Semestre Dados da Disciplina Código Disc. Nome

Leia mais

Modelagem de Arquiteturas Organizacionais de TI Orientadas a Serviços

Modelagem de Arquiteturas Organizacionais de TI Orientadas a Serviços Modelagem de Arquiteturas Organizacionais de TI Orientadas a Serviços João Paulo A. Almeida Núcleo de Estudos em Modelagem Conceitual e Ontologias (NEMO) Departamento de Informática Universidade Federal

Leia mais

Um Processo de Engenharia de Domínio com foco no Projeto Arquitetural Baseado em Componentes

Um Processo de Engenharia de Domínio com foco no Projeto Arquitetural Baseado em Componentes Um Processo de Engenharia de Domínio com foco no Projeto Arquitetural Baseado em Componentes Ana Paula Blois 1, 2, Karin Becker 2, Cláudia Werner 1 1 COPPE/UFRJ, Universidade Federal do Rio de Janeiro,

Leia mais

Um modelo para o gerenciamento de múltiplos projetos de software aderente ao CMMI

Um modelo para o gerenciamento de múltiplos projetos de software aderente ao CMMI Universidade Federal de Pernambuco Graduação em Ciência da Computação Centro de Informática Um modelo para o gerenciamento de múltiplos projetos de software aderente ao CMMI PROPOSTA DE TRABALHO DE GRADUAÇÃO

Leia mais

SIMULAÇÃO DO COMPORTAMENTO DE UMA SOLUÇÃO DE INTEGRAÇÃO DESENVOLVIDA PARA A ÁREA DE VENDA HOSPITALAR UTILIZANDO A FERRAMENTA ARENA 1

SIMULAÇÃO DO COMPORTAMENTO DE UMA SOLUÇÃO DE INTEGRAÇÃO DESENVOLVIDA PARA A ÁREA DE VENDA HOSPITALAR UTILIZANDO A FERRAMENTA ARENA 1 SIMULAÇÃO DO COMPORTAMENTO DE UMA SOLUÇÃO DE INTEGRAÇÃO DESENVOLVIDA PARA A ÁREA DE VENDA HOSPITALAR UTILIZANDO A FERRAMENTA ARENA 1 Gabriel Freytag 2, Sandro Sawicki 3, Rafael Z. Frantz 4, Fabricia Roos-Frantz

Leia mais

Processo de desenvolvimento de software seguro através da identificação de níveis de segurança

Processo de desenvolvimento de software seguro através da identificação de níveis de segurança Processo de desenvolvimento de software seguro através da identificação de níveis de segurança Rosana Wagner, Josiane Fontoura dos Anjos Brandolt, Fábio Diniz Rossi Instituto Federal Farroupilha Campus

Leia mais

Fasci-Tech MAPEAMENTO DOS PROCESSOS DE NEGÓCIO PARA DESENVOLVIMENTO DE UM SISTEMA INTEGRADO DE GESTÃO

Fasci-Tech MAPEAMENTO DOS PROCESSOS DE NEGÓCIO PARA DESENVOLVIMENTO DE UM SISTEMA INTEGRADO DE GESTÃO MAPEAMENTO DOS PROCESSOS DE NEGÓCIO PARA DESENVOLVIMENTO DE UM SISTEMA INTEGRADO DE GESTÃO Resumo: Carlos Alberto dos Santos 1 Profa. MSc. Rosangela Kronig 2 Abstract: Num ambiente globalizado e em constante

Leia mais

TÍTULO: UM ESTUDO CONCEITUAL SOBRE CERTIFICAÇÃO DE SOFTWARE EMBARCADO AERONÁUTICO

TÍTULO: UM ESTUDO CONCEITUAL SOBRE CERTIFICAÇÃO DE SOFTWARE EMBARCADO AERONÁUTICO TÍTULO: UM ESTUDO CONCEITUAL SOBRE CERTIFICAÇÃO DE SOFTWARE EMBARCADO AERONÁUTICO CATEGORIA: EM ANDAMENTO ÁREA: CIÊNCIAS EXATAS E DA TERRA SUBÁREA: COMPUTAÇÃO E INFORMÁTICA INSTITUIÇÃO: FACULDADE ANHANGUERA

Leia mais

Universidade Federal de Pernambuco

Universidade Federal de Pernambuco Universidade Federal de Pernambuco GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO CENTRO DE INFORMÁTICA 201 1. 2 Sistema de Gestão de Processos de Negócio Baseado em Modelos Declarativos Proposta de Trabalho de Graduação

Leia mais

Usando Modelos Para Apoiar a Especificação e Verificação de Requisitos de Ubiquidade

Usando Modelos Para Apoiar a Especificação e Verificação de Requisitos de Ubiquidade Usando Modelos Para Apoiar a Especificação e Verificação de Requisitos de Ubiquidade Leonardo Mota, Jobson Massollar, Guilherme Horta Travassos Federal University of Rio de Janeiro/COPPE/PESC Caixa Postal

Leia mais

Desenvolvimento de software orientado a características e dirigido por modelos

Desenvolvimento de software orientado a características e dirigido por modelos Desenvolvimento de software orientado a características e dirigido por modelos Universidade Federal de Uberlândia Rodrigo Reis Pereira Prof. Dr. Marcelo Almeida Maia Agenda Motivação Introdução Modelagem

Leia mais

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

Universidade Federal de Pernambuco Centro de Informática Graduação em Ciência da Computação. Proposta Trabalho de Graduação Universidade Federal de Pernambuco Centro de Informática Graduação em Ciência da Computação Proposta Trabalho de Graduação Um Mecanismo de Monitoramento e Seleção de Serviços Baseado em Atributos de Qualidade

Leia mais

M O D E L O E U R O P E U D E

M O D E L O E U R O P E U D E M O D E L O E U R O P E U D E C U R R I C U L U M V I T A E INFORMAÇÃO PESSOAL Nome Morada MANUEL DIAS FERREIRA LIMA, RUI 50, Rua José Maria Rodrigues, 4710-080 BRAGA, Gualtar, PORTUGAL Telefone +351 939741239

Leia mais

Uma Proposta de Framework de Comparação de Provedores de Computação em Nuvem

Uma Proposta de Framework de Comparação de Provedores de Computação em Nuvem Uma Proposta de Framework de Comparação de Provedores de Computação em Nuvem Igor G. Haugg Bolsista PIBITI/CNPq Orientador: Dr. Rafael Z. Frantz Área de Pesquisa Integração de Aplicações Empresariais Computação

Leia mais

Transformação de um Modelo de Empresa em Requisitos de Software

Transformação de um Modelo de Empresa em Requisitos de Software Transformação de um Modelo de Empresa em Requisitos de Software Fábio Levy Siqueira 1 and Paulo Sérgio Muniz Silva 2 1 Programa de Educação Continuada da Poli-USP, São Paulo, Brazil 2 Escola Politécnica

Leia mais

PRÓ-REITORIA DE EXTENSÃO, PESQUISA E INOVAÇÃO DIRETORIA DE PESQUISA E INOVAÇÃO Proposta de Projeto de Pesquisa

PRÓ-REITORIA DE EXTENSÃO, PESQUISA E INOVAÇÃO DIRETORIA DE PESQUISA E INOVAÇÃO Proposta de Projeto de Pesquisa PRÓ-REITORIA DE EXTENSÃO, PESQUISA E INOVAÇÃO DIRETORIA DE PESQUISA E INOVAÇÃO Proposta de Projeto de Pesquisa IDENTIFICAÇÃO DO PROJETO Título do Projeto de Pesquisa: School Blocks Sistema de Gestão Acadêmica

Leia mais

Mestranda: Márcia Maria Horn. Orientador: Prof. Dr. Sandro Sawicki

Mestranda: Márcia Maria Horn. Orientador: Prof. Dr. Sandro Sawicki Universidade Regional do Noroeste do Estado do Rio Grande do Sul Departamento de Ciências Exatas e Engenharias Programa de Mestrado em Modelagem Matemática Grupo de Pesquisa em Computação Aplicada Temática:

Leia mais

Introdução. Uma Arquitetura de Testes para Validação de Sistemas de Bordo. Sistemas Embarcados

Introdução. Uma Arquitetura de Testes para Validação de Sistemas de Bordo. Sistemas Embarcados Uma Arquitetura de Testes para Validação de Sistemas de Bordo Cláudia Santos da Silva Orientadores: Eliane Martins (Unicamp) Nandamudi L. Vijaykumar Sistemas Embarcados Introdução Característica Confiabilidade

Leia mais

Ficha da Unidade Curricular

Ficha da Unidade Curricular ESCOLA SUPERIOR DE TECNOLOGIA E GESTÃO DE FELGUEIRAS CURSO Licenciatura em Engenharia Informática U.C. ENGENHARIA DE SOFTWARE I Ficha da Unidade Curricular Horas presenciais / Ano 56 Ano Lectivo 2010 /

Leia mais

O que é software? Software e Engenharia de Software. O que é software? Tipos de Sistemas de Software. A Evolução do Software

O que é software? Software e Engenharia de Software. O que é software? Tipos de Sistemas de Software. A Evolução do Software O que é software? Software e Engenharia de Software Programas de computador Entidade abstrata. Ferramentas (mecanismos) pelas quais: exploramos os recursos do hardware. executamos determinadas tarefas

Leia mais

Artigos científicos / Scientific articles

Artigos científicos / Scientific articles Artigos científicos / Scientific articles Rev. Ibirapuera, São Paulo, n. 1, p. 31-35, jan./jun. 2011 REUSO DE REQUISITOS PARA FAMÍLIAS DE PRODUTOS EM SISTEMAS EMBARCADOS Cristiano Marçal Toniolo Universidade

Leia mais

Computação Sensível ao Contexto

Computação Sensível ao Contexto Computação Sensível ao Contexto Percepção de Contexto em Ambientes Domiciliares Modelagem de Contexto Modelagem de Contexto + Modelagem de Usuário Fabrício J. Barth novembro de 2004 Sumário O que já foi

Leia mais

João Arthur Brunet Monteiro. Março de 2008

João Arthur Brunet Monteiro. Março de 2008 Revisão Bibliográfica em Automação de Testes João Arthur Brunet Monteiro Universidade Federal de Campina Grande Março de 2008 João Arthur Brunet Monteiro (UFCG) Revisão Bibliográfica em Automação de Testes

Leia mais

Análise dos Sistemas de Medição do Consumo de Energia Elétrica em Plantas Industriais

Análise dos Sistemas de Medição do Consumo de Energia Elétrica em Plantas Industriais UNIVERSIDADE FEDERAL DE PERNAMBUCO GRADUAÇÃO EM ENGENHARIA DA COMPUTAÇÃO CENTRO DE INFORMÁTICA Análise dos Sistemas de Medição do Consumo de Energia Elétrica em Plantas Industriais Proposta de Trabalho

Leia mais

Um Framework para Desenvolvimento de Aplicações Móveis Orientadas a Serviços

Um Framework para Desenvolvimento de Aplicações Móveis Orientadas a Serviços UNIVERSIDADE FEDERAL DE PERNAMBUCO GRADUAÇÃO EM ENGENHARIA DA COMPUTAÇÃO CENTRO DE INFORMÁTICA Um Framework para Desenvolvimento de Aplicações Móveis Orientadas a Serviços PROPOSTA DE TRABALHO DE GRADUAÇÃO

Leia mais

Um processo para construção de software mais transparente

Um processo para construção de software mais transparente Um processo para construção de software mais transparente Eduardo Almentero 1, and Julio Cesar Sampaio do Prado Leite 1 1 Pontifícia Universidade Católica do Rio de Janeiro, PUC - Rio, Brasil {ealmentero,

Leia mais

Gerenciamento de Workflows Científicos em Bioinformática

Gerenciamento de Workflows Científicos em Bioinformática Gerenciamento de Workflows Científicos em Bioinformática Agosto de 2007 Estudante: Orientador: Co-orientadora: Luciano Antonio Digiampietri João Carlos Setubal Claudia Bauzer Medeiros Roteiro Introdução

Leia mais

Ficha da Unidade Curricular

Ficha da Unidade Curricular ESCOLA SUPERIOR DE TECNOLOGIA E GESTÃO DE FELGUEIRAS CURSO Licenciatura em Engenharia Informática U.C. SISTEMAS DE INFORMAÇÃO Ficha da Unidade Curricular Horas presenciais / Ano 56 Ano Lectivo 2010 / 2011

Leia mais

Desafios para a Implantação de Soluções de Integração de. Aplicações Empresariais em Provedores de Computação em Nuvem

Desafios para a Implantação de Soluções de Integração de. Aplicações Empresariais em Provedores de Computação em Nuvem Desafios para a Implantação de Soluções de Integração de Aplicações Empresariais em Provedores de Computação em Nuvem Resumo Rafael Z. Frantz 1 rzfrantz@unijui.edu.br Sandro Sawicki 1 sawicki@unijui.edu.br

Leia mais

DAS6607 - Inteligência Artificial Aplicada à Controle de Processos e Automação Industrial

DAS6607 - Inteligência Artificial Aplicada à Controle de Processos e Automação Industrial DAS6607 - Inteligência Artificial Aplicada à Controle de Processos e Automação Industrial Aluno: André Faria Ruaro Professores: Jomi F. Hubner e Ricardo J. Rabelo 29/11/2013 1. Introdução e Motivação 2.

Leia mais

Sistemas de Informação

Sistemas de Informação 5º semestre Licenciatura de EI 2011/2012 msantos@ispgaya.pt cramos@ispgaya.pt / Carlos Ramos 1 Objectivos da Disciplina de Sistemas de Informação da Licenciatura de EI Complementar a formação em bases

Leia mais

3 Descrição do Problema

3 Descrição do Problema 1 Título Um estudo para melhoria da abordagem RiPLE-RM (Rise Product Line Engineering - Risk Management). 2 Aptidão AaplicaçãodoGerenciamentodeRicos(Risk Management -RM)emLinhadeProduto de Software (SPL),

Leia mais

Uma Ferramenta para Geração Automática de Testes Funcionais e Protótipos de Interface a partir de Casos de Uso

Uma Ferramenta para Geração Automática de Testes Funcionais e Protótipos de Interface a partir de Casos de Uso Uma Ferramenta para Geração Automática de Testes Funcionais e Protótipos de Interface a partir de Casos de Uso Ernesto C. Brasil 1, Thiago C. de Sousa 2 1 Centro de Ensino Unificado de Teresina (CEUT)

Leia mais

Engenharia de Software 01 - Introdução. Márcio Daniel Puntel marciopuntel@ulbra.edu.br

Engenharia de Software 01 - Introdução. Márcio Daniel Puntel marciopuntel@ulbra.edu.br Engenharia de Software 01 - Introdução Márcio Daniel Puntel marciopuntel@ulbra.edu.br Engenharia de Software Nações desenvolvidas dependem de software; Cada vez mais sistemas são controlados por software;

Leia mais

Etapas da Elaboração de um Projeto de Banco de Dados

Etapas da Elaboração de um Projeto de Banco de Dados Etapas da Elaboração de um Projeto de Banco de Dados Apresentar os modelos de dados em rede, hierárquicos, relacionais e orientados a objetos. Demonstrar as etapas de desenvolvimento de um projeto de banco

Leia mais

Projeto e implementação de um sistema de controle em malha fechada para transmissão hidrostática usando o sistema Field Point da NI

Projeto e implementação de um sistema de controle em malha fechada para transmissão hidrostática usando o sistema Field Point da NI Projeto e implementação de um sistema de controle em malha fechada para transmissão hidrostática usando o sistema Field Point da NI "A implementação do sistema SCADA usando Field Point e interface LabVIEW,

Leia mais

Estimativa & Planejamento de Projeto de Software.

Estimativa & Planejamento de Projeto de Software. Estimativa & Planejamento de. Capítulo I Sobre a Disciplina de Estimativas & Planejamento de Prof. M. Sc. Índice dos Capítulos. 2 1 Sobre a disciplina estimativas e planejamento de projetos. 2 Conceitos

Leia mais

Um Mapeamento Sistemático da Pesquisa sobre a Influência da Personalidade na Engenharia de Software

Um Mapeamento Sistemático da Pesquisa sobre a Influência da Personalidade na Engenharia de Software 1 1 2 Um Mapeamento Sistemático da Pesquisa sobre a Influência da Personalidade na Engenharia de Software Shirley Jacinto (ssj@cin.ufpe.br) Orientador: Fabio Q. B. da Silva (fabio@cin.ufpe.br) Questões

Leia mais

FORMULÁRIO PARA CRIAÇÃO DE DISCIPLINA

FORMULÁRIO PARA CRIAÇÃO DE DISCIPLINA Universidade Federal do Ceará Pró-Reitoria de Graduação Coordenadoria de Projetos e Acompanhamento Curricular Divisão de Pesquisa e Desenvolvimento Curricular FORMULÁRIO PARA CRIAÇÃO DE DISCIPLINA 1. Unidade

Leia mais

Modelagem e vericação de programas de CLP para sistemas de instrumentados de segurança na indústria de petróleo e gás

Modelagem e vericação de programas de CLP para sistemas de instrumentados de segurança na indústria de petróleo e gás Modelagem e vericação de programas de CLP para sistemas de instrumentados de segurança na indústria de petróleo e gás Proposta de Dissertação de Mestrado Orientador: Ma Hering de Queiroz Co-Orientador:

Leia mais

Uma Análise da História do VEM, WBVS e WMSWM

Uma Análise da História do VEM, WBVS e WMSWM VEM Uma Análise da História do VEM, WBVS e WMSWM Renato Novais, Thiago S. Mendes, Fernando Teles Instituto Federal da Bahia (IFBA) Salvador Bahia Brasil {renato,thiagosouto,fernandoteles}@ifba.edu.br Abstract.

Leia mais

Documentação de um Produto de Software

Documentação de um Produto de Software Documentação de um Produto de Software Versão 3.0 Autora: Profª Ana Paula Gonçalves Serra Revisor: Prof. Fernando Giorno 2005 ÍNDICE DETALHADO PREFÁCIO... 4 1. INTRODUÇÃO AO DOCUMENTO... 6 1.1. TEMA...

Leia mais

UM ESTUDO SOBRE OS FRAMEWORKS JSF E PRIMEFACES NO DESENVOLVIMENTO DE SOFTWARE WEB

UM ESTUDO SOBRE OS FRAMEWORKS JSF E PRIMEFACES NO DESENVOLVIMENTO DE SOFTWARE WEB UM ESTUDO SOBRE OS FRAMEWORKS JSF E PRIMEFACES NO DESENVOLVIMENTO DE SOFTWARE WEB Adriano Schulter Moenster 1, Tiago Piperno Bonetti 1 ¹Universidade Paranaense (Unipar) Paranavaí PR Brasil adrmoenster@gmail.com,

Leia mais

Ferramenta para instanciação de processos de software que permite o gerenciamento de projetos de desenvolvimento distribuído

Ferramenta para instanciação de processos de software que permite o gerenciamento de projetos de desenvolvimento distribuído Ferramenta para instanciação de processos de software que permite o gerenciamento de projetos de desenvolvimento distribuído Ana Paula Chaves 1, Jocimara Segantini Ferranti 1, Alexandre L Erário 1, Rogério

Leia mais