Trabalhos publicados

Paes, J. ; Lima, C. ; SANTOS, E. ; CASTRO, J. F. B.; SILVA, C. An Approach to Generate Tools for i* Languages. 25th Brazilian Symposium on Software Engineering (SBES 2011), São Paulo - SP, Brazil, 28-30 September 2011. (to appear)

CASTRO, J. F. B., LUCENA, M., SILVA, C., Alencar, F., SANTOS, E., Pimentel, J. Changing Attitudes Towards the Generation of Architectural Models. The Journal of Systems and Software, 2011. (to appear)

Pimentel, J., LUCENA, M., CASTRO, J. F. B., SILVA, C., Alencar, F., SANTOS, E. Deriving Software Architectural Models from Requirements Models for Adaptive Systems: The STREAM-A approach. Requirements Engineering (London. Print), 2011. (to appear)

Rossana M. S. Cruz, Helton M. Peixoto and Rafael M. Magalhães (2011). Artificial Neural Networks and Efficient Optimization Techniques for Applications in Engineering, Artificial Neural Networks - Methodological Advances and Biomedical Applications, Kenji Suzuki (Ed.), ISBN: 978-953-307-243-2, InTech, Available from: Intech

SILVA, C. ; Dias, P. ; Araújo, J. ; Moreira, A. . De Arquitecturas Organizacionais em i* a Arquitecturas Baseadas em Agentes: Uma abordagem orientada a modelos. In: 14th Workshop on Requirements Engineering (WER'11), 2011, Rio de Janeiro. Proceedings of the 14th Workshop on Requirements Engineering, 2011.

SILVA, C. ; Borba, C. ; CASTRO, J. F. B. . A Goal Oriented Approach to Identify and Configure Feature Models for Software Product Lines. In: Workshop on Requirements Engineering (WER'11), 2011, Rio de Janeiro. Proceedings of the 14th Workshop on Requirements Engineering, 2011.

Paes, J. ; Lima, C. ; SANTOS, E. ; SILVA, C. ; CASTRO, J. F. B. . AGILE: Automatic Generation of i* Languages. In: XIV Ibero-American Conference on Software Engineering (CIbSE'11), 2011, Rio de Janeiro. Proceedings of the XIV Ibero-American Conference on Software Engineering, 2011.

LUCENA, M. ; CASTRO, J. F. B. ; SILVA, C. ; Alencar, F. ; SANTOS, E. . STREAM: An Strategy for Transition between Requirement Models and Architectural Models. In: 26th ACM Symposium on Applied Computing (SAC 2011), Requirements Engineering Track (RE-Track'11), 2011, TaiChung, Taiwan.

Lopes, Ewerton ; ALENCAR, L. ; ASSIS, E. ; ALMEIDA, L. ; ANDRADE, M. ; DANTAS, J. ; Costa, Thaíse ; Rebouças, Ayla ; Dantas, Vanessa ; SILVA, C. ; Souza, Flávia . CAPACITAÇÃO DOCENTE EM INFORMÁTICA NO LITORAL NORTE. In: XII ENCONTRO DE EXTENSÃO DA UFPB, 2010, João Pessoa. Anais do XII ENCONTRO DE EXTENSÃO DA UFPB.

Lopes, Ewerton ; ALENCAR, L. ; ASSIS, E. ; ALMEIDA, L. ; ANDRADE, M. ; DANTAS, J. ; Costa, Thaíse ; Rebouças, Ayla ; Dantas, Vanessa ; SILVA, C. ; Souza, Flávia . A Formação de Discentes no Ensino da Informática: Lições Aprendidas na Capacitação Tecnológica de Professores do Litoral Norte. In: XII ENCONTRO DE EXTENSÃO da UFPB, 2010, João Pessoa. Anais do XII ENCONTRO DE EXTENSÃO.

VITORIO, S. ; MAIA, M. ; SILVA, C. A ENGENHARIA DE REQUISITOS NO DESENVOLVIMENTO DE SOFTWARES DE GESTÃO DO APRENDIZADO. In: XIII Encontro de Iniciação à Docência da UFPB, 2010, João Pessoa. Anais do XIII Encontro de Iniciação à Docência da UFPB.

Calisto, Andre ; SILVA, C. DESENVOLVIMENTO DE UM JOGO INTELIGENTE PARA EDUCAÇÃO AMBIENTAL. In: XVIII ENCONTRO DE INICIAÇÃO CIENTÍFICA DA UFPB, 2010, João Pessoa. Anais do XVIII ENCONTRO DE INICIAÇÃO CIENTÍFICA DA UFPB.

FREITAS, M. ; SILVA, C. SUPORTE FERRAMENTAL NO DESENVOLVIMENTO DE SOFTWARE BASEADO EM AGENTES PARA SISTEMAS DE COMPUTAÇÃO PERVASIVA. In: XVIII ENCONTRO DE INICIAÇÃO CIENTÍFICA DA UFPB, 2010, João Pessoa. Anais do XVIII ENCONTRO DE INICIAÇÃO CIENTÍFICA DA UFPB, 2010.

Oliveira, C. ; Araújo, J. ; SILVA, C. . Integração de KAOS com Cenários Aspectuais. In: XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), 2010, Valencia. Proceedings of the XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), 2010.

Calisto, Andre ; BARBOSA, D. ; SILVA, C. Uma Análise Comparativa entre Jogos Educativos Visando a Criação de um Jogo para Educação Ambiental. In: XXI Simpósio Brasileiro de Informática na Educação, 2010, João Pessoa. Anais do SBIE'10.

SILVA, C. ; Calisto, Andre ; BARBOSA, D. Proposta de um Processo de Desenvolvimento de Jogos Educativos. In: XXI Simpósio Brasileiro de Informática na Educação, 2010, João Pessoa. Anais do SBIE'10. Seção de Artigos Resumidos.

SILVA, C.; VITORIO, S. ; MAIA, M. Uma abordagem de Engenharia de Requisitos para Softwares de Gestão do Aprendizado: o caso AMADeUs. In: XXI Simpósio Brasileiro de Informática na Educação, 2010, João Pessoa. Anais do SBIE'10. Seção de Artigos Resumidos.

SOUSA Filho, Gilberto F.; CORREIRA, Juliana H.; ALENCAR, Ivan A.; CABRAL, Lucídio; QUIRINO, Roberto. Otimização e implementação de um sistema de alocação ótima de serviços públicos utilizando a metaheurística GRASP. Simpósio Brasileiro de Pesquisa Operacional. Bento Gonçalves, Brasil, Setembro de 2010.

PINTO, Alexander; SOUSA Filho, Gilberto; CABRAL, Lucídio; RAMOS, Daniel. Hybrid Metaheuristic for the Aircraft Rotation Problem. In: ALIO-INFORMS Joint International Meeting. Buenos Aires, Argentina, 6-9 June de 2010.

DIAS, J. A Software Architecture Process for SOA Definition - Designing Service-Oriented Architectures in an Enterprise Context. LAP Lambert Academic Publishing. February, 2010.

DIAS, Jorge; ALMEIDA, Eduardo; MEIRA, Sílvio. SIW: A Technique to Identify Services in SOA-based Enterprise Projects with Multiple Development Teams. In: XIII Iberoamerican Conference on Software Engineering. Cuenca, Ecuador, 12-16 April 2010.

ALENCAR, F.; CASTRO, J.; LUCENA, M.; SANTOS, E.; SILVA, C.; ARAÚJO, J.; MOREIRA, A. Towards Modular i* Models. In: 25th Annual ACM Symposium on Applied Computing (ACM SAC 2010), Special Track on Requirements Engineering, pp. 292-297. Sierre, Switzerland. March 22-26, 2010.

SILVA, C. ; Borba, C. ; CASTRO, Jaelson . G2SPL: Um Processo de Engenharia de Requisitos Orientada a Objetivos para Linhas de Produtos de Software. In: 13th Workshop on Requirements Engineering (WER 2010), 2010, Cuenca, Ecuador.

Alencar, F. ; LUCENA, M. ; SILVA, C. ; SANTOS, E. ; CASTRO, Jaelson . Improving the Modularity of i* Models. In: Fourth International i* Workshop - istar 2010 co-located with the 22nd International Conference on Advanced Information Systems Engineering (CAiSE'10), 2010, Hammamet, Tunísia. CEUR Workshop Proceedings, available at: http://ceur-ws.org/Vol-586.

Pimentel, J ; SANTOS, E. ; Santos, B. ; Borba, C. ; Paes, J. ; Lima, C. ; BEZERRA, A. ; CASTRO, J. F. B. ; Alencar, F. ; SILVA, C. ; Ramos, R. ; LUCENA, M. . Using i* and Tropos in a Software Engineering Contest: Lessons Learnt and Some Key Challenges. In: Fourth International i* Workshop - istar 2010 co-located with the 22nd International Conference on Advanced Information Systems Engineering (CAiSE'10), 2010, Hammamet, Tunísia. PCEUR Workshop Proceedings, available at: http://ceur-ws.org/Vol-586.

DIAS, Jorge; ALMEIDA, Eduardo; MEIRA, Sílvio. The Analysis Activity in a Systematic SOA-based Architecture Process. Fourteenth IEEE International EDOC Conference, The Enterprise Computing Conference (IEEE EDOC). Second Workshop on Service oriented Enterprise Architecture for Enterprise Engineering (SoEA4EE'2010). Vitória, Brazil, 25-29 October, 2010.

Henrique, M. S. ; Raposo, E. H. ; Freire, S. R. ; Cunha, F. O. M. ; COSTA, T. K. L. ; Barreto, M. A. . Formacao pedagogica dos professores no ensino superior. In: SBIE 2010 - Workshop de Licenciatura em Computação, 2010, João Pessoa. Anais do Workshop de Licenciatura em Computação, 2010.

Belo, A. F. P. ; COSTA, T. K. L. . Modelagem de Objetos para Ambientes Virtuais Exteriores. In: Workshop de Realidade Virtual e Aumentada (WRVA), 2010, São Paulo. Anais do Workshop de Realidade Virtual e Aumentada, 2010.

Alencar, L. ; Nogueira, A. ; Jessica, P. ; DANTAS, V. F. ; COSTA, T. K. L. . A utilização de Objetos de Aprendizagem para estimular o raciocínio lógico. In: I Semana de Ciência e Tecnologia, Esporte, Arte e Cultura., 2010, João Pessoa. XIII Encontro de Iniciação à Docência, 2010.

Brito Júnior, O. O. ; Melo, K. K.G. ; Silva, F. E.P. ; COSTA, T. K. L. ; DANTAS, V. F. . A utilização da ferramenta Pandorga no auxílio ao aprendizado. In: I Semana de Ciência e Tecnologia, Esporte, Arte e Cultura., 2010, João Pessoa. XIII Encontro de Iniciação à Docência, 2010.

Netto, Carlos X.A ; MACHADO, Liliane dos Santos ; MORAES, Ronei Marcos de ; COSTA, T. K. L. . Arqueologia Interativa e Digitalização da Pedra do Ingá,PB - Resultados Preliminares. In: III Reunião da Associação Brasileira de Arte Rupestre, 2010, Lençois. Anais da III Reunião da Associação Brasileira de Arte Rupestre, 2010.

FALCAO, E.L. ; MACHADO, Liliane dos Santos ; COSTA, T. K. L. . Programando em X3D para integração de aplicações e suporte multiplataforma. In: Liliane S. Machado; Robson A. Siscoutto.. (Org.). Tendências e Técnicas em Realidade Virtual e Aumentada. 1 ed. Porto Alegre: SBC, 2010, v. 1, p. 35-63.

Avelino P.; Menezes R.; Menezes J ; Oliveira, J. C. R. E.. The role of domain wall junctions in Carter's pentahedral model, Phys Letters. Section B, 2009.

BAZEIA, D.; GOMES, A ; LOSANO, L ; MENEZES, R . Braneworld models of scalar fields with generalized dynamics. Physics Letters. Section B, v. 671, p. 402-410, 2009.

Avelino, P. P. ; Menezes, R. ; Sousa, L. . p-brane dynamics in N+1-dimensional FRW universes. Physical Review D, Particles, Fields, Gravitation and Cosmology, v. 79, p. 043519, 2009.

Avelino, P. P. ; Bazeia, D. ; Menezes, R. ; Oliveira, J. C. R. E. . Bifurcation and pattern changing with two real scalar fields. Physical Review D, Particles, Fields, Gravitation and Cosmology, v. 79, p. 085007, 2009.

Avelino, P. P. ; Bazeia, D. ; Losano, L. ; Menezes, R. ; Rodrigues, J. J. . Impact of Lorentz violation on the dynamics of inflation. Physical Review D, Particles, Fields, Gravitation and Cosmology, v. 79, p. 123503, 2009.

Bazeia, D. ; Losano, L. ; Menezes, R. ; Souza, M. A. M. . New family of sine-Gordon models. Europhysics Letters, v. 87, p. 21001, 2009.

BRITO, A. V. Simulação baseada em atores como uma ferramenta educacional. In: XX Simpósio Brasileiro de Informática na Educação (SBIE). Florianópolis, 2009 (to appear)

DUARTE, A.; BRITO, A. V.; ALENCAR, F. P. . Desenvolvimento de um Método para Utilização de Redes Sociais na Internet como Ferramentas de Apoio ao Ensino e Aprendizagem. In: XX Simpósio Brasileiro de Informática na Educação (SBIE). Florianópolis, 2009 (to appear)

BRITO, A. V. Simulação Baseada em Atores para no Ensino de Arquitetura de Computadores In: 21st International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), Workshop de Ensino de Arquitetura de Computadores (WEAC). São Paulo, 2009.

BRITO, A. V. ; MELCHER, E. U. K. . Modelling and Simulation of Partially Reconfigurable Systems (aceito para publicacao). In: Aleksandar Lazinica. (Org.). Dynamic Modelling. 1 ed. Viena: IN-TECH, 2009, v. 1, p. 1-20.

BRITO, A. V. ; OLIVEIRA,G. S. ; CAETANO, L. J. . Uma Análise da Implementação ZigBee pela Tecnologia Sun SPOT. In: XXIX Congresso da Sociedade Brasileira de Computação, 2009, Bento Gonçalves. XXIX Congresso da Sociedade Brasileira de Computação. Porto Alegre : Sociedade Brasileira de Computação, 2009. v. 1.

SILVEIRA, G. ; BRITO, A. V. ; MELCHER, E. U. K. . Function Verification of Power Gate Design in SystemC RTL. In: 22nd Symposium on Integrated Circuits and Systems Design, 2009, Natal. 22nd Symposium on Integrated Circuits and Systems Design. Porto Alegre : Sociedade Brasileira de Computação, 2009. v. 1.

LUCENA, M. ; CASTRO, J. F. B. ; SILVA, C. ; ALENCAR, F. ; SANTOS, E. . A Model Transformation approach to derive Architectural Models from Goal-Oriented Requirement Models. In: 8th INTERNATIONAL WORKSHOP ON SYSTEM/SOFTWARE ARCHITECTURES, 2009, Algarve. LNCS Vol. 5872, pp. 370-380, Springer-Verlag.

ANTONIO, S. ; ARAÚJO, J. ; SILVA, C. . Adapting the Framework i* for Software Product Lines. In: Workshop on Requirements, Intentions and Goals in Conceptual Modeling in conjunction with the 29th International Conference on Conceptual modeling (ER 2009), 2009, Gramado. LNCS Vol. 5833, pp. 286-295, Springer-Verlag.

BORBA, C. ; SILVA, C. . A comparison of goal-oriented approaches to model software product lines variability. In: Workshop on Requirements, Intentions and Goals in Conceptual Modeling in conjunction with the 29th International Conference on Conceptual modeling (ER 2009), 2009, Gramado. LNCS Vol. 5833, pp. 244-253, Springer-Verlag.

MARQUES, M.A. ; COSTA, T. K. L. ; MACHADO, Liliane dos Santos ; NETTO, C. X. A . Representação do Sítio Arqueológico da Pedra de Ingá com Realidade Virtual. In: Workshop de Realidade Virtual e Aumentada - WRVA'2009, 2009, Santos. Anais do Workshop de Realidade Virtual e Aumentada, 2009.