Giselle Barbosa Gomes Machado

Formação complementar

Idiomas

Áreas de atuação

Organização de eventos

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• GOMES, G. B. ; Vander Alves ; GHEYI, R. . Formal Specification and Verification of Well-formedness in Business Process Product Lines. In: 6th Latin American Workshop no Aspect-Oriented Software Development: Advanced Modularization Techniques, 2012, Natal. LAWASP, 2012.

• Idarlan Machado ; BONIFACIO, R. ; ALVES, V. ; TURNES, L. ; GOMES, G. B. . Managing variability in business processes: an aspect-oriented approach. In: Proceedings of the 2011 international workshop on Early aspects, 2011, Porto de Galinhas, Brasil. workshop on Early aspects. New York, NY, USA: ACM, 2011. p. 25-30.

Projetos de pesquisa

• 2014 - Atual

  Evolução Eficiente e Confiável de Linha de Produtos de Software Abertas, Descrição: O objetivo geral deste projeto de pesquisa é a definição de um processo para a evolução eficiente e confiável em LPSDs abertas atendendo a níveis controlados de qualidade.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (2) . , Integrantes: Giselle Barbosa Gomes Machado - Coordenador / Vander Ramos Alves - Integrante / André Luiz Peron Martins Lanna - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2010 - 2012

  Especifi cação e Veri fica ção Formais de Boa-Formação em Linha de Produtos de Processo de Negócio, Descrição: Um grande desafio em linha de produtos (LPs) é garantir as propriedades dos produtos gerados. Com o crescimento exponencial do número de produtos em função do número de características, assegurar que qualquer produto cumpre uma dada propriedade é um problema não trivial. Em particular, este é um problema válido para verificar a boa-formação em LPs. Embora tenha sido explorado em alguns níveis de abstração (por exemplo, a implementação), este problema permanece inexplorado para a linha de produtos de processo de negócios que foi desenvolvida usando uma abordagem composicional e possui melhor modularidade. Assim, nesta dissertação, tratamos do problema de verificação da boa-formação em Linha de Produtos de Processo de Negócio, incluindo a definição de regras de boa-formação de processos de negócio, especificação formal de transformações composicionais, a análise de exemplos e contraexemplos gerados pelo model checking, e a prova de que transformações preservam as propriedades de todos os produtos sem realmente ter que instanciá-los. Foi realizada uma formalização de linha de produtos de processo de negócio em Alloy com a ferramenta Alloy Analyzer, que possui uma linguagem de especificação formal e um mecanismo de verificação de propriedades (model checking). Também foram realizadas formalização de linha de produtos de processo de negócio e provas de teoremas no Prototype Verification System (PVS), que tem uma linguagem de especificação formal e um assistente de provas.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Giselle Barbosa Gomes Machado - Coordenador / Vander Ramos Alves - Integrante / Rohit Gheyi - Integrante.

Projetos de desenvolvimento

• 2013 - Atual

  Evolução tecnológica do framework Cortex - EB, Descrição: O projeto tem como objetivo a pesquisa, desenvolvimento e inovação para a evolução tecnológica do framework Cortex, de modo a servir de base para o desenvolvimento integrado de uma família de aplicativos para o Sistema de Comando e Controle da Força Terrestre - SC2FTer, permitindo o reuso de serviços entre as soluções, o desenvolvimento poliglota de software (mais de uma linguagem de programação) e a implantação em ambientes web, mobile e desktop.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Giselle Barbosa Gomes Machado - Integrante / Ricardo Puttini - Coordenador.

• 2010 - 2011

  Sistema Integrado de Administração de Recursos Humanos (SIAPE), Descrição: O presente projeto visa dar diretrizes e subsídios para auxiliar a elaboração do termo de referência e outros documentos para aquisição desta solução no mercado e tem como objetivo geral o Planejamento e Especificação para Aquisição do Novo Sistema de Gestão de Recursos Humanos do Poder Executivo Federal, o SIGEPE.gov.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) / Especialização: (3) / Mestrado acadêmico: (3) . , Integrantes: Giselle Barbosa Gomes Machado - Integrante / Hilmer Rodrigues Neri - Coordenador., Financiador(es): Ministério do Planejamento, Orçamento e Gestão - Cooperação.

• 2013 - Atual

  Evolução tecnológica do framework Cortex - EB, Descrição: O projeto tem como objetivo a pesquisa, desenvolvimento e inovação para a evolução tecnológica do framework Cortex, de modo a servir de base para o desenvolvimento integrado de uma família de aplicativos para o Sistema de Comando e Controle da Força Terrestre - SC2FTer, permitindo o reuso de serviços entre as soluções, o desenvolvimento poliglota de software (mais de uma linguagem de programação) e a implantação em ambientes web, mobile e desktop.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Giselle Barbosa Gomes Machado - Integrante / Ricardo Puttini - Coordenador.

• 2010 - 2011

  Sistema Integrado de Administração de Recursos Humanos (SIAPE), Descrição: O presente projeto visa dar diretrizes e subsídios para auxiliar a elaboração do termo de referência e outros documentos para aquisição desta solução no mercado e tem como objetivo geral o Planejamento e Especificação para Aquisição do Novo Sistema de Gestão de Recursos Humanos do Poder Executivo Federal, o SIGEPE.gov.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) / Especialização: (3) / Mestrado acadêmico: (3) . , Integrantes: Giselle Barbosa Gomes Machado - Integrante / Hilmer Rodrigues Neri - Coordenador., Financiador(es): Ministério do Planejamento, Orçamento e Gestão - Cooperação.

• 2013 - Atual

  Evolução tecnológica do framework Cortex - EB, Descrição: O projeto tem como objetivo a pesquisa, desenvolvimento e inovação para a evolução tecnológica do framework Cortex, de modo a servir de base para o desenvolvimento integrado de uma família de aplicativos para o Sistema de Comando e Controle da Força Terrestre - SC2FTer, permitindo o reuso de serviços entre as soluções, o desenvolvimento poliglota de software (mais de uma linguagem de programação) e a implantação em ambientes web, mobile e desktop.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Giselle Barbosa Gomes Machado - Integrante / Ricardo Puttini - Coordenador.

• 2010 - 2011

  Sistema Integrado de Administração de Recursos Humanos (SIAPE), Descrição: O presente projeto visa dar diretrizes e subsídios para auxiliar a elaboração do termo de referência e outros documentos para aquisição desta solução no mercado e tem como objetivo geral o Planejamento e Especificação para Aquisição do Novo Sistema de Gestão de Recursos Humanos do Poder Executivo Federal, o SIGEPE.gov.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) / Especialização: (3) / Mestrado acadêmico: (3) . , Integrantes: Giselle Barbosa Gomes Machado - Integrante / Hilmer Rodrigues Neri - Coordenador., Financiador(es): Ministério do Planejamento, Orçamento e Gestão - Cooperação.

• 2013 - Atual

  Evolução tecnológica do framework Cortex - EB, Descrição: O projeto tem como objetivo a pesquisa, desenvolvimento e inovação para a evolução tecnológica do framework Cortex, de modo a servir de base para o desenvolvimento integrado de uma família de aplicativos para o Sistema de Comando e Controle da Força Terrestre - SC2FTer, permitindo o reuso de serviços entre as soluções, o desenvolvimento poliglota de software (mais de uma linguagem de programação) e a implantação em ambientes web, mobile e desktop.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Giselle Barbosa Gomes Machado - Integrante / Ricardo Puttini - Coordenador.

• 2010 - 2011

  Sistema Integrado de Administração de Recursos Humanos (SIAPE), Descrição: O presente projeto visa dar diretrizes e subsídios para auxiliar a elaboração do termo de referência e outros documentos para aquisição desta solução no mercado e tem como objetivo geral o Planejamento e Especificação para Aquisição do Novo Sistema de Gestão de Recursos Humanos do Poder Executivo Federal, o SIGEPE.gov.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) / Especialização: (3) / Mestrado acadêmico: (3) . , Integrantes: Giselle Barbosa Gomes Machado - Integrante / Hilmer Rodrigues Neri - Coordenador., Financiador(es): Ministério do Planejamento, Orçamento e Gestão - Cooperação.