Dependabilidade em Sistemas Computacionais

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

Download "Dependabilidade em Sistemas Computacionais"

Transcrição

1 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 pode justificadamente confiar. Entre os atributos estão: confiabilidade, segurança (safety), disponibilidade e mantenabilidade. Atualmente essa propriedade é um dos focos em praticamente todas as áreas de Ciência da Computação. Devido à sua importância ao usuário e ao ambiente de execução do software, o interesse em dependabilidade tem sido alvo de muitas pesquisas que envolvem todos os ciclos de desenvolvimento do software: desde a análise que antecede a implementação até o teste do software. Apesar da sua abrangência, importância e crescente relevância na geração de software com qualidade, poucos centros acadêmicos no mundo oferecem oportunidade ao aluno de Ciência da Computação de conhecer melhor como entender e analisar o software sob a perspectiva de dependabilidade. Visando dar essa importante formação ao aluno do DCC, estamos oferecendo essa disciplina que visa abordar os vários aspectos relacionados à análise quantitativa e qualitativa de dependabilidade. Essa disciplina visa fornecer ao aluno o estado da arte do tópico explorando os mais recentes trabalhos de pesquisa. Dessa forma, isso permitirá ao aluno conhecer e potencialmente contribuir para o enriquecimento da pesquisa nos tópicos que vamos focar ao longo da disciplina. O curso visa focar os aspectos de dependabilidade em nível de arquitetura do software, métodos de previsão de atributos de dependabilidade como confiabilidade, segurança (no sentido de safety) e disponibilidade para sistemas baseados em componentes. Caso haja tempo hábil, pretendemos explorar também aspectos de desempenho de sistema seguindo a mesmo nível de enfoque dado à aqueles atributos de dependabilidade. 2 Ementa 1. Sistemas Baseados em Componentes e Arquitetura de Software (propriedades de componentes, composição, concorrência, exemplos) 2. Dependabilidade 1

2 conceitos, métricas, escopo, análise (incluindo técnicas e ferramentas disponíveis) para os seguintes atributos: confiabilidade, segurança crítica, disponibilidade, desempenho Técnicas de tolerância a falhas 4. Validação e Verificação (teste) - esse último tem um enfoque menos relevante na disciplina. O objetivo é tornar o aluno ciente das maneiras de validar a previsão. 3 Pré-Requisitos Conhecimentos de Sistemas Distribuídos e de Engenharia de Software são desejáveis para o acompanhamento do aluno. No entanto, iremos cobrir ao longo do curso os tópicos relacionados a aqueles pré-requisitos. 4 Referências Por envolver vrios aspectos de dependabilidade, esse curso irá dispor de uma bibliografia relativamente extensa. O foco da disciplina é em confiabilidade, segurança crítica, tolerância as falhas, modelos de análise desses atributos em nível de arquitetura. Dividimos então as referências entre os livros a serem utlizados e artigos que serão indicados para leitura ao longo do curso. Livros: 1. J.Magee and J. Kramer. Concurrency: State Models and Java Programs. John Wiley, New York, Nancy G. Leveson Safeware: System Safety and Computers, Addison- Wesley Publishing Company, Inc M. R. Lyu. Software Fault Tolerance. John Wiley & Sons, Inc., New York, NY, USA, M. R. Lyu. Handbook of Software Reliability Engineering. IEEE Computer Society Press and McGraw-Hill, Mesmo não sendo um atributo de dependabilidade, alguns modelos usados em dependabilidade podem ser também aplicados a análise de desempenho. Esse tópico será abordado caso seja possível cobrir os aspectos de dependabilidade.) 2

3 5. D. A. Menascé, V. A. F. Almeida and L. W. Dowdy. Capacity Planning and Performance Modelling. From Mainframes to Client-Server Systems Prentice Hall PTR, J. D. Musa, A. Iannino, and K. Okumoto. Software reliability: measurement, prediction, application. McGraw-Hill, Inc., C. Szyperski. Component Software: Beyond Object-Oriented Programming. Addison-Wesley Longman Publishing Co., Inc., R. A. Sahner, K. S. Trivedi and A. Puliafito - Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package (The Red Book). Kluwer Academic Publishers, Artigos: 1. Laprie, J. and Randell, B Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Trans. Dependable Secur. Comput. 1, 1 (Jan. 2004), R. C. Cheung. A User-Oriented Software Reliability Model. In IEEE Transactions on Software Engineering, volume 6(2), pages IEEE, March V. Cortellessa, H. Singh, and B. Cukic. Early reliability assessment of uml based software models. In Proceedings of the 3rd WOSP, pages ACM Press, V. Cortellessa and V. Grassi. A modeling approach to analyze the impact of error propagation on reliability of component-based systems. In Heinz Schmidt, Ivica Crnkovic, George Heineman, and Judith Stafford, editors, Proceedings of the 10 th International Symposium, CBSE 2007, volume 4608 of Lecture Notes in Computer Science, pages Springer, W. Emmerich. Software Engineering and Middleware: A Roadmap. In A. Finkelstein, editor, The Future of Software Engineering, pages ACM Press, April W. Emmerich. Distributed Component Technologies and Their Software Engineering Implications. In Proc. of the 24th ICSE, Orlando, Florida, pages ACM Press, May

4 7. S. Gokhale, M. Lyu, and K. Trivedi. Reliability Simulation of Component Based Software Systems. In Reliability Simulation of Component Based Sofware Systems, pages Proc. of the 9th ISSRE, K. Goševa-Popstojanova, M. Hamill, and R. Perugupalli. Large empirical case study of architecture-based software reliability. In ISSRE 05: Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering, pages 4352, Washington, DC, USA, IEEE Computer Society. 9. K. Goševa-Popstojanova, A. P. Mathur, and K. S. Trivedi. Comparison of Architecture-Based Software Reliability Models. In Proc. of the 12th ISSRE. Elsevier Science, K. Goševa-Popstojanova and K. S. Trivedi. Architecture-Based Approach to Reliability Assessment of Software Systems. In Proc. of the 12th I S S RE, pages IEEE Computer Society, Grunske, L Early quality prediction of component-based systems - A generic framework. J. Syst. Softw. 80, 5 (May. 2007), J. C. Knight Safety Critical Systems: Challenges and Directions In Proceedings of the 24rd International Conference on Software Engineering, 2002 pp IEEE Computer Society. 13. M. Kwiatkowska, G. Norman, and D. Parker. Prism 2.0: A tool for probabilistic model checking. In QEST 04: Proceedings of the The Quantitative Evaluation of Systems, First International Conference on (QEST04), pages , Washington, DC, USA, IEEE Computer Society. 14. P. Kubat. Assessing reliability of modular software. Operations Research Letters, 8(1):3541, H. Lo, C-Y. Huang, I-Y. Chen, S-Y. Kuo, and M. R. Lyu. Reliability assessment and sensitivity analysis of software reliability growth modeling based on software module structure. Journal of Systems Software, 76(1):313, M. R. Lyu. Software reliability engineering: A roadmap. In FOSE 07: 2007 Future of Software Engineering, pages , Washington, DC, USA, IEEE Computer Society. 4

5 17. J. D. Musa. Operational profiles in software-reliability engineering. IEEE Software, 10(2):1432, Heimdahl, M. P Safety and Software Intensive Systems: Challenges Old and New. In 2007 Future of Software Engineering (May 23-25, 2007). International Conference on Software Engineering. IEEE Computer Society, Washington, DC, G. Rodrigues, D. Rosenblum, and S. Uchitel. Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems. In Proc. ETAPS 2005 Conference on Formal Approaches to Software Engineering, pages Springer, LNCS 3442, G. Rodrigues, D. Rosenblum, and S. Uchitel. Reliability prediction in model driven development. In Proc. of ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, LNCS 3713, pages Springer, October J. Skene and W. Emmerich. A Model Driven Architecture Approach to Analysis of Non-Functional Properties of Software Architecture. In Proc. of the 18th ASE. Toronto, CA. IEEE Computer Society, October A. Sokolova and E.P. de Vink. Probabilistic automata: system types, parallel composition and comparison. In C. Baier, B.R. Haverkort, H. Hermanns, J.-P. Katoen,nd M. Siegle, editors, Validation of Stochastic Systems: A Guide to Current Research, pages 143. LNCS 2925, S. Uchitel, J. Kramer, and J. Magee. Incremental Elaboration of Scenarios-Based Specifications and Behavior Models Using Implied Scenarios. In ACM Transactions on Software Engineering and Methodologies, volume 13(1), pages ACM Press, January W. L. Wang, Y. Wu, and M. H. Chen. An Architecture-Based Software Reliability Model. In Proc. Pacific Rim International Symposium on Dependable Computing. Washington, DC, USA, pages IEEE Computer Society, S. M. Yacoub, B. Cukic, and H. H. Ammar. Scenario-Based Reliability Analysis of Component-Based Software. In Proc. of the 10th ISSRE, Boca Raton, FL, USA. IEEE, November

6 26. Ivica Crnkovic Component Based Development Process and Component Life Cycle, 27th International Conference on Information Technology Interfaces, IEEE, Caretat, Croatia, Avaliação Apresentação de projeto (30%), trabalho prático (60%) e participação (10%). Haverá dois projetos ao longo do curso, sendo um para o dia 15 de Setembro e outro para o dia 26 de Novembro. A especificação dos projetos será definida ao longo do curso. 6

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

Critérios para Apoiar a Decisão Sobre o Momento de Parada dos Testes de Software

Critérios para Apoiar a Decisão Sobre o Momento de Parada dos Testes de Software Critérios para Apoiar a Decisão Sobre o Momento de Parada dos Testes de Software Victor Vidigal Ribeiro Guilherme Horta Travassos {vidigal, ght}@cos.ufrj.br Agenda Introdução Resultados da revisão Corpo

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

Avaliação de Desempenho em Sistemas de Computação e Comunicação

Avaliação de Desempenho em Sistemas de Computação e Comunicação Avaliação de Desempenho em Sistemas de Computação e Comunicação Universidade Federal do Espírito Santo - UFES Departamento de Informática - DI Laboratório de Pesquisas em Redes Multimidia - LPRM UFES Objetivos

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

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

Análise do impacto de operações de live migration em ambientes de computação em nuvem Workshop MoDCS 2012.2

Análise do impacto de operações de live migration em ambientes de computação em nuvem Workshop MoDCS 2012.2 Análise do impacto de operações de live migration em ambientes de computação em nuvem Workshop MoDCS 2012.2 Matheus D'Eça Torquato de Melo (mdetm@cin.ufpe.br) Paulo Maciel (prmm@cin.ufpe.br) 12 Roteiro

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

Implantação de Componentes de Software Distribuídos Muti-Linguagem e Multi-Plataforma

Implantação de Componentes de Software Distribuídos Muti-Linguagem e Multi-Plataforma Implantação de Componentes de Software Distribuídos Muti-Linguagem e Multi-Plataforma Amadeu Andrade Barbosa Júnior (ajunior@inf.puc-rio.br) Mestrado em Informática Orientador: Renato Fontoura de Gusmão

Leia mais

UMA FERRAMENTA PARA ANÁLISE DE DEPENDABILIDADE DE PROCESSOS INDUSTRIAIS

UMA FERRAMENTA PARA ANÁLISE DE DEPENDABILIDADE DE PROCESSOS INDUSTRIAIS UMA FERRAMENTA PARA ANÁLISE DE DEPENDABILIDADE DE PROCESSOS INDUSTRIAIS Daniel Macedo, Ivanovitch Silva, Luiz Affonso Guedes Laboratório de Informática Industrial Departamento de Engenharia de Computação

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

Os custos da realização dos Testes de Desempenho e Estresse

Os custos da realização dos Testes de Desempenho e Estresse Os custos da realização dos Testes de Desempenho e Estresse Iure de Sousa Fé 1, Ismayle de Sousa Santos 1, Pedro de Alcântara dos Santos Neto 1 1 Departamento de Informática e Estatística Universidade

Leia mais

LTSA Estudo de Caso: Boiler. Mateus Araújo Samuel Arcoverde Sergio Barza

LTSA Estudo de Caso: Boiler. Mateus Araújo Samuel Arcoverde Sergio Barza LTSA Estudo de Caso: Boiler Mateus Araújo Samuel Arcoverde Sergio Barza Roteiro Estudo de Caso Boiler LTSA Linguagem LTSA Propriedades LTSA - Ferramenta Comparações Referências 2 3 Estudo de Caso - Boiler

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

Avaliando modelos arquiteturais através de um checklist baseado em atributos de qualidade

Avaliando modelos arquiteturais através de um checklist baseado em atributos de qualidade Avaliando modelos arquiteturais através de um checklist baseado em atributos de qualidade Aluno: Rafael Ferreira Barcelos barcelos@cos.ufrj.br Orientador: Guilherme Horta Travassos ght@cos.ufrj.br Nível:

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

ARTIGO ORIGINAL UMA VISÃO GERAL SOBRE DEPENDABILIDADE NA COMPUTAÇÃO EM NUVEM

ARTIGO ORIGINAL UMA VISÃO GERAL SOBRE DEPENDABILIDADE NA COMPUTAÇÃO EM NUVEM ARTIGO ORIGINAL UMA VISÃO GERAL SOBRE DEPENDABILIDADE NA COMPUTAÇÃO EM NUVEM Geycy Dyany de Oliveira Lima 1 Luciane de Fátima Silva 2 Jamil Salem Barbar 3 RESUMO: Este trabalho apresenta as principais

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

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

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

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

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

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

FA PorT: Um Framework para Sistemas Portfólio-Tutor utilizando Agentes

FA PorT: Um Framework para Sistemas Portfólio-Tutor utilizando Agentes FA PorT: Um Framework para Sistemas Portfólio-Tutor utilizando Agentes Fábio Nicácio de Medeiros, Flávio Mota Medeiros, Arturo Hernández Domínguez Instituto de Computação Universidade Federal de Alagoas

Leia mais

UNIVERSIDADE ESTADUAL DO OESTE DO PARANÁ PRÓ-REITORIA DE GRADUAÇÃO. PLANO DE ENSINO - PERÍODO LETIVO/ANO 2008 ANO DO CURSO: 5 o

UNIVERSIDADE ESTADUAL DO OESTE DO PARANÁ PRÓ-REITORIA DE GRADUAÇÃO. PLANO DE ENSINO - PERÍODO LETIVO/ANO 2008 ANO DO CURSO: 5 o UNIVERSIDADE ESTADUAL DO OESTE DO PARANÁ PRÓ-REITORIA DE GRADUAÇÃO PLANO DE ENSINO - PERÍODO LETIVO/ANO 2008 ANO DO CURSO: 5 o Curso: Informática Modalidade: Bacharelado Turno: Integral Centro: Centro

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

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

Geração Automática de um Grafo de Requisitos a partir do Código da Aplicação

Geração Automática de um Grafo de Requisitos a partir do Código da Aplicação Geração Automática de um Grafo de Requisitos a partir do Código da Aplicação Marcelo M. Vieira 1, Fabio Tirelo 1, Humberto T. Marques Neto 1 1 Departamento de Ciência da Computação Pontifícia Universidade

Leia mais

MARACATU. A component search tool. Especificação, Projeto e Implementação de uma Arquitetura para um Engenho de Busca de Componentes

MARACATU. A component search tool. Especificação, Projeto e Implementação de uma Arquitetura para um Engenho de Busca de Componentes MARACATU A component search tool Especificação, Projeto e Implementação de uma Arquitetura para um Engenho de Busca de Componentes Vinicius Cardoso Garcia July 29, 2005 Agenda Introdução Especificação

Leia mais

Curso de Programação Distribuída e Paralela

Curso de Programação Distribuída e Paralela Curso de Programação Distribuída e Paralela Revisão de Tópicos Cláudio Geyer. Programação distribuída e paralela (C. Geyer) Revisão Tópicos 1 Tópicos e Conceitos Tópicos e Conceitos programação concorrente,

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

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

Sistemas de Tempo Real

Sistemas de Tempo Real Sistemas de Tempo Real Docente Paulo Pedreiras pbrp@ua.pt http://ppedreiras.av.it.pt/ Adaptado dos slides desenvolvidos pelo Prof. Doutor Luís Almeida para a disciplina Sistemas de Tempo-Real DETI/UA ;

Leia mais

Test-Module: uma ferramenta para gerenciamento de testes de software integrada ao FireScrum

Test-Module: uma ferramenta para gerenciamento de testes de software integrada ao FireScrum Test-Module: uma ferramenta para gerenciamento de testes de software integrada ao FireScrum Audrey B. Vasconcelos, Iuri Santos Souza, Ivonei F. da Silva, Keldjan Alves Centro de Informática Universidade

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

Método Ágil aplicado ao Desenvolvimento de Software Confiável baseado em Componentes

Método Ágil aplicado ao Desenvolvimento de Software Confiável baseado em Componentes Método Ágil aplicado ao Desenvolvimento de Software Confiável baseado em Componentes Alan Braz 1, Orientadora: Cecília M. F. Rubira 1, Co-orientador: Marco Vieira 2 1 Instituto de Computação Universidade

Leia mais

SWEBOK. Guide to the Software Engineering Body Of Knowledge. Teresa Maciel tmmaciel@gmail.com DEINFO/UFRPE

SWEBOK. Guide to the Software Engineering Body Of Knowledge. Teresa Maciel tmmaciel@gmail.com DEINFO/UFRPE SWEBOK Guide to the Engineering Body Of Knowledge Teresa Maciel tmmaciel@gmail.com DEINFO/UFRPE 1 Iniciativa do IEEE (Institute of Electrical and Electronics Engineers) Computer Society. (www.ieee.org)

Leia mais

Licenciatura de EI 2010/2011. msantos@ispgaya.pt. Mário Santos / Carlos Ramos

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

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

Requisitos para ferramentas de registro de defeitos de software

Requisitos para ferramentas de registro de defeitos de software Requisitos para ferramentas de registro de defeitos de software Alessandro Liebmam Departamento de Ciência da Computação Instituto de Ciências Exatas Universidade Federal de Minas Gerais (UFMG) CEP: 31270-010

Leia mais

Validando Sistemas Distríbuidos em Java com RMI Utilizando Injeção de Falhas

Validando Sistemas Distríbuidos em Java com RMI Utilizando Injeção de Falhas Validando Sistemas Distríbuidos em Java com RMI Utilizando Injeção de Falhas Vieira, Marcio. J. 1 1 Departamento de Informática Universidade Federal do Paraná (UFPR) Curitiba PR Brasil marciojv@inf.ufpr.br

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

UNIVERSIDADE CATÓLICA PORTUGUESA Centro Regional das Beiras Pólo de Viseu Instituto Universitário de Desenvolvimento e Promoção Social

UNIVERSIDADE CATÓLICA PORTUGUESA Centro Regional das Beiras Pólo de Viseu Instituto Universitário de Desenvolvimento e Promoção Social UNIVERSIDADE CATÓLICA PORTUGUESA Centro Regional das Beiras Pólo de Viseu Instituto Universitário de Desenvolvimento e Promoção Social DISCIPLINA Controlo Informático da Gestão LICENCIATURA Informática

Leia mais

Uma proposta de um processo prático para apoiar o reuso de software

Uma proposta de um processo prático para apoiar o reuso de software Uma proposta de um processo prático para apoiar o reuso de software Rosangela Kronig (UNIP) rkronig.mes.engprod@unip.br Ivanir Costa (UNIP) icosta@unip.br Mauro Spínola (UNIP) mspinola@unip.br Resumo A

Leia mais

PROPOSTA DE MODELAGEM DE UM SISTEMA FLEXÍVEL DE MANUFATURA CENTRADO EM ROBÔ UTILIZANDO REDES DE PETRI

PROPOSTA DE MODELAGEM DE UM SISTEMA FLEXÍVEL DE MANUFATURA CENTRADO EM ROBÔ UTILIZANDO REDES DE PETRI PROPOSTA DE MODELAGEM DE UM SISTEMA FLEXÍVEL DE MANUFATURA CENTRADO EM ROBÔ UTILIZANDO REDES DE PETRI FLAVIO PIECHNICKI (PUC) fpiechnicki@gmail.com Os avanços tecnológicos e o aumento da complexidade dos

Leia mais

UNIVERSIDADE CATÓLICA PORTUGUESA Centro Regional das Beiras Departamento de Economia, Gestão e Ciências Sociais

UNIVERSIDADE CATÓLICA PORTUGUESA Centro Regional das Beiras Departamento de Economia, Gestão e Ciências Sociais UNIVERSIDADE CATÓLICA PORTUGUESA Centro Regional das Beiras Departamento de Economia, Gestão e Ciências Sociais UNIDADE CURRICULAR Tecnologias de Informação e Comunicação MESTRADO Gestão ANO E SEMESTRE

Leia mais

MAQPSaaS - Método para Avaliação da Qualidade em Produtos de Softwares Oferecidos como Serviços.

MAQPSaaS - Método para Avaliação da Qualidade em Produtos de Softwares Oferecidos como Serviços. MAQPSaaS - Método para Avaliação da Qualidade em Produtos de Softwares Oferecidos como Serviços. Nemésio F. D. Filho 1, Clarindo I. Pádua 1, Andre L. Zambade 2, Paulo H. Bermejo 2 1 (ICEx) Instituto de

Leia mais

UMA ABORDAGEM DE PROJETO ARQUITETURAL BASEADO EM COMPONENTES NO CONTEXTO DE ENGENHARIA DE DOMÍNIO

UMA ABORDAGEM DE PROJETO ARQUITETURAL BASEADO EM COMPONENTES NO CONTEXTO DE ENGENHARIA DE DOMÍNIO 231 UMA ABORDAGEM DE PROJETO ARQUITETURAL BASEADO EM COMPONENTES NO CONTEXTO DE ENGENHARIA DE DOMÍNIO Ana Paula Terra Bacelo Resumo Reuso de software é considerada uma forma eficiente de aumentar a produtividade

Leia mais

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

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 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 BC1508 - ENGENHARIA DE SOFTWARE

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

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

ALEXANDER RIEGER HIPPLER UMA FERRAMENTA GRÁFICA PARA MODELAGEM E DISCRETIZAÇÃO DE SISTEMAS DE TEMPO REAL

ALEXANDER RIEGER HIPPLER UMA FERRAMENTA GRÁFICA PARA MODELAGEM E DISCRETIZAÇÃO DE SISTEMAS DE TEMPO REAL ALEXANDER RIEGER HIPPLER UMA FERRAMENTA GRÁFICA PARA MODELAGEM E DISCRETIZAÇÃO DE SISTEMAS DE TEMPO REAL LONDRINA PR 2013 ALEXANDER RIEGER HIPPLER UMA FERRAMENTA GRÁFICA PARA MODELAGEM E DISCRETIZAÇÃO

Leia mais

Desenvolvimento de uma Técnica de Inspeção de Diagrama de Estados com apoio dos Diagramas de Atividades descrevendo os Casos de Uso do Software

Desenvolvimento de uma Técnica de Inspeção de Diagrama de Estados com apoio dos Diagramas de Atividades descrevendo os Casos de Uso do Software Desenvolvimento de uma Técnica de Inspeção de Diagrama de Estados com apoio dos Diagramas de Atividades descrevendo os Casos de Uso do Software Karen Miyuki Nakazato Guilherme Horta Travassos {kmn, ght}@cos.ufrj.br

Leia mais

SISTEMA DE APOIO À DECISÃO DE INFORMAÇÕES ESPACIAIS VIA WEB PARA TRANSPORTE PÚBLICO URBANO

SISTEMA DE APOIO À DECISÃO DE INFORMAÇÕES ESPACIAIS VIA WEB PARA TRANSPORTE PÚBLICO URBANO SISTEMA DE APOIO À DECISÃO DE INFORMAÇÕES ESPACIAIS VIA WEB PARA TRANSPORTE PÚBLICO URBANO Rony Marcelo Arteaga Velasquez Pastor Willy Gonzales-Taco SISTEMA DE APOIO À DECISÃO DE INFORMAÇÕES ESPACIAIS

Leia mais

Uma Linguagem Específica de Domínio com Geração de Código Paralelo para Visualização de Grandes Volumes de Dados

Uma Linguagem Específica de Domínio com Geração de Código Paralelo para Visualização de Grandes Volumes de Dados Uma Linguagem Específica de Domínio com Geração de Código Paralelo para Visualização de Grandes Volumes de Dados Cleverson Ledur, Dalvan Griebler, Luiz Gustavo Fernandes, Isabel Manssour Pontifícia Universidade

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

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

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

Uma Estensão do STREAM para Escolha de Padrões Arquiteturais baseada em Requisitos Não-Funcionais

Uma Estensão do STREAM para Escolha de Padrões Arquiteturais baseada em Requisitos Não-Funcionais Uma Estensão do STREAM para Escolha de Padrões Arquiteturais baseada em Requisitos Não-Funcionais Fábio Silva 1,2, Marcia Lucena 1, Leonardo Lucena 2, Roniceli Moura 1 1 Universidade Federal do Rio Grande

Leia mais

Projeto de Pesquisa. Uma Agenda de Pesquisa para a Engenharia de Software Baseada em Buscas Heurísticas

Projeto de Pesquisa. Uma Agenda de Pesquisa para a Engenharia de Software Baseada em Buscas Heurísticas Projeto de Pesquisa Área de Conhecimento: Ciências Exatas e da Terra Sub-área de Conhecimento: Ciência da Computação Especialidade: Metodologia e Técnicas da Computação Engenharia de Software Uma Agenda

Leia mais

Modelagem de Processos de Software. Pato Branco, 85501-970, Paraná, Brasil

Modelagem de Processos de Software. Pato Branco, 85501-970, Paraná, Brasil Modelagem de Processos de Software André L. STOROLLI 1, Gislaine I. ZANOLLA 2, José E. GUIDINI 3, Beatriz T. BORSOI 4 1,2,3,4 Coordenação de Informática, grupo de pesquisa GETIC, Universidade Tecnológica

Leia mais

Modelos de Disponibilidade para Nuvens Privadas: Rejuvenescimento de Software Habilitado por Agendamento de Migração de VMs

Modelos de Disponibilidade para Nuvens Privadas: Rejuvenescimento de Software Habilitado por Agendamento de Migração de VMs Modelos de Disponibilidade para Nuvens Privadas: Rejuvenescimento de Software Habilitado por Agendamento de Migração de VMs Matheus D Eça Torquato de Melo 1, Paulo Romero Martins Maciel (Orientador) 2

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

ECTS Total Horas de contacto semestral 4 T TP PL TC S E OT 6 60 10 20 30. Jorge Miguel Calha Rainho Machado/jmachado@estgp.pt

ECTS Total Horas de contacto semestral 4 T TP PL TC S E OT 6 60 10 20 30. Jorge Miguel Calha Rainho Machado/jmachado@estgp.pt Ano Lectivo 2008/09 Curso Engenharia Informática Unidade Curricular Arquitecturas Tecnológicas dos Sistemas de Informação (6º Semestre) Objectivos gerais da Unidade Curricular 1 O objectivo desta unidade

Leia mais

Universidade do Estado de Santa Catarina/Centro de Ciências Tecnológicas UDESC/CCT

Universidade do Estado de Santa Catarina/Centro de Ciências Tecnológicas UDESC/CCT Universidade do Estado de Santa Catarina/Centro de Ciências Tecnológicas UDESC/CCT DCC - Departamento de Ciência da Computação Curso: BCC Bacharelado em Ciência da Computação Disciplina: OSRC001 Segurança

Leia mais

RELATÓRIO DE ATIVIDADES DISCIPLINA: ARQUITETURAS PARALELAS. Hadoop e QEF: Uma abordagem distribuída para aplicações de Astronomia

RELATÓRIO DE ATIVIDADES DISCIPLINA: ARQUITETURAS PARALELAS. Hadoop e QEF: Uma abordagem distribuída para aplicações de Astronomia UNIVERSIDADE FEDERAL FLUMINENSE INSTITUTO DE COMPUTAÇÃO (IC) RELATÓRIO DE ATIVIDADES DISCIPLINA: ARQUITETURAS PARALELAS Hadoop e QEF: Uma abordagem distribuída para aplicações de Astronomia Henrique Klôh

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

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

SIPTEST System Intelligent Process Testing. Abordagens de teste para metodologias de desenvolvimento específicas.

SIPTEST System Intelligent Process Testing. Abordagens de teste para metodologias de desenvolvimento específicas. SIPTEST System Intelligent Process Testing. Abordagens de teste para metodologias de desenvolvimento específicas. SIPTEST - System Intelligent Testing Link Consulting,SA Pág. 0 de 8 Índice 1 Introdução...

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

Avaliando o Uso de Servidores para Tarefas Aperiódicas para fins de Tolerância a Falhas em Sistemas com Escalonamento

Avaliando o Uso de Servidores para Tarefas Aperiódicas para fins de Tolerância a Falhas em Sistemas com Escalonamento Avaliando o Uso de Servidores para Tarefas Aperiódicas para fins de Tolerância a Falhas em Sistemas com Escalonamento Dinâmico Ana Carolina Sokolonski Anton 1, George Marconi de Araújo Lima 1 1 Laboratório

Leia mais

Classificação: Determinístico

Classificação: Determinístico Prof. Lorí Viali, Dr. viali@pucrs.br http://www.pucrs.br/famat/viali/ Da mesma forma que sistemas os modelos de simulação podem ser classificados de várias formas. O mais usual é classificar os modelos

Leia mais

ANÁLISE DE EVOLUÇÃO DE SOFTWARE PARA RECUPERAÇÃO DA RASTREABILIDADE ENTRE DOCUMENTAÇÃO E CÓDIGO FONTE BASEADA EM MODELOS DE CARACTERÍSTICAS

ANÁLISE DE EVOLUÇÃO DE SOFTWARE PARA RECUPERAÇÃO DA RASTREABILIDADE ENTRE DOCUMENTAÇÃO E CÓDIGO FONTE BASEADA EM MODELOS DE CARACTERÍSTICAS ANÁLISE DE EVOLUÇÃO DE SOFTWARE PARA RECUPERAÇÃO DA RASTREABILIDADE ENTRE DOCUMENTAÇÃO E CÓDIGO FONTE BASEADA EM MODELOS DE CARACTERÍSTICAS Autor: Allysson Costa e Silva 1, Orientador: Prof. Dr. Marcelo

Leia mais

Identificação dos Pontos de Estabilidade e Flexibilidade no Modelo de Requisitos dos Métodos de Preço de Venda

Identificação dos Pontos de Estabilidade e Flexibilidade no Modelo de Requisitos dos Métodos de Preço de Venda Identificação dos Pontos de Estabilidade e Flexibilidade no Modelo de Requisitos dos Métodos de Preço de Venda Vinícius C. Andrade¹, Paulo E. B. Capeller¹, Simone N. Matos¹ 1 Universidade Tecnológica Federal

Leia mais

Pontifícia Universidade Católica do Rio Grande do Sul FACULDADE DE INFORMÁTICA

Pontifícia Universidade Católica do Rio Grande do Sul FACULDADE DE INFORMÁTICA DEPARTAMENTO: Fundamentos da Computação CURSO: Bacharelado em Ciência da Computação DISCIPLINA: Sistemas Embarcados CÓDIGO: 4613R CRÉDITOS: 04 CARGA HORÁRIA: 60 horas-aula VALIDADE: a partir de 2008/2

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

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

Aplicação de Métodos baseado em Processos de Negócio para Desenvolvimento de Serviços

Aplicação de Métodos baseado em Processos de Negócio para Desenvolvimento de Serviços Aplicação de Métodos baseado em Processos de Negócio para Desenvolvimento de Serviços Luan Lima 1, Ricardo Diniz Sul 1,2, Leonardo Guerreiro Azevedo 1,2,3 1 Departamento de Informática Aplicada (DIA) Universidade

Leia mais

Representando Características Autonômicas nos Processos de Negócio

Representando Características Autonômicas nos Processos de Negócio Representando Características Autonômicas nos Processos de Negócio Karolyne Oliveira, Tarcísio Pereira, Emanuel Santos, Jaelson Castro Universidade Federal de Pernambuco UFPE, Recife, PE 50 740-560, Brazil

Leia mais

Fatores de Impacto para alguns Periódicos Base JCR-2003 /ISI 1

Fatores de Impacto para alguns Periódicos Base JCR-2003 /ISI 1 Fatores de Impacto para alguns Periódicos Base JCR-2003 /ISI 1 O Journal Citation Reports (JCR) publica anualmente o índice conhecido por fator de impacto de um periódico para medir a freqüência com que

Leia mais

7 Congresso de Pós-Graduação ELABORAÇÃO DE CATÁLOGOS DE REQUISITOS NÃO-FUNCIONAIS PARA MIDDLEWARE RFID UTILIZANDO NFR-FRAMEWORK

7 Congresso de Pós-Graduação ELABORAÇÃO DE CATÁLOGOS DE REQUISITOS NÃO-FUNCIONAIS PARA MIDDLEWARE RFID UTILIZANDO NFR-FRAMEWORK 7 Congresso de Pós-Graduação ELABORAÇÃO DE CATÁLOGOS DE REQUISITOS NÃO-FUNCIONAIS PARA MIDDLEWARE RFID UTILIZANDO NFR-FRAMEWORK Autor(es) RENATO CRISTIANO TORRES Orientador(es) LUIS EDUARDO GALVAO MARTINS

Leia mais

Requisitos para testes de sistemas de informação baseados na WEB

Requisitos para testes de sistemas de informação baseados na WEB Requisitos para testes de sistemas de informação baseados na WEB Raphael Augusto F. S. de Oliveira 1, Rodolfo F. Resende 1 1 Departamento de Ciência da Computação Universidade Federal de Minas Gerais (UFMG)

Leia mais

SISTEMAS DISTRIBUIDOS E PARALELOS 2014/2015 1º SEMESTRE

SISTEMAS DISTRIBUIDOS E PARALELOS 2014/2015 1º SEMESTRE SISTEMAS DISTRIBUIDOS E PARALELOS 2014/2015 1º SEMESTRE Objectivos da Disciplina Desenvolver competências técnicas e científicas na área dos sistemas distribuídos e paralelos. Compreender o conceito de

Leia mais

Monitoramento de disponibilidade de serviços de armazenamento temporário de informações em um cluster de servidores Zookeeper

Monitoramento de disponibilidade de serviços de armazenamento temporário de informações em um cluster de servidores Zookeeper Monitoramento de disponibilidade de serviços de armazenamento temporário de informações em um cluster de servidores Zookeeper Patrick A. Bungama Universidade Federal do Paraná (UFPR) Curitiba PR Brasil

Leia mais

Europass Curriculum Vitae

Europass Curriculum Vitae Europass Curriculum Vitae Personal information Surname(s) / First name(s) Address(es) Custódio, Jorge Filipe Telephone(s) +351 919687707 Email(s) Personal website(s) Nationality(-ies) Rua Francisco Pereira

Leia mais

EMENTAS DAS DISCIPLINAS DA ESPECIALIZAÇÃO EM BANCO DE DADOS

EMENTAS DAS DISCIPLINAS DA ESPECIALIZAÇÃO EM BANCO DE DADOS EMENTAS DAS DISCIPLINAS DA ESPECIALIZAÇÃO EM BANCO DE DADOS Nome da Disciplina: Introdução à Banco de Dados teoria e projeto Carga horária: 50 Docente responsável: Plínio de Sá Leitão Júnior (INF/UFG)

Leia mais

UTILIZAÇÃO DE METODOLOGIAS PARA DESENVOLVIMENTO DE AGENTES: UM ESTUDO DE CASO NA MICROECONOMIA

UTILIZAÇÃO DE METODOLOGIAS PARA DESENVOLVIMENTO DE AGENTES: UM ESTUDO DE CASO NA MICROECONOMIA UTILIZAÇÃO DE METODOLOGIAS PARA DESENVOLVIMENTO DE AGENTES: UM ESTUDO DE CASO NA MICROECONOMIA VANESSA M. BERNY, DIANA F. ADAMATTI, DANIELA FERREIRA GOMES, ANTONIO C. DA ROCHA COSTA RESUMO Este artigo

Leia mais

Definição de Critérios para Análise Comparativa de Modelos de Referência para Desenvolvimento Global de Software

Definição de Critérios para Análise Comparativa de Modelos de Referência para Desenvolvimento Global de Software Definição de Critérios para Análise Comparativa de Modelos de Referência para Desenvolvimento Global de Software Leonardo Pilatti, Jorge Luis Nicolas Audy Faculdade de Informática Programa de Pós Graduação

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

Uma Análise Crítica dos Desafios para Engenharia de Requisitos em Manutenção de Software

Uma Análise Crítica dos Desafios para Engenharia de Requisitos em Manutenção de Software Uma Análise Crítica dos Desafios para Engenharia de Requisitos em Manutenção de Software Rodrigo Santos de Espindola, Azriel Majdenbaum, Jorge Luiz Nicolas Audy Programa de Pós-Graduação em Ciência da

Leia mais

DEFINIÇÃO DE MÉTRICAS DE PRODUTOS DE SOFTWARE PARA UMA FERREMENTA DE WORKFLOW

DEFINIÇÃO DE MÉTRICAS DE PRODUTOS DE SOFTWARE PARA UMA FERREMENTA DE WORKFLOW DEFINIÇÃO DE MÉTRICAS DE PRODUTOS DE SOFTWARE PARA UMA FERREMENTA DE WORKFLOW RESUMO Para melhorar ou tornar os processos mais eficazes, precisamos de métodos mais efetivos para a modelagem dos mesmos.

Leia mais

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

UNIVERSIDADE PRESBITERIANA MACKENZIE Faculdade de Computação e Informática EMENTAS DAS DISCIPLINAS OPTATIVAS II EMENTAS DAS DISCIPLINAS 1 FACUL DADE DE COMPUTAÇÃO E INFORMATICA MODELAGEM DE NEGÓCIOS ( 68) Teóricas Desenvolvimento do conceito e as tipologias de estrutura organizacional. Análise estrutural e requisitos

Leia mais

ESTUDO E IMPLEMENTAÇÃO DE UM SISTEMA PARA CONTROLE DE VERSÕES

ESTUDO E IMPLEMENTAÇÃO DE UM SISTEMA PARA CONTROLE DE VERSÕES ISBN 978-85-61091-05-7 Encontro Internacional de Produção Científica Cesumar 27 a 30 de outubro de 2009 ESTUDO E IMPLEMENTAÇÃO DE UM SISTEMA PARA CONTROLE DE VERSÕES Vilson Raphael Vello de Andrade 1 ;

Leia mais

10 Referências bibliográficas

10 Referências bibliográficas 10 Referências bibliográficas [1] VEGA, J.L.L. Avaliação e reforço das condições de estabilidade de tensão em barras de tensão controlada por geradores e compensadores síncronos. 259f. Tese (Doutorado)-

Leia mais

SIAPDI: um sistema de processamento distribuído de imagens medicas com CORBA

SIAPDI: um sistema de processamento distribuído de imagens medicas com CORBA SIAPDI: um sistema de processamento distribuído de imagens medicas com CORBA Euclides de Moraes Barros Junior, M.Sc - UFSC O SIAPDI O desenvolvimento deste trabalho teve como motivação solucionar os problemas

Leia mais

Políticas de Controle de Concorrência no Desenvolvimento Distribuído de Software

Políticas de Controle de Concorrência no Desenvolvimento Distribuído de Software Políticas de Controle de Concorrência no Desenvolvimento Distribuído de Software João Gustavo Prudêncio, Leonardo Murta, Cláudia Werner PESC/COPPE Universidade Federal do Rio de Janeiro Caixa Postal 68.511

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

8º Congresso de Pós-Graduação DESENVOLVIMENTO DE UMA MÉTRICA DE COMPLEXIDADE DE REQUISITOS

8º Congresso de Pós-Graduação DESENVOLVIMENTO DE UMA MÉTRICA DE COMPLEXIDADE DE REQUISITOS 8º Congresso de Pós-Graduação DESENVOLVIMENTO DE UMA MÉTRICA DE COMPLEXIDADE DE REQUISITOS Autor(es) CARLOS ROBERTO PAVIOTTI Orientador(es) LUIZ EDUARDO GALVÃO MARTINS 1. Introdução A crescente evolução

Leia mais

Teste de Web Services Baseado no Critério Análise de Mutantes

Teste de Web Services Baseado no Critério Análise de Mutantes Teste de Web Services Baseado no Critério Análise de Mutantes André Luiz S. Solino 1, Silvia Regina Vergilio 1 1 Departamento de Informática Universidade Federal do Paraná (UFPR) Caixa Postal 19.081 81.531-980

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