Leopoldo Pires Ferreira

Idiomas

Áreas de atuação

Participação em eventos

Produções bibliográficas

• REBÊLO, Henrique ; LIMA, R. M. F ; CORNÉLIO, M. L ; Sérgio Soares ; FERREIRA, L. P. . Implementing Java Modeling Language Contracts with AspectJ. In: 23rd Annual ACM Symposium on Applied Computing, 2008, Fortaleza. SAC '08: Proceedings of the 2008 ACM symposium on Applied computing. New York - NY, 2008. p. 228-233.

Outras produções

Projetos de pesquisa

• 2006 - 2007

  Uma Estratégia de Especificação Formal para Dispositos Móveis, Descrição: A disciplina de Métodos formais está presente no currículo de muitos cursos de graduação, mestrado e doutorado na área de Ciência da Computação. Devido aos conceitos matemáticos e aspectos teóricos envolvidos, a disciplina é normalmente ensinada através de métodos tradicionais (quadro branco e slides). Além disso, as ferramentas computacionais disponíveis não contemplam as modernas tecnologias voltadas para a área de ensino e aprendizagem. Em particular, nenhuma delas oferece um ambiente virtual de ensino e aprendizagem, com facilidades para troca de informações e experiências sobre o tema em estudo. Finalmente, requisitos de extensibilidade não são considerados por tais ferramentas. Este projeto propõe o desenvolvimento de um ambiente educacional para ensino de métodos formais em cursos de graduação baseado no Eclipse. Petri nets será a técnica de especificação formal a ser adotada. O ambiente educacional será parte do framework EZPetri. O framework EZPetri é uma perspectiva da plataforma Eclipse voltada para redes de Petri. Ele adota o Petri Net Markup Language (PNML) como formato interno para representação das redes [2]. A união do Eclipse e PNML tem se mostrado um instrumento bastante efetivo para a integração de ferramentas e aplicações baseadas em redes de Petri. Atualmente, três aplicações estão sendo integradas ao framework: estimativa de consumo de potência em software; um modelo SystemC para redes de Petri; síntese de escalas para sistemas de tempo real críticos. Tais aplicações foram desenvolvidas com nenhum conhecimento sobre o EZPetri. EZPetri é portanto um terreno fértil para a combinação de ferramentas e aplicações baseadas em redes de Petri em um único ambiente. oferecendo uma nova perspectiva de integração para a comunidade de redes de Petri.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Leopoldo Pires Ferreira - Integrante / Henrique Emanuel Mostaert Rebêlo - Integrante / Ricardo Massa Ferreira Lima - Coordenador., Financiador(es): Universidade de Pernambuco - Bolsa., Número de produções C, T & A: 1

• 2005 - 2006

  Petrilogic: Um plugin para Métodos Formais no Eclipse, Descrição: A disciplina de Métodos formais está presente no currículo de muitos cursos de graduação, mestrado e doutorado na área de Ciência da Computação. Devido aos conceitos matemáticos e aspectos teóricos envolvidos, a disciplina é normalmente ensinada através de métodos tradicionais (quadro branco e slides). Além disso, as ferramentas computacionais disponíveis não contemplam as modernas tecnologias voltadas para a área de ensino e aprendizagem. Em particular, nenhuma delas oferece um ambiente virtual de ensino e aprendizagem, com facilidades para troca de informações e experiências sobre o tema em estudo. Finalmente, requisitos de extensibilidade não são considerados por tais ferramentas. Este projeto propõe o desenvolvimento de um ambiente educacional para ensino de métodos formais em cursos de graduação baseado no Eclipse. Petri nets será a técnica de especificação formal a ser adotada. O ambiente educacional será parte do framework EZPetri. O framework EZPetri é uma perspectiva da plataforma Eclipse voltada para redes de Petri. Ele adota o Petri Net Markup Language (PNML) como formato interno para representação das redes [2]. A união do Eclipse e PNML tem se mostrado um instrumento bastante efetivo para a integração de ferramentas e aplicações baseadas em redes de Petri. Atualmente, três aplicações estão sendo integradas ao framework: estimativa de consumo de potência em software; um modelo SystemC para redes de Petri; síntese de escalas para sistemas de tempo real críticos. Tais aplicações foram desenvolvidas com nenhum conhecimento sobre o EZPetri. EZPetri é portanto um terreno fértil para a combinação de ferramentas e aplicações baseadas em redes de Petri em um único ambiente. oferecendo uma nova perspectiva de integração para a comunidade de redes de Petri... , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (7) / Mestrado acadêmico: (1) . , Integrantes: Leopoldo Pires Ferreira - Integrante / Henrique Emanuel Mostaert Rebêlo - Integrante / Ricardo Massa Ferreira Lima - Coordenador / César Augusto Lins de Oliveira - Integrante / Cleyton Mário O. Rodrigues - Integrante / OLIVEIRA JR - Integrante / Frederico Alves - Integrante / Renata Medeiros - Integrante / Vanessa Trajano - Integrante., Financiador(es): Universidade de Pernambuco - Bolsa., Número de produções C, T & A: 1

Prêmios