Jorge Cesar Abrantes de Figueiredo

Pós-doutorado

Idiomas

Áreas de atuação

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• BRUNET, JOAO ; MURPHY, GAIL C. ; SEREY, DALTON ; Figueiredo, Jorge . Five years of Software Architecture Checking: A Case Study of Eclipse. IEEE Software , v. 99, p. 1-1, 2014.

• Rodrigues, Cássio L. ; Silva, Karina R. G. ; Cunha, Henrique N. ; FIGUEIREDO, J. C. A. ; Guerrero, Dalton D. S. ; Melcher, Elmar . Enhancing IP cores specifications using hierarchical composition and set theory. Design Automation for Embedded Systems , v. 1, p. 1-15, 2011.

• MENDONÇA, Andrea Pereira ; CHAVES, D. ; GUERRERO, Dalton Dario Serey ; FIGUEIREDO, J. C. A. ; COSTA, E. B. . Dealing with Requirements Specification: A Case Study with Novice Programming Students. IEEE Multidisciplinary Engineering Education Magazine , v. 5, p. 3-10, 2010.

• BARBOSA, Paulo Eduardo e Silva ; RAMALHO, Franklin ; FIGUEIREDO, J. C. A. ; JUNIOR, A.D.S. ; COSTA, Anikó ; GOMES, L. . Checking Semantics Equivalence of MDA Transformations in Concurrent Systems. Journal of Universal Computer Science (Print) , v. 15, p. 2196-2224, 2009.

• FIGUEIREDO, J. C. A. ; BARBOSA, Daniel Lima ; MACHADO, Patrícia Duarte de Lima ; ANDRADE, Wilkerson Lucena ; LIMA, Helton Souza ; Makelli Araújo Jucá . Automating Functional Testing of Components from UML Specifications. International Journal of Software Engineering and Knowledge Engineering , v. 17, p. 339-358, 2007.

• ARAÚJO, Antonio Sérgio ; MELO, Maria Do Socorro Costa ; SAUVÉ, Jacques Phillipe ; SAMPAIO, Marcus Costa ; FIGUEIREDO, J. C. A. ; ROCHA NETO, Eloi ; DUARTE, Alexandre Nóbrega ; CIRNE FILHO, Walfredo . Smart Alarms - Tratamento inteligente de alarmes para centros de operação de sistema da CHESF. EletroEvolução (Rio de Janeiro) , v. 44, p. 29-37, 2006.

• GUERRA, Fabricio Vale de Azevedo ; FIGUEIREDO, J. C. A. ; GUERRERO, Dalton Dario Serey . Protocol Performance Analysis Using a Timed Extension for an Object Oriented Petri Net Language. Electronic Notes in Theoretical Computer Science , v. 130, p. 187-209, 2005.

• SAUVÉ, Jacques Phillipe ; ROCHA NETO, Eloi ; CIRNE FILHO, Walfredo ; DUARTE, Alexandre Nóbrega ; FIGUEIREDO, J. C. A. ; ARAÚJO, Antonio Sérgio ; MELO, Maria Do Socorro Costa ; NICOLLETTI, Pedro Sérgio . Maintenance Techniques for an Intelligent Alarm Processing System. Engineering Intelligent Systems , Grã-Bretanha, v. 13, n.4, p. 213-222, 2005.

• LEITE, Bruno de Brito ; BARBOSA, Ana Emília Victor ; MACHADO, Patrícia Duarte de Lima ; FIGUEIREDO, J. C. A. . Automação da Ordenação de Testes de Integração de Classes Baseada em Grafos de Dependência. REIC. Revista Eletrônica de Iniciação Científica , v. 1, p. 1-20, 2005.

• LIMA, Emerson Ferreira de Araújo ; FIGUEIREDO, J. C. A. ; GUERRERO, Dalton Dario Serey . Using Coloured Petri Nets to Compare Mobile Agent Design Patterns. Electronic Notes in Theoretical Computer Science , v. 95, p. 287-305, 2004.

• LIMA, Emerson Ferreira de Araújo ; MACHADO, Patrícia Duarte de Lima ; SAMPAIO, Flavio Ronison ; FIGUEIREDO, J. C. A. . An Approach to Modelling and Applying Mobile Agent Design Patterns. Software Engineering Notes , v. 29, n.3, p. 1-8, 2004.

• FIGUEIREDO, J. C. A. ; GUERRERO, Dalton Dario Serey ; PERKUSICH, Angelo . An Object-based Modular CPN Approach: Its Application to the Specification of a Cooperative Editing Environment.. Lecture Notes in Computer Science , v. 2001, p. 338-354, 2001.

• BRAGA, J. D. M. ; FIGUEIREDO, J. C. A. . A Modified Proof of a Theorem Related to Reachability and Liveness. Petri Net Newsletter, Alemanha, v. 52, 1997.

• PERKUSICH, Angelo ; FIGUEIREDO, J. C. A. . G-Nets: a Petri Net Based Approach for Logical and Timing Analysis of Complex Software Systems. The Journal of Systems and Software , v. 39, n.1, p. 39-59, 1997.

• BARROS, T. C. ; PERKUSICH, Angelo ; FIGUEIREDO, J. C. A. . A Fault Tolerant Coloured Petri Net Model For Flexible Manufacturing Systems. Journal of the Brazilian Computer Society (Impresso) , v. 4, n.2, p. 16-30, 1997.

• FIGUEIREDO, J. C. A. ; PERKUSICH, Angelo . Faults and Timing Analysis in Real-Time Distributed Systems: A Fuzzy Time Petri-Net-Based Approach. Fuzzy Sets and Systems , v. 2, n.83, p. 143-168, 1996.

• PERKUSICH, Angelo ; FIGUEIREDO, J. C. A. . A Petri Net Based Approach to Model Objects for a Track-Vehicle Control System. JOURNAL OF COMPUTING AND INFORMATION, Peterborough, v. 1, n.2, p. 1040-1062, 1995.

• FIGUEIREDO, J. C. A. ; PERKUSICH, Angelo . Fault Tolerance in Real-Time Distributed Systems Using Petri Nets Extensions. JOURNAL OF COMPUTING AND INFORMATION, Peterborough, v. 1, n.2, p. 924-946, 1995.

• PERKUSICH, Angelo ; FIGUEIREDO, J. C. A. ; CHANG, S. . Embedding Fault-Tolerant Properties in The Design Of Complex Software Systems. Journal of Systems and Software , v. 25, n.2, p. 23-37, 1994.

• DENG, Y. ; FIGUEIREDO, J. C. A. ; PERKUSICH, Angelo ; CHANG, S. . Integrating Software Engineering Methods And Petri Nets For The Specification And Prototyping Of Complex Information Systems. Lecture Notes in Computer Science , Alemanha, v. 691, p. 206-223, 1993.

• Luna Freire, Victor da C. ; BRUNET, JOÃO ; DE FIGUEIREDO, JORGE C. A. . Automatic Decomposition of Java Open Source Pull Requests: A Replication Study. In: Lecture Notes in Computer Science: 44th International Conference on Current Trends in Theory and Practice of Computer Science - SOFSEM2018. (Org.). Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2018, v. 1, p. 255-268.

• COSTA, Anikó ; Barbosa, Paulo E. S. ; Moutinho, Filipe ; Pereira, Fernando ; RAMALHO, Franklin ; Figueiredo, Jorge C. A. ; Gomes, Luis . MDA-Based Methodology for Verifying Distributed Execution of Embedded Systems Models. In: Zhiwu Li (Xidian University, People?s Republic of China); Abdulrahman M. Al-Ahmari (King Saud University, Saudi Arabia). (Org.). MDA-Based Methodology for Verifying Distributed Execution of Embedded Systems Models. 1ed.: IGI Global, 2013, v. 1, p. 112-135.

• MOUTINHO, F. ; GOMES, L. ; BARBOSA, Paulo Eduardo e Silva ; BARROS, J. P. ; RAMALHO, Franklin ; FIGUEIREDO, J. C. A. ; COSTA, Anikó ; MONTEIRO, A. . Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous Systems. In: Luis M. Camarinha-Matos. (Org.). Technological Innovation for Sustainability Secon IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems. Boston: Springer, 2011, v. 349, p. 237-245.

• BARBOSA, Paulo Eduardo e Silva ; BARROS, J. P. ; RAMALHO, Franklin ; GOMES, L. ; FIGUEIREDO, J. C. A. ; MOUTINHO, F. ; COSTA, Anikó ; MONTEIRO, A. . SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design. In: Luis M. Camarinha-Matos. (Org.). Technological Innovation for Sustainability Secon IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems. Boston: Springer, 2011, v. 349, p. 256-265.

• BARBOSA, Paulo Eduardo e Silva ; RAMALHO, Franklin ; FIGUEIREDO, J. C. A. ; COSTA, Anikó ; GOMES, L. ; JUNIOR, A.D.S. . Semantic Equations for Formal Models in the Model-Driven Architecture. Emerging Trends in Technological Innovation. 1ed.Boston: Springer, 2010, v. 314, p. 251-260.

• COSTA, Anikó ; GOMES, L. ; BARBOSA, Paulo Eduardo e Silva ; RAMALHO, Franklin ; FIGUEIREDO, J. C. A. ; JUNIOR, A.D.S. . Properties Preservation in Distributed Execution of Petri Nets Models. Emerging Trends in Technological Innovation. 1ed.Boston: Springer, 2010, v. 314, p. 241-250.

• OLIVEIRA, Elthon Allex da Silva ; LIMA, Emerson Ferreira de Araújo ; FIGUEIREDO, J. C. A. . Verifying Mobile Agent Design Patterns with RPOO. In: David Taniar. (Org.). Encyclopedia of Mobile Computing and Commerce. Hershey, PA: Idea Group Inc., 2007, v. 1, p. 987-995.

• SILVA JUNIOR, Rogério Dourado ; FIGUEIREDO, J. C. A. ; GUERRERO, Dalton Dario Serey . Design by Contract com JML. In: Unisinos. (Org.). Jornadas de Atualização em Informática 2005 - JAI2005. : , 2005, v. 1, p. 1455-1499.

• ALMEIDA, ANDRÉ ; ARAÚJO, ELIANE ; FIGUEIREDO, JORGE . Investigando o Uso de Testes para Apoiar a Resolução de Problemas de Programação. In: Simpósio Brasileiro de Informática na Educação, 2023, Brasil. Anais do XXXIV Simpósio Brasileiro de Informática na Educação (SBIE 2023). p. 357.

• ALMEIDA, ANDRÉ ; ARAÚJO, ELIANE ; FIGUEIREDO, JORGE . Avaliando a Construção do Conhecimento em Programação Através da Taxonomia SOLO. In: Simpósio Brasileiro de Informática na Educação, 2020, Brasil. Anais do XXXI Simpósio Brasileiro de Informática na Educação (SBIE 2020). p. 1813.

• DE PONTES, RAFAEL G. ; Guerrero, Dalton D. S. ; DE FIGUEIREDO, JORGE C. A. . Analyzing Gamification Impact on a Mastery Learning Introductory Programming Course. In: the 50th ACM Technical Symposium, 2019, Minneapolis. Proceedings of the 50th ACM Technical Symposium on Computer Science Education - SIGCSE '19. New York: ACM Press, 2019. p. 400.

• MAIA, M. C. O. ; GUERRERO, Dalton Dario Serey ; FIGUEIREDO, JORGE C.A. DE . Online Student Engagement: A Case Study in Teaching of Programming. In: Simpósio Brasileiro de Informática na Educação, 2019, Brasilia. Anais do Simpósio Brasileiro de Informática na Educaç?zo, 2019. v. 1.

• SILVA, TACIANO M. ; SEREY, DALTON ; FIGUEIREDO, JORGE ; BRUNET, JOÃO . Automated design tests to check Hibernate design recommendations. In: the XXXIII Brazilian Symposium, 2019, Salvador. Proceedings of the XXXIII Brazilian Symposium on Software Engineering - SBES 2019, 2019. p. 94.

• GUERRA, FABRÍCIO ; GORGÔNIO, FLAVIUS ; SEREY, DALTON ; FIGUEIREDO, JORGE CÉSAR ABRANTES DE . Syllabic Keyboard: A Literacy Game for Motivating First Grade Children to Read. In: XXX Simpósio Brasileiro de Informática na Educação (Brazilian Symposium on Computers in Education), 2019, Brasília. Anais do XXX Simpósio Brasileiro de Informática na Educação (SBIE 2019), 2019. p. 1072.

• DE PONTES, RAFAEL G. ; MEDEIROS, KLAUDIO H. M. ; Guerrero, Dalton D. S. ; DE FIGUEIREDO, JORGE C. A. . Analyzing the Impact of Leaderboards in Introductory Programming Courses? Short-Length Activities. In: 2018 IEEE Frontiers in Education Conference (FIE), 2018, San Jose. 2018 IEEE Frontiers in Education Conference (FIE), 2018. p. 1.

• GUERRA, FABRÍCIO ; SANTOS, JOSÉ AMÂNCIO ; SEREY, DALTON ; FIGUEIREDO, JORGE CÉSAR ABRANTES DE . z-Reader: a Mobile Game Suite for Improving Children's Reading Skills and Behavior. In: XXIX Simpósio Brasileiro de Informática na Educação (Brazilian Symposium on Computers in Education), 2018, Fortaleza. org.crossref.xschema._1.Title@7cbe7818, 2018. p. 565.

• MAIA, MIRNA CARELLI OLIVEIRA ; SEREY, DALTON ; Figueiredo, Jorge . Learning styles in programming education: A systematic mapping study. In: 2017 IEEE Frontiers in Education Conference (FIE), 2017, Indianapolis. 2017 IEEE Frontiers in Education Conference (FIE), 2017. p. 1.

• ARAUJO, ELIANE ; GAUDENCIO, MATHEUS ; SEREY, DALTON ; Figueiredo, Jorge . Applying spectrum-based fault localization on novice's programs. In: 2016 IEEE Frontiers in Education Conference (FIE), 2016, Eire. 2016 IEEE Frontiers in Education Conference (FIE), 2016. p. 1.

• ARAUJO, ELIANE ; SEREY, DALTON ; Figueiredo, Jorge . Qualitative aspects of students' programs: Can we make them measurable?. In: 2016 IEEE Frontiers in Education Conference (FIE), 2016, Eire. 2016 IEEE Frontiers in Education Conference (FIE), 2016. p. 1.

• SANTOS, KATYUSCO DE F. ; GUERRERO, DALTON D.S. ; FIGUEIREDO, JORGE C.A. DE . Using Developers Contributions on Software Vocabularies to Identify Experts. In: 2015 12th International Conference on Information Technology New Generations (ITNG), 2015, Las Vegas. 2015 12th International Conference on Information Technology - New Generations, 2015. p. 451.

• BRUNET, JOÃO ; MURPHY, GAIL C. ; TERRA, RICARDO ; Figueiredo, Jorge ; SEREY, DALTON . Do developers discuss design?. In: the 11th Working Conference, 2014, Hyderabad. Proceedings of the 11th Working Conference on Mining Software Repositories - MSR 2014. v. 1. p. 340.

• Barbosa, Paulo E. S. ; MORAIS, MISAEL ; GALDINO, KATIA ; ANDRADE, MELQUISEDEC ; Gomes, Luis ; Moutinho, Filipe ; DE FIGUEIREDO, JORGE C. A. . Towards medical device behavioural validation using Petri nets. In: 2013 IEEE 26th International Symposium on ComputerBased Medical Systems (CBMS), 2013, Porto. Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems. v. 1. p. 4-10.

• Melo, Izabela ; BRUNET, JOAO ; SEREY, DALTON ; Figueiredo, Jorge . Verificação de Conformidade Arquitetural com Testes de Design - Um Estudo de Caso. In: I Workshop Brasileiro de Visualização, Evolução e Manutenção de Software, 2013, Brasília. Anais do I Workshop Brasileiro de Visualização, Evolução e Manutenção de Software, 2013. v. 1. p. 30-37.

• GAUDENCIO, MATHEUS ; WANDERLEY, LETICIA FARIAS ; LEMOS, FILIPE WESLEY ; DE ARAÚJO, ELIANE CRISTINA ; Figueiredo, Jorge C. A. ; Guerrero, Dalton D. S. . Eu Sei o que Vocês Fizeram (Agora e) na Aula Passada: o TSTView no Acompanhamento de Exercícios de Programação. In: XXIV Simpósio Brasileiro de Informática na Educação, 2013. v. 1.

• BRUNET, JOAO ; BITTENCOURT, ROBERTO ALMEIDA ; SEREY, DALTON ; Figueiredo, Jorge . On the Evolutionary Nature of Architectural Violations. In: 2012 19th Working Conference on Reverse Engineering (WCRE), 2012, Kingston. 2012 19th Working Conference on Reverse Engineering. v. 1. p. 257-6.

• SANTOS, K. F. ; Guerrero, Dalton D. S. ; Figueiredo, Jorge C. A. ; BITTENCOURT, R. A. . Towards a Prediction Model for Source Code Vocabulary. In: 1st Workshop on The Next Five Years of Text Analysis in Software Maintenance, 2012, Riva del Gardia. Proceedings of the 1st Workshop on The Next Five Years of Text Analysis in Software Maintenance, 2012. v. 1. p. 41-45.

• CAVALCANTI, D. T. ; SANTOS, K. F. ; Guerrero, Dalton D. S. ; Figueiredo, Jorge C. A. . Using Software Vocabulary to Rank Classes that are Probably Impacted by a Bug Report. In: 1st Workshop on The Next Five Years of Text Analysis in Software Maintenance, 2012, Riva del Gardia, Italy. Proceedings of the 1st Workshop on The Next Five Years of Text Analysis in Software Maintenance, 2012. v. 1. p. 16-20.

• CAVALCANTI, D. T. ; GUERRERO, Dalton Dario Serey ; FIGUEIREDO, J. C. A. . A Case Study on the Similarity Between Source Code and Bug Report Vocabularies. In: VIII Workshop de Manutenção de Software Moderna, 2011, Curitiba. Anais do VIII Workshop de Manutenção de Software Moderna, 2011. v. 1. p. 1-8.

• SANTOS, K. F. ; GUERRERO, Dalton Dario Serey ; FIGUEIREDO, J. C. A. . Understanding the Occurrence of Vocabulary Terms in Java Code. In: VIII Workshop de Manutenção de Software Moderna, 2011, Curitiba. Anais do VIII Workshop de Manutenção de Software Moderna, 2011. v. 1. p. 16-24.

• MONTEIRO, J. A. B. ; GUERRERO, Dalton Dario Serey ; Figueiredo, Jorge C. A. . Structural Conformance Checking with Design Tests: An Evaluation of Usability and Scalability. In: International Conference on Software Maintenance - ICSM2011, 2011, Williamsburg, VA. Proceedings of the 2011 International Conference on Software Maintenance, 2011. v. 1. p. 143-149.

• Rodrigues, Cássio L. ; Silva, Karina R. G. ; Melcher, Elmar ; Figueiredo, Jorge C. A. ; Guerrero, Dalton D. S. . Refactoring VeriSc Testbenchs to Improve the Functional Verification During the Integration Phase. In: 37th Annual Conference on IEEE Industrial Electronics Society, 2011, Melbourne, Australia. Proceedings of the 37th Annual Conference on IEEE Industrial Electronics Society, 2011. v. 1. p. 2820-2825.

• BARBOSA, Paulo Eduardo e Silva ; COSTA, Anikó ; GOMES, L. ; RAMALHO, Franklin ; FIGUEIREDO, J. C. A. ; JUNIOR, A.D.S. . A MDA-based contribution for integrating web services within embedded system's design. In: 8th IEEE International Conference on Industrial Informatics, 2010, Osaka, Japão. Proceedings of the 8th IEEE International Conference on Industrial Informatics, 2010. v. 1. p. 565-570.

• MAIA, M. C. O. ; BITTENCOURT, R. A. ; FIGUEIREDO, J. C. A. ; GUERRERO, Dalton Dario Serey . The Hybrid Technique for Object-Oriented Software Change Impact Analysis. In: 14th European Conference on Software Maintenance and Reengineering, 2010, Madrid. Proceedings of the 14th European Conference on Software Maintenance and Reengineering, 2010. v. 1. p. 261-265.

• SOUZA, R. ; GUERRERO, Dalton Dario Serey ; FIGUEIREDO, J. C. A. . Modular Network Models for Class Dependencies in Software. In: 14th European Conference on Software Maintenance and Reengineering, 2010, Madrid. Proceedings of the 14th European Conference on Software Maintenance and Reengineering, 2010. v. 1. p. 245-249.

• NASCIMENTO, M. R. ; MENDONÇA, Andrea Pereira ; FIGUEIREDO, J. C. A. ; GUERRERO, Dalton Dario Serey . Teaching Programming for High School Students: a Distance Education Experience. In: 40th Annual Frontiers in Education Conference, 2010, Washington DC. Proceedings of the 40th Annual Frontiers in Education Conference, 2010. v. 1. p. 1-10.

• MOUTINHO, F. ; GOMES, L. ; RAMALHO, Franklin ; FIGUEIREDO, J. C. A. ; BARROS, J. P. ; BARBOSA, Paulo Eduardo e Silva ; PAES, R. ; COSTA, Anikó . Ecore Representation for Extending PNML for Input-Output Place Transition Nets. In: 36th Annual Conference of the IEEE Industrial Electronics Society, 2010, Phoenix. Proceedings of the 36th Annual Conference of the IEEE Industrial Electronics Society, 2010.

• BRUNET, JOAO ; GUERRERO, DALTON ; Figueiredo, Jorge . Design tests: An approach to programmatically check your code against design rules. In: , 2009, Vancouver. . v. 1. p. 255.

• RODRIGUES, Cássio Leonardo ; SILVA, K. R. G. ; CUNHA, H. N. ; FIGUEIREDO, J. C. A. ; GUERRERO, Dalton Dario Serey ; MELCHER, E. U. K. . Improving Functional Verification of Embedded Systems Using Hierarchical Composition and Set Theory. In: 24th Annual ACM Symposium on Applied Computing, 2009, Waikiki Beach. Proceedings of 24th Annual ACM Symposium on Applied Computing, 2009. v. 1. p. 823-827.

• BITTENCOURT, R. A. ; FIGUEIREDO, J. ; SANTOS, G. J. S. ; TRIGUIERO FILHO, A. ; NOBREGA FILHO, J. M. ; FIGUEIREDO, J. C. A. ; GUERRERO, Dalton Dario Serey . Design Suite: Towards an Open Scientific Investigation Environment for Software Architecture Recovery. In: VI Workshop de Manutenção de Software Moderna - Simpósio Brasileiro de Qualidade de Software, 2009, Ouro Preto. Anais do VI Workshop de Manutenção de Software Moderna - Simpósio Brasileiro de Qualidade de Software, 2009. v. 1. p. 1-8.

• BARBOSA, Paulo Eduardo e Silva ; COSTA, Anikó ; FIGUEIREDO, J. C. A. ; RAMALHO, Franklin ; GOMES, L. ; JUNIOR, A.D.S. . Modeling complex Petri nets operations in the Model-Driven Architecture. In: The 35th Annual Conference of the IEEE Industrial Electronics Society, 2009, Porto, Portugal. Proceedings of The 35th Annual Conference of the IEEE Industrial Electronics Society, 2009. v. 1. p. 4365-4370.

• FIGUEIREDO, J. C. A. ; SAUVÉ, Jacques Phillipe ; NICOLETTI, Pedro Sérgio ; ROCHA NETO, Eloi ; ARAÚJO, Antonio Sérgio . Smart Action: a Tool to Help Power System Restoration. In: Hawaii International Conference on System Sciences 2008, 2008, Hawaii, Estados Unidos. Proceedings of HICSS'08, 2008. v. 1. p. 1-10.

• HATTORI, LILE ; GUERRERO, DALTON ; Figueiredo, Jorge ; BRUNET, JO ; DAM, JEMERSON . On the Precision and Accuracy of Impact Analysis Techniques. In: Seventh IEEE/ACIS International Conference on Computer and Information Science (icis 2008), 2008. Seventh IEEE/ACIS International Conference on Computer and Information Science (icis 2008). v. 1. p. 513-10.

• FIGUEIREDO, André Luís Lima de ; MACHADO, Patrícia Duarte de Lima ; GADELHA, E. C. ; FIGUEIREDO, J. C. A. ; BARBOSA, Paulo Eduardo e Silva . Geração Automática de Objetivos e Casos de Teste a partir de Redes de Petri Orientadas a Objetos. In: IX Workshop de Testes e Tolerância a Falhas (WTF 2008), 2008, Rio de Janeiro. Anais do IX Workshop de Testes e Tolerância a Falhas (WTF 2008), 2008. v. 1. p. 29-42.

• BARBOSA, Paulo Eduardo e Silva ; RAMALHO, Franklin ; FIGUEIREDO, J. C. A. ; JUNIOR, A.D.S. . Incorporating Semantic Algebra in The MDA Framework. In: ICSOFT2008 - Third International Conference on Software and Data Technologies, 2008, Porto, Portugal. Proceedings of the Third International Conference on Software and Data Technologies. Porto: INSTICC Press, 2008. v. 1. p. 330-336.

• RODRIGUES, CASSIO L. ; MORAIS, FABIO J. ; SILVA, LEANDRO M. L. ; DA SILVA, KARINA R. G. ; DE FIGUEIREDO, JORGE C. A. ; Guerrero, Dalton D. S. ; Melcher, Elmar . Functional verification methodology using Hierarchical Coloured Petri Nets-based testbenches. In: 2008 IEEE International Conference on Systems, Man and Cybernetics (SMC), 2008, Singapore. 2008 IEEE International Conference on Systems, Man and Cybernetics. v. 1. p. 2093-7.

• BARBOSA, PAULO E.S. ; RAMALHO, Franklin ; DE FIGUEIREDO, JORGE C.A. ; JUNIOR, ANTONIO D. DOS S. . An Extended MDA Architecture for Ensuring Semantics-Preserving Transformations. In: 2008 32nd Annual IEEE Software Engineering Workshop (SEW), 2008, Kassandra. 2008 32nd Annual IEEE Software Engineering Workshop. v. 1. p. 33-10.

• MACHADO, PATRICIA D. L. ; Figueiredo, Jorge C. A. ; LIMA, EMERSON F. A. ; BARBOSA, ANA E. V ; LIMA, HELTON S. . Component-based integration testing from UML interaction diagrams. In: 2007 IEEE International Conference on Systems, Man and Cybernetics, 2007, Montreal. 2007 IEEE International Conference on Systems, Man and Cybernetics. p. 2679.

• Barbosa, Paulo E. S. ; RODRIGUES, CASSIO L. ; Figueiredo, Jorge C. A. ; Guerrero, Dalton D. S. . Distributed Verification of Occurrence Graphs: Investigating the Use of Computational Grids. In: , 2007, Taipei. . p. 82.

• RODRIGUES, Cássio Leonardo ; BARBOSA, Paulo Eduardo e Silva ; MARINHO, Jairson Cabral ; FIGUEIREDO, J. C. A. ; GUERRERO, Dalton Dario Serey . A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids. In: 4th IEEE International Conference on Software Engineering and Formal Methods, 2006, Pune, India. Proceedings of 4th IEEE International Conference on Software Engineering and Formal Methods. v. 1. p. 56-70.

• BARBOSA, Paulo Eduardo e Silva ; FIGUEIREDO, J. C. A. ; GUERRERO, Dalton Dario Serey . Verificação Distribuída de Modelos: Uma Abordagem com Grades Computacionais. In: XI Workshop de Teses e Dissertações em Engenharia de Software, 2006, Florianópolis, SC. Anais do XI Workshop de Teses e Dissertações em Engenharia de Software, 2006. v. 1. p. 1-6.

• BARBOSA, Ana Emília Victor ; GUERRERO, Dalton Dario Serey ; FIGUEIREDO, J. C. A. . Verificação Automática em Tempo de Execução da Conformidade de Código. In: XI Workshop de Teses e Dissertações em Engenharia de Software, 2006, Florianópolis, SC. Anais do XI Workshop de Teses e Dissertações em Engenharia de Software, 2006. v. 1. p. 13-18.

• ANDRADE, Wilkerson Lucena ; LIMA, Helton Souza ; BARBOSA, Daniel Lima ; MACHADO, Patrícia Duarte de Lima ; FIGUEIREDO, J. C. A. . Experiência no Uso de Ferramentas Livres para o Teste Funcional de Componentes de Software. In: Workshop de Software Livre, 2005, Porto Alegre. Anais do WSL05 - Workshop de Software Livre 2005 - Trilha Nacional, 2005. v. 1. p. 205-210.

• OLIVEIRA, Elthon Allex da Silva ; FIGUEIREDO, J. C. A. ; GUERRERO, Dalton Dario Serey . Extração de Modelos Comportamentais de Programas Java Concorrentes Anotados. In: Workshop de Teses e Dissertações em Engenharia de Software, 2005, Uberlândia, MG. Anais do WTES05, 2005. v. 10. p. 15-20.

• SILVA JUNIOR, Rogério Dourado ; FIGUEIREDO, J. C. A. ; GUERRERO, Dalton Dario Serey . Uma Abordagem Rigorosa para o Desenvolvimento de Sistemas em Processos Ágeis. In: Workshop de Teses e Dissertações em Engenharia de Software, 2005, Uberlândia, MG. Anais do WTES05, 2005. v. 10. p. 45-50.

• SAUVÉ, Jacques Phillipe ; ROCHA NETO, Eloi ; CIRNE FILHO, Walfredo ; DUARTE, Alexandre Nóbrega ; FIGUEIREDO, J. C. A. ; SAMPAIO, Marcus Costa ; ARAÚJO, Antonio Sérgio ; MELO, Maria Do Socorro Costa ; NICOLLETTI, Pedro Sérgio . A Robust and Maintenance-Fee Alarm Processing Solution Transmission System Operations Control Centers. In: International Colloquium on Telecommunications and Informatics for the Power Industry, 2005, Cuernavaca. Annals of the International Colloquium on Telecommunications and Informatics for the Power Industry, 2005. v. 1. p. 1-10.

• RODRIGUES, Cássio Leonardo ; FIGUEIREDO, J. C. A. ; GUERRERO, Dalton Dario Serey . Model Checking in Object Oriented Petri Nets. In: IEEE International Conference on Systems, Man and Cybernetics, 2004, The Hague. Proceedings of IEEE International Conference on Systems, Man and Cybernetics, 2004. v. 5. p. 4977-4982.

• BARBOSA, Daniel Lima ; MACHADO, Patrícia Duarte de Lima ; FIGUEIREDO, J. C. A. . Automação de Métodos e Técnicas para Teste Funcional de Componentes. In: II Workshop de Teses e Dissertações em Qualidade de Software, 2004, Brasília, DF. Anais do WTDQS 2004, 2004. v. 1. p. 14-20.

• CIRNE FILHO, Walfredo ; FIGUEIREDO, J. C. A. ; DUARTE, Alexandre Nóbrega ; ROCHA NETO, Eloi ; SAMPAIO, Marcus Costa ; SAUVÉ, Jacques Phillipe ; ARAÚJO, Antonio Sérgio ; MELO, Maria Do Socorro Costa . Simplifying Maintenance on Intelligent Alarm Processing Systems. In: International Conference on Knowledge Engineering and Decision Support (ICKEDS'04), 2004, Porto, Portugal. Proceedings of the International Conference on Knowledge Engineering and Decision Support, 2004. v. 1. p. 1-8.

• GUERRA, Fabrício Vale de Azevedo ; FIGUEIREDO, J. C. A. ; GUERRERO, Dalton Dario Serey . Extensão Temporizada para Redes de Petri Orientadas a Objetos. In: IX Workshop de Teses e Dissertações em Engenharia de Software, 2004, Brasília, Brasil. Anais do IX Workshop de Teses e Dissertações em Engenharia de Software, 2004. v. 9. p. 5-10.

• RODRIGUES, Cássio Leonardo ; BARBOSA, Paulo Eduardo e Silva ; FIGUEIREDO, J. C. A. ; GUERRERO, Dalton Dario Serey . RPOO Model Checker. In: XVIII Simpósio Brasileiro de Engenharia de Software - Sessão de Ferramentas, 2004, Brasília, Brasil. Anais do XVIII Simpósio Brasileiro de Engenharia de Software - Sessão de Ferramentas, 2004. v. 9. p. 49-54.

• BARBOSA, Daniel Lima ; LUCENA, Wilkerson ; MACHADO, Patrícia Duarte de Lima ; FIGUEIREDO, J. C. A. . SPACES - Uma Ferramenta para Teste Funcional de Componentes. In: XVIII Simpósio Brasileiro de Engenharia de Software - Sessão de Ferramentas, 2004, Brasília, Brasil. Anais do XVIII Simpósio Brasileiro de Engenharia de Software, 2004. v. 1.

• GOUVEIA, Cidinha Costa ; MACHADO, Patrícia Duarte de Lima ; FIGUEIREDO, J. C. A. . Uma Estratégia de Teste de Integração de Componentes. In: VI Workshop de Desenvolvimento Baseado em Componentes - WDBC2004, 2004, João Pessoa, PB. Anais do WDBC2004, 2004. v. 1. p. 15-21.

• BARBOSA, Daniel Lima ; MACHADO, Patrícia Duarte de Lima ; FIGUEIREDO, J. C. A. . Um Método Automático para Verificação Funcional de Componentes. In: VI Workshop de Desenvolvimento Baseado em Componentes - WDBC2004, 2004, João Pessoa, PB. Anais do WDBC2004, 2004. v. 1. p. 30-36.

• SILVA, D. A. ; LIMA, Emerson Ferreira de Araújo ; FIGUEIREDO, J. C. A. ; MACHADO, Patrícia Duarte de Lima . Modelagem e Validação do Protocolo WTLS. In: VI Workshop de Comunicação Sem Fio e Computação Móvel, 2004, Fortaleza, CE. Anais do VI WCSF - Workshop de Comunicação Sem Fio e Computação Móvel, 2004. v. 1. p. 108-116.

• LIMA, Emerson Ferreira de Araújo ; NASCIMENTO, Laísa Helena Do ; MACHADO, Patrícia Duarte de Lima ; FIGUEIREDO, J. C. A. . Modelagem e Análise de um Sistema de Recuperação de Informação Baseado em Agentes Móveis. In: VI Workshop de Comunicação Sem Fio e Computação Móvel, 2004, Fortaleza, CE. Anais do VI WCSF - Workshop de Comunicação Sem Fio e Computação Móvel, 2004. v. 1. p. 171-180.

• GUERRA, Fabricio Vale de Azevedo ; FIGUEIREDO, J. C. A. ; GUERRERO, Dalton Dario Serey . Timed Extension for an Object Oriented Petri Net Language. In: Simpósio Brasileiro de Métodos Formais, 2004, Recife, PE. Anais do SBMF'2004, 2004. v. 1. p. 132-148.

• RODRIGUES, Cássio Leonardo ; GUERRA, Fabrício Vale de Azevedo ; GUERRERO, Dalton Dario Serey ; FIGUEIREDO, J. C. A. ; SILVA, Taciano de Morais . Modeling and Verification of Mobility Issues Using Object-Oriented Petri Nets. In: 3rd International Information and Telecommunication Technologies Symposium, 2004, São Carlos, SP. Proceedings of the Third International Information and Telecommunication Symposium, 2004. v. 1. p. 10-18.

• SAMPAIO, L. M. R. ; BRASILEIRO, Francisco Vilar ; FILHE, Walfredo Cirne ; FIGUEIREDO, J. C. A. . How Bad Are Wrong Suspicions? Towards Adaptive Distributed Protocols. In: INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, 2003, San Francisco. Proceedings of the International Conference on Dependable Systems and Networks, 2003. v. 1. p. 123-129.

• DUARTE, Alexandre Nóbrega ; SAUVÉ, Jacques Phillipe ; CIRNE FILHO, Walfredo ; SAMPAIO, Marcus Costa ; FIGUEIREDO, J. C. A. ; ROCHA NETO, Eloi ; MELO, Maria Do Socorro Costa ; ARAÚJO, Antonio Sérgio . Desenvolvimento de uma Ferramenta de Tratamento de Eventos em Redes Elétricas. In: V Simpósio de Automação em Sistemas Elétricos, 2003, Recife. Anais do V Simpase, 2003. v. 1.

• RODRIGUES, Cássio Leonardo ; FIGUEIREDO, J. C. A. ; GUERRERO, Dalton Dario Serey . Verificação de Modelos em redes de Petri Orientadas a Objetos. In: 8 Workshop de Teses em Engenharia de Software, 2003, Manaus, AM. Anais do VIII Workshop de Teses em Engenharia de Software, 2003. v. 1. p. 41-46.

• LIMA, Emerson Ferreira de Araújo ; MACHADO, Patrícia Duarte de Lima ; FIGUEIREDO, J. C. A. . Formalização e Análise de Padrões de Projetos para Agentes Móveis. In: 8 Workshop de Teses em Engenharia de Software, 2003, Manaus, AM. Anais do VIII Workshop de teses em Engenharia de Software, 2003. v. 1. p. 47-52.

• GOUVEIA, Cidinha Costa ; MACHADO, Patrícia Duarte de Lima ; FIGUEIREDO, J. C. A. . Teste de Integração para Sistemas baseados em Componentes. In: 8 Workshop de Teses em Engenharia de Software, 2003, Manaus, AM. Anais do VIII Workshop de Teses em Engenharia de Software, 2003. v. 1. p. 29-34.

• LIMA, Emerson Ferreira de Araújo ; FIGUEIREDO, J. C. A. ; GUERRERO, Dalton Dario Serey . Comparative Study of Mobile Agent Design Patterns: a Coloured Petri Nets Approach. In: VI WMF - Workshop de Métodos Formais, 2003, Campina Grande, PB. Anais do VI Workshop de Métodos Formais, 2003. v. 1. p. 212-227.

• LIMA, Emerson Ferreira de Araújo ; MACHADO, Patrícia Duarte de Lima ; SAMPAIO, Flávio Ronison ; FIGUEIREDO, J. C. A. . Modelling Mobile Agent Design Patterns. In: 7th IASTED International Conference on Software Engineering and Applications - SEA 2003, 2003, Marina del Rey, CA. Proceedings of the 7th International Conference on Software Engineering and Applications, 2003. v. 1.

• BRASILEIRO, Francisco Vilar ; FIGUEIREDO, J. C. A. ; SAMPAIO, L. M. R. . A Hierarchical Failure Detection Service with Perfect Semantics. In: III Workshop de Testes e Tolerância a Falhas, 2002, Búzios. Anais do III Workshop de Testes e Tolerância a Falhas, 2002. v. único. p. 7-13.

• FIGUEIREDO, J. C. A. ; BRASILEIRO, Francisco Vilar ; SAMPAIO, L. M. R. . Using Coloured Petri Nets to Evaluate Quality of Service of Failure Detectors. In: 2002 IEEE International Conference on Systems, Man and Cybernetics, 2002, Hammamet. Proceedings of IEEE International Conference on Systems, Man, and Cybernetics, 2002. v. 3. p. 152-158.

• CANEDO, E. D. ; SANTOS, J. A. M. ; GUERRERO, Dalton Dario Serey ; FIGUEIREDO, J. C. A. . Experimenting a Notation Based on Petri Nets and Object-Oriented Concepts. In: I Brazilian Petri Net Meeting, 2002, Natal. Anais do I Brazilian Petri Net Meeting, 2002. v. 1. p. 10-18.

• GALLINDO, É. L. ; GUERRERO, Dalton Dario Serey ; PERKUSICH, Angelo ; FIGUEIREDO, J. C. A. . Aplicação em uma Notação Baseada em Redes de Petri e Orientação a Objetos: um Experimento de Modelagem. In: IV Workshop on Formal Methods, 2001, Rio de Janeiro. Proceedings of IV WMF - Workshop on Formal Methods, 2001. v. 1. p. 13-24.

• BATISTA, O. M. N. ; CABRAL, M. I. C. ; FIGUEIREDO, J. C. A. . An Equivalence Between Markovian Queueing Networks and Generalized Stochastic Petri Nets. In: The 4th World Multiconference on Systemics, Cybernetics and Informatics - SCI2000, 2000, Orlando, EUA. Proceedings of the 4th World Multiconference on Systemics, Cybernetics and Informatics, 2000. v. 1. p. 230-236.

• FIGUEIREDO, J. C. A. ; KRISTENSEN, L. M. . Using Coloured Petri Nets to Investigate Behavioural and Performance Issues of TCP Protocols. In: Second Workshop on Practical Use of Coloured Petri Nets and Design/CPN, 1999, Aarhus. Proceedings of the Second Workshop on Practical Use of Coloured Petri Nets and Design/CPN. Aarhus: DAIMI, 1999. p. 21-40.

• FIGUEIREDO, J. C. A. ; COSTA, S. A. D. ; GUERRERO, Dalton Dario Serey ; PERKUSICH, Angelo . Inheritance Issues in Object-Oriented Petri Net models. In: IEEE International Conference on Systems, Man, and Cybernetics, 1998, San Diego. Proceedings of the 1998 IEEE International Conference on Systems, Man, and Cybernetics, 1998. p. 196-201.

• FIGUEIREDO, J. C. A. ; GOIS, G. M. ; COSTA, E. B. ; PERKUSICH, Angelo . Towards a Multi-Agent Interactive Learning Environment Oriented to the Petri Net Domain. In: IEEE International Conference on Systems, Man, and Cybernetics, 1998, San Diego. Proceedings of the 1998 IEEE International Conference on Systems, Man, and Cybernetics, 1998. p. 250-261.

• FIGUEIREDO, J. C. A. ; SAMPAIO, L. M. R. ; BRASILEIRO, Francisco Vilar . Applying Coloured Petri Nets to Analyze Fail Silent Nodes in Distributed Systems. In: IEEE International Conference on Systems, Man, and Cybernetics, 1998, San Diego. Proceedings of the 1998 IEEE International Conference on Systems, Man, and Cybernetics, 1998. v. 1. p. 420-426.

• FIGUEIREDO, J. C. A. ; MEDEIROS, A. K. A. ; GUERRERO, Dalton Dario Serey ; PERKUSICH, Angelo . An Object-Oriented Petri Net Modeling Tool and Abstraction Mechanisms for Cooperative Systems. In: IEEE International Conference on Systems, Man, and Cybernetics, 1998, San Diego. Proceedings of the 1998 IEEE International Conference on Systems, Man, and Cybernetics, 1998. p. 172-177.

• FIGUEIREDO, J. C. A. ; COSTA, S. A. D. ; GUERRERO, Dalton Dario Serey ; PERKUSICH, Angelo . Aspectos de Herança em uma Ferramenta de Modelagem de Sistemas Baseada em Redes de Petri. In: Simpósio Brasileiro de Engenharia de Software, 1998, Maringá. Anais do Simpósio Brasileiro de Engenharia de Software, 1998. p. 297-312.

• FIGUEIREDO, J. C. A. ; BARROS, T. C. ; PERKUSICH, Angelo . Modelagem do Controle dos Sistemas Flexíveis de manufatura baseada em Redes de Petri Coloridas. In: Congresso Brasileiro de Automática, 1998, Uberlândia. Anais do XII Congresso Brasileiro de Automática, 1998. p. 1403-1408.

• FIGUEIREDO, J. C. A. ; FARIAS, G. F. ; TURNNELL, Maria de Fátima Queiroz Vieira . Modelagem em Redes de Petri da Interface Homem-Máquina de sistemas Industriais. In: Congresso Brasileiro de Automática, 1998, Uberlândia. Anais do XII Congresso Brasileiro de Automática, 1998. v. 1. p. 120-126.

• FIGUEIREDO, J. C. A. ; PERKUSICH, Angelo . Towards A Modular Timing Analysis Of Real-Time Software Systems. In: IEEE International Conference on Systems, Man and Cybernetics, 1997, Orlando. Proceedings of 1997 IEEE International Conference on Systems, Man and Cybernetics, 1997. p. 4442-4447.

• FERNANDES, J. P. ; PERKUSICH, Angelo ; FIGUEIREDO, J. C. A. . An Object Based Petri Net Model: Application To Manufacturing Systems. In: IEEE International Conference on Systems, Man and Cybernetics, 1997, Orlando. Proceedings of 1997 IEEE International Conference on Systems, Man and Cybernetics, 1997. p. 2735-2740.

• BARROS, T. C. ; PERKUSICH, Angelo ; FIGUEIREDO, J. C. A. . A Fault Tolerant Coloured Petri Net Resource Allocation Manager For Manufacturing Systems. In: IEEE International Conference on Systems, Man and Cybernetics, 1997, Orlando. Proceedings of 1997 IEEE International Conference on Systems, Man and Cybernetics, 1997. p. 1210-1215.

• GUERRERO, Dalton Dario Serey ; FIGUEIREDO, J. C. A. ; PERKUSICH, Angelo . Object-Based High-Level Petri Nets as a Formal Approach to Distributed Information Systems. In: 1997 IEEE International Conference on Systems, Man and Cybernetics, 1997, Orlando. Proceedings of 1997 IEEE International Conference on Systems, Man and Cybernetics, 1997. p. 3383-3388.

• SOUZA, M. F. ; TURNNELL, Maria de Fátima Queiroz Vieira ; FIGUEIREDO, J. C. A. . Modelagem do Fluxo de Informações em Interfaces Usuário-Computador. In: CLEI'97, 1997, Valparaíso. Anais do CLEI'97, 1997.

• MARTINS, A. F. ; PERKUSICH, Angelo ; FIGUEIREDO, J. C. A. . A G-Cpn Approach For M4 Network-View Interface Managed Objects Entities Modeling. In: Simpósio Brasileiro de Telecomunicações, 1997, Recife. Anais do XV Simpósio Brasileiro de Telecomunicações - SBT'97, 1997. p. 35-39.

• NÓBREGA, G. M. ; FERNEDA, E. ; FIGUEIREDO, J. C. A. . A System For Aiding Discovery Based In a Multi-Agent Architecture: the Communication Module. In: The World Multiconference on Systemics, Cybernetics and Informatics, 1997. Proceedings of the World Multiconference on Systemics, Cybernetics and Informatics, 1997.

• FIGUEIREDO, J. C. A. ; ASSIS, Francisco Marcos de ; PERKUSICH, Angelo ; FIGUEIREDO, F. A. . Tolerância a Falhas em Sistema de Software Utilizando Códigos Convolucionais. In: Simpósio de Computadores Tolerantes a Falhas, 1997, Campina Grande. Anais do VII Simpósio de Computadores Tolerantes a Falhas, 1997. p. 195-209.

• BARROS, T. C. ; PERKUSICH, Angelo ; FIGUEIREDO, J. C. A. . Alocação de Recursos e Tolerância a Faltas em Sistemas Flexíveis de Manufatura Utilizando Redes de Petri Petri Coloridas. In: Simpósio de Computadores Tolerantes a Falhas, 1997, Campina Grande. Anais do VII Simpósio de Computadores Tolerantes a Falhas - SCTF'97, 1997. p. 153-167.

• GUERRERO, Dalton Dario Serey ; FIGUEIREDO, J. C. A. ; PERKUSICH, Angelo . Modeling A Cooperative Environment Based on an Object-Based Modular Petri Net. In: IX International Conference on Software Engineering and Knowledge Engineering, 1997, Madrid. Proceeding of the IX International Conference on Software Engineering and Knowledge Engineering, 1997. p. 240-247.

• FIGUEIREDO, J. C. A. ; BARROS, T. C. ; PERKUSICH, Angelo . A Coloured Petri Net Based Approach for Resource Allocation and Fault Tolerance for Flexible Manufacturing Systems. In: Workshop on Manufacturing and Petri Nets, 1997, Toulouse. Proceedings of the 2nd Workshop on Manufacturing and Petri Nets, 1997. p. 77-96.

• FIGUEIREDO, J. C. A. ; MIRANDA, M. V. C. ; PERKUSICH, Angelo . Um Ambiente Para Edição e Animação de Sistemas de G-Nets. In: Congresso Brasileiro de Automática, 1996, São Paulo. Anais do X Congresso Brasileiro de Automática - CBA'96, 1996. p. 1309-1314.

• FIGUEIREDO, J. C. A. ; MEDEIROS, C. L. G. ; LOPES, M. A. . UFPB: Curso de Ciência da Computação. In: IV workshop de Educação em Informática, 1996, Recife, 1996.

• FIGUEIREDO, J. C. A. ; COSTA, E. B. ; PERKUSICH, Angelo . A Multi-Agent Environment to Aid in the Design of Petri Nets Based Software Systems. In: 8th International Conference on Software Engineering and Knowledge Engineering, 1996, Lake Tahoe. Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996. p. 253-259.

• FIGUEIREDO, J. C. A. ; PERKUSICH, Angelo . Modeling a Multi-Agent Cooperative Graphical Editor With a Class of Object Oriented Petri Nets. In: 2nd Workshop on Object Oriented Petri Nets and Models of Concurrency, 1996, Osaka, 1996. p. 57-71.

• LIMA, I. S. ; PERKUSICH, Angelo ; FIGUEIREDO, J. C. A. . An Interactive Petri Net Tool For Modeling, Analysis and Simulation of Complex Systems. In: 1996 IEEE International Conference on Systems, Man and Cybernetics, 1996, Beijing. Proceedings of 1996 IEEE International Conference on Systems, Man and Cybernetics, 1996. p. 870-875.

• FIGUEIREDO, J. C. A. ; PERKUSICH, Angelo . Distributed Control of Track-Vehicle System With Fault-Tolerant Characteristics: a Petri Net Based Approach. In: IEEE International Conference on Systems, Man, and Cybernetics, 1995, Vancouver. Proceedings of the 1995 IEEE International Conference on Systems, Man, and Cybernetics, 1995. p. 377-382.

• FIGUEIREDO, J. C. A. ; PERKUSICH, Angelo . Design Of Distributed Track-Vehicle Systems Applying a High-Level Object Oriented Petri Net Methodology. In: IEEE International Conference on Systems, Man, and Cybernetics, 1995, Vancouver. Proceedings of the 1995 IEEE International Conference on Systems, Man, and Cybernetics, 1995. p. 389-394.

• FIGUEIREDO, J. C. A. ; PERKUSICH, Angelo . A G-Net Based Environment For Logical and Timing Analysis of Software Systems. In: XIX Simpósio Brasileiro de Engenharia de Software, 1995, Recife. Anais do Simpósio Brasileiro de Engenharia de Software - SBES'95, 1995. p. 56-75.

• FIGUEIREDO, J. C. A. ; PERKUSICH, Angelo . Tratamento Antecipado de Falhas: uma Abordagem por Redes de Petri. In: VI Simpósio de Computadores Tolerantes a Falhas, 1995, Canela. Anais do VI Simpósio de Computadores Tolerantes a Falhas, 1995. p. 125-142.

• FIGUEIREDO, J. C. A. ; PERKUSICH, Angelo . Object Oriented Design of a Track-Vehicle System. In: 7th International Conference on Software Engineering and Knowledge Engineering, 1995, Rockville. Proceedings of the 7th International Conference on Software Engineering and Knowledge Engineering, 1995. p. 283-290.

• FIGUEIREDO, J. C. A. ; PERKUSICH, Angelo . Anticipated Faults In Real-Time Distributed Systems. In: 7TH International Conference on Software Engineering and Knowledge Engineering, 1995, Rockville. Proceedings of the 7th International Conference on Software Engineering and Knowledge Engineering - SEKE'95, 1995. p. 411-418.

• FIGUEIREDO, J. C. A. . A Generalized Timing Petri Net Extension for Real-Time systems. In: 6th International Fuzzy Systems Association World Congress, 1995, São Paulo. Proceedings of the 6th International Fuzzy Systems Association World Congress - IFSA'95, 1995.

• FIGUEIREDO, J. C. A. ; PERKUSICH, Angelo . Análise Temporal Baseada em Redes de Petri para Sistemas de Software. In: XX Seminário Integrado de Software e Hardware, 1994, Caxambu. Anais do XX Seminário Integrado de Software e Hardware - SEMISH'94, 1994.

• FIGUEIREDO, J. C. A. ; PERKUSICH, Angelo ; CHANG, S. . Timing Analysis of Real-Time Software Systems Using Fuzzy Time Petri Nets. In: 6th International Conference on Software Engineering and Knowledge Engineering, 1994, Riga. Proceedings of the 6th International Conference on Software Engineering and Knowledge Engineering - SEKE'94, 1994. p. 243-253.

• FIGUEIREDO, J. C. A. ; PERKUSICH, Angelo ; MORAES, M. E. . Projeto de Sistemas em Tempo Real Distribuídos Com Características Baseada em Objetos e Tolerância aFalhas. In: XIX Seminário Integrado de Software e Hardware, 1993, Florianópolis. Anais do XIX Seminário Integrado de Software e Hardware - SEMISH'93, 1993.

• FIGUEIREDO, J. C. A. ; PERKUSICH, Angelo ; MORAES, M. E. . Análise e Verificação de Sistemas Baseados em Objetos Utilizando uma Abordagem Por Redes de Petri. In: XIX Seminário Integrado de Software e Hardware, 1993, Flroianópolis. Anais do XIX Seminário Integrado de Software e Hardware - SEMISH'93, 1993.

• FIGUEIREDO, J. C. A. ; PERKUSICH, Angelo . Tolerancia a Falhas Em Sistemas de Software Utilizando uma Abordagem por Redes de Petri. In: V Simpósio de Computadores Tolerantes a Falhas, 1993, São José dos Campos. Anais do V Simpósio de Computadores Tolerantes a Falhas, 1993.

• FIGUEIREDO, J. C. A. ; PERKUSICH, Angelo ; CHANG, S. ; YU, B. ; EREHNBERGER, M. . The Design of Real-Time Distributed Information Systems with Object Oriented and Fault-Tolerant Characteristics. In: 5th International Conference on Software Engineering and Knowledge Engineering, 1993, San Francisco. Proceedings of the 5th International Conference on Software Engineering and Knowledge Engineering - SEKE'95, 1993.

• FIGUEIREDO, J. C. A. ; PERKUSICH, Angelo ; MORAES, M. E. . Um Ambiente Para Construço de Sistemas Especialistas em Tempo Real. In: IX Congresso Brasileiro de Automática, 1992, Vitória. Anais do IX Congresso Brasileiro de Automática - CBA'92, 1992. p. 640-645.

• FIGUEIREDO, J. C. A. ; PERKUSICH, Angelo ; MORAES, M. E. . An Expert System To Aid Power System Transmission Lines Liberation For Equipment Maintenance. In: IFIP Working Conference on Dependability of Artificial Intelligence Systems, 1991, Vienna. Proceedings of IFIP Working Conference on Dependability of Artificial Intelligence Systems, 1991.

• FIGUEIREDO, J. C. A. ; PERKUSICH, Angelo ; MORAES, M. E. . Salima: an Expert System to Aid Power System Transmission Lines Liberation for Equipment Maintenance. In: The First world Congress on Expert Systems, 1991, Orlando. Proceedings of the First World Congress on Expert Systems, 1991.

• FIGUEIREDO, J. C. A. ; PERKUSICH, Angelo ; BARROS, T. C. ; PERKUSICH, M. L. B. . A Petri Net Based Approach for Knowledge Base Construction for Fault Analysis And Control of Discrete Time Systems. In: 1991 IEEE Industrial Electronics Society Conference, 1991, Kobe. Proceedings of the 1991 IEEE Industrial Electronics Society Conference - IECON'91, 1991. p. 1631-1636.

• FIGUEIREDO, J. C. A. ; PERKUSICH, Angelo ; MORAES, M. E. ; PERKUSICH, M. L. B. . Knowledge Based Systems Application To Implement Petri Net Models Of Discrete Time Systems. In: IFIP Working Conference on Dependability of Artificial Intelligence Systems, 1991, Vienna. Proceedings of the IFIP Working Conference on Dependability of Artificial intelligence Systems, 1991.

• FIGUEIREDO, J. C. A. ; PERKUSICH, Angelo ; MORAES, M. E. ; PERKUSICH, M. L. B. ; GUEDES, F. . Sistemas para Auxílio em Manobras de Sistemas de Energia Elétrica Utilizando Técnicas de Inteligência Artificial. In: III Encontro para debates sobre Assuntos de Operação, 1990, São Paulo. Anais do III Encontro para Debates sobre Assuntos de Operação - III EDAO, 1990.

• FIGUEIREDO, J. C. A. ; PERKUSICH, Angelo ; MORAES, M. E. . Sistema Inteligente para Liberação de Manobras em Sistemas de Transmissão de Energia Elétrica. In: VIII Congresso Brasileiro de Automática, 1990, Belém. Anais do VIII Congresso Brasileiro de Automática - CBA'90, 1990.

• FIGUEIREDO, J. C. A. ; LYRA, I. A. ; SILVA, H. M. ; BRAGA, J. D. M. . Nucleo de Intforbayes, uma Ferramenta Para Sistemas Especialistas Bayesianos. In: III Simpósio Brasileiro de Inteligência Artificial, 1989, Rio de Janeiro. Anais do III Simpóasio Brasileiro de Inteligência Artificial, 1991.

• FIGUEIREDO, J. C. A. ; PERKUSICH, Angelo ; MORAES, M. E. . Sistema de Auxílio à Decisão de Manobras em Linhas de Transmissão Utilizando Técnicas de Inteligência Artificial. In: VI Simpósio Brasileiro de Inteligência Artificial, 1989, Rio de Janeiro. Anais do VI Simpósio Brasileiro de Inteligência Artificial, 1989.

• FIGUEIREDO, J. C. A. ; PERKUSICH, Angelo ; MORAES, M. E. ; DANTAS, M. . Aplicação de Sistemas Especialistas na Operação de Processos: Exemplificação Sistemas de Potência. In: III ENCONTRO REGIONAL LATINO-AMERICANO DO CIGRE, 1989, Foz do Iguaçu. Anais do III ERLAC, 1989.

• DUARTE, Alexandre Nóbrega ; CIRNE FILHO, Walfredo ; SAUVÉ, Jacques Phillipe ; FIGUEIREDO, J. C. A. ; SAMPAIO, Marcus Costa ; ROCHA NETO, Eloi ; ARAÚJO, Antonio Sérgio ; MELO, Maria Do Socorro Costa ; SILVA, Michael Angelo Henrique da . Tratamento de Eventos em Redes Elétricas: uma Ferramenta. In: Congresso Brasileiro de Automática, 2004, Gramado, RS. Anais do CBA2004, 2004. v. 25. p. 1-5.

• MACHADO, Patrícia Duarte de Lima ; FIGUEIREDO, André Luís Lima de ; LIMA, Emerson Ferreira de Araújo ; FIGUEIREDO, J. C. A. . Teste para Software Orientado a Objetos. In: Simpósio Brasileiro de Engenharia de Software, 2005, Uberlândia. Anais do XIX Simpoósio Brasileiro de Engenharia de Software, 2005. v. 1. p. 9-9.

• FIGUEIREDO, J. C. A. ; KRISTENSEN, L. M. . Modelling and Analysis of TCP Protocols Using Coloured Petri Nets. In: HP Openview University Association 6th Plenary Workshop, 1999, Bologna. Proceedings of HPOVUA'99, 1999. v. 1. p. 15-25.

• FIGUEIREDO, André Luís ; LIMA, Emerson Ferreira de Araújo ; MACHADO, Patrícia Duarte de Lima ; FIGUEIREDO, J. C. A. . Padrões de Teste para Software Orientado a Objetos 2005 (Desenvolvimento de material didático ou instrucional - Tutorial).

• MACHADO, Patrícia Duarte de Lima ; GUERRERO, Dalton Dario Serey ; FIGUEIREDO, J. C. A. . Automatic Functional Test Generation 2005 (Desenvolvimento de material didático ou instrucional - Mini-curso).

Outras produções

Projetos de pesquisa

• 2018 - Atual

  Evolução do Protótipo da Plataforma Virtual para o Complexo Industrial da Saúde, Descrição: O objetivo desse projeto é dar continuidade ao desenvolvimento do e-CIS, uma plataforma virtual para o Complexo Industrial da Saúde. Além da manutenção corretiva, o projeto prevê manutenção evolutiva com a inclusão de novas features como chat e uma versão mobile.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (5) . , Integrantes: Jorge Cesar Abrantes de Figueiredo - Coordenador / Dalton Dario Serey Guerrero - Integrante., Financiador(es): Organizacão Pan-Americana da Saude/Organizacão Mundial da Saude - Outra.

• 2017 - 2018

  e-CIS: Plataforma Virtual do Complexo Industrial da Saúde, Descrição: Desenvolvimento de um protótipo de plataforma virtual para o Complexo Industrial da Saúde.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Jorge Cesar Abrantes de Figueiredo - Coordenador / Dalton Dario Serey Guerrero - Integrante.

• 2013 - 2015

  Caracterização do Vocabulário de Commits ao Longo da Evolução de Sistemas, Descrição: O objetivo geral deste projeto de iniciação científica é o de caracterizar o padrão típico de commits, concretizados pelos desenvolvedores, com relação à quantidade de termos presente nos vocabulários das mudanças realizadas ao longo da evolução dos sistemas.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Doutorado: (1) . , Integrantes: Jorge Cesar Abrantes de Figueiredo - Coordenador / Katyusco de Farias Santos - Integrante / Martha Michelly Galvão Menezes - Integrante / João Pedro Leoncio - Integrante.

• 2012 - 2013

  Avaliação do Uso de Vocabulário de Software para Identificação de Experts em Sistemas de Software, Descrição: Esta pesquisa de iniciaçã ̃o científica, é focada em avaliar a possibilidade de fazer uso do vocabulário de um sistema para identificar dentre os desenvolvedores aquele(s) que tenha(m) maior conhecimento sobre um dado artefato ou funcionali- dade de um software.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Doutorado: (1) . , Integrantes: Jorge Cesar Abrantes de Figueiredo - Coordenador / Katyusco de Farias Santos - Integrante / Martha Michelly Galvão Menezes - Integrante.

• 2009 - 2011

  Verificação Semântica em Transformações MDA Envolvendo Modelos de Redes de Petri, Descrição: O objetivo principal do projeto de colaboração é o de explorar sinergias resultantes da interação de três trabalhos de teses de doutorado atualmente em curso sob a supervisão do Grupo de Métodos Formais da UFCG e Do Grupo de Pesquisa da UNINOVA/Portugal. Dois desses na equipe portuguesa e um na equipe brasileira. O trabalho de doutorado do lado brasileiro explora um problema em aberto na Arquitetura Dirigida por Modelos, que é a falta de garantia da preservação da semântica do modelo nas transformações entre modelos providas por esta arquitetura. Do lado português, os dois trabalhos de doutorado estão inseridos no contexto no projeto FORDESIGN (projeto da UNINOVA), sob responsabilidade da UNINOVA, cujo intuito é utilizar redes de Petri como linguagem central para construção de modelos dos sistemas.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Doutorado: (3) . , Integrantes: Jorge Cesar Abrantes de Figueiredo - Coordenador / Franklin Ramalho - Integrante / Luis Gomes - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro., Número de produções C, T & A: 1

• 2009 - 2011

  Análise de Impacto e Localização de Feature no Contexto de Evolução de Software, Descrição: A presente proposta de pesquisa tem duplo objetivo. O primeiro objetivo é investigar e desenvolver técnicas e ferramentas de análise de impacto que apresentem resultados mais consistentes, reduzindo o número de falso-positivos e falso-negativos. O segundo objetivo é o de investigar causas que dificultam a compreensão de software durante a sua evolução e analisar e desenvolver técnicas de localização de feature que auxiliem na análise de impacto de mudanças. Com base nos objetivos acima declarados, definimos as seguintes metas/resultados esperados para o projeto: Meta 1. Investigação e definição de uma técnica de análise de impacto que reduza o número de falso-positivos e/ou falso-negativos; Meta 2. Investigação e definição de técnicas de localização de features que auxiliem no processo da análise de impacto de mudanças em software; Meta 3. Construção de suporte ferramental para validação das técnicas propostas. Meta 4. Aplicação prática da técnica desenvolvida; Meta 5. Estudo comparativo entre o trabalho proposto e trabalhos relacionados já existentes.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Jorge Cesar Abrantes de Figueiredo - Coordenador / Dalton Dario Serey Guerrero - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 1

• 2008 - 2009

  Smart Diagnostics, Descrição: The Smart Analysis project aims to specify, implement and test a software system to produce diagnostics of faults in power systems equipment and systems. The software system must be based on behavior models of such equipments and systems. Given a functional specification of an equipment, mathematical (or other types of) models of the equipment must be constucted and diagnostic techniques must be researched based on these models. Validation will be performed using complex electronic and electrical equipments in CHESF's laboratories. The project must base the models on a library of plug-in components (sub-models, functions, etc.), allowing the easy construction of complete models. The library must be sufficiently generic to model various equipment types, including digital models, analogical models, discrete models, probabilistic models, Petri nets, etc. The diagnostic precision must be sufficient to allow pinpointing faults down to the level of the Logical Replacement Units (LRUs). This project is financed by CHESF/Aneel.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) . , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Jacques Phillipe Sauvé - Coordenador / Pedro Sérgio Nicolletti - Integrante / Wagner Porto - Integrante / Renata Pontes - Integrante., Número de produções C, T & A: 1

• 2008 - 2009

  Smart Alarms 2, Descrição: The Smart Alarms project aims to develop a software system to help power system operators diagnose system faults during large scale contingencies. The basic problem to be solved is event/alarm correlation in order to map hundreds or thousands of events/alarms into much fewer high-level diagnostics. The basic value proposition for the end product is that it is "zero maintenance": there is essentially no maintenance activity to be performed on the Smart Alarms system even in the face of major topology changes. The system is interfaced to CEPEL's SAGE SCADA/EMS system but can be interfaced to other such systems. The system also must provides the identification of the root -cause of events. This project is financed by CHESF/Aneel.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (5) / Mestrado acadêmico: (2) . , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Jacques Phillipe Sauvé - Coordenador / Eloi Rocha Neto - Integrante / Pedro Sérgio Nicolletti - Integrante / Stéfani Pires - Integrante., Número de produções C, T & A: 1

• 2005 - 2007

  DVeritas: Verificação de Modelos RPOO Distribuída, Descrição: O principal objetivo deste projeto é investigar e desenvolver métodos e ferramentas para aliviar o problema da explosão de estados em verificação de modelos. Em particular, desenvolver técnicas para a verificação de modelos distribuída dentro do contexto do Veritas (verificador de modelos RPOO desenvolvido no GMF/DSC/UFCG).. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Jorge Cesar Abrantes de Figueiredo - Coordenador / Dalton Dario Serey Guerrero - Integrante / Cássio Leonardo Rodrigues - Integrante / Paulo Eduardo e Silva Barbosa - Integrante / Jairson Cabral Marinho - Integrante / Talita de Paula Uchoa - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2003 - 2005

  Mobile: Técnicas e Ferramentas para o Desenvolvimento e Vali, Descrição: Neste projeto nos propomos a investigar a adequação da utilização de métodos formais no desenvolvimento de software baseado em agentes móveis. Mais especificamente, nos propomos a utilizar uma classe de redes de Petri orientadas a objetos (RPOO) na modelagem, análise e verificação de sistemas de software, em especial aqueles com características de mobilidade. Acreditamos que a integração da teoria de concorrência (baseada em redes de Petri) e a modelagem orientada a objetos se constitui em uma poderosa ferramenta para os desafios que são encontrados no desenvolvimento prático de software com conceitos avançados como mobilidade. Nos propomos ainda a desenvolver ferramentas, métodos e técnicas que permitam a utilização de RPOO em cenários práticos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (7) / Especialização: (0) / Mestrado acadêmico: (12) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Jorge Cesar Abrantes de Figueiredo - Coordenador / Dalton Dario Serey Guerrero - Integrante / José Amancio Macedo Santos - Integrante / Cássio Leonardo Rodrigues - Integrante / Patrícia Duarte de Lima Machado - Integrante / Emerson Ferreira de Araújo Lima - Integrante / Taciano de Morais Silva - Integrante / Cidinha Costa Gouveia - Integrante / Daniel Lima Barbosa - Integrante / Flavio Roninson Sampaio - Integrante / Rogério Dourado Silva Junior - Integrante / Elthon Allex da Silva Oliveira - Integrante / Wilkerson Lucena - Integrante / Daniel Aguiar Silva - Integrante / Fabricio Vale de Azevedo Guerra - Integrante / Afranio Mangueira Lima de Assis - Integrante / André Luís Lima de Figueiredo - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 28

• 2003 - 2004

  Verificação de Modelos em Redes de Petri Orientadas a Modelo, Descrição: O objetivo principal deste trabalho é desenvolver técnicas de verificação formal de modelos RPOO, através da análise do espaço de estados.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Jorge Cesar Abrantes de Figueiredo - Coordenador / Dalton Dario Serey Guerrero - Integrante / Cássio Leonardo Rodrigues - Integrante / Paulo Eduardo e Silva Barbosa - Integrante / Fabricio Vale de Azevedo Guerra - Integrante / Leandro Max de Lima Silva - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 3

Projetos de desenvolvimento

• 2014 - Atual

  Projeto SAFF - Análise Estatística dos Arquivos de Falhas dos Terminais Ingenico Telium, Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 24/04/2014., Descrição: A cooperação entre a Ingenico e a UFCG constitui-se em uma oportunidade de se criar uma nova parceria focada no desenvolvimento de uso e modelos analíticos para aumento da confiabilidade de produtos da Ingenico e previsão de informações estratégicas. Como resultado, pretende-se produzir conhecimento inovador na área e contribuir com soluções produtivas para a empresa, ao mesmo tempo em que uma mão-de-obra especializada é também capacitada.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Alexandre Cabral Mota - Integrante / Wilkerson Lucena Andrade - Coordenador / Adalberto Cajueiro de Farias - Integrante.

• 2013 - Atual

  e-Pol (Cooperação de P&D UFCG-DPF), Projeto certificado pelo(a) coordenador(a) Dalton Dario Serey Guerrero em 15/04/2014., Descrição: Projeto de P&D em cooperação com a Polícia Federal em que está sendo desenvolvido o sistema e-Pol de gestão de informações de atividades de polícia judiciária e investigadas técnicas de desenvolvimento distribuído, evolução de software e teste no contexto de metodologias ágeis de desenvolvimento.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Dalton Dario Serey Guerrero - Coordenador / Wilkerson Lucena Andrade - Integrante / Franklin Ramalho - Integrante / Tiago Massoni - Integrante.

• 2007 - 2009

  Design Checker: Verificação e Rastreamento da Evolução de Desenhos de Software, Descrição: O objetivo deste projeto é desenvolver técnicas e ferramentas que suportem a verificação, o rastreamento da evolução e a avaliação dos impactos gerados por mudanças em desenhos de software no desenvolvimento. Tais ferramentas oferecerão suporte automatizado às fábricas de software da Unitech para o controle de qualidade dos produtos desenvolvidos.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (3) / Doutorado: (1) . , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Dalton Dario Serey Guerrero - Coordenador / Amanda Saraiva Bezerra - Integrante / Lile Palma Hattori - Integrante., Financiador(es): CPM Braxis Outsourcing - Auxílio financeiro / Financiadora de Estudos e Projetos - Auxílio financeiro.Número de orientações: 6

• 2005 - 2008

  Smart Action, Descrição: Utilização de técnicas de inteligência artificial no desenvolvimento de um sistema de recomposição de sistemas de transmissão de energia.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Jacques Phillipe Sauvé - Coordenador / Eloi Rocha Neto - Integrante / Michael Angelo Henrique da Silva - Integrante / Pedro Sérgio Nicoletti - Integrante., Financiador(es): Companhia Hidro Elétrica do São Francisco - Auxílio financeiro.

• 2003 - 2004

  Smart Alarms, Descrição: Este é um projeto financiado pela CHESF/Aneel que visa desenvolver um sistema de software, baseado em técnicas de Inteligência Artificial, para o tratamento on-line de alarmes. Tal sistema deverá diagnosticar as causas dos alarmes, avaliar sua dimensão e localização, e propor um conjunto de ações a serem tomadas, no menor tempo possível. O sistema será integrado ao sistema SAGE (Sistema Aberto de Gerência de Energia) da Superintendência de Telecomunicação e Controle (STC) da CHESF.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Jacques Phillipe Sauvé - Integrante / Marcus Costa Sampaio - Integrante / Alexandre Nóbrega Duarte - Integrante / Eloi Rocha Neto - Integrante / Walfredo Cirne Filho - Coordenador., Financiador(es): Companhia Hidro Elétrica do São Francisco - Auxílio financeiro.

• 2014 - Atual

  Projeto SAFF - Análise Estatística dos Arquivos de Falhas dos Terminais Ingenico Telium, Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 24/04/2014., Descrição: A cooperação entre a Ingenico e a UFCG constitui-se em uma oportunidade de se criar uma nova parceria focada no desenvolvimento de uso e modelos analíticos para aumento da confiabilidade de produtos da Ingenico e previsão de informações estratégicas. Como resultado, pretende-se produzir conhecimento inovador na área e contribuir com soluções produtivas para a empresa, ao mesmo tempo em que uma mão-de-obra especializada é também capacitada.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Alexandre Cabral Mota - Integrante / Wilkerson Lucena Andrade - Coordenador / Adalberto Cajueiro de Farias - Integrante.

• 2013 - Atual

  e-Pol (Cooperação de P&D UFCG-DPF), Projeto certificado pelo(a) coordenador(a) Dalton Dario Serey Guerrero em 15/04/2014., Descrição: Projeto de P&D em cooperação com a Polícia Federal em que está sendo desenvolvido o sistema e-Pol de gestão de informações de atividades de polícia judiciária e investigadas técnicas de desenvolvimento distribuído, evolução de software e teste no contexto de metodologias ágeis de desenvolvimento.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Dalton Dario Serey Guerrero - Coordenador / Wilkerson Lucena Andrade - Integrante / Franklin Ramalho - Integrante / Tiago Massoni - Integrante.

• 2007 - 2009

  Design Checker: Verificação e Rastreamento da Evolução de Desenhos de Software, Descrição: O objetivo deste projeto é desenvolver técnicas e ferramentas que suportem a verificação, o rastreamento da evolução e a avaliação dos impactos gerados por mudanças em desenhos de software no desenvolvimento. Tais ferramentas oferecerão suporte automatizado às fábricas de software da Unitech para o controle de qualidade dos produtos desenvolvidos.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (3) / Doutorado: (1) . , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Dalton Dario Serey Guerrero - Coordenador / Amanda Saraiva Bezerra - Integrante / Lile Palma Hattori - Integrante., Financiador(es): CPM Braxis Outsourcing - Auxílio financeiro / Financiadora de Estudos e Projetos - Auxílio financeiro.Número de orientações: 6

• 2005 - 2008

  Smart Action, Descrição: Utilização de técnicas de inteligência artificial no desenvolvimento de um sistema de recomposição de sistemas de transmissão de energia.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Jacques Phillipe Sauvé - Coordenador / Eloi Rocha Neto - Integrante / Michael Angelo Henrique da Silva - Integrante / Pedro Sérgio Nicoletti - Integrante., Financiador(es): Companhia Hidro Elétrica do São Francisco - Auxílio financeiro.

• 2003 - 2004

  Smart Alarms, Descrição: Este é um projeto financiado pela CHESF/Aneel que visa desenvolver um sistema de software, baseado em técnicas de Inteligência Artificial, para o tratamento on-line de alarmes. Tal sistema deverá diagnosticar as causas dos alarmes, avaliar sua dimensão e localização, e propor um conjunto de ações a serem tomadas, no menor tempo possível. O sistema será integrado ao sistema SAGE (Sistema Aberto de Gerência de Energia) da Superintendência de Telecomunicação e Controle (STC) da CHESF.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Jacques Phillipe Sauvé - Integrante / Marcus Costa Sampaio - Integrante / Alexandre Nóbrega Duarte - Integrante / Eloi Rocha Neto - Integrante / Walfredo Cirne Filho - Coordenador., Financiador(es): Companhia Hidro Elétrica do São Francisco - Auxílio financeiro.

• 2014 - Atual

  Projeto SAFF - Análise Estatística dos Arquivos de Falhas dos Terminais Ingenico Telium, Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 24/04/2014., Descrição: A cooperação entre a Ingenico e a UFCG constitui-se em uma oportunidade de se criar uma nova parceria focada no desenvolvimento de uso e modelos analíticos para aumento da confiabilidade de produtos da Ingenico e previsão de informações estratégicas. Como resultado, pretende-se produzir conhecimento inovador na área e contribuir com soluções produtivas para a empresa, ao mesmo tempo em que uma mão-de-obra especializada é também capacitada.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Alexandre Cabral Mota - Integrante / Wilkerson Lucena Andrade - Coordenador / Adalberto Cajueiro de Farias - Integrante.

• 2013 - Atual

  e-Pol (Cooperação de P&D UFCG-DPF), Projeto certificado pelo(a) coordenador(a) Dalton Dario Serey Guerrero em 15/04/2014., Descrição: Projeto de P&D em cooperação com a Polícia Federal em que está sendo desenvolvido o sistema e-Pol de gestão de informações de atividades de polícia judiciária e investigadas técnicas de desenvolvimento distribuído, evolução de software e teste no contexto de metodologias ágeis de desenvolvimento.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Dalton Dario Serey Guerrero - Coordenador / Wilkerson Lucena Andrade - Integrante / Franklin Ramalho - Integrante / Tiago Massoni - Integrante.

• 2007 - 2009

  Design Checker: Verificação e Rastreamento da Evolução de Desenhos de Software, Descrição: O objetivo deste projeto é desenvolver técnicas e ferramentas que suportem a verificação, o rastreamento da evolução e a avaliação dos impactos gerados por mudanças em desenhos de software no desenvolvimento. Tais ferramentas oferecerão suporte automatizado às fábricas de software da Unitech para o controle de qualidade dos produtos desenvolvidos.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (3) / Doutorado: (1) . , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Dalton Dario Serey Guerrero - Coordenador / Amanda Saraiva Bezerra - Integrante / Lile Palma Hattori - Integrante., Financiador(es): CPM Braxis Outsourcing - Auxílio financeiro / Financiadora de Estudos e Projetos - Auxílio financeiro.Número de orientações: 6

• 2005 - 2008

  Smart Action, Descrição: Utilização de técnicas de inteligência artificial no desenvolvimento de um sistema de recomposição de sistemas de transmissão de energia.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Jacques Phillipe Sauvé - Coordenador / Eloi Rocha Neto - Integrante / Michael Angelo Henrique da Silva - Integrante / Pedro Sérgio Nicoletti - Integrante., Financiador(es): Companhia Hidro Elétrica do São Francisco - Auxílio financeiro.

• 2003 - 2004

  Smart Alarms, Descrição: Este é um projeto financiado pela CHESF/Aneel que visa desenvolver um sistema de software, baseado em técnicas de Inteligência Artificial, para o tratamento on-line de alarmes. Tal sistema deverá diagnosticar as causas dos alarmes, avaliar sua dimensão e localização, e propor um conjunto de ações a serem tomadas, no menor tempo possível. O sistema será integrado ao sistema SAGE (Sistema Aberto de Gerência de Energia) da Superintendência de Telecomunicação e Controle (STC) da CHESF.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Jacques Phillipe Sauvé - Integrante / Marcus Costa Sampaio - Integrante / Alexandre Nóbrega Duarte - Integrante / Eloi Rocha Neto - Integrante / Walfredo Cirne Filho - Coordenador., Financiador(es): Companhia Hidro Elétrica do São Francisco - Auxílio financeiro.

• 2014 - Atual

  Projeto SAFF - Análise Estatística dos Arquivos de Falhas dos Terminais Ingenico Telium, Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 24/04/2014., Descrição: A cooperação entre a Ingenico e a UFCG constitui-se em uma oportunidade de se criar uma nova parceria focada no desenvolvimento de uso e modelos analíticos para aumento da confiabilidade de produtos da Ingenico e previsão de informações estratégicas. Como resultado, pretende-se produzir conhecimento inovador na área e contribuir com soluções produtivas para a empresa, ao mesmo tempo em que uma mão-de-obra especializada é também capacitada.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Alexandre Cabral Mota - Integrante / Wilkerson Lucena Andrade - Coordenador / Adalberto Cajueiro de Farias - Integrante.

• 2013 - Atual

  e-Pol (Cooperação de P&D UFCG-DPF), Projeto certificado pelo(a) coordenador(a) Dalton Dario Serey Guerrero em 15/04/2014., Descrição: Projeto de P&D em cooperação com a Polícia Federal em que está sendo desenvolvido o sistema e-Pol de gestão de informações de atividades de polícia judiciária e investigadas técnicas de desenvolvimento distribuído, evolução de software e teste no contexto de metodologias ágeis de desenvolvimento.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Dalton Dario Serey Guerrero - Coordenador / Wilkerson Lucena Andrade - Integrante / Franklin Ramalho - Integrante / Tiago Massoni - Integrante.

• 2007 - 2009

  Design Checker: Verificação e Rastreamento da Evolução de Desenhos de Software, Descrição: O objetivo deste projeto é desenvolver técnicas e ferramentas que suportem a verificação, o rastreamento da evolução e a avaliação dos impactos gerados por mudanças em desenhos de software no desenvolvimento. Tais ferramentas oferecerão suporte automatizado às fábricas de software da Unitech para o controle de qualidade dos produtos desenvolvidos.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (3) / Doutorado: (1) . , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Dalton Dario Serey Guerrero - Coordenador / Amanda Saraiva Bezerra - Integrante / Lile Palma Hattori - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro / CPM Braxis Outsourcing - Auxílio financeiro.Número de orientações: 6

• 2005 - 2008

  Smart Action, Descrição: Utilização de técnicas de inteligência artificial no desenvolvimento de um sistema de recomposição de sistemas de transmissão de energia.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Jacques Phillipe Sauvé - Coordenador / Eloi Rocha Neto - Integrante / Michael Angelo Henrique da Silva - Integrante / Pedro Sérgio Nicoletti - Integrante., Financiador(es): Companhia Hidro Elétrica do São Francisco - Auxílio financeiro.

• 2003 - 2004

  Smart Alarms, Descrição: Este é um projeto financiado pela CHESF/Aneel que visa desenvolver um sistema de software, baseado em técnicas de Inteligência Artificial, para o tratamento on-line de alarmes. Tal sistema deverá diagnosticar as causas dos alarmes, avaliar sua dimensão e localização, e propor um conjunto de ações a serem tomadas, no menor tempo possível. O sistema será integrado ao sistema SAGE (Sistema Aberto de Gerência de Energia) da Superintendência de Telecomunicação e Controle (STC) da CHESF.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Jacques Phillipe Sauvé - Integrante / Marcus Costa Sampaio - Integrante / Alexandre Nóbrega Duarte - Integrante / Eloi Rocha Neto - Integrante / Walfredo Cirne Filho - Coordenador., Financiador(es): Companhia Hidro Elétrica do São Francisco - Auxílio financeiro.

• 2014 - Atual

  Projeto SAFF - Análise Estatística dos Arquivos de Falhas dos Terminais Ingenico Telium, Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 24/04/2014., Descrição: A cooperação entre a Ingenico e a UFCG constitui-se em uma oportunidade de se criar uma nova parceria focada no desenvolvimento de uso e modelos analíticos para aumento da confiabilidade de produtos da Ingenico e previsão de informações estratégicas. Como resultado, pretende-se produzir conhecimento inovador na área e contribuir com soluções produtivas para a empresa, ao mesmo tempo em que uma mão-de-obra especializada é também capacitada.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Alexandre Cabral Mota - Integrante / Wilkerson Lucena Andrade - Coordenador / Adalberto Cajueiro de Farias - Integrante.

• 2013 - Atual

  e-Pol (Cooperação de P&D UFCG-DPF), Projeto certificado pelo(a) coordenador(a) Dalton Dario Serey Guerrero em 15/04/2014., Descrição: Projeto de P&D em cooperação com a Polícia Federal em que está sendo desenvolvido o sistema e-Pol de gestão de informações de atividades de polícia judiciária e investigadas técnicas de desenvolvimento distribuído, evolução de software e teste no contexto de metodologias ágeis de desenvolvimento.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Dalton Dario Serey Guerrero - Coordenador / Wilkerson Lucena Andrade - Integrante / Franklin Ramalho - Integrante / Tiago Massoni - Integrante.

• 2007 - 2009

  Design Checker: Verificação e Rastreamento da Evolução de Desenhos de Software, Descrição: O objetivo deste projeto é desenvolver técnicas e ferramentas que suportem a verificação, o rastreamento da evolução e a avaliação dos impactos gerados por mudanças em desenhos de software no desenvolvimento. Tais ferramentas oferecerão suporte automatizado às fábricas de software da Unitech para o controle de qualidade dos produtos desenvolvidos.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (3) / Doutorado: (1) . , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Dalton Dario Serey Guerrero - Coordenador / Amanda Saraiva Bezerra - Integrante / Lile Palma Hattori - Integrante., Financiador(es): CPM Braxis Outsourcing - Auxílio financeiro / Financiadora de Estudos e Projetos - Auxílio financeiro.Número de orientações: 6

• 2005 - 2008

  Smart Action, Descrição: Utilização de técnicas de inteligência artificial no desenvolvimento de um sistema de recomposição de sistemas de transmissão de energia.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Jacques Phillipe Sauvé - Coordenador / Eloi Rocha Neto - Integrante / Michael Angelo Henrique da Silva - Integrante / Pedro Sérgio Nicoletti - Integrante., Financiador(es): Companhia Hidro Elétrica do São Francisco - Auxílio financeiro.

• 2003 - 2004

  Smart Alarms, Descrição: Este é um projeto financiado pela CHESF/Aneel que visa desenvolver um sistema de software, baseado em técnicas de Inteligência Artificial, para o tratamento on-line de alarmes. Tal sistema deverá diagnosticar as causas dos alarmes, avaliar sua dimensão e localização, e propor um conjunto de ações a serem tomadas, no menor tempo possível. O sistema será integrado ao sistema SAGE (Sistema Aberto de Gerência de Energia) da Superintendência de Telecomunicação e Controle (STC) da CHESF.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Jacques Phillipe Sauvé - Integrante / Marcus Costa Sampaio - Integrante / Alexandre Nóbrega Duarte - Integrante / Eloi Rocha Neto - Integrante / Walfredo Cirne Filho - Coordenador., Financiador(es): Companhia Hidro Elétrica do São Francisco - Auxílio financeiro.

• 2014 - Atual

  Projeto SAFF - Análise Estatística dos Arquivos de Falhas dos Terminais Ingenico Telium, Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 24/04/2014., Descrição: A cooperação entre a Ingenico e a UFCG constitui-se em uma oportunidade de se criar uma nova parceria focada no desenvolvimento de uso e modelos analíticos para aumento da confiabilidade de produtos da Ingenico e previsão de informações estratégicas. Como resultado, pretende-se produzir conhecimento inovador na área e contribuir com soluções produtivas para a empresa, ao mesmo tempo em que uma mão-de-obra especializada é também capacitada.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Alexandre Cabral Mota - Integrante / Wilkerson Lucena Andrade - Coordenador / Adalberto Cajueiro de Farias - Integrante.

• 2013 - Atual

  e-Pol (Cooperação de P&D UFCG-DPF), Projeto certificado pelo(a) coordenador(a) Dalton Dario Serey Guerrero em 15/04/2014., Descrição: Projeto de P&D em cooperação com a Polícia Federal em que está sendo desenvolvido o sistema e-Pol de gestão de informações de atividades de polícia judiciária e investigadas técnicas de desenvolvimento distribuído, evolução de software e teste no contexto de metodologias ágeis de desenvolvimento.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Dalton Dario Serey Guerrero - Coordenador / Wilkerson Lucena Andrade - Integrante / Franklin Ramalho - Integrante / Tiago Massoni - Integrante.

• 2007 - 2009

  Design Checker: Verificação e Rastreamento da Evolução de Desenhos de Software, Descrição: O objetivo deste projeto é desenvolver técnicas e ferramentas que suportem a verificação, o rastreamento da evolução e a avaliação dos impactos gerados por mudanças em desenhos de software no desenvolvimento. Tais ferramentas oferecerão suporte automatizado às fábricas de software da Unitech para o controle de qualidade dos produtos desenvolvidos.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (3) / Doutorado: (1) . , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Dalton Dario Serey Guerrero - Coordenador / Amanda Saraiva Bezerra - Integrante / Lile Palma Hattori - Integrante., Financiador(es): CPM Braxis Outsourcing - Auxílio financeiro / Financiadora de Estudos e Projetos - Auxílio financeiro.Número de orientações: 6

• 2005 - 2008

  Smart Action, Descrição: Utilização de técnicas de inteligência artificial no desenvolvimento de um sistema de recomposição de sistemas de transmissão de energia.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Jacques Phillipe Sauvé - Coordenador / Eloi Rocha Neto - Integrante / Michael Angelo Henrique da Silva - Integrante / Pedro Sérgio Nicoletti - Integrante., Financiador(es): Companhia Hidro Elétrica do São Francisco - Auxílio financeiro.

• 2003 - 2004

  Smart Alarms, Descrição: Este é um projeto financiado pela CHESF/Aneel que visa desenvolver um sistema de software, baseado em técnicas de Inteligência Artificial, para o tratamento on-line de alarmes. Tal sistema deverá diagnosticar as causas dos alarmes, avaliar sua dimensão e localização, e propor um conjunto de ações a serem tomadas, no menor tempo possível. O sistema será integrado ao sistema SAGE (Sistema Aberto de Gerência de Energia) da Superintendência de Telecomunicação e Controle (STC) da CHESF.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Jacques Phillipe Sauvé - Integrante / Marcus Costa Sampaio - Integrante / Alexandre Nóbrega Duarte - Integrante / Eloi Rocha Neto - Integrante / Walfredo Cirne Filho - Coordenador., Financiador(es): Companhia Hidro Elétrica do São Francisco - Auxílio financeiro.

• 2014 - Atual

  Projeto SAFF - Análise Estatística dos Arquivos de Falhas dos Terminais Ingenico Telium, Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 24/04/2014., Descrição: A cooperação entre a Ingenico e a UFCG constitui-se em uma oportunidade de se criar uma nova parceria focada no desenvolvimento de uso e modelos analíticos para aumento da confiabilidade de produtos da Ingenico e previsão de informações estratégicas. Como resultado, pretende-se produzir conhecimento inovador na área e contribuir com soluções produtivas para a empresa, ao mesmo tempo em que uma mão-de-obra especializada é também capacitada.. , Situação: Em andamento; Natureza: Desenvolvimento.

• 2013 - Atual

  e-Pol (Cooperação de P&D UFCG-DPF), Projeto certificado pelo(a) coordenador(a) Dalton Dario Serey Guerrero em 15/04/2014., Descrição: Projeto de P&D em cooperação com a Polícia Federal em que está sendo desenvolvido o sistema e-Pol de gestão de informações de atividades de polícia judiciária e investigadas técnicas de desenvolvimento distribuído, evolução de software e teste no contexto de metodologias ágeis de desenvolvimento.. , Situação: Em andamento; Natureza: Desenvolvimento.

• 2007 - 2009

  Design Checker: Verificação e Rastreamento da Evolução de Desenhos de Software, Descrição: O objetivo deste projeto é desenvolver técnicas e ferramentas que suportem a verificação, o rastreamento da evolução e a avaliação dos impactos gerados por mudanças em desenhos de software no desenvolvimento. Tais ferramentas oferecerão suporte automatizado às fábricas de software da Unitech para o controle de qualidade dos produtos desenvolvidos.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (3) / Doutorado: (1) . , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Dalton Dario Serey Guerrero - Coordenador / Amanda Saraiva Bezerra - Integrante / Lile Palma Hattori - Integrante.Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro / CPM Braxis Outsourcing - Auxílio financeiro.Número de orientações: 6

• 2005 - 2008

  Smart Action, Descrição: Utilização de técnicas de inteligência artificial no desenvolvimento de um sistema de recomposição de sistemas de transmissão de energia.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Jacques Phillipe Sauvé - Coordenador / Eloi Rocha Neto - Integrante / Michael Angelo Henrique da Silva - Integrante / Pedro Sérgio Nicoletti - Integrante.Financiador(es): Companhia Hidro Elétrica do São Francisco - Auxílio financeiro.

• 2003 - 2004

  Smart Alarms, Descrição: Este é um projeto financiado pela CHESF/Aneel que visa desenvolver um sistema de software, baseado em técnicas de Inteligência Artificial, para o tratamento on-line de alarmes. Tal sistema deverá diagnosticar as causas dos alarmes, avaliar sua dimensão e localização, e propor um conjunto de ações a serem tomadas, no menor tempo possível. O sistema será integrado ao sistema SAGE (Sistema Aberto de Gerência de Energia) da Superintendência de Telecomunicação e Controle (STC) da CHESF.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Jacques Phillipe Sauvé - Integrante / Marcus Costa Sampaio - Integrante / Alexandre Nóbrega Duarte - Integrante / Eloi Rocha Neto - Integrante / Walfredo Cirne Filho - Coordenador.Financiador(es): Companhia Hidro Elétrica do São Francisco - Auxílio financeiro.

• 2014 - Atual

  Projeto SAFF - Análise Estatística dos Arquivos de Falhas dos Terminais Ingenico Telium, Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 24/04/2014., Descrição: A cooperação entre a Ingenico e a UFCG constitui-se em uma oportunidade de se criar uma nova parceria focada no desenvolvimento de uso e modelos analíticos para aumento da confiabilidade de produtos da Ingenico e previsão de informações estratégicas. Como resultado, pretende-se produzir conhecimento inovador na área e contribuir com soluções produtivas para a empresa, ao mesmo tempo em que uma mão-de-obra especializada é também capacitada.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Alexandre Cabral Mota - Integrante / Wilkerson Lucena Andrade - Coordenador / Adalberto Cajueiro de Farias - Integrante.

• 2013 - Atual

  e-Pol (Cooperação de P&D UFCG-DPF), Projeto certificado pelo(a) coordenador(a) Dalton Dario Serey Guerrero em 15/04/2014., Descrição: Projeto de P&D em cooperação com a Polícia Federal em que está sendo desenvolvido o sistema e-Pol de gestão de informações de atividades de polícia judiciária e investigadas técnicas de desenvolvimento distribuído, evolução de software e teste no contexto de metodologias ágeis de desenvolvimento.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Dalton Dario Serey Guerrero - Coordenador / Wilkerson Lucena Andrade - Integrante / Franklin Ramalho - Integrante / Tiago Massoni - Integrante.

• 2007 - 2009

  Design Checker: Verificação e Rastreamento da Evolução de Desenhos de Software, Descrição: O objetivo deste projeto é desenvolver técnicas e ferramentas que suportem a verificação, o rastreamento da evolução e a avaliação dos impactos gerados por mudanças em desenhos de software no desenvolvimento. Tais ferramentas oferecerão suporte automatizado às fábricas de software da Unitech para o controle de qualidade dos produtos desenvolvidos.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (3) / Doutorado: (1) . , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Dalton Dario Serey Guerrero - Coordenador / Amanda Saraiva Bezerra - Integrante / Lile Palma Hattori - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro / CPM Braxis Outsourcing - Auxílio financeiro.Número de orientações: 6

• 2005 - 2008

  Smart Action, Descrição: Utilização de técnicas de inteligência artificial no desenvolvimento de um sistema de recomposição de sistemas de transmissão de energia.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Jacques Phillipe Sauvé - Coordenador / Eloi Rocha Neto - Integrante / Michael Angelo Henrique da Silva - Integrante / Pedro Sérgio Nicoletti - Integrante., Financiador(es): Companhia Hidro Elétrica do São Francisco - Auxílio financeiro.

• 2003 - 2004

  Smart Alarms, Descrição: Este é um projeto financiado pela CHESF/Aneel que visa desenvolver um sistema de software, baseado em técnicas de Inteligência Artificial, para o tratamento on-line de alarmes. Tal sistema deverá diagnosticar as causas dos alarmes, avaliar sua dimensão e localização, e propor um conjunto de ações a serem tomadas, no menor tempo possível. O sistema será integrado ao sistema SAGE (Sistema Aberto de Gerência de Energia) da Superintendência de Telecomunicação e Controle (STC) da CHESF.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Jacques Phillipe Sauvé - Integrante / Marcus Costa Sampaio - Integrante / Alexandre Nóbrega Duarte - Integrante / Eloi Rocha Neto - Integrante / Walfredo Cirne Filho - Coordenador., Financiador(es): Companhia Hidro Elétrica do São Francisco - Auxílio financeiro.

• 2014 - Atual

  Projeto SAFF - Análise Estatística dos Arquivos de Falhas dos Terminais Ingenico Telium, Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 24/04/2014., Descrição: A cooperação entre a Ingenico e a UFCG constitui-se em uma oportunidade de se criar uma nova parceria focada no desenvolvimento de uso e modelos analíticos para aumento da confiabilidade de produtos da Ingenico e previsão de informações estratégicas. Como resultado, pretende-se produzir conhecimento inovador na área e contribuir com soluções produtivas para a empresa, ao mesmo tempo em que uma mão-de-obra especializada é também capacitada.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Alexandre Cabral Mota - Integrante / Wilkerson Lucena Andrade - Coordenador / Adalberto Cajueiro de Farias - Integrante.

• 2013 - Atual

  e-Pol (Cooperação de P&D UFCG-DPF), Projeto certificado pelo(a) coordenador(a) Dalton Dario Serey Guerrero em 15/04/2014., Descrição: Projeto de P&D em cooperação com a Polícia Federal em que está sendo desenvolvido o sistema e-Pol de gestão de informações de atividades de polícia judiciária e investigadas técnicas de desenvolvimento distribuído, evolução de software e teste no contexto de metodologias ágeis de desenvolvimento.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Dalton Dario Serey Guerrero - Coordenador / Wilkerson Lucena Andrade - Integrante / Franklin Ramalho - Integrante / Tiago Massoni - Integrante.

• 2007 - 2009

  Design Checker: Verificação e Rastreamento da Evolução de Desenhos de Software, Descrição: O objetivo deste projeto é desenvolver técnicas e ferramentas que suportem a verificação, o rastreamento da evolução e a avaliação dos impactos gerados por mudanças em desenhos de software no desenvolvimento. Tais ferramentas oferecerão suporte automatizado às fábricas de software da Unitech para o controle de qualidade dos produtos desenvolvidos.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (3) / Doutorado: (1) . , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Dalton Dario Serey Guerrero - Coordenador / Amanda Saraiva Bezerra - Integrante / Lile Palma Hattori - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro / CPM Braxis Outsourcing - Auxílio financeiro.Número de orientações: 6

• 2005 - 2008

  Smart Action, Descrição: Utilização de técnicas de inteligência artificial no desenvolvimento de um sistema de recomposição de sistemas de transmissão de energia.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Jacques Phillipe Sauvé - Coordenador / Eloi Rocha Neto - Integrante / Michael Angelo Henrique da Silva - Integrante / Pedro Sérgio Nicoletti - Integrante., Financiador(es): Companhia Hidro Elétrica do São Francisco - Auxílio financeiro.

• 2003 - 2004

  Smart Alarms, Descrição: Este é um projeto financiado pela CHESF/Aneel que visa desenvolver um sistema de software, baseado em técnicas de Inteligência Artificial, para o tratamento on-line de alarmes. Tal sistema deverá diagnosticar as causas dos alarmes, avaliar sua dimensão e localização, e propor um conjunto de ações a serem tomadas, no menor tempo possível. O sistema será integrado ao sistema SAGE (Sistema Aberto de Gerência de Energia) da Superintendência de Telecomunicação e Controle (STC) da CHESF.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Jacques Phillipe Sauvé - Integrante / Marcus Costa Sampaio - Integrante / Alexandre Nóbrega Duarte - Integrante / Eloi Rocha Neto - Integrante / Walfredo Cirne Filho - Coordenador., Financiador(es): Companhia Hidro Elétrica do São Francisco - Auxílio financeiro.

• 2014 - Atual

  Projeto SAFF - Análise Estatística dos Arquivos de Falhas dos Terminais Ingenico Telium, Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 24/04/2014., Descrição: A cooperação entre a Ingenico e a UFCG constitui-se em uma oportunidade de se criar uma nova parceria focada no desenvolvimento de uso e modelos analíticos para aumento da confiabilidade de produtos da Ingenico e previsão de informações estratégicas. Como resultado, pretende-se produzir conhecimento inovador na área e contribuir com soluções produtivas para a empresa, ao mesmo tempo em que uma mão-de-obra especializada é também capacitada.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Alexandre Cabral Mota - Integrante / Wilkerson Lucena Andrade - Coordenador / Adalberto Cajueiro de Farias - Integrante.

• 2013 - Atual

  e-Pol (Cooperação de P&D UFCG-DPF), Projeto certificado pelo(a) coordenador(a) Dalton Dario Serey Guerrero em 15/04/2014., Descrição: Projeto de P&D em cooperação com a Polícia Federal em que está sendo desenvolvido o sistema e-Pol de gestão de informações de atividades de polícia judiciária e investigadas técnicas de desenvolvimento distribuído, evolução de software e teste no contexto de metodologias ágeis de desenvolvimento.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Dalton Dario Serey Guerrero - Coordenador / Wilkerson Lucena Andrade - Integrante / Franklin Ramalho - Integrante / Tiago Massoni - Integrante.

• 2007 - 2009

  Design Checker: Verificação e Rastreamento da Evolução de Desenhos de Software, Descrição: O objetivo deste projeto é desenvolver técnicas e ferramentas que suportem a verificação, o rastreamento da evolução e a avaliação dos impactos gerados por mudanças em desenhos de software no desenvolvimento. Tais ferramentas oferecerão suporte automatizado às fábricas de software da Unitech para o controle de qualidade dos produtos desenvolvidos.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (3) / Doutorado: (1) . , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Dalton Dario Serey Guerrero - Coordenador / Amanda Saraiva Bezerra - Integrante / Lile Palma Hattori - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro / CPM Braxis Outsourcing - Auxílio financeiro., Número de produções C, T & A: 6

• 2005 - 2008

  Smart Action, Descrição: Utilização de técnicas de inteligência artificial no desenvolvimento de um sistema de recomposição de sistemas de transmissão de energia.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Jacques Phillipe Sauvé - Coordenador / Eloi Rocha Neto - Integrante / Michael Angelo Henrique da Silva - Integrante / Pedro Sérgio Nicoletti - Integrante., Financiador(es): Companhia Hidro Elétrica do São Francisco - Auxílio financeiro.

• 2003 - 2004

  Smart Alarms, Descrição: Este é um projeto financiado pela CHESF/Aneel que visa desenvolver um sistema de software, baseado em técnicas de Inteligência Artificial, para o tratamento on-line de alarmes. Tal sistema deverá diagnosticar as causas dos alarmes, avaliar sua dimensão e localização, e propor um conjunto de ações a serem tomadas, no menor tempo possível. O sistema será integrado ao sistema SAGE (Sistema Aberto de Gerência de Energia) da Superintendência de Telecomunicação e Controle (STC) da CHESF.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Jacques Phillipe Sauvé - Integrante / Marcus Costa Sampaio - Integrante / Alexandre Nóbrega Duarte - Integrante / Eloi Rocha Neto - Integrante / Walfredo Cirne Filho - Coordenador., Financiador(es): Companhia Hidro Elétrica do São Francisco - Auxílio financeiro.

Prêmios