Patricia Duarte de Lima Machado

Formação complementar

Idiomas

Áreas de atuação

Organização de eventos

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• C. S. COUTINHO, JARBELE ; L. ANDRADE, WILKERSON ; D. L. MACHADO, PATRÍCIA . Insights from the application of Exploratory Tests in the daily life of distributed teams: an experience report. JOURNAL OF SOFTWARE ENGINEERING RESEARCH AND DEVELOPMENT , v. 11, p. 6:1, 2023.

• ANDRADE, L. R. ; MACHADO, PATRÍCIA D.L. ; ANDRADE, W. L. . Can operational profile coverage explain post-release bug detection?. SOFTWARE TESTING, VERIFICATION AND RELIABILITY , v. 30, p. e1735, 2020.

• Almeida, Diego R. ; Machado, Patrícia D. L. ; ANDRADE, WILKERSON L. . Testing tools for Android context-aware applications: a systematic mapping. JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY (ONLINE) , v. 25, p. 12:1, 2019.

• ALVES, EVERTON L. G. ; SONG, MYOUNGKYU ; MASSONI, TIAGO ; MACHADO, PATRICIA D. L. ; KIM, MIRYUNG . Refactoring Inspection Support for Manual Refactoring Edits. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING , v. 44, p. 365-383, 2018.

• OURIQUES, JOÃO FELIPE S. ; Cartaxo, Emanuela G. ; Machado, Patrícia D. L. . Test case prioritization techniques for model-based testing: a replicated study. SOFTWARE QUALITY JOURNAL , v. 26, p. 1451-1482, 2018.

• ALVES, EVERTON L.G. ; MASSONI, TIAGO ; MACHADO, PATRÍCIA DUARTE DE LIMA . Test coverage of impacted code elements for detecting refactoring faults: An exploratory study. JOURNAL OF SYSTEMS AND SOFTWARE , v. 123, p. 223-238, 2017.

• DAMASCENO, ADRIANA C. ; MACHADO, PATRICIA D. L. ; ANDRADE, WILKERSON L. . Testing real-time systems from compositional symbolic specifications. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER (INTERNET) , v. 19, p. 53-71, 2017.

• BARBOSA, Ana Emília Victor ; CARTAXO, Emanuela Gadelha ; MACHADO, P. D. L. . Analysis of distance functions for similarity-based test suite reduction in the context of model-based testing. Software Quality Journal , v. 24, p. 407-445, 2016.

• Moraes, Alan ; ANDRADE, WILKERSON L. ; MACHADO, PATRÍCIA D.L. . A family of test selection criteria for Timed Input-Output Symbolic Transition System models. Science of Computer Programming (Print) , v. 126, p. 52-72, 2016.

• DE OLIVEIRA NETO, FRANCISCO G. ; TORKAR, RICHARD ; MACHADO, PATRÍCIA D.L. . Full modification coverage through automatic similarity-based test case selection. INFORMATION AND SOFTWARE TECHNOLOGY , v. 80, p. 124-137, 2016.

• ALVES, EVERTON L. G. ; Machado, Patrícia D. L. ; MASSONI, TIAGO ; KIM, MIRYUNG . Prioritizing test cases for early detection of refactoring faults. SOFTWARE TESTING VERIFICATION & RELIABILITY , v. 26, p. 402-426, 2016.

• SILVA OURIQUES, JOÃO FELIPE ; CARTAXO, Emanuela Gadelha ; LIMA MACHADO, PATRÍCIA DUARTE . Revealing influence of model structure and test case profile on the prioritization of test cases in the context of model-based testing. Journal of Software Engineering Research and Development , v. 3, p. 1-28, 2015.

• ROCHA, ANNE CAROLINE O. ; RAMALHO, FRANKLIN ; Machado, Patrícia D. L. . Automating test-based inspection of design models. Software Quality Journal (Online) , v. 23, p. 3-28, 2015.

• ALVES, EVERTON L. G. ; MACHADO, PATRICIA D. L. ; RAMALHO, FRANKLIN . Automatic generation of built-in contract test drivers. Software & Systems Modeling , v. 13, p. 1141-1165, 2014.

• ANDRADE, Wilkerson de Lucena ; MACHADO, PATRICIA D. L. . Generating Test Cases for Real-Time Systems Based on Symbolic Models. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING , v. 39, p. 1216-1229, 2013.

• OLIVEIRA NETO, F. G. ; MACHADO, P. D. L. . Seleção Automática de Casos de Teste de Regressão Baseada em Similaridade e Valores. Revista de Informática Teórica e Aplicada: RITA , v. 20, p. 139-154, 2013.

• ANDRADE, WILKERSON L. ; Machado, Patrícia D. L. . Testing interruptions in reactive systems. Formal Aspects of Computing , v. 24, p. 331-353, 2012.

• CARTAXO, Emanuela Gadelha ; MACHADO, PATRICIA D. L. ; Oliveira Neto, Francisco Gomes de . On the use of a similarity function for test case selection in the context of model-based testing. Software Testing, Verification & Reliability , v. 21, p. 75-100, 2011.

• BARBOSA, DANIEL L. ; LIMA, HELTON S. ; MACHADO, PATRICIA D. L. ; FIGUEIREDO, JORGE C. A. ; JUCÁ, MAKELLI A. ; ANDRADE, WILKERSON L. . AUTOMATING FUNCTIONAL TESTING OF COMPONENTS FROM UML SPECIFICATIONS. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING , v. 17, p. 339, 2007.

• MACHADO, P. D. L. ; SILVA, Daniel Aguiar da ; MOTA, Alexandre Cabral . Towards Property Oriented Testing. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE , v. 184, p. 3-19, 2007.

• Everton Alves ; LIMA, Helton Souza ; MACHADO, P. D. L. . Seleção e Geração de Casos de Teste a partir de Diagramas de Estados Comportamentais UML 2.0. Revista Pesquisa (UFCG) , v. 1, p. 741-748, 2007.

• SILVA, Daniel Aguiar da ; MACHADO, P. D. L. . Towards Test Purpose Generation from CTL Properties for Reactive Systems. Electronic Notes in Theoretical Computer Science , v. 164, p. 29-40, 2006.

• FIGUEIREDO, André Luiz Lima de ; ANDRADE, Wilkerson de Lucena ; MACHADO, P. D. L. . Generating Interaction Test Cases for Mobile Phone Systems from Use Case Specifications. Software Engineering Notes , v. 31, p. 1-10, 2006.

• MACHADO, P. D. L. ; OLIVEIRA, Elthon Allex da Silva ; BARBOSA, Paulo Eduardo e Silva ; RODRIGUES, Cássio Leonardo . Testing from Structured Algebraic Specifications: The Veritas Case Study. Electronic Notes in Theoretical Computer Science , v. 130, p. 235-261, 2005.

• LEITE, Bruno de Brito ; BARBOSA, Ana Emília Victor ; MACHADO, P. D. L. ; FIGUEIREDO, Jorge César Abrantes de . 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, n.I, p. 1-20, 2005.

• LIMA, Emerson Ferreira de Araújo ; MACHADO, P. D. L. ; SAMPAIO, Flávio Ronison ; FIGUEIREDO, Jorge César Abrantes de . An approach to modelling and applying mobile agent design patterns. Software Engineering Notes , ACM Press, New York, v. 29, n.3, p. 1-8, 2004.

• HERBSTER, Raul Fernandes ; ANDRADE, Wilkerson de Lucena ; GOMES, Herman Martins ; MACHADO, P. D. L. . O Estado da Arte em Redes Neurais Artificiais Quânticas. REIC. Revista Eletrônica de Iniciação Científica , n.IV, p. 1-15, 2004.

• MACHADO, P. D. L. . Formal Testing from Structured Algebraic Specifications: Normalisation and the Oracle Problem. Revista de Informática Teórica e Aplicada , Instituto de Informática/UFRGS, v. VII, n.1, p. 89-108, 2000.

• CARVALHO, L. C. ; BARROS, R. V. ; LIMA, A. P. ; MOTTA, G. H. M. B. ; MACHADO, P. D. L. . A Versatile Catheterization Laboratory Data Management System Based on PC-XT Microcomputers. Medical & Biological Engineering & Computing , v. 29, n.2, p. 823, 1991.

• CARVALHO, L. C. ; RICARDO, L. F. ; SOUZA, D. Y. ; MONTEIRO, H. A. ; MACHADO, P. D. L. . Sistema Microcomputadorizado para a Análise Automática do Eletrocardiograma de Esforço. Revista Brasileira de Engenharia. Caderno de Engenharia Biomédica , v. 7, n.1, p. 12-18, 1990.

• DING, J. (Org.) ; MACHADO, PATRÍCIA D.L. (Org.) ; ROPER, M. (Org.) . Proceedings of the 12th International Workshop on Automation of Software Testing. 1. ed. IEEE Press, 2017. v. 1.

• MACHADO, P. D. L. ; Aline Andrade (Org.) ; Adolfo Duran (Org.) . SBMF 2008 - Brazilian Symposium on Formal Methods. 1. ed. SBC, 2008. 233p .

• MACHADO, P. D. L. ; Simão, Adenilso (Org.) . I Brazilian Workshop on Systematic and Automated Software Testing - SBBD/SBES. SBC, 2007. 97p .

• MACHADO, P. D. L. . IX Workshop de Teses em Engenharia de Software. Porto Alegre: Sociedade Brasileira de Computação, 2004. 101p .

• CAVALCANTI, Ana Lúcia Caneca (Org.) ; MACHADO, P. D. L. (Org.) . VI Workshop de Métodos Formais. Porto Alegre: Sociedade Brasileira de Computação, 2003. v. 200. 239p .

• Machado, Patrícia D. L. ; SAMPAIO, Augusto César Alves . Automatic Test-Case Generation. In: Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcock. (Org.). Testing Techniques in Software Engineering (Lecture Notes in Computer Science). 1ed.Berlim: Springer, 2010, v. 6153, p. 59-103.

• Machado, Patrícia D. L. ; Vicenzi, Auri ; Maldonado, José Carlos . Software Testing: An Overview. In: Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcock. (Org.). Testing Techniques in Software Engineering (Lecture Notes in Computer Science). Berlim: Springer, 2010, v. 6153, p. 1-17.

• COUTINHO, JARBELE C. S. ; ANDRADE, WILKERSON L. ; MACHADO, PATRICIA . Implementing Exploratory Testing in an Agile Context: A Study Based on Design Science Research. In: SAST 2023: 8th Brazilian Symposium on Systematic and Automated Software Testing, 2023, Campo Grande. 8th Brazilian Symposium on Systematic and Automated Software Testing. New York: ACM. p. 67.

• COUTINHO, JARBELE ; ANDRADE, WILKERSON ; MACHADO, PATRICIA . A Survey of Requirements Engineering and Software Testing Practices in Agile Teams. In: SAST 2022: 7th Brazilian Symposium on Systematic and Automated Software Testing, 2022, Uberlandia Brazil. Proceedings of the 7th Brazilian Symposium on Systematic and Automated Software Testing. New York: ACM. p. 9.

• TORRES, WESLEY ; ALVES, EVERTON ; MACHADO, PATRICIA . A Configurable Test Case Prioritization Technique for Early Fault Detection and Low Test Case Spreading. In: SBES 2022: XXXVI Brazilian Symposium on Software Engineering, 2022, Virtual Event Brazil. Proceedings of the XXXVI Brazilian Symposium on Software Engineering. p. 178.

• COUTINHO, JARBELE ; ANDRADE, WILKERSON ; MACHADO, PATRICIA . Teaching Exploratory Tests through PBL and JiTT: an experience report in a context of distributed teams. In: SBES '21: Brazilian Symposium on Software Engineering, 2021, Joinville Brazil. Brazilian Symposium on Software Engineering. New York: ACM. p. 205.

• JORGE, DALTON ; MACHADO, PATRICIA ; ANDRADE, WILKERSON . Investigating Test Smells in JavaScript Test Code. In: SAST'21: Brazilian Symposium on Systematic and Automated Software Testing, 2021, Joinville Brazil. Brazilian Symposium on Systematic and Automated Software Testing. New York: ACM, 2021. p. 36.

• MUNIZ, RAPHAEL ; ANDRADE, WILKERSON ; MACHADO, PATRICIA . Towards a Technique to Detect Weaknesses in C Programs. In: SBES '21: Brazilian Symposium on Software Engineering, 2021, Joinville Brazil. Brazilian Symposium on Software Engineering. New York: ACM, 2021. p. 39.

• DE ALMEIDA, DIEGO RODRIGUES ; Machado, Patrícia D. L. ; ANDRADE, WILKERSON L. . Context-Aware Android Applications Testing. In: SBES '20: 34th Brazilian Symposium on Software Engineering, 2020, Natal Brazil. Proceedings of the 34th Brazilian Symposium on Software Engineering. New York: ACM. p. 283.

• SOUZA, BEATRIZ ; MACHADO, PATRÍCIA . A Large Scale Study On the Effectiveness of Manual and Automatic Unit Test Generation. In: SBES '20: 34th Brazilian Symposium on Software Engineering, 2020, Natal Brazil. Proceedings of the 34th Brazilian Symposium on Software Engineering. New York: ACM. p. 253.

• TORRES, WESLEY N. M. ; ALVES, EVERTON L. G. ; MACHADO, PATRICIA D. L. . An Empirical Study on the Spreading of Fault Revealing Test Cases in Prioritized Suites. In: 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC), 2019, Milwaukee. 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC), 2019. p. 129-138.

• COUTINHO, JARBELE C. S. ; ANDRADE, WILKERSON L. ; Machado, Patrícia D. L. . Requirements Engineering and Software Testing in Agile Methodologies. In: the XXXIII Brazilian Symposium, 2019, Salvador. Proceedings of the XXXIII Brazilian Symposium on Software Engineering - SBES 2019. New York: ACM Press, 2019. p. 322-331.

• D. Jorge ; MACHADO, PATRÍCIA D.L. ; Everton Alves ; ANDRADE, W. L. . Integrating Requirements Specification and Model-Based Testing in Agile Development. In: IEEE International Requirements Engineering Conference, 2018, Banff. 2018 IEEE 26th International Requirements Engineering Conference. Piscataway: IEEE, 2018. p. 336-346.

• I .Paula Silva ; Everton Alves ; MACHADO, PATRÍCIA D.L. . Can automated test case generation cope with extract method validation?. In: Brazilian Symposium on Software Engineering, 2018, São Carlos. SBES '18 Proceedings of the XXXII Brazilian Symposium on Software Engineering. New York: ACM, 2018. p. 152-161.

• D. Jorge ; ANDRADE, W. L. ; MACHADO, PATRÍCIA D.L. ; Everton Alves . CLARET - CentraL Artifact for Requirements Engineering and Model-Based Testing. In: 8th Brazilian Conference on Software: Theory and Practice (CBSoft 2017) - 24th Tools Session, 2017, Fortaleza. Anais da Sessão de Ferramentas do Congresso Brasileiro de Software, 2017. p. 41-48.

• OURIQUES, JOÃO F. S. ; Cartaxo, Emanuela G. ; Machado, Patrícia D. L. ; NETO, FRANCISCO G. O. ; COUTINHO, ANA E. V. B. . On the Use of Fault Abstractions for Assessing System Test Case Prioritization Techniques. In: the 1st Brazilian Symposium, 2016, Maringa. Proceedings of the 1st Brazilian Symposium on Systematic and Automated Software Testing - SAST, 2016. p. 1.

• ALVES, EVERTON L. G. ; MASSONI, TIAGO ; Machado, Patrícia D. L. . Test coverage and impact analysis for detecting refactoring faults. In: the 30th Annual ACM Symposium, 2015, Salamanca. Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15. p. 1534-1540.

• DAMASCENO, ADRIANA CARLA ; MACHADO, PATRICIA DUARTE DE LIMA ; ANDRADE, Wilkerson de Lucena ; TORRES, WESLEY NUNES MARQUES . Symbolic Test Case Generation of Compositional Real-Time Systems Driven by Interruptions. In: 2015 IEEE 18th International Symposium on RealTime Distributed Computing (ISORC), 2015, Auckland. 2015 IEEE 18th International Symposium on Real-Time Distributed Computing. p. 228.

• Diego Rodrigues Almeida ; Moraes, A ; ANDRADE, W. L. ; MACHADO, P. D. L. . Towards a Family of Test Selection Criteria for Symbolic Models of Real-Time Systems. In: Brazilian Symposium on Formal Methods, 2015, Maceió. Formal Methods: Foundations and Applications (LNCS), 2014. v. 8941. p. 48-63.

• D. Jorge ; MACHADO, P. D. L. ; OLIVEIRA NETO, F. G. ; BARBOSA, Ana Emília Victor ; Ouriques, João Felipe . Integrando Teste Baseado em Modelos no Desenvolvimento de uma Aplicação Industrial: Benefícios e Desafios. In: Brazilian Workshop on Systematic and Automated Software Testing, 2014, Maceió. 8th Brazilian Workshop on Systematic and Automated Software Testing (SAST 2014), 2014. p. 101-106.

• Everton Alves ; MACHADO, P. D. L. ; Tiago Lima Massoni ; SANTOS, S. T. C. . A Refactoring-Based Approach for Test Case Selection and Prioritization. In: Eighth International Workshop on Automation of Software Test (AST?13), 2013, San Francisco. AST 2013, 2013. p. 93-99.

• Oliveira Neto, Francisco Gomes de ; Robert Feldt ; Richard Torkar ; MACHADO, P. D. L. . Searching for Models to Evaluate Software Technology. In: 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE), 2013, San Francisco. CMSBSE 2013, 2013. p. 12-15.

• BARBOSA, Ana Emília Victor ; CARTAXO, Emanuela Gadelha ; MACHADO, P. D. L. . Test Suite Reduction based on Similarity of Test Cases. In: CBSoft/SAST - Brazilian Workshop on Systematic and Automated Software Testing, 2013, Brasilia. SAST 2013 - Proceedings, 2013.

• Everton Alves ; SANTOS, S. T. C. ; MACHADO, P. D. L. ; Tiago Lima Massoni . Test Case Prioritization Using PriorJ. In: CBSoft/SAST - Brazilian Workshop on Systematic and Automated Software Testing, 2013, Brasilia. SAST 2013 - Proceedings, 2013.

• Ouriques, João Felipe ; CARTAXO, Emanuela Gadelha ; MACHADO, P. D. L. . On the Influence of Model Structure and Test Case Profile on the Prioritization of Test Cases in the Context of Model-based Testing. In: Simpósio Brasileiro de Engenharia de Software, 2013, Brasília. Anais XXVII Simpósio Brasileiro de Engenharia de Software, 2013. v. 01. p. 134-143.

• ANDRADE, W. L. ; Diego Rodrigues Almeida ; CANDIDO, J. B. ; Machado, Patrícia D. L. . SYMBOLRT: A Tool for Symbolic Model-Based Test Case Generation for Real-Time Systems. In: CBSoft Sessão de Ferramentas 2012, 2012, Natal. Ferramentas 2012 - XIX Sessão de Ferramentas, 2012. v. 4. p. 31-37.

• Julio Henrique Rocha ; Everton Alves ; Machado, Patrícia D. L. . PriorJ - Priorização Automática de Casos de Teste JUnit. In: CBSoft Sessão de Ferramentas 2012, 2012, Natal. Ferramentas 2012 - XIX Sessão de Ferramentas, 2012. v. 4. p. 44-50.

• ANDRADE, J. S. ; ANDRADE, L. R. ; Macedo, Augusto Q. ; ANDRADE, Wilkerson de Lucena ; Machado, Patrícia D. L. . Automating Test Case Creation and Execution for Embedded Real-time Systems. In: CBSoft - VI Workshop Brasileiro de Teste de Software Sistemático e Automatizado, 2012, Natal. CBSoft/SAST 2012 - VI Workshop Brasileiro de Teste de Software Sistemático e Automatizado, 2012. v. 13. p. 53-62.

• ARAUJO, J. D. S. ; CARTAXO, Emanuela Gadelha ; Oliveira Neto, Francisco Gomes de ; Machado, Patrícia D. L. . Controlando a Diversidade e a Quantidade de Casos de Teste na Geração Automática a partir de Modelos com Loop. In: CBSoft - VI Workshop Brasileiro de Teste de Software Sistemático e Automatizado, 2012. CBSoft/SAST 2012 - VI Workshop Brasileiro de Teste de Software Sistemático e Automatizado. p. 63-72.

• DAMASCENO, A. C. ; ANDRADE, Wilkerson de Lucena ; MACHADO, PATRICIA D. L. . Automatic Test Generation of Compositional Real-Time Systems. In: WTDSoft 2012 - II Workshop de Teses e Dissertações de Engenharia de Software, 2012, Natal. WTDSoft 2012 - II Workshop de Teses e Dissertações de Engenharia de Software, 2012. p. 60-66.

• ANDRADE, Wilkerson de Lucena ; Machado, Patrícia D. L. ; Hervé Marchand ; Jéron, Thierry . Abstracting Time and Data for Conformance Testing of Real-Time Systems. In: 7th Workshop on Advances in Model Based Testing - AMOST 2011, 2011, Berlin. IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2011. p. 9-17.

• Macedo, Augusto Q. ; ANDRADE, Wilkerson de Lucena ; Machado, Patrícia D. L. . RealTimePCO - A Tool for Real-Time Embedded Systems Testing Execution. In: Sessão de Ferramentas do Congresso Brasileiro de Software - CBSOFT 2011, 2011, São Paulo. Sessão de Ferramentas do Congresso Brasileiro de Software - CBSOFT 2011, 2011.

• Oliveira Neto, Francisco Gomes de ; Machado, Patrícia D. L. . WSA-RT: Uma Técnica para a Seleção de Casos de Teste de Regressão baseados na Especificação do Sistema. In: Systematic and Automated Software Testing - SAST 2011, 2011, São Paulo. V Workshop Brasileiro de Teste de Software Sistemático e Automatizado, 2011.

• ALVES, EVERTON L.G. ; MACHADO, PATRICIA D.L. ; RAMALHO, FRANKLIN . Testing Architectures for Real Time Systems. In: 2011 Fifth Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS), 2011, Sao Paulo. 2011 Fifth Brazilian Symposium on Software Components, Architectures and Reuse, 2011. p. 120.

• ALVES, EVERTON L.G. ; MACHADO, PATRICIA D.L. ; RAMALHO, FRANKLIN . Guidelines for Platform Independent Modeling for Real Time Systems Using UML. In: 2011 Fifth Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS), 2011, Sao Paulo. 2011 Fifth Brazilian Symposium on Software Components, Architectures and Reuse, 2011. p. 110.

• Bertolino, Antonia ; CARTAXO, Emanuela Gadelha ; Machado, Patrícia D. L. ; Marchetti, Eda . Test Suite Reduction in Good Order: Comparing Heuristics from a New Viewpoint. In: IFIP International Conference on Testing Software and Systems, 2010, Natal. Proceedings of the 22nd IFIP International Conference on Testing Software and Systems: Short Papers. Canadá: CRIM, 2010. p. 13-18.

• Macedo, Augusto Q. ; ANDRADE, Wilkerson de Lucena ; Rodrigues, Diego ; Machado, Patrícia D. L. . Automating Test Case Execution for Real-Time Embedded Systems. In: IFIP International Conference on Testing Software and Systems, 2010, Natal. Proceedings of the 22nd IFIP International Conference on Testing Software and Systems: Short Papers. Canadá: CRIM, 2010. p. 37-42.

• Anne Caroline Oliveira Rocha ; Machado, Patrícia D. L. ; Franklin Ramalho . Automating Inspection of Design Models Guided by Test Cases. In: IFIP International Conference on Testing Software and Systems, 2010, Natal. Proceedings of the 22nd IFIP International Conference on Testing Software and Systems: Short Papers. Canadá: CRIM, 2010. p. 73-78.

• Vieira, Andreza ; Franklin Ramalho ; Machado, Patrícia D. L. ; Leal, Fábio . Applying Data Mining Techniques to Semi-Automatically Discover Guidelines for Metamodels. In: I Brazilian Workshop On Model-Driven Development, 2010, Salvador. Proceedings of theI Brazilian Workshop On Model-Driven Development, 2010.

• Camila Luna Maciel ; Machado, Patrícia D. L. ; Franklin Ramalho . Automação de Padrões de Teste para a Geração de Casos de Teste de Integração usando MDA. In: VIII Latin-American Conference on Pattern Languages of Programming (SugarLoafPlop 2010), 2010, Salvador. Proceedings of the VIII Latin-American Conference on Pattern Languages of Programming (SugarLoafPlop 2010), 2010. p. 271-290.

• Everton Alves ; Macedo, Augusto Q. ; ANDRADE, Wilkerson de Lucena ; Machado, Patrícia D. L. ; Franklin Ramalho . Mapeando Modelos de Teste em UTP para a plataforma FreeRTOS. In: 4th Brazilian Workshop on Systematic and Automated Software Testing, 2010, Natal. Proceedings of 4th Brazilian Workshop on Systematic and Automated Software Testing, 2010. p. 23-32.

• Ouriques, João Felipe ; CARTAXO, Emanuela Gadelha ; Machado, Patrícia D. L. . Comparando Técnicas de Priorização de Casos de Teste no Contexto de Teste baseado em Modelos. In: IV Brazilian Workshop on Systematic and Automatic Software Testing (SAST 2010), 2010. Proceedings of the IV Brazilian Workshop on Systematic and Automatic Software Testing (SAST 2010), 2010. p. 69-78.

• MACIEL, CAMILA L. ; Machado, Patrícia D. L. ; RAMALHO, FRANKLIN . An integration testing approach based on test patterns and MDA techniques. In: the 8th Latin American Conference, 2010, Salvador. Proceedings of the 8th Latin American Conference on Pattern Languages of Programs - SugarLoafPLoP '10, 2010. p. 1.

• ANDRADE, Wilkerson de Lucena ; MACHADO, P. D. L. ; Everton Alves ; Diego Rodrigues Almeida . Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS. In: Brazilian Symposium on Formal Methods, 2009, Gramado. Formal Methods: Foundations and Applications (Lecture Notes in Computer Science. Berlim: Springer, 2009. v. 5902. p. 54-69.

• ANDRADE, Wilkerson de Lucena ; MACHADO, P. D. L. . Interruption Testing of Reactive Systems. In: Brazilian Symposium on Formal Methods, 2009, Gramado. Formal Methods: Foundations and Applications (Lecture Notes in Computer Science). Berlin: Springer, 2009. v. 5902. p. 37-53.

• Camila Luna Maciel ; MACHADO, P. D. L. ; Franklin Ramalho . Uma Técnica MDT para a Geração Automática de Casos de Teste Usando Padrões de Teste. In: Brazilian Workshop on Systematic and Automated Software Testing (SAST), 2009, Gramado. SAST - 2009 III Brazilian Workshop on Systematic and Automated Software Testing, 2009. p. 1-10.

• Anne Caroline Oliveira Rocha ; Machado, Patrícia D. L. ; Franklin Ramalho . Automação da Técnica de Inspeção Guiada Usando MDA e Simulação de Modelos. In: SBCARS, 2009, Natal. Anais do III Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2009). Porto Alegre: Sociedade Brasileira de Computação, 2009. p. 181-194.

• CARTAXO, Emanuela Gadelha ; Oliveira Neto, Francisco Gomes de ; ANDRADE, Wilkerson de Lucena ; MACHADO, P. D. L. . LTS-BT: A tool to generate and select functional test cases for embedded systems. In: 23rd Annual ACM Symposium on Applied Computing, 2008, Fortaleza. Proceedings of the 23th annual ACM Symposium on Applied Computing 2008, 2008. p. 1540-1544.

• FIGUEIREDO, André Luiz Lima de ; MACHADO, P. D. L. ; CARTAXO, Emanuela Gadelha ; FIGUEIREDO, Jorge César Abrantes de ; 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: Workshop de Testes e Tolerância a Falhas, 2008, Rio de Janeiro. Anais do IX Workshop de Testes e Tolerância a Falhas (WTF 2008), 2008. p. 29-42.

• Bertolino, Antonia ; CARTAXO, Emanuela Gadelha ; MACHADO, P. D. L. ; Marchetti, Eda . Weighting Influence of User Behavior in Software Validation. In: 19th International Conference on Database and Expert Systems Application, 2008, Turin. Proceedings of 19th International Conference on Database and Expert Systems Application, 2008. v. 00. p. 495-500.

• CARTAXO, Emanuela Gadelha ; MACHADO, P. D. L. ; Oliveira Neto, Francisco Gomes de . Seleção Automática de Casos de Teste Baseada em Função de Similaridade. In: Simpósio Brasileiro de Engenharia de Software, 2008, Campinas. Anais do XXIII Simpósio Brasileiro de Engenharia de Software - SBES 2008, 2008. p. 1-16.

• ANDRADE, Wilkerson de Lucena ; MACHADO, P. D. L. . Modeling and Testing Interruptions in Reactive Systems Using Symbolic Models. In: Brazilian Workshop on Systematic and Automated Software Testing (SBES/SAST 2008), 2008, Campinas. Anais do 2nd Brazilian Workshop on Systematic and Automated Software Testing (SBES/SAST 2008), 2008. p. 34-43.

• Everton Alves ; MACHADO, P. D. L. ; Franklin Ramalho . Uma Abordagem Integrada para Desenvolvimento e Teste Dirigido por Modelos. In: Brazilian Workshop on Systematic and Automated Software Testing (SBES/SAST 2008), 2008, Campinas. Anais do 2nd Brazilian Workshop on Systematic and Automated Software Testing (SBES/SAST 2008), 2008. p. 74-83.

• CARTAXO, Emanuela Gadelha ; Oliveira Neto, Francisco Gomes de ; MACHADO, P. D. L. ; Ouriques, João Felipe . Reducing the Size of Test Cases Based on Similarities. In: Brazilian Workshop on Systematic and Automated Software Testing (SBES/SAST 2008), 2008, Campinas. Anais do 2nd Brazilian Workshop on Systematic and Automated Software Testing (SBES/SAST 2008), 2008. p. 44-53.

• Queiroz, Magno J. S. ; Damásio, Jemerson F. ; MACHADO, P. D. L. . Automating Acceptance Testing of Digital Television Applications with EasyAccept DTV. In: Brazilian Workshop on Systematic and Automated Software Testing (SBES/SAST 2008), 2008, Campinas. Anais do 2nd Brazilian Workshop on Systematic and Automated Software Testing (SBES/SAST 2008), 2008. p. 11-20.

• ANDRADE, Wilkerson de Lucena ; Oliveira Neto, Francisco Gomes de ; MACHADO, P. D. L. . Geração de Casos de Teste de Interrupção para Aplicações de Celulares. In: VIII Workshop de Teste e Tolerância a Falhas (WTF 2007), 2007, Belém. VIII Workshop de Teste e Tolerância a Falhas (WTF 2007). Porto Alegre: SBC, 2007. v. 1. p. 129-142.

• CARTAXO, Emanuela Gadelha ; Oliveira Neto, Francisco Gomes de ; MACHADO, P. D. L. . Test Case Generation by means of UML Sequence Diagrams and Labeled Transition Systems. In: IEEE International Conference on Systems, Man and Cybernetics, 2007, Montreal. Systems, Man and Cybernetics, 2007. ISIC. IEEE International Conference on, 2007. p. 1292-1297.

• MACHADO, P. D. L. ; ANDRADE, Wilkerson de Lucena . The Oracle Problem for Testing against Quantified Properties. In: First International Workshop on Software Test Evaluation (STEV 2007), 2007, Portland. Quality Software, 2007. QSIC '07. Seventh International Conference on, 2007. v. 00. p. 415-418.

• CARTAXO, Emanuela Gadelha ; Oliveira Neto, Francisco Gomes de ; MACHADO, P. D. L. . Automated Test Case Selection Based on a Similarity Function. In: MOTES07 - Model-based Testing - Workshop in conjunction with the 37th Annual Congress of the Gesellschaft fuer Informatik, 2007, Bremen. Lecture Notes in Informatics (LNI) - Proceedings Series of the Gesellschaft fur Informatic (GI), 2007. v. 110. p. 381-386.

• MACHADO, P. D. L. ; FIGUEIREDO, Jorge César Abrantes de ; LIMA, Emerson Ferreira de Araújo ; BARBOSA, Ana Emília Victor ; LIMA, Helton Souza . Component-Based Integration Testing from UML Interaction Diagrams. In: IEEE International Conference on Systems, Man and Cybernetics, 2007, Montreal. Systems, Man and Cybernetics, 2007. ISIC. IEEE International Conference on, 2007. p. 2679-2686.

• NASCIMENTO, Laisa Helena Oliveira Do ; MACHADO, P. D. L. . An Experimental Evaluation of Approaches to Feature Testing in the Mobile Phone Applications Domain. In: Domain-Specific Approaches to Software Test Automation (DoSTA) - Satellite workshop of ESEC/FSE 2007, 2007, Dubrovnik. DOSTA'07 Workshop Proceedings, 2007. p. 27-33.

• LIMA, Helton Souza ; Franklin Ramalho ; MACHADO, P. D. L. ; Everton Alves . Automatic Generation of Platform Independent Built-in Contract Testing. In: Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2007), 2007, Campinas. Anais do Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2007), 2007.

• DUARTE, Alexandre Nóbrega ; CIRNE FILHO, Walfredo Costa ; BRASILEIRO, Francisco Vilar ; MACHADO, P. D. L. . GridUnit: Software Testing on the Grid. In: International Conference on Software Engineering, 2006, Shangai. Proceedings of the 28th International Conference on Software Engineering. New York, NY, USA: ACM Press, 2006. v. 28. p. 779-782.

• SILVA, Daniel Aguiar da ; MACHADO, P. D. L. . Adaptando Verificadores de Modelos para a Geração Automática de Objetivos de Teste para Sistemas Reativos. In: Worshop de Teste e Tolerância a Falhas, 2006, Curitiba. Worshop de Teste e Tolerância a Falhas - WTF 2006, 2006.

• ANDRADE, Wilkerson de Lucena ; LIMA, Helton Souza ; BARBOSA, Daniel Lima ; MACHADO, P. D. L. ; FIGUEIREDO, Jorge César Abrantes de . Experiência no Uso de Ferramentas Livres para o Teste Funcional de Componentes de Software. In: VI Workshop de Software Livre, 2005, Porto Alegre. fisl6.0, 2005. v. 6. p. 205-210.

• DUARTE, Alexandre Nóbrega ; CIRNE FILHO, Walfredo Costa ; BRASILEIRO, Francisco Vilar ; MACHADO, P. D. L. . Using the Computational Grid to Speed up Software Testing. In: Sessão de Ferramentas - Simpósio Brasileiro de Engenharia de Software, 2005, Uberlândia, 2005. v. 12. p. 33-38.

• MACHADO, P. D. L. ; SILVA, Daniel Aguiar da ; MOTA, Alexandre Cabral . Towards Property Oriented Testing. In: Brazilian Symposium on Formal Methods, 2005, Porto Alegre. Brazilian Symposium on Formal Methods - SBMF 2005. Porto Alegre: Sociedade Brasileira de Computação, 2005. v. 2. p. 2-16.

• BARBOSA, Daniel Lima ; ANDRADE, Wilkerson de Lucena ; MACHADO, P. D. L. ; FIGUEIREDO, Jorge César Abrantes de . SPACES - Uma Ferramenta para Teste Funcional de Componentes. In: XI Sessão de Ferramentas - SBES 2004, 2004, Brasília. XI Sessão de Ferramentas. Porto Alegre: Sociedade Brasileira de Computação, 2004. p. 55-61.

• BARBOSA, Daniel Lima ; ANDRADE, Wilkerson de Lucena ; MACHADO, P. D. L. ; FIGUEIREDO, Jorge César Abrantes de . Um Método Automático para a Verificação de Componentes. In: Workshop de Desenvolvimento Baseado em Componentes, 2004, João Pessoa. WDBC 2004, 2004. p. 23-28.

• GOUVEIA, Cidinha Costa ; MACHADO, P. D. L. ; FIGUEIREDO, Jorge César Abrantes de . Uma Estratégia de Teste de Integração de Componentes. In: Workshop de Desenvolvimento Baseado em Componentes, 2004, João Pessoa. WDBC 2004, 2004. p. 63-68.

• FIGUEIREDO, André Luiz Lima de ; ALMEIDA, Antonio Jaime Moreira de ; MACHADO, P. D. L. . Identifying and Documenting Test Patterns from Mobile Agent Design. In: 1st International Workshop on Mobility Aware Technologies and Applications, 2004, Florianópolis. Lecture Notes in Computer Science: Mobilty Aware Technologies and Applications, 2004. v. 3284. p. 359-368.

• LIMA, Emerson Ferreira de Araújo ; NASCIMENTO, Laisa Helena Oliveira Do ; MACHADO, P. D. L. ; FIGUEIREDO, Jorge César Abrantes de . 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. WCSF 2004, 2004. p. 171-180.

• SILVA, Daniel Aguiar da ; LIMA, Emerson Ferreira de Araújo ; FIGUEIREDO, Jorge César Abrantes de ; MACHADO, P. D. L. . Modelagem e Validação do Protocolo WTLS. In: VI Workshop de Comunicação sem Fio e Computação Móvel, 2004, Fortaleza. WCSF 2004, 2004. p. 108-116.

• MACHADO, P. D. L. ; OLIVEIRA, Elthon Allex da Silva ; BARBOSA, Paulo Eduardo e Silva ; RODRIGUES, Cássio Leonardo . Algebraic Specification-Based Testing: The Veritas Case Study. In: Simpósio Brasileiro de Métodos Formais, 2004, Recife. SBMF 2004, 2004. p. 166-183.

• FARIAS, Carina Machado de ; MACHADO, P. D. L. . Um Método de Teste Funcional para Verificação de Componentes. In: XVII Simpósio Brasileiro de Engenharia de Software, 2003, Manaus. XVII Simpósio Brasileiro de Engenharia de Software. Porto Alegre: Sociedade Brasileira de Computação, 2003. p. 193-208.

• OLIVEIRA, Kylly Araújo de ; MACHADO, P. D. L. ; ANDRADE, Wilkerson de Lucena . CASLTEST - Test Case, Test Oracle and Test Data Generation from CASL Specifications. In: XVII Simpósio Brasileiro de Engenharia de Software - Sessão de Ferramentas, 2003, Manaus. X Sessão de Ferramentas. Porto Alegre: Sociedade Brasileira de Computação, 2003. p. 73-78.

• GUEDES, Fabiana Paulino ; MACHADO, P. D. L. ; MEDEIROS, Vivianne da Nóbrega . Developing Mobile Agent-Based Applications. In: XXIX Conferencia Latinoamericana de Informática - CLEI 2003, 2003, La Paz, 2003.

• MACHADO, P. D. L. ; SANNELLA, Donald T. . Unit Testing for CASL Architectural Specifications. In: Mathematical Foundations of Computer Science, 2002, Warsaw. Mathematical Foundations of Computer Science 2002 / Lecture Notes in Computer Science, 2002. v. 2420. p. 506-518.

• MACHADO, P. D. L. ; PINTO, A. L. S. ; OLIVEIRA, Kylly Araújo de . Automating Formal Testing from CASL Specifications. In: IV Workshop on Formal Methods - SBES'2001, 2001, Rio de Janeiro. Proceedings of IV WMF - Workshop on Formal Methods, 2001.

• GUEDES, Fabiana Paulino ; MACHADO, P. D. L. . Um Modelo para o Desenvolvimento de Aplicações Baseadas em Agentes Móveis. In: WTES, 2001, Rio de Janeiro. Anais do VI Workshop de Teses em Engenharia de Software, 2001. p. 31-34.

• MACHADO, P. D. L. . Formal Testing from Structured Algebraic Specifications: Normalisation and the Oracle Problem. In: WMF'2000 - Workshop de Métodos Formais - Evento Integrante SBES'2000, 2000, João Pessoa. III Workshop de Métodos Formais - WMF 2000, 2000. p. 158-169.

• MACHADO, P. D. L. . Testing from Structured Algebraic Specifications. In: Algebraic Methodology and Software Technology, 2000, Iowa City. Algebraic Methodology and Software Technology. 8TH INTERNATIONAL CONFERENCE, AMAST 2000 / Lecture Notes in Computer Science, 2000. v. 1816. p. 529-544.

• MACHADO, P. D. L. . The Rôle of Normalisation in Testing from Structured Algebraic Specifications. In: 14th International Workshop on Algebraic Development Techniques, 2000, Bonas. Recent Trends in Algebraic Development Techniques / Lecture Notes in Computer Science (Reviewed and Revised Selected Papers), 2000. v. 1827. p. 459-476.

• MACHADO, P. D. L. . On Oracles for Interpreting Test Results against Algebraic Specifications. In: Algebraic Methodology and Software Technology, 1999, Manaus. Algebraic Methodology and Software Technology, 7TH INTERNATIONAL CONFERENCE, AMAST / Lecture Notes in Computer Science, 1999. v. 1548. p. 502-518.

• MACHADO, P. D. L. . Testing in Stepwise Formal Development. In: I Workshop Brasileiro de Métodos Formais - WMF'98, 1998, Porto Alegre, 1998. p. 123-128.

• MACHADO, P. D. L. ; CARVALHO FILHO, E. C. B. ; GOMES, Herman Martins . A Toolkit for Neural Network Application Development. In: International Conference on Information Systems, Analysis and Synthesis, 1996, Orlando, 1996. p. 127-134.

• GOMES, Herman Martins ; MACHADO, P. D. L. ; CARVALHO FILHO, E. C. B. . Investigation of Techniques for Off-line Signature Recognition. In: International Conference on Information Systems, Analisys and Synthesis, 1996, Orlando, 1996. p. 103-109.

• MACHADO, P. D. L. . EASY - Um Ambiente para Desenvolvimento de Aplicações Usando Redes Neurais Artificiais. In: IX Simpósio Brasileiro de Engenharia de Software (Caderno de Ferramentas), 1995, Recife, 1995. p. 459-462.

• GOMES, Herman Martins ; MACHADO, P. D. L. ; CARVALHO FILHO, E. C. B. . Detecção de Falsificações Habilidosas na Verificação Estática de Assinaturas Usando MLP Backpropagation. In: II Simpósio Brasileiro de Redes Neurais, 1995, São Carlos, 1995. p. 28-33.

• MACHADO, P. D. L. ; MEIRA, Sílvio L . On the Use of Formal Specifications in the Design and Simulation of Artificial Neural Networks. In: Z Users Meeting - The Z Formal Specification Notation, 1995, Limerick. Z Users Meeting - The Z Formal Specification Notation / Lecture Notes in Computer Science, 1995. v. 967.

• MACHADO, P. D. L. ; CARVALHO FILHO, E. C. B. ; MEIRA, Sílvio L ; GOMES, Herman Martins . EASY - Um Ambiente para Modelagem, Simulação e Análise de Redes Neurais Artificiais. In: I Simpósio Brasileiro de Redes Neurais - I SBRN, evento integrante do XIV Congresso da Sociedade Brasileira de Computação, 1994, Caxambú, 1994. p. 43-48.

• MACHADO, P. D. L. ; MEIRA, Sílvio L ; CARVALHO FILHO, E. C. B. ; GOMES, Herman Martins . Especificando Redes Neurais Artificiais em MooZ. In: XX Conferencia Latinoamericana de Informatica - PANEL'94, 1994, Campus Estado de México, 1994. p. 313-323.

• MACHADO, P. D. L. ; CARVALHO FILHO, E. C. B. ; MEIRA, Sílvio L ; GOMES, Herman Martins . EASY - An [E]nvironment for [A]rtificial Neural [SY]stems Simulation. In: Fourth Irish Neural Network Conference - INNC'94, 1994, Dublin, 1994. p. 49-54.

• MACHADO, P. D. L. ; CARVALHO FILHO, E. C. B. . Requisitos de um Ambiente para Simulação de Redes Neurais Artificiais. In: I Congresso Brasileiro de Redes Neurais - I CBRN, 1994, Itajubá, 1994. p. 113-118.

• MACHADO, P. D. L. ; MEIRA, Sílvio L ; CARVALHO FILHO, E. C. B. ; GOMES, Herman Martins . Uma Especificação Formal Orientada a Objetos de Redes Neurais Artificiais. In: VIII Simpósio Brasileiro de Engenharia de Software, 1994, Curitiba, 1994. p. 159-173.

• CARVALHO, L. C. ; BARROS, R. V. ; LIMA, A. P. ; MOTTA, G. H. M. B. ; MACHADO, P. D. L. . A Versatile Cathetherization Laboratory Data Management System Based on PC-XT Microcomputers. In: World Congress on Medical Physics and Biomedical Engineering, 1991, Kyoto, 1991.

• DE ALMEIDA, DIEGO RODRIGUES ; Machado, Patrícia D. L. ; ANDRADE, WILKERSON L. . ENVIAR. In: SBES '20: 34th Brazilian Symposium on Software Engineering, 2020, Natal Brazil. Proceedings of the 34th Brazilian Symposium on Software Engineering. New York: ACM. p. 532-537.

• OLIVEIRA NETO, FRANCISCO G. DE ; TORKAR, RICHARD ; MACHADO, PATRICIA D. L. . An Initiative to Improve Reproducibility and Empirical Evaluation of Software Testing Techniques. In: 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE), 2015, Florence. 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, 2015. v. 2. p. 575-578.

• SILVA, Daniel Aguiar da ; MACHADO, P. D. L. . Geração de Objetivos de Testes para Sistemas Distribuídos Baseada em Técnicas de Verificação de Modelos. In: Workshop de Teses em Engenharia de Software - WTES'2005, 2005. v. 10. p. 33-38.

• BARBOSA, Daniel Lima ; MACHADO, P. D. L. ; FIGUEIREDO, Jorge César Abrantes de . Automação de Métodos e Técnicas para Teste Funcional de Componentes. In: Workshop de Teses e Dissertações em Qualidade de Software, 2004, Brasília. WTDQS 2004, 2004. p. 1-6.

• FIGUEIREDO, André Luiz Lima de ; MACHADO, P. D. L. . Geração Automática de Casos de Teste para Sistemas Baseados em Agentes Móveis. In: Workshop de Teses e Dissertações em Qualidade de Software, 2004, Brasília. WTDQS 2004, 2004. p. 1-6.

• LIMA, Emerson Ferreira de Araújo ; MACHADO, P. D. L. ; FIGUEIREDO, Jorge César Abrantes de . Formalização e Análise de Padrões de Projeto para Agentes Móveis. In: Workshop de Teses em Engenharia de Software - WTES'2003, 2003, Manaus. VIII Workshop de Teste em Engenharia de Software, 2003. p. 47-52.

• GOUVEIA, Cidinha Costa ; MACHADO, P. D. L. ; FIGUEIREDO, Jorge César Abrantes de . Teste de Integração para Sistemas Baseados em Componentes. In: Workshop de Teses em Engenharia de Software - WTES'2003, 2003, Manaus. VIII Workshop de Teses em Engenharia de Software. Porto Alegre: Sociedade Brasileira de Computação, 2003. p. 29-34.

• MACHADO, P. D. L. . Teste Formal de Componentes e Arquiteturas a partir de Especificações Algébricas. In: I EPA - Encontro de Planejamento e Avaliação do Kit Enxoval Recém-Doutor (em conjunto com SBC'2001), 2002, Fortaleza. Projeto Kit Recém-Doutor - Ação 2001/02 - PROTEM, 2001. v. I. p. 56-59.

• FARIAS, Carina Machado de ; MACHADO, P. D. L. . Um Método de Teste Funcional para a Verificação de Componentes. In: VII Workshop de Teses em Engenharia de Software, 2002, Gramado. VII Workshop de Teses em Engenharia de Software - SBES'2002, 2002. v. I. p. 49-52.

• ANDRADE, Wilkerson de Lucena ; CARVALHO, G. H. P. ; MACHADO, P. D. L. . Teste Baseado em Modelos para Sistemas de Tempo Real. In: III Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2012), 2012, Natal. CBSoft 2012 - Livro Resumo, 2012. p. 10-10.

• MACHADO, P. D. L. ; Franklin Ramalho ; LIMA, Helton Souza ; Everton Alves . Integrando Desenvolvimento e Testes Dirigido por Modelos. In: Simpósio Brasileiro de Engenharia de Software (SBES 2007), 2007, João Pessoa. Anais do Simpósio Brasileiro de Engenharia de Software (Outubro de 2007), 2007. p. 438-438.

• MACHADO, P. D. L. ; FIGUEIREDO, Jorge César Abrantes de ; FIGUEIREDO, André Luiz Lima de ; LIMA, Emerson Ferreira de Araújo . Padrões de Teste para Software Orientado a Objetos. In: Simpósio Brasileiro de Engenharia de Software, 2005, Uberlândia. 19o. Simpósio Brasileiro de Engenharia de Software. Porto Alegre: Sociedade Brasileira de Computação, 2005. v. 19. p. 9-9.

• MACHADO, P. D. L. ; GUERRERO, Dalton Dario Serey ; FIGUEIREDO, Jorge César Abrantes de . Automatic Test Generation. In: Brazilian Symposium on Formal Methods, 2005, Porto Alegre. Brazilian Symposium on Formal Methods - SBMF 2005. Porto Alegre: Sociedade Brasileira de Computação, 2005. v. 2. p. 193-193.

• BARBOSA, Daniel Lima ; MACHADO, P. D. L. ; FARIAS, Carina Machado de . Uma Ferramenta de Suporte a Teste Funcional de Software a partir de Modelos UML. In: X Encontro de Iniciação Científica da UFPB, 2002, João Pessoa. X Encontro de Iniciação Científica da UFPB, 2002. v. I.

• OLIVEIRA, Kylly Araújo de ; MACHADO, P. D. L. ; PINTO, A. L. S. . CASLTEST - Uma Ferramenta para Geração Automática de Oráculos e Dados de Teste a partir de Especificações Formais em CASL. In: X Encontro de Iniciação Científica da UFPB, 2002, João Pessoa. X Encontro de Iniciação Científica da UFPB, 2002. v. I.

• MEDEIROS, Vivianne da Nóbrega ; MACHADO, P. D. L. ; GUEDES, Fabiana Paulino . Desenvolvimento de Aplicações Baseadas em Agentes Móveis. In: X Encontro de Iniciação Científica da UFPB, 2002, João Pessoa. X Encontro de Iniciação Científica da UFPB, 2002. v. I.

• SAMPAIO, Flávio Ronison ; MACHADO, P. D. L. ; GOMES, Herman Martins . Easy Neural Network Simulator - Um Ambiente para Modelagem e Simulação de Redes Neurais Artificiais. In: X Encontro de Iniciação Científica da UFPB, 2002, João Pessoa. X Encontro de Iniciação Científica da UFPB, 2002. v. I.

• GUEDES, Fabiana Paulino ; MACHADO, P. D. L. . Um Modelo para o Desenvolvimento de Aplicações Baseadas em Agentes Móveis. In: XVI Congresso Nacional de Pós-Graduandos, 2001, Campina Grande. II Encontro de Pós-Graduandos da UFPB, 2001.

• PINTO, A. L. S. ; MACHADO, P. D. L. ; OLIVEIRA, Kylly Araújo de . Derivação de Oráculos de Teste a partir de Especificações Algébricas. In: ENIC, 2001, João Pessoa. Anais do IX ENCONTRO DE INICIAÇÃO CIENTÍFICA DA UFPB, 2001.

• OLIVEIRA, Kylly Araújo de ; MACHADO, P. D. L. ; PINTO, A. L. S. . Automação de Teste Formal a partir de Especificações Algébricas em CASL. In: ENIC, 2001, João Pessoa. Anais do IX ENCONTRO DE INICIAÇÃO CIENTÍFICA DA UFPB, 2001. p. 37-48.

• BARBOSA, Daniel Lima ; MACHADO, P. D. L. . Avaliação de Técnicas de Teste de Componentes de Software. In: ENIC, 2001, João Pessoa. Anais do IX ENCONTRO DE INICIAÇÃO CIENTÍFICA DA UFPB, 2001.

• SAMPAIO, Flávio Ronison ; MACHADO, P. D. L. ; GOMES, Herman Martins . Um Ambiente para Modelagem, Simulação e Ensino de Redes Neurais Artificiais. In: ENIC, 2001, João Pessoa. Anais do IX ENCONTRO DE INICIAÇÃO CIENTÍFICA DA UFPB, 2001.

• MEDEIROS, Vivianne da Nóbrega ; MACHADO, P. D. L. ; GUEDES, Fabiana Paulino . Desenvolvimento de Aplicações Baseadas em Agentes Móveis - Enfoque no Domínio de Telecomunicações. In: ENIC, 2001, João Pessoa. Anais do IX ENCONTRO DE INICIAÇÃO CIENTÍFICA DA UFPB, 2001.

• MACHADO, P. D. L. . Testing from Structured Algebraic Specifications. In: 14th International Workshop on Algebraic Development Techniques, 1999, Château de Bonas. WADT'99, 1999. p. 44-45.

• MACHADO, P. D. L. ; GOMES, Herman Martins ; CARVALHO FILHO, E. C. B. . EasyJava: Um Ambiente Distribuído para Simulação de Redes Neurais. In: III Simpósio Brasileiro de Redes Neurais, 1996, Recife. Comunicações do III Simpósio Brasileiro de Redes Neurais, 1996.

• CARVALHO, L. C. ; BARROS, R. V. ; MOTTA, G. H. M. B. ; LIMA, A. P. ; MACHADO, P. D. L. ; FERREIRA, L. M. . Sistema de Aquisição, Processamento e Gerenciamento de Dados de Cateterismo Cardíaco. In: III Encontro de Linhas de Pesquisa do Centro de Ciências da Saúde, 1991, João Pessoa, 1991. p. 250.

• MACHADO, P. D. L. ; CARVALHO, L. C. . Processamento Automático do Eletrocardiograma: Determinação dos Pontos Fiduciais. In: III Encontro de Linhas de Pesquisa do Centro de Ciências da Saúde, 1991, João Pessoa, 1991. p. 252.

• MACHADO, P. D. L. ; MOTTA, G. H. M. B. ; CARVALHO, L. C. . Especificação Formal de Software: Aplicação no Processamento do Eletrocardiograma de Esforço. In: III Encontro de Linhas de Pesquisa do Centro de Ciências da Saúde, 1991, João Pessoa, 1991. p. 255.

• MACHADO, P. D. L. ; LIMA, Emerson Ferreira de Araújo . Padrões de Projeto para Desenvolvimento de Aplicações Baseadas em Agentes Móveis. 2003. (Apresentação de Trabalho/Conferência ou palestra).

• MACHADO, P. D. L. ; FARIAS, Carina Machado de . Um Método de Teste Funcional para Verificação de Componentes. 2003. (Apresentação de Trabalho/Simpósio).

• MACHADO, P. D. L. . CASLTEST: Test Case, Test Oracle and Test Data Generation from CASL Specifications. 2003. (Apresentação de Trabalho/Simpósio).

• MACHADO, P. D. L. . Computação Móvel. 2002. (Apresentação de Trabalho/Conferência ou palestra).

• MACHADO, P. D. L. ; OLIVEIRA, Kylly Araújo de ; PINTO, A. L. S. . Automating Formal Testing from CASL Specifications. 2001. (Apresentação de Trabalho/Simpósio).

• MACHADO, P. D. L. . Formal Testing from Structured Algebraic Specifications: Normalisation and the Oracle Problem. 2000. (Apresentação de Trabalho/Simpósio).

• MACHADO, P. D. L. . Testing from Structured Algebraic Specifications. 1999. (Apresentação de Trabalho/Simpósio).

• MACHADO, P. D. L. . On Oracles for Interpreting Test Results against Algebraic Specifications. Lecture Notes in Computer Science. 1999. (Apresentação de Trabalho/Conferência ou palestra).

• MACHADO, P. D. L. . EASY - Um Ambiente para Desenvolvimento de Aplicações Usando Redes Neurais Artificiais. 1995. (Apresentação de Trabalho/Simpósio).

• MACHADO, P. D. L. ; CARVALHO FILHO, E. C. B. ; MEIRA, Sílvio L ; GOMES, Herman Martins . EASY - Um Ambiente para Modelagem, Simulação e Análise de Redes Neurais Artificiais. 1994. (Apresentação de Trabalho/Simpósio).

• MACHADO, P. D. L. ; MEIRA, Sílvio L ; CARVALHO FILHO, E. C. B. . Uma Especificação Formal Orientada a Objetos de Redes Neurais Artificiais. 1994. (Apresentação de Trabalho/Comunicação).

• I. Barley ; Y. Cai ; MACHADO, PATRÍCIA D.L. . Special section on testing and repair for software engineering technologies and applications, 2020. (Prefácio, Pósfacio/Prefácio)>.

• MACHADO, PATRICIA D. L. . Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2008), 2012. (Prefácio, Pósfacio/Prefácio)>.

Outras produções

Projetos de pesquisa

• 2020 - 2024

  Construção e Evolução de Casos de Teste, Descrição: Bolsa de Produtividade em Pesquisa (Chamada CNPq N 09/2020) Processo: 311215/2020-3Nos últimos anos, diferentes abordagens e ferramentas para a construção e evolução de conjuntos de casos de teste (CCTs) têm sido propostas e aprimoradas. No entanto, apesar de todos os avanços obtidos, técnicas e ferramentas ainda não conseguem lidar com desafios inerentes a prática. Primeiramente, CCTs, tanto construídos manualmente quanto gerados automaticamente, tendem a ser de difícil manutenção. Estudos empíricos mostram que tais conjuntos possuem problemas de design que dificultam sua compreensão e até mesmo reduzem sua capacidade de detecção de defeitos. Em particular, em sistemas que possuem diferentes dependências externas, flaky tests são muito comuns. Adicionalmente, CCTs manualmente escritos ainda são dominantes quanto a capacidade de detecção de defeitos. No entanto, construir estes conjuntos é um processo caro e suscetível a erros. Apesar de já existirem iniciativas neste sentido, a concepção e disseminação de boas práticas para a construção destes conjuntos ainda é incipiente. No geral, CCTs são de difícil manutenção e sua reutilização ao longo do ciclo de vida é limitada, com vários casos de teste sendo continuamente descartados. Tais limitações impõem barreiras tanto ao avanço científico quanto a adoção de práticas e a transferência de tecnologia. Este projeto tem como objetivo investigar e propor soluções com base na seguinte questão geral de pesquisa: Como construir, modificar e reutilizar casos de teste efetivos? A questão será investigada no escopo de ambientes de desenvolvimento ágil, com enfoque em CCTs voltados a compor o portão de qualidade (quality gate) para aprovação de release de software.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Patricia Duarte de Lima Machado - Coordenador.

• 2018 - 2022

  Aprimorando a Automação de Teste de Software em Desenvolvimento Ágil, Descrição: Recentemente, a indústria de software tem passado por uma revolução com relação à prática de teste. Inúmeras técnicas e ferramentas tem sido propostas, apresentado resultados promissores no suporte à realização de diferentes atividades no processo de teste. Mesmo assim, teste é considerada ainda uma atividade de alto custo e cuja realização ainda não é uma prática efetiva, em particular, no desenvolvimento ágil de software. Em processos ágeis, testes são fundamentais para a validação de requisitos e precisam ser continuamente criados e atualizados como parte do processo de desenvolvimento em diferentes níveis, exigindo do programador habilidades adicionais. Ainda é notória a falta de profissionais qualificados para lidar com práticas de desenvolvimento e teste neste contexto. Por um lado, a automação pode prover meios para a criação de testes, o controle automático de sua execução, incluindo a configuração de pré-condições e a análise dos resultados obtidos em comparação com os resultados esperados. No entanto, especialmente na ausência de práticas e treinamento adequados, o desenvolvimento e a evolução de casos de teste pode ser de alto custo e suscetível a erros, comprometendo a confiabilidade e até mesmo a viabilidade do processo de teste. Além disso, apesar da geração automática de testes poder trazer inúmeros benefícios, tais como ganho em produtividade, estudos apresentados na literatura mostram que a efetividade, particularmente referente a detecção de defeitos, de conjuntos gerados automaticamente pode não ser satisfatória. O objetivo central deste projeto de pesquisa é investigar técnicas e ferramentas efetivas de teste em desenvolvimento ágil de software, incluindo o desenvolvimento e evolução de casos de teste automatizados, critérios para análise de padrões de efetividade e meios para aprimoramento de práticas. O enfoque será no teste de aplicações para cidades inteligentes, em particular, no teste de requisitos de proteção (security testing).. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (3) . , Integrantes: Patricia Duarte de Lima Machado - Coordenador / Everton L. G. Alves - Integrante / Tiago Lima Massoni - Integrante / Wilkerson de Lucena Andrade - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2017 - 2020

  Construindo, Analisando e Aprimorando Conjuntos de Casos de Teste Automatizados, Descrição: Bolsa de Produtividade em Pesquisa (Chamada CNPq N 12/2017) Processo: 311239/2017-0Automatização de casos de teste consiste em prover meios para o controle automático de sua execução, incluindo a configuração de pré-condições e a análise dos resultados obtidos em comparação com os resultados esperados. Um conjunto de casos de teste automatizados pode ser obtido através de: 1) geração automática; 2) desenvolvimento (manual e/ou assistido). Apesar da geração automática trazer inúmeros benefícios, tais como ganho em produtividade, estudos apresentados na literatura mostram que a efetividade, particularmente referente a detecção de defeitos, de conjuntos gerados automaticamente pode não ser satisfatória. Isto se deve ao fato de que técnicas atuais de geração são limitadas, particularmente com relação a geração de dados complexos, e baseiam-se, majoritariamente, em propriedades estruturais do software, não levando em consideração requisitos do sistema sob teste. Por outro lado, o desenvolvedor de casos de teste utiliza diferentes fontes de conhecimento sobre o sistema, bem com experiências anteriores. No entanto, o desenvolvimento de casos de teste pode ser de alto custo e suscetível a erros, comprometendo a confiabilidade e até mesmo a viabilidade do processo de testes. O objetivo central deste projeto foi investigar práticas de geração, desenvolvimento e evolução de casos de teste automatizados, identificando e avaliando critérios para análise de padrões de efetividade, bem como propondo meios de aprimoramento dessas práticas. O enfoque foi em casos de teste de integração e sistema, no contexto do desenvolvimento ágil de aplicações Java e Android.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Patricia Duarte de Lima Machado - Coordenador.

• 2014 - 2016

  Application of Reproducibility Research with Software Testing Techniques, Descrição: This document proposes collaboration between the Federal University of Campina Grande (UFCG- Brazil) and Dr. Richard Torkar from Chalmers University of Technology (CTH-Sweden) to define methods and provide tool support to develop and reproduce experiments with software testing techniques (STT). The current concern regarding quality of evaluation performed in existing studies revealed the need of methods and tools to assist definition and execution of empirical studies and experiments. Through a Special Visiting Researcher (PVE) fellowship, Dr. Torkar will collaborate with UFCG to develop methods and tools to increase reproducibility of research with (STT). Initially we will investigate meta-empirical studies to determine the reproducible elements of a study and apply these elements to the testing domain. Then, these elements (e.g. methods and artifacts) will be combined into a methodology specifying guidelines and methods to develop reproducible studies with STT. Secondly, we will develop a tool that enables automatic execution and analysis of experiments producing reproducible research compendia as output. The next step is the empirical evaluation of the methodology through experiments to obtain increased reproducibility of studies both in academia and industry. Finally, we will deploy our methodology by providing our tool and documents in repositories for reproducible research compendia. Moreover, studies regarding reproducible research improve our ability to define, execute and evaluate studies, and sharing reproducible compendia increases visibility within the scientific community. Furthermore, our industry partners (e.g. Ericsson, Volvo and Huawei) have shown interest in this research, since more efficient and confident methods can be applied to determine if a STT is appropriate to their needs. We developed this proposal for a 2 year (24 months) project and in collaboration with a post-doctorate student. This proposal presents the objectives, schedule, activities and other specific items established by the public call.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (2) . , Integrantes: Patricia Duarte de Lima Machado - Coordenador / Richard Torkar - Integrante / Francisco Gomes de Oliveira Neto - Integrante.

• 2013 - 2016

  Teste Baseado em Modelos Simbólicos para Sistemas Embarcados de Tempo Real (CNPq Universal), Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 22/01/2014., Descrição: Sistemas de tempo real são aqueles cujo correto comportamento não depende somente dos resultados gerados, mas também de quando os resultados são gerados. Muitos desses sistemas são desenvolvidos com propósitos específicos e fortemente acoplados ao hardware e, por isso, são conhecidos como sistemas embarcados de tempo real. Esses sistemas têm se tornado cada vez mais presentes no suporte a execução de atividades críticas, tais como controle, monitoração e tomada de decisões, onde falhas podem resultar em perdas em termos financeiros, ambientais ou humanos. Por isso, confiança é uma importante propriedade que demanda uma aplicação rigorosa das atividades de V & V. O principal objetivo deste projeto é dar suporte ao teste de conformidade, interoperabilidade e robustez no contexto dos sistemas embarcados de tempo real através de uma fundamentação teórica sólida e validação através de teste de software com apoio de ferramentas adequadas. Os resultados obtidos serão aplicados na prática considerando o domínio espacial.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Doutorado: (1) . , Integrantes: Patricia Duarte de Lima Machado - Integrante / Jorge César Abrantes de Figueiredo - Integrante / Wilkerson de Lucena Andrade - Coordenador / Maria de Fátima Mattiello-Francisco - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2011 - 2013

  Confiabilidade e Segurança em Software Crítico Embarcado, Descrição: Sistemas Embarcados têm se tornado cada vez mais comuns no suporte a execução de atividades críticas, tais como controle, monitoração e tomada de decisões, onde falhas podem resultar em perdas ou injúrias a pessoas, ao meio ambiente ou a negócios. Tais sistemas se enquadram no quinto grande desafio da SBC que tem como enfoque o desenvolvimento tecnológico de quali\-dade de sistemas. O objetivo deste projeto é prover fundamentação teórica e tecnologia para o desenvolvimento de software crítico embarcado correto e seguro, com base na aplicação de técnicas de modelagem formal, transformação, geração automática, verificação de modelos e validação através de teste de software. Serão considerados aspectos e conceitos tais como abstração, tradução de linguagens, independência de plataforma, verificação de propriedades temporais e análise probabilística. As soluções serão aplicadas, prioritariamente, ao domínio aeronáutico, através de cooperação com a empresa Embraer, e de material de transporte metro-ferroviário, através de uma colaboração com a empresa AeS.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Patricia Duarte de Lima Machado - Integrante / Anamaria Martins Moreira - Integrante / Paulo Henrique Monteiro Borba - Integrante / Augusto César Alves Sampaio - Coordenador / David Deharbe - Integrante / Wilkerson de Lucena Andrade - Integrante / Alexandre Cabral Mota - Integrante / Emanuela Gadelha Cartaxo - Integrante / Marcel Oliveira - Integrante / Juliano Iyoda - Integrante / Marcelo D'Amorim - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2011 - 2013

  Combinando Redução, Priorização e Localização de Defeitos no Re-Teste Seletivo Baseado em Especificação, Descrição: Teste de Regressão é uma atividade crítica no processo evolutivo de software cujo objetivo é validar modificações introduzidas em partes específicas do software. Usualmente, esta atividade consiste em identificar as partes do software a serem testadas e, com base nesta informação e em conjuntos de casos de testes existentes, selecionar um conjunto reduzido, possivelmente ordenado, de casos de teste que maximize o atendimento de um objetivo. Esta atividade recebe comumente a denominação de re-teste seletivo. O objetivo pode ser tanto a rápida detecção de defeitos quanto a validação do software. O conjunto reduzido é comumente obtido com base em critérios de cobertura, histórico de detecção de defeitos e priorização. Por fim, é comum que seja mantido um histórico dos casos de teste que falharam a fim de utilizar esta informação em etapas posteriores. Diversas estratégias estão presentes na literatura para dar suporte à redução de conjuntos de casos de teste, incluindo os de regressão, com base em análise do código. No entanto, estas técnicas são limitadas quando modificações em requisitos são consideradas, visto que não utilizam informações abstratas, dificultando assim a rastreabilidade e, como consequencia, a escolha adequada de casos de teste. O objetivo deste projeto é investigar e propor técnicas de re-teste seletivo, considerando casos de teste gerados a partir de modelos, com base em modificações realizadas no modelo e que devem ser refletidas no código a ser testado. Para tal, serão consideradas técnicas de valoração e similaridade para redução e ordenação (priorização) de conjuntos de casos de teste, bem como estratégias que facilitem a localização de defeitos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Doutorado: (4) . , Integrantes: Patricia Duarte de Lima Machado - Coordenador.

• 2009 - 2023

  INES: Instituto Nacional de Ciência e Tecnologia para Engenharia de Software, Descrição: (http://www.ines.org.br/)Devido ao cenário atual de falta de produtividade e qualidade em desenvolvimento de software, há uma necessidade urgente de aplicar técnicas de manufatura e princípios de Engenharia de Software para emular os benefícios da manufatura tradicional. Este é o conceito real de Fábricas de Software, onde há um processo de montagem com controle de custo/benefício e preocupação constante com inovação.O INES (Instituto Nacional de Ciência e Tecnologia para Engenharia de Software), sob a Coordenação do Prof. Silvio Meira, da UFPE, tem como tema global promover desenvolvimento de software com altíssima produtividade, aplicando de forma sistemática o conceito de fábrica. Primordialmente, os sistemas desenvolvidos apresentarão, de forma mensurável e configurável, fidedignidade (ou seja, poderemos depender deles sem receio). Em especial, as iniciativas do INES buscarão diminuir de forma radical as taxas de fracasso de projeto, aumentando o nível de satisfação com a qualidade dos produtos entregues, com custo e benefício controlados.Dentro deste contexto, o Instituto determinará e controlará a execução de atividades com metas de curto, médio e longo prazo, coordenando as contribuições das várias instituições e grupos de pesquisa participantes. A área de atuação dos pesquisadores que irão compor o INES, em termos gerais, engloba atividades de definição, viabilização e implantação de fábricas de software efetivas, com foco em alta produtividade e, ao mesmo tempo, fidedignidade mensurável e controlável. De forma específica, pesquisadores atuarão em diversas linhas de pesquisa conectadas em termos do objetivo em comum:(a) reuso sistemático e linhas de produto de software,(b) verificação e validação automática de sistemas,(c) técnicas de evolução e refatoração automáticas,(d) desenvolvimento dirigido por modelos,(e) linguagens de domínio específico,(f) qualidade de software e(g) engenharia de software experimental.O INES já conta c. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Patricia Duarte de Lima Machado - Integrante / Sílvio L Meira - Coordenador / Jorge César Abrantes de Figueiredo - Integrante / Dalton Dario Serey Guerrero - Integrante / Anamaria Martins Moreira - Integrante / Augusto César Alves Sampaio - Integrante / David Deharbe - Integrante / Paulo Borba - Integrante / Marcel Oliveira - Integrante / Rohit Gheyi - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 6

• 2009 - 2011

  TReaTiES: Test of Real-Time Embedded Systems, Descrição: The cooperation (Programme INRIA "Equipes Associées") is targeted on the use of formal models and techniques for model-based testing of embedded systems. The main objective is to share some knowledge and experience in order to make common advances in this research domain. This cooperation will consider several research directions. Firstly, we aim to investigate models of heterogenous software systems with enlarged features such as non-determinism, recursion, time, interruption and compositionality. Secondly, we aim to focus on testing from partial models by generating them from abstract test cases and observed behavior. The idea is to incorporate incremental learning techniques into a formal validation process. Thirdly, we aim to improve current test case generation techniques by considering semantic rather than structural coverage criteria as well as the conformance relation and model checking coverage criteria. Conformance relations should also be investigated based on failure-divergence on process algebraic models. Additionally, test case generation for conformance testing with the help of diagnosis and controller synthesis is also going to be pursued. Finally, we aim to investigate automated test case selection strategies based on similarity functions. http://www.irisa.fr/vertecs/Treaties.html. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Patricia Duarte de Lima Machado - Integrante / Jorge César Abrantes de Figueiredo - Integrante / Paulo Henrique Monteiro Borba - Integrante / Augusto César Alves Sampaio - Integrante / Wilkerson de Lucena Andrade - Integrante / Alexandre Cabral Mota - Integrante / Emanuela Gadelha Cartaxo - Integrante / Flávia Barros - Integrante / Sidney Nogueira - Integrante / Cristiano Bertolini - Integrante / Rohit Gheyi - Integrante / Thierry Jéron - Coordenador / Hervé Marchand - Integrante / Nathalie Bertrand - Integrante / Vlad Rusu - Integrante., Financiador(es): Institut National de Recherche En Informatique - Cooperação., Número de produções C, T & A: 1

• 2008 - 2013

  Desenvolvimento de Metodologia, Técnicas e Ferramentas de Engenharia de Software para Aplicações Interativas de TV Digital, Descrição: O objetivo central desse projeto de cooperação científica é promover o intercâmbio entre membros (professores, pesquisadores, doutorandos, mestrandos e alunos de iniciação científica) de grupos de pesquisa atuando na área de TV Digital.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Patricia Duarte de Lima Machado - Integrante / Paulo Borba - Integrante / Franklin Souza Ramalho - Integrante / Carlos Ferraz - Coordenador / Uirá Kuleska - Integrante / Jair Leite - Integrante / Nelson Souto Rosa - Integrante / Mario Fried - Integrante / Thais Batista - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa.

• 2007 - 2009

  Combinando Técnicas de Métodos Formais e Teste na Construção de Sistemas Embarcados de Tempo Real, Descrição: Este projeto tem como enfoque o uso combinado de métodos formais e técnicas de teste baseado em modelos para sistemas embarcados de tempo real. O principal objetivo é compartilhar conhecimentos e experiências para promover avanços conjuntos nesta área de pesquisa. Em particular, procuramos com este projeto promover o desenvolvimento tecnológico de qualidade de sistemas corretos e seguros. O projeto considerará as seguintes direções de pesquisa: (1) investigação de modelos de sistemas de software heterogêneos com características tais como não-determinismo, tempo e interrupção; (2) desenvolvimento de padrões de modelagem para sistemas embarcados utilizando formalismos baseados em estados e processos; (3) proposta de padrões de desenvolvimento baseado em refinamento de modelos baseados em estados e processos; (4) geração automática de código para hardware e software; (5) testes a partir de modelos parciais, considerando sua geração a partir de casos de teste abstratos e comportamento observável; (6) aprimoramento de técnicas atuais para a geração de casos de teste considerando critérios semânticos de cobertura além dos critérios de cobertura estrutural, bem como relações de conformidade pertinentes e critérios de cobertura de verificação de modelos; (7) investigação das relações de conformidade com base em falha e divergência em álgebras de processo; (8) proposta de estratégias para a seleção automática de casos de teste com base em funções de similaridade.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (1) / Doutorado: (2) . , Integrantes: Patricia Duarte de Lima Machado - Integrante / Jorge César Abrantes de Figueiredo - Integrante / Anamaria Martins Moreira - Integrante / Augusto César Alves Sampaio - Coordenador / David Deharbe - Integrante / Alexandre Cabral Mota - Integrante / Paulo Borba - Integrante / Flávia Barros - Integrante / Franklin Souza Ramalho - Integrante / Marcel Oliveira - Integrante / Juliano Iyoda - Integrante / Marcelo D'Amorim - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 2

• 2005 - 2008

  Teste de Aplicações para Disseminação, Captação e Manipulação da Informação em Dispositivos, Descrição: O objetivo central desta proposta é investigar e propor processos e ferramentas para o teste de aplicações voltadas a captação, disseminação e manipulação da informação em dispositivos celulares, com elevado padrão de qualidade, tornando as atividades de teste mais efetivas, com conseqüente aumento de produtividade e redução de custos. Tais aplicações são projetadas para executar em um número muito grande de aparelhos, possivelmente de forma concorrente, requisitando um alto grau de confiabilidade. Para o teste deste tipo de aplicação, é imprescindível considerar estratégias e ferramentas adequadas, considerando que se trata de aplicações com características e limitações peculiares herdadas de sua plataforma de execução, para as quais técnicas e ferramentas convencionais não são diretamente apropriadas.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (3) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Patricia Duarte de Lima Machado - Integrante / Paulo Henrique Monteiro Borba - Integrante / Augusto César Alves Sampaio - Coordenador / Laísa Helena Oliveira do Nascimento - Integrante / Wilkerson de Lucena Andrade - Integrante / Alexandre Cabral Mota - Integrante / Emanuela Gadelha Cartaxo - Integrante / Alexandre Lins Vasconcelos - Integrante / Flávia Barros - Integrante.

• 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. , Integrantes: Patricia Duarte de Lima Machado - Integrante / Jorge César Abrantes de Figueiredo - Coordenador / Dalton Dario Serey Guerrero - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2004 - 2009

  Processo Integrado de Avaliação, Seleção e Geração Automática de Casos de Teste, Descrição: FACEPE/UFPE/MOTOROLA. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (3) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Patricia Duarte de Lima Machado - Integrante / Emerson Ferreira de Araújo Lima - Integrante / Paulo Henrique Monteiro Borba - Coordenador / Augusto César Alves Sampaio - Integrante / Wilkerson de Lucena Andrade - Integrante / Alexandre Cabral Mota - Integrante / André Luiz Lima de Figueiredo - Integrante / Laisa Helena Oliveira do Nascimento - Integrante / Emanuela Gadelha Cartaxo - Integrante / Alexandre Lins Vasconcelos - Integrante / Flávia Barros - Integrante., Financiador(es): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco - Bolsa / Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco - Auxílio financeiro.

• 2004 - 2008

  Desenvolvimento e Verificação de Aplicações Móveis baseadas em Componentes (CNPq FAPESQ Edital 003/2003 - Vigência 2004-), Descrição: A nossa proposta consiste em desenvolver métodos, práticos e com boa fundamentação teórica, para serem usados pelo fornecedor e pelo cliente de componentes, que sejam integrados a um processo de desenvolvimento e verificação rigorosa de sistemas com mobilidade baseados em componentes, o que contribui para aumentar a testabilidade dos componentes e do sistema. Componentes poderão representar agentes individuais ou um conjunto de agentes e objetos com um objetivo bem definido. Testabilidade é uma propriedade fundamental que engloba todos os aspectos que tornam possível a elaboração e execução de testes. Consideraremos contratos expressos em RPOO (Redes de Petri Orientadas a Objetos), UML (Unified Modelling Language) e OCL (Object Constraint Language) com extensão para mobilidade. A definição dos métodos será embasada pela investigação e proposta de soluções as questões fundamentais levantadas anteriormente. Para dar suporte a utilização dos métodos, um conjunto integrado de ferramentas será projetado. Estudos de caso serão realizados. Enfim, com métodos práticos e bem definidos, espera-se que desenvolvedores possam verificar sistemas de uma forma mais efetiva, aumentando com isto, as chances de composição e reuso. Os métodos também deverão ser baseados no uso de padrões de projeto de agentes móveis.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Patricia Duarte de Lima Machado - Coordenador., Financiador(es): Fundação de Apoio à Pesquisa do Estado da Paraíba - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 10

• 2003 - 2005

  Verificação de Modelos em Redes de Petri Orientadas a Objetos, 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. Metas: 1. Identificar e definir uma lógica temporal adequada para expressar propriedades de interesse em RPOO. 2. Especificar e desenvolver técnicas de verificação de modelos RPOO segundo a lógica identificada. 3. Validar os conceitos e as técnicas propostas, através de um estudo de caso.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (4) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Patricia Duarte de Lima Machado - Integrante / Jorge César Abrantes de Figueiredo - Coordenador / Dalton Dario Serey Guerrero - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2003 - 2005

  Técnicas e Ferramentas para a Validação Rigorosa de Sistemas de Software com Características de Mobilidade (CNPq, CTINFO/2002 - Processo 552190/2002-0 - Vigência 2003-2005), Descrição: O objetivo é investigar e desenvolver métodos, notações e ferramentas para auxiliar no desenvolvimento de sistemas de software concorrentes e distribuídos que incorporam conceitos avançados como mobilidade, através de técnicas de modelagem e verificação baseada em redes de Petri e orientação a objetos. Os objetivos específicos deste projeto de pesquisa podem ser divididos em três partes principais: · Desenvolvimento de ferramentas de modelagem e verificação de sistemas RPOO. · Investigação de métodos e técnicas para a geração de testes a partir de modelos RPOO. · Aplicação no desenvolvimento de software baseado em agentes móveis. Financiamento: CTINFO/2002 - CNPq. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (3) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Patricia Duarte de Lima Machado - Integrante / Jorge César Abrantes de Figueiredo - Coordenador / Flávio Ronison Sampaio - Integrante / Vivianne da Nóbrega Medeiros - Integrante / Dalton Dario Serey Guerrero - Integrante / Cidinha Costa Gouveia - Integrante / Emerson Ferreira de Araújo Lima - Integrante / Cássio Leonardo Rodrigues - Integrante / Taciano Morais Silva - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 5

• 2001 - 2002

  Teste Formal de Componentes e Arquiteturas a partir de Especificações Algébricas, Descrição: RESUMO: Com o aumento da complexidade e da dependência de software em diversos segmentos da sociedade, qualidade passa a ser um critério preponderante. Consequentemente, a necessidade de novos métodos de teste efetivos torna-se cada vez mais evidente. Neste contexto, os objetivos centrais desta proposta são: 1) desenvolver fundamentação teórica necessaria para que casos de teste, oráculos e conjuntos de dados possam ser gerados de forma adequada e precisa a partir de especificações algébricas, com o intuito de verificar aspecos de funcionalidade e integração de componentes e arquiteturas de software, 2) propor métodos práticos e ferramentas de apoio, com base na fundamenação acima, para especificação, planejamento e execução de teste formal de componentes e arquiteturas de software. RESULTADOS ESPERADOS: Os principais resultados esperados são: 1) tecnologia para a aplicação de teste formal de componentes e arquiteturas de software a partir de uma fundamentação teórica sólida, na forma de definições precisas de conceitos e teoremas ainda não formalizados, que possam ser usados como guia para a solução de problemas, como por exemplo, o problema do oráculo e a seleção de casos de teste; 2) proposta de um método semi-automático de teste formal, juntamente com protótipos de ferramentas de apoio para planejamento de teste geração semi-automática de artefatos; 3) realização de estudos de caso reais para Aferição dos resultados em cooperação com empresas da região: 4) estabelecimento de intercâmbios e cooperações para o desenvolvimento de tecnologia em teste formal de software; 5) contribuição para a formação e capacitação tecnológica dos bolsistas ITI. Financiamento: Kit Recém-Doutor (Enxoval) - Programa ProTem-CC - CNPq - 02/2000 Processo: 68.0096/01-9. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Patricia Duarte de Lima Machado - Coordenador / Kylly Araújo de Oliveira - Integrante / Adriano Laurentino da Silva Pinto - Integrante / Carina Machado de Farias - Integrante / Daniel Lima Barbosa - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 17

• 2001 - 2002

  Teste Formal a partir de Especificações Algébricas de Componentes e Arquiteturas de Software, Descrição: Com o aumento da complexidade e da dependência de software em diversos segmentos da sociedade, qualidade passa a ser um critério preponderante. Consequentemente, a necessidade de novos métodos de teste efetivos torna-se cada vez mais evidente. Neste contexto, os objetivos centrais desta proposta são: 1) desenvolver fundamentação teórica necessaria para que casos de teste, oráculos e conjuntos de dados possam ser gerados de forma adequada e precisa a partir de especificações algébricas, com o intuito de verificar aspecos de funcionalidade e integração de componentes e arquiteturas de software, 2) propor métodos práticos e ferramentas de apoio, com base na fundamenação acima, para especificação, planejamento e execução de teste formal de componentes e arquiteturas de software. Financiamento: Edital Universal 01/2001 CNPq Processo: 471388/2001-7. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (5) / Especialização: (0) / Mestrado acadêmico: (4) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Patricia Duarte de Lima Machado - Coordenador / Kylly Araújo de Oliveira - Integrante / Adriano Laurentino da Silva Pinto - Integrante / Fabiana Paulino Guedes - Integrante / Carina Machado de Farias - Integrante / Jorge César Abrantes de Figueiredo - Integrante / Daniel Lima Barbosa - Integrante / Flávio Ronison Sampaio - Integrante / Vivianne da Nóbrega Medeiros - Integrante / Dalton Dario Serey Guerrero - Integrante / Cidinha Costa Gouveia - Integrante / Emerson Ferreira de Araújo Lima - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 20

Projetos de desenvolvimento

• 2014 - 2014

  Investigação de Novos Cenários para Utilização dos Terminais Ingenico, Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 09/03/2015., Descrição: Projeto cujo objetivo é investigar novos cenários para utilização dos terminais Ingenico, como possíveis aplicações na educação, negócios, saúde, segurança pública, etc. Como resultado, espera-se identificar potenciais de inovação através da tecnologia da Ingenico e formação de mão-de-obra especializada.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Patricia Duarte de Lima Machado - Integrante / Dalton Dario Serey Guerrero - Integrante / Wilkerson de Lucena Andrade - Coordenador / ADALBERTO CAJUEIRO DE FARIAS - Integrante.

• 2014 - Atual

  Projeto SATT - Análise Estatística dos Testes de Terminais IngenicoTelium através do TMA CommandMode, Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 09/03/2015., Descrição: O objetivo é adequar/desenvolver técnicas e ferramentas capazes de testar terminais da Ingenico.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Patricia Duarte de Lima Machado - Integrante / Jorge César Abrantes de Figueiredo - Integrante / Wilkerson de Lucena Andrade - Coordenador.

• 2013 - 2013

  Componentização de novos casos de uso de Contactless (NFC) e de Identificação Biométrica (Cooperação de P&D UFCG-Ingenico), Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 22/01/2014., Descrição: Projeto de P&D em cooperação com a Ingenico que tem como objetivos: capacitar mão-de-obra especializada, investigar técnicas para transferência segura de dados e iniciar pesquisa no contexto de desenvolvimento de software embarcado em dispositivos com reconhecimento biométrico e cartões contactless (tecnologia NFC).. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) . , Integrantes: Patricia Duarte de Lima Machado - Integrante / Dalton Dario Serey Guerrero - Integrante / Wilkerson de Lucena Andrade - Coordenador / ADALBERTO CAJUEIRO DE FARIAS - Integrante.

• 2003 - 2004

  Pesquisa e Desenvolvimento em Aplicações usando a Tecnologia iDEN, Descrição: (Cooperação com a Motorola) iDEN (Integrated Digital Enhanced Network) é um conjunto de soluções sem fio de última geração, introduzido pela Motorola, para permitir o desenvolvimento de aplicações como comércio eletrônico e conferências. Dispositivos portáteis iDEN tem sido usados em um número diverso de aplicações considerando características como portabilidade associada a um sistema de comunicação completo, incluindo rádio, telefone, mensagem, fax, transmissão de dados e acesso a internet. Dando continuidade a proposta inicial de implantação de uma rede de laboratórios de pesquisa e desenvolvimento relacionados à tecnologia iDEN (Integrated Digital Enhanced Network ), o objetivo deste plano de trabalho é investigar o desenvolvimento de aplicações usando a tecnologia. Tal investigação inclui a análise e melhoramento de aplicações existentes, a implantação de um processo de desenvolvimento adequado ao laboratório e o desenvolvimento de uma aplicação piloto. (jul/2003 - dez 2004) . , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Patricia Duarte de Lima Machado - Coordenador / Flávio Ronison Sampaio - Integrante / Camilo de Lelis Gondim Medeiros - Integrante / Bruno de Brito Leite - Integrante / Luciano de Lima Logrado - Integrante / Ana Emília Victor Barbosa - Integrante / Rodrigo César Lobo de Oliveira - Integrante / Laísa Helena Oliveira do Nascimento - Integrante., Financiador(es): Ministério da Ciência e Tecnologia - Bolsa / Ministério da Ciência e Tecnologia - Auxílio financeiro.

• 2002 - 2003

  Rede de Laboratórios de Pesquisa e Desenvolvimento em iDEN, Descrição: (Cooperação com a Motorola) iDEN (Integrated Digital Enhanced Network) é um conjunto de soluções sem fio de última geração, introduzido pela Motorola, para permitir o desenvolvimento de aplicações como comércio eletrônico e conferências. Dispositivos portáteis iDEN tem sido usados em um número diverso de aplicações considerando características como portabilidade associada a um sistema de comunicação completo, incluindo rádio, telefone, mensagem, fax, transmissão de dados e acesso a internet. O objetivo deste plano de trabalho é definir a implantação de uma rede de laboratórios de pesquisa e desenvolvimento relacionados à tecnologia iDEN (Integrated Digital Enhanced Network ). (dez 2002 - jun 2003) O projeto tem a duração prevista de (6 MESES). Esta rede de laboratórios será composta pelas seguintes instituições: PUCPR: Pontifícia Universidade Católica do Paraná CESAR: Centro de Estudos e Sistemas Avançados do Recife UFCG: Universidade Federal de Campina Grande A PUCPR, como sendo uma parceira antiga da Motorola atuará como entidade responsável pelo treinamento da unidade mais nova, mais especificamente, a unidade da UFCG. A unidade CESAR já possui capacitação nos seus temas de atuação nos projetos da Motorola. . , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Patricia Duarte de Lima Machado - Integrante / Camilo de Lelis Gondim Medeiros - Coordenador / Bruno de Brito Leite - Integrante / Luciano de Lima Logrado - Integrante / Ana Emília Victor Barbosa - Integrante / Carlos Eduardo Caminha Lopes Rodrigues - Integrante / Rodrigo César Lobo de Oliveira - Integrante., Financiador(es): Ministério da Ciência e Tecnologia - Bolsa / Ministério da Ciência e Tecnologia - Auxílio financeiro.

• 2014 - 2014

  Investigação de Novos Cenários para Utilização dos Terminais Ingenico, Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 09/03/2015., Descrição: Projeto cujo objetivo é investigar novos cenários para utilização dos terminais Ingenico, como possíveis aplicações na educação, negócios, saúde, segurança pública, etc. Como resultado, espera-se identificar potenciais de inovação através da tecnologia da Ingenico e formação de mão-de-obra especializada.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Patricia Duarte de Lima Machado - Integrante / Dalton Dario Serey Guerrero - Integrante / Wilkerson de Lucena Andrade - Coordenador / ADALBERTO CAJUEIRO DE FARIAS - Integrante.

• 2014 - Atual

  Projeto SATT - Análise Estatística dos Testes de Terminais IngenicoTelium através do TMA CommandMode, Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 09/03/2015., Descrição: O objetivo é adequar/desenvolver técnicas e ferramentas capazes de testar terminais da Ingenico.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Patricia Duarte de Lima Machado - Integrante / Jorge César Abrantes de Figueiredo - Integrante / Wilkerson de Lucena Andrade - Coordenador.

• 2013 - 2013

  Componentização de novos casos de uso de Contactless (NFC) e de Identificação Biométrica (Cooperação de P&D UFCG-Ingenico), Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 22/01/2014., Descrição: Projeto de P&D em cooperação com a Ingenico que tem como objetivos: capacitar mão-de-obra especializada, investigar técnicas para transferência segura de dados e iniciar pesquisa no contexto de desenvolvimento de software embarcado em dispositivos com reconhecimento biométrico e cartões contactless (tecnologia NFC).. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) . , Integrantes: Patricia Duarte de Lima Machado - Integrante / Dalton Dario Serey Guerrero - Integrante / Wilkerson de Lucena Andrade - Coordenador / ADALBERTO CAJUEIRO DE FARIAS - Integrante.

• 2003 - 2004

  Pesquisa e Desenvolvimento em Aplicações usando a Tecnologia iDEN, Descrição: (Cooperação com a Motorola) iDEN (Integrated Digital Enhanced Network) é um conjunto de soluções sem fio de última geração, introduzido pela Motorola, para permitir o desenvolvimento de aplicações como comércio eletrônico e conferências. Dispositivos portáteis iDEN tem sido usados em um número diverso de aplicações considerando características como portabilidade associada a um sistema de comunicação completo, incluindo rádio, telefone, mensagem, fax, transmissão de dados e acesso a internet. Dando continuidade a proposta inicial de implantação de uma rede de laboratórios de pesquisa e desenvolvimento relacionados à tecnologia iDEN (Integrated Digital Enhanced Network ), o objetivo deste plano de trabalho é investigar o desenvolvimento de aplicações usando a tecnologia. Tal investigação inclui a análise e melhoramento de aplicações existentes, a implantação de um processo de desenvolvimento adequado ao laboratório e o desenvolvimento de uma aplicação piloto. (jul/2003 - dez 2004) . , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Patricia Duarte de Lima Machado - Coordenador / Flávio Ronison Sampaio - Integrante / Camilo de Lelis Gondim Medeiros - Integrante / Bruno de Brito Leite - Integrante / Luciano de Lima Logrado - Integrante / Ana Emília Victor Barbosa - Integrante / Rodrigo César Lobo de Oliveira - Integrante / Laísa Helena Oliveira do Nascimento - Integrante., Financiador(es): Ministério da Ciência e Tecnologia - Bolsa / Ministério da Ciência e Tecnologia - Auxílio financeiro.

• 2002 - 2003

  Rede de Laboratórios de Pesquisa e Desenvolvimento em iDEN, Descrição: (Cooperação com a Motorola) iDEN (Integrated Digital Enhanced Network) é um conjunto de soluções sem fio de última geração, introduzido pela Motorola, para permitir o desenvolvimento de aplicações como comércio eletrônico e conferências. Dispositivos portáteis iDEN tem sido usados em um número diverso de aplicações considerando características como portabilidade associada a um sistema de comunicação completo, incluindo rádio, telefone, mensagem, fax, transmissão de dados e acesso a internet. O objetivo deste plano de trabalho é definir a implantação de uma rede de laboratórios de pesquisa e desenvolvimento relacionados à tecnologia iDEN (Integrated Digital Enhanced Network ). (dez 2002 - jun 2003) O projeto tem a duração prevista de (6 MESES). Esta rede de laboratórios será composta pelas seguintes instituições: PUCPR: Pontifícia Universidade Católica do Paraná CESAR: Centro de Estudos e Sistemas Avançados do Recife UFCG: Universidade Federal de Campina Grande A PUCPR, como sendo uma parceira antiga da Motorola atuará como entidade responsável pelo treinamento da unidade mais nova, mais especificamente, a unidade da UFCG. A unidade CESAR já possui capacitação nos seus temas de atuação nos projetos da Motorola. . , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Patricia Duarte de Lima Machado - Integrante / Camilo de Lelis Gondim Medeiros - Coordenador / Bruno de Brito Leite - Integrante / Luciano de Lima Logrado - Integrante / Ana Emília Victor Barbosa - Integrante / Carlos Eduardo Caminha Lopes Rodrigues - Integrante / Rodrigo César Lobo de Oliveira - Integrante., Financiador(es): Ministério da Ciência e Tecnologia - Bolsa / Ministério da Ciência e Tecnologia - Auxílio financeiro.

• 2014 - 2014

  Investigação de Novos Cenários para Utilização dos Terminais Ingenico, Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 09/03/2015., Descrição: Projeto cujo objetivo é investigar novos cenários para utilização dos terminais Ingenico, como possíveis aplicações na educação, negócios, saúde, segurança pública, etc. Como resultado, espera-se identificar potenciais de inovação através da tecnologia da Ingenico e formação de mão-de-obra especializada.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Patricia Duarte de Lima Machado - Integrante / Dalton Dario Serey Guerrero - Integrante / Wilkerson de Lucena Andrade - Coordenador / ADALBERTO CAJUEIRO DE FARIAS - Integrante.

• 2014 - Atual

  Projeto SATT - Análise Estatística dos Testes de Terminais IngenicoTelium através do TMA CommandMode, Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 09/03/2015., Descrição: O objetivo é adequar/desenvolver técnicas e ferramentas capazes de testar terminais da Ingenico.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Patricia Duarte de Lima Machado - Integrante / Jorge César Abrantes de Figueiredo - Integrante / Wilkerson de Lucena Andrade - Coordenador.

• 2013 - 2013

  Componentização de novos casos de uso de Contactless (NFC) e de Identificação Biométrica (Cooperação de P&D UFCG-Ingenico), Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 22/01/2014., Descrição: Projeto de P&D em cooperação com a Ingenico que tem como objetivos: capacitar mão-de-obra especializada, investigar técnicas para transferência segura de dados e iniciar pesquisa no contexto de desenvolvimento de software embarcado em dispositivos com reconhecimento biométrico e cartões contactless (tecnologia NFC).. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) . , Integrantes: Patricia Duarte de Lima Machado - Integrante / Dalton Dario Serey Guerrero - Integrante / Wilkerson de Lucena Andrade - Coordenador / ADALBERTO CAJUEIRO DE FARIAS - Integrante.

• 2003 - 2004

  Pesquisa e Desenvolvimento em Aplicações usando a Tecnologia iDEN, Descrição: (Cooperação com a Motorola) iDEN (Integrated Digital Enhanced Network) é um conjunto de soluções sem fio de última geração, introduzido pela Motorola, para permitir o desenvolvimento de aplicações como comércio eletrônico e conferências. Dispositivos portáteis iDEN tem sido usados em um número diverso de aplicações considerando características como portabilidade associada a um sistema de comunicação completo, incluindo rádio, telefone, mensagem, fax, transmissão de dados e acesso a internet. Dando continuidade a proposta inicial de implantação de uma rede de laboratórios de pesquisa e desenvolvimento relacionados à tecnologia iDEN (Integrated Digital Enhanced Network ), o objetivo deste plano de trabalho é investigar o desenvolvimento de aplicações usando a tecnologia. Tal investigação inclui a análise e melhoramento de aplicações existentes, a implantação de um processo de desenvolvimento adequado ao laboratório e o desenvolvimento de uma aplicação piloto. (jul/2003 - dez 2004) . , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Patricia Duarte de Lima Machado - Coordenador / Flávio Ronison Sampaio - Integrante / Camilo de Lelis Gondim Medeiros - Integrante / Bruno de Brito Leite - Integrante / Luciano de Lima Logrado - Integrante / Ana Emília Victor Barbosa - Integrante / Rodrigo César Lobo de Oliveira - Integrante / Laísa Helena Oliveira do Nascimento - Integrante., Financiador(es): Ministério da Ciência e Tecnologia - Bolsa / Ministério da Ciência e Tecnologia - Auxílio financeiro.

• 2002 - 2003

  Rede de Laboratórios de Pesquisa e Desenvolvimento em iDEN, Descrição: (Cooperação com a Motorola) iDEN (Integrated Digital Enhanced Network) é um conjunto de soluções sem fio de última geração, introduzido pela Motorola, para permitir o desenvolvimento de aplicações como comércio eletrônico e conferências. Dispositivos portáteis iDEN tem sido usados em um número diverso de aplicações considerando características como portabilidade associada a um sistema de comunicação completo, incluindo rádio, telefone, mensagem, fax, transmissão de dados e acesso a internet. O objetivo deste plano de trabalho é definir a implantação de uma rede de laboratórios de pesquisa e desenvolvimento relacionados à tecnologia iDEN (Integrated Digital Enhanced Network ). (dez 2002 - jun 2003) O projeto tem a duração prevista de (6 MESES). Esta rede de laboratórios será composta pelas seguintes instituições: PUCPR: Pontifícia Universidade Católica do Paraná CESAR: Centro de Estudos e Sistemas Avançados do Recife UFCG: Universidade Federal de Campina Grande A PUCPR, como sendo uma parceira antiga da Motorola atuará como entidade responsável pelo treinamento da unidade mais nova, mais especificamente, a unidade da UFCG. A unidade CESAR já possui capacitação nos seus temas de atuação nos projetos da Motorola. . , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Patricia Duarte de Lima Machado - Integrante / Camilo de Lelis Gondim Medeiros - Coordenador / Bruno de Brito Leite - Integrante / Luciano de Lima Logrado - Integrante / Ana Emília Victor Barbosa - Integrante / Carlos Eduardo Caminha Lopes Rodrigues - Integrante / Rodrigo César Lobo de Oliveira - Integrante., Financiador(es): Ministério da Ciência e Tecnologia - Bolsa / Ministério da Ciência e Tecnologia - Auxílio financeiro.

• 2014 - 2014

  Investigação de Novos Cenários para Utilização dos Terminais Ingenico, Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 09/03/2015., Descrição: Projeto cujo objetivo é investigar novos cenários para utilização dos terminais Ingenico, como possíveis aplicações na educação, negócios, saúde, segurança pública, etc. Como resultado, espera-se identificar potenciais de inovação através da tecnologia da Ingenico e formação de mão-de-obra especializada.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Patricia Duarte de Lima Machado - Integrante / Dalton Dario Serey Guerrero - Integrante / Wilkerson de Lucena Andrade - Coordenador / ADALBERTO CAJUEIRO DE FARIAS - Integrante.

• 2014 - Atual

  Projeto SATT - Análise Estatística dos Testes de Terminais IngenicoTelium através do TMA CommandMode, Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 09/03/2015., Descrição: O objetivo é adequar/desenvolver técnicas e ferramentas capazes de testar terminais da Ingenico.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Patricia Duarte de Lima Machado - Integrante / Jorge César Abrantes de Figueiredo - Integrante / Wilkerson de Lucena Andrade - Coordenador.

• 2013 - 2013

  Componentização de novos casos de uso de Contactless (NFC) e de Identificação Biométrica (Cooperação de P&D UFCG-Ingenico), Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 22/01/2014., Descrição: Projeto de P&D em cooperação com a Ingenico que tem como objetivos: capacitar mão-de-obra especializada, investigar técnicas para transferência segura de dados e iniciar pesquisa no contexto de desenvolvimento de software embarcado em dispositivos com reconhecimento biométrico e cartões contactless (tecnologia NFC).. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) . , Integrantes: Patricia Duarte de Lima Machado - Integrante / Dalton Dario Serey Guerrero - Integrante / Wilkerson de Lucena Andrade - Coordenador / ADALBERTO CAJUEIRO DE FARIAS - Integrante.

• 2003 - 2004

  Pesquisa e Desenvolvimento em Aplicações usando a Tecnologia iDEN, Descrição: (Cooperação com a Motorola) iDEN (Integrated Digital Enhanced Network) é um conjunto de soluções sem fio de última geração, introduzido pela Motorola, para permitir o desenvolvimento de aplicações como comércio eletrônico e conferências. Dispositivos portáteis iDEN tem sido usados em um número diverso de aplicações considerando características como portabilidade associada a um sistema de comunicação completo, incluindo rádio, telefone, mensagem, fax, transmissão de dados e acesso a internet. Dando continuidade a proposta inicial de implantação de uma rede de laboratórios de pesquisa e desenvolvimento relacionados à tecnologia iDEN? (Integrated Digital Enhanced Network ), o objetivo deste plano de trabalho é investigar o desenvolvimento de aplicações usando a tecnologia. Tal investigação inclui a análise e melhoramento de aplicações existentes, a implantação de um processo de desenvolvimento adequado ao laboratório e o desenvolvimento de uma aplicação piloto. (jul/2003 - dez 2004). , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Patricia Duarte de Lima Machado - Coordenador / Flávio Ronison Sampaio - Integrante / Camilo de Lelis Gondim Medeiros - Integrante / Bruno de Brito Leite - Integrante / Luciano de Lima Logrado - Integrante / Ana Emília Victor Barbosa - Integrante / Rodrigo César Lobo de Oliveira - Integrante / Laísa Helena Oliveira do Nascimento - Integrante., Financiador(es): Ministério da Ciência e Tecnologia - Auxílio financeiro / Ministério da Ciência e Tecnologia - Bolsa.

• 2002 - 2003

  Rede de Laboratórios de Pesquisa e Desenvolvimento em iDEN, Descrição: (Cooperação com a Motorola) iDEN (Integrated Digital Enhanced Network) é um conjunto de soluções sem fio de última geração, introduzido pela Motorola, para permitir o desenvolvimento de aplicações como comércio eletrônico e conferências. Dispositivos portáteis iDEN tem sido usados em um número diverso de aplicações considerando características como portabilidade associada a um sistema de comunicação completo, incluindo rádio, telefone, mensagem, fax, transmissão de dados e acesso a internet. O objetivo deste plano de trabalho é definir a implantação de uma rede de laboratórios de pesquisa e desenvolvimento relacionados à tecnologia iDEN (Integrated Digital Enhanced Network ). (dez 2002 - jun 2003) O projeto tem a duração prevista de (6 MESES). Esta rede de laboratórios será composta pelas seguintes instituições: PUCPR: Pontifícia Universidade Católica do Paraná CESAR: Centro de Estudos e Sistemas Avançados do Recife UFCG: Universidade Federal de Campina Grande A PUCPR, como sendo uma parceira antiga da Motorola atuará como entidade responsável pelo treinamento da unidade mais nova, mais especificamente, a unidade da UFCG. A unidade CESAR já possui capacitação nos seus temas de atuação nos projetos da Motorola.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Patricia Duarte de Lima Machado - Integrante / Camilo de Lelis Gondim Medeiros - Coordenador / Bruno de Brito Leite - Integrante / Luciano de Lima Logrado - Integrante / Ana Emília Victor Barbosa - Integrante / Carlos Eduardo Caminha Lopes Rodrigues - Integrante / Rodrigo César Lobo de Oliveira - Integrante., Financiador(es): Ministério da Ciência e Tecnologia - Auxílio financeiro / Ministério da Ciência e Tecnologia - Bolsa.

• 2014 - 2014

  Investigação de Novos Cenários para Utilização dos Terminais Ingenico, Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 09/03/2015., Descrição: Projeto cujo objetivo é investigar novos cenários para utilização dos terminais Ingenico, como possíveis aplicações na educação, negócios, saúde, segurança pública, etc. Como resultado, espera-se identificar potenciais de inovação através da tecnologia da Ingenico e formação de mão-de-obra especializada.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Patricia Duarte de Lima Machado - Integrante / Dalton Dario Serey Guerrero - Integrante / Wilkerson de Lucena Andrade - Coordenador / ADALBERTO CAJUEIRO DE FARIAS - Integrante.

• 2014 - Atual

  Projeto SATT - Análise Estatística dos Testes de Terminais IngenicoTelium através do TMA CommandMode, Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 09/03/2015., Descrição: O objetivo é adequar/desenvolver técnicas e ferramentas capazes de testar terminais da Ingenico.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Patricia Duarte de Lima Machado - Integrante / Jorge César Abrantes de Figueiredo - Integrante / Wilkerson de Lucena Andrade - Coordenador.

• 2013 - 2013

  Componentização de novos casos de uso de Contactless (NFC) e de Identificação Biométrica (Cooperação de P&D UFCG-Ingenico), Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 22/01/2014., Descrição: Projeto de P&D em cooperação com a Ingenico que tem como objetivos: capacitar mão-de-obra especializada, investigar técnicas para transferência segura de dados e iniciar pesquisa no contexto de desenvolvimento de software embarcado em dispositivos com reconhecimento biométrico e cartões contactless (tecnologia NFC).. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) . , Integrantes: Patricia Duarte de Lima Machado - Integrante / Dalton Dario Serey Guerrero - Integrante / Wilkerson de Lucena Andrade - Coordenador / ADALBERTO CAJUEIRO DE FARIAS - Integrante.

• 2003 - 2004

  Pesquisa e Desenvolvimento em Aplicações usando a Tecnologia iDEN, Descrição: (Cooperação com a Motorola) iDEN (Integrated Digital Enhanced Network) é um conjunto de soluções sem fio de última geração, introduzido pela Motorola, para permitir o desenvolvimento de aplicações como comércio eletrônico e conferências. Dispositivos portáteis iDEN tem sido usados em um número diverso de aplicações considerando características como portabilidade associada a um sistema de comunicação completo, incluindo rádio, telefone, mensagem, fax, transmissão de dados e acesso a internet. Dando continuidade a proposta inicial de implantação de uma rede de laboratórios de pesquisa e desenvolvimento relacionados à tecnologia iDEN? (Integrated Digital Enhanced Network ), o objetivo deste plano de trabalho é investigar o desenvolvimento de aplicações usando a tecnologia. Tal investigação inclui a análise e melhoramento de aplicações existentes, a implantação de um processo de desenvolvimento adequado ao laboratório e o desenvolvimento de uma aplicação piloto. (jul/2003 - dez 2004). , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Patricia Duarte de Lima Machado - Coordenador / Flávio Ronison Sampaio - Integrante / Camilo de Lelis Gondim Medeiros - Integrante / Bruno de Brito Leite - Integrante / Luciano de Lima Logrado - Integrante / Ana Emília Victor Barbosa - Integrante / Rodrigo César Lobo de Oliveira - Integrante / Laísa Helena Oliveira do Nascimento - Integrante., Financiador(es): Ministério da Ciência e Tecnologia - Bolsa / Ministério da Ciência e Tecnologia - Auxílio financeiro.

• 2002 - 2003

  Rede de Laboratórios de Pesquisa e Desenvolvimento em iDEN, Descrição: (Cooperação com a Motorola) iDEN (Integrated Digital Enhanced Network) é um conjunto de soluções sem fio de última geração, introduzido pela Motorola, para permitir o desenvolvimento de aplicações como comércio eletrônico e conferências. Dispositivos portáteis iDEN tem sido usados em um número diverso de aplicações considerando características como portabilidade associada a um sistema de comunicação completo, incluindo rádio, telefone, mensagem, fax, transmissão de dados e acesso a internet. O objetivo deste plano de trabalho é definir a implantação de uma rede de laboratórios de pesquisa e desenvolvimento relacionados à tecnologia iDEN (Integrated Digital Enhanced Network ). (dez 2002 - jun 2003) O projeto tem a duração prevista de (6 MESES). Esta rede de laboratórios será composta pelas seguintes instituições: PUCPR: Pontifícia Universidade Católica do Paraná CESAR: Centro de Estudos e Sistemas Avançados do Recife UFCG: Universidade Federal de Campina Grande A PUCPR, como sendo uma parceira antiga da Motorola atuará como entidade responsável pelo treinamento da unidade mais nova, mais especificamente, a unidade da UFCG. A unidade CESAR já possui capacitação nos seus temas de atuação nos projetos da Motorola.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Patricia Duarte de Lima Machado - Integrante / Camilo de Lelis Gondim Medeiros - Coordenador / Bruno de Brito Leite - Integrante / Luciano de Lima Logrado - Integrante / Ana Emília Victor Barbosa - Integrante / Carlos Eduardo Caminha Lopes Rodrigues - Integrante / Rodrigo César Lobo de Oliveira - Integrante., Financiador(es): Ministério da Ciência e Tecnologia - Bolsa / Ministério da Ciência e Tecnologia - Auxílio financeiro.

• 2014 - 2014

  Investigação de Novos Cenários para Utilização dos Terminais Ingenico, Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 09/03/2015., Descrição: Projeto cujo objetivo é investigar novos cenários para utilização dos terminais Ingenico, como possíveis aplicações na educação, negócios, saúde, segurança pública, etc. Como resultado, espera-se identificar potenciais de inovação através da tecnologia da Ingenico e formação de mão-de-obra especializada.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Patricia Duarte de Lima Machado - Integrante / Dalton Dario Serey Guerrero - Integrante / Wilkerson de Lucena Andrade - Coordenador / ADALBERTO CAJUEIRO DE FARIAS - Integrante.

• 2014 - Atual

  Projeto SATT - Análise Estatística dos Testes de Terminais IngenicoTelium através do TMA CommandMode, Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 09/03/2015., Descrição: O objetivo é adequar/desenvolver técnicas e ferramentas capazes de testar terminais da Ingenico.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Patricia Duarte de Lima Machado - Integrante / Jorge César Abrantes de Figueiredo - Integrante / Wilkerson de Lucena Andrade - Coordenador.

• 2013 - 2013

  Componentização de novos casos de uso de Contactless (NFC) e de Identificação Biométrica (Cooperação de P&D UFCG-Ingenico), Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 22/01/2014., Descrição: Projeto de P&D em cooperação com a Ingenico que tem como objetivos: capacitar mão-de-obra especializada, investigar técnicas para transferência segura de dados e iniciar pesquisa no contexto de desenvolvimento de software embarcado em dispositivos com reconhecimento biométrico e cartões contactless (tecnologia NFC).. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) . , Integrantes: Patricia Duarte de Lima Machado - Integrante / Dalton Dario Serey Guerrero - Integrante / Wilkerson de Lucena Andrade - Coordenador / ADALBERTO CAJUEIRO DE FARIAS - Integrante.

• 2003 - 2004

  Pesquisa e Desenvolvimento em Aplicações usando a Tecnologia iDEN, Descrição: (Cooperação com a Motorola) iDEN (Integrated Digital Enhanced Network) é um conjunto de soluções sem fio de última geração, introduzido pela Motorola, para permitir o desenvolvimento de aplicações como comércio eletrônico e conferências. Dispositivos portáteis iDEN tem sido usados em um número diverso de aplicações considerando características como portabilidade associada a um sistema de comunicação completo, incluindo rádio, telefone, mensagem, fax, transmissão de dados e acesso a internet. Dando continuidade a proposta inicial de implantação de uma rede de laboratórios de pesquisa e desenvolvimento relacionados à tecnologia iDEN? (Integrated Digital Enhanced Network ), o objetivo deste plano de trabalho é investigar o desenvolvimento de aplicações usando a tecnologia. Tal investigação inclui a análise e melhoramento de aplicações existentes, a implantação de um processo de desenvolvimento adequado ao laboratório e o desenvolvimento de uma aplicação piloto. (jul/2003 - dez 2004). , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Patricia Duarte de Lima Machado - Coordenador / Flávio Ronison Sampaio - Integrante / Camilo de Lelis Gondim Medeiros - Integrante / Bruno de Brito Leite - Integrante / Luciano de Lima Logrado - Integrante / Ana Emília Victor Barbosa - Integrante / Rodrigo César Lobo de Oliveira - Integrante / Laísa Helena Oliveira do Nascimento - Integrante., Financiador(es): Ministério da Ciência, Tecnologia, Inovações e Comunicações - Bolsa / Ministério da Ciência, Tecnologia, Inovações e Comunicações - Auxílio financeiro.

• 2002 - 2003

  Rede de Laboratórios de Pesquisa e Desenvolvimento em iDEN, Descrição: (Cooperação com a Motorola) iDEN (Integrated Digital Enhanced Network) é um conjunto de soluções sem fio de última geração, introduzido pela Motorola, para permitir o desenvolvimento de aplicações como comércio eletrônico e conferências. Dispositivos portáteis iDEN tem sido usados em um número diverso de aplicações considerando características como portabilidade associada a um sistema de comunicação completo, incluindo rádio, telefone, mensagem, fax, transmissão de dados e acesso a internet. O objetivo deste plano de trabalho é definir a implantação de uma rede de laboratórios de pesquisa e desenvolvimento relacionados à tecnologia iDEN (Integrated Digital Enhanced Network ). (dez 2002 - jun 2003) O projeto tem a duração prevista de (6 MESES). Esta rede de laboratórios será composta pelas seguintes instituições: PUCPR: Pontifícia Universidade Católica do Paraná CESAR: Centro de Estudos e Sistemas Avançados do Recife UFCG: Universidade Federal de Campina Grande A PUCPR, como sendo uma parceira antiga da Motorola atuará como entidade responsável pelo treinamento da unidade mais nova, mais especificamente, a unidade da UFCG. A unidade CESAR já possui capacitação nos seus temas de atuação nos projetos da Motorola.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Patricia Duarte de Lima Machado - Integrante / Camilo de Lelis Gondim Medeiros - Coordenador / Bruno de Brito Leite - Integrante / Luciano de Lima Logrado - Integrante / Ana Emília Victor Barbosa - Integrante / Carlos Eduardo Caminha Lopes Rodrigues - Integrante / Rodrigo César Lobo de Oliveira - Integrante., Financiador(es): Ministério da Ciência, Tecnologia, Inovações e Comunicações - Bolsa / Ministério da Ciência, Tecnologia, Inovações e Comunicações - Auxílio financeiro.

• 2014 - 2014

  Investigação de Novos Cenários para Utilização dos Terminais Ingenico, Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 09/03/2015., Descrição: Projeto cujo objetivo é investigar novos cenários para utilização dos terminais Ingenico, como possíveis aplicações na educação, negócios, saúde, segurança pública, etc. Como resultado, espera-se identificar potenciais de inovação através da tecnologia da Ingenico e formação de mão-de-obra especializada.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Patricia Duarte de Lima Machado - Integrante / Dalton Dario Serey Guerrero - Integrante / Wilkerson de Lucena Andrade - Coordenador / ADALBERTO CAJUEIRO DE FARIAS - Integrante.

• 2014 - Atual

  Projeto SATT - Análise Estatística dos Testes de Terminais IngenicoTelium através do TMA CommandMode, Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 09/03/2015., Descrição: O objetivo é adequar/desenvolver técnicas e ferramentas capazes de testar terminais da Ingenico.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Patricia Duarte de Lima Machado - Integrante / Jorge César Abrantes de Figueiredo - Integrante / Wilkerson de Lucena Andrade - Coordenador.

• 2013 - 2013

  Componentização de novos casos de uso de Contactless (NFC) e de Identificação Biométrica (Cooperação de P&D UFCG-Ingenico), Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 22/01/2014., Descrição: Projeto de P&D em cooperação com a Ingenico que tem como objetivos: capacitar mão-de-obra especializada, investigar técnicas para transferência segura de dados e iniciar pesquisa no contexto de desenvolvimento de software embarcado em dispositivos com reconhecimento biométrico e cartões contactless (tecnologia NFC).. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) . , Integrantes: Patricia Duarte de Lima Machado - Integrante / Dalton Dario Serey Guerrero - Integrante / Wilkerson de Lucena Andrade - Coordenador / ADALBERTO CAJUEIRO DE FARIAS - Integrante.

• 2003 - 2004

  Pesquisa e Desenvolvimento em Aplicações usando a Tecnologia iDEN, Descrição: (Cooperação com a Motorola) iDEN (Integrated Digital Enhanced Network) é um conjunto de soluções sem fio de última geração, introduzido pela Motorola, para permitir o desenvolvimento de aplicações como comércio eletrônico e conferências. Dispositivos portáteis iDEN tem sido usados em um número diverso de aplicações considerando características como portabilidade associada a um sistema de comunicação completo, incluindo rádio, telefone, mensagem, fax, transmissão de dados e acesso a internet. Dando continuidade a proposta inicial de implantação de uma rede de laboratórios de pesquisa e desenvolvimento relacionados à tecnologia iDEN? (Integrated Digital Enhanced Network ), o objetivo deste plano de trabalho é investigar o desenvolvimento de aplicações usando a tecnologia. Tal investigação inclui a análise e melhoramento de aplicações existentes, a implantação de um processo de desenvolvimento adequado ao laboratório e o desenvolvimento de uma aplicação piloto. (jul/2003 - dez 2004). , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Patricia Duarte de Lima Machado - Coordenador / Flávio Ronison Sampaio - Integrante / Camilo de Lelis Gondim Medeiros - Integrante / Bruno de Brito Leite - Integrante / Luciano de Lima Logrado - Integrante / Ana Emília Victor Barbosa - Integrante / Rodrigo César Lobo de Oliveira - Integrante / Laísa Helena Oliveira do Nascimento - Integrante., Financiador(es): Ministério da Ciência, Tecnologia, Inovações e Comunicações - Auxílio financeiro / Ministério da Ciência, Tecnologia, Inovações e Comunicações - Bolsa.

• 2002 - 2003

  Rede de Laboratórios de Pesquisa e Desenvolvimento em iDEN, Descrição: (Cooperação com a Motorola) iDEN (Integrated Digital Enhanced Network) é um conjunto de soluções sem fio de última geração, introduzido pela Motorola, para permitir o desenvolvimento de aplicações como comércio eletrônico e conferências. Dispositivos portáteis iDEN tem sido usados em um número diverso de aplicações considerando características como portabilidade associada a um sistema de comunicação completo, incluindo rádio, telefone, mensagem, fax, transmissão de dados e acesso a internet. O objetivo deste plano de trabalho é definir a implantação de uma rede de laboratórios de pesquisa e desenvolvimento relacionados à tecnologia iDEN (Integrated Digital Enhanced Network ). (dez 2002 - jun 2003) O projeto tem a duração prevista de (6 MESES). Esta rede de laboratórios será composta pelas seguintes instituições: PUCPR: Pontifícia Universidade Católica do Paraná CESAR: Centro de Estudos e Sistemas Avançados do Recife UFCG: Universidade Federal de Campina Grande A PUCPR, como sendo uma parceira antiga da Motorola atuará como entidade responsável pelo treinamento da unidade mais nova, mais especificamente, a unidade da UFCG. A unidade CESAR já possui capacitação nos seus temas de atuação nos projetos da Motorola.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Patricia Duarte de Lima Machado - Integrante / Camilo de Lelis Gondim Medeiros - Coordenador / Bruno de Brito Leite - Integrante / Luciano de Lima Logrado - Integrante / Ana Emília Victor Barbosa - Integrante / Carlos Eduardo Caminha Lopes Rodrigues - Integrante / Rodrigo César Lobo de Oliveira - Integrante., Financiador(es): Ministério da Ciência, Tecnologia, Inovações e Comunicações - Auxílio financeiro / Ministério da Ciência, Tecnologia, Inovações e Comunicações - Bolsa.

• 2016 - Atual

  DevTelium, Descrição: O objetivo central deste projeto é a criação de um grupo de desenvolvimento e validação de aplicações escritas em C e C++ para plataformas Telium II e Telium Tetra. O grupo deverá investigar e propor um pacote de desenvolvimento para terceiros de acordo com uma arquitetura de referência. Este pacote deverá incluir práticas efetivas de desenvolvimento e validação de software com base na arquitetura. Como exemplo de práticas podemos citar: inspeção de software, análise estática, coleta e análise de métricas, boas práticas de programação segura e métodos de teste unitários. O grupo deverá ainda criar e testar a API fiscal da arquitetura, bem como desenvolver uma aplicação de referência em T+ e Telium Tetra.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Técnico de nível médio: (6) Graduação: (6) . , Integrantes: Patricia Duarte de Lima Machado - Coordenador / Wilkerson de Lucena Andrade - Integrante / ADALBERTO CAJUEIRO DE FARIAS - Integrante.

• 2014 - 2016

  Projeto SATT - Análise Estatística dos Testes de Terminais IngenicoTelium através do TMA CommandMode, Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 09/03/2015., Descrição: O objetivo é adequar/desenvolver técnicas e ferramentas capazes de testar terminais da Ingenico.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Patricia Duarte de Lima Machado - Integrante / Jorge César Abrantes de Figueiredo - Integrante / Wilkerson de Lucena Andrade - Coordenador.

• 2014 - 2014

  Investigação de Novos Cenários para Utilização dos Terminais Ingenico, Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 09/03/2015., Descrição: Projeto cujo objetivo é investigar novos cenários para utilização dos terminais Ingenico, como possíveis aplicações na educação, negócios, saúde, segurança pública, etc. Como resultado, espera-se identificar potenciais de inovação através da tecnologia da Ingenico e formação de mão-de-obra especializada.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Patricia Duarte de Lima Machado - Integrante / Dalton Dario Serey Guerrero - Integrante / Wilkerson de Lucena Andrade - Coordenador / ADALBERTO CAJUEIRO DE FARIAS - Integrante.

• 2013 - 2013

  Componentização de novos casos de uso de Contactless (NFC) e de Identificação Biométrica (Cooperação de P&D UFCG-Ingenico), Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 22/01/2014., Descrição: Projeto de P&D em cooperação com a Ingenico que tem como objetivos: capacitar mão-de-obra especializada, investigar técnicas para transferência segura de dados e iniciar pesquisa no contexto de desenvolvimento de software embarcado em dispositivos com reconhecimento biométrico e cartões contactless (tecnologia NFC).. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) . , Integrantes: Patricia Duarte de Lima Machado - Integrante / Dalton Dario Serey Guerrero - Integrante / Wilkerson de Lucena Andrade - Coordenador / ADALBERTO CAJUEIRO DE FARIAS - Integrante.

• 2003 - 2004

  Pesquisa e Desenvolvimento em Aplicações usando a Tecnologia iDEN, Descrição: (Cooperação com a Motorola) iDEN (Integrated Digital Enhanced Network) é um conjunto de soluções sem fio de última geração, introduzido pela Motorola, para permitir o desenvolvimento de aplicações como comércio eletrônico e conferências. Dispositivos portáteis iDEN tem sido usados em um número diverso de aplicações considerando características como portabilidade associada a um sistema de comunicação completo, incluindo rádio, telefone, mensagem, fax, transmissão de dados e acesso a internet. Dando continuidade a proposta inicial de implantação de uma rede de laboratórios de pesquisa e desenvolvimento relacionados à tecnologia iDEN? (Integrated Digital Enhanced Network ), o objetivo deste plano de trabalho é investigar o desenvolvimento de aplicações usando a tecnologia. Tal investigação inclui a análise e melhoramento de aplicações existentes, a implantação de um processo de desenvolvimento adequado ao laboratório e o desenvolvimento de uma aplicação piloto. (jul/2003 - dez 2004). , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Patricia Duarte de Lima Machado - Coordenador / Flávio Ronison Sampaio - Integrante / Camilo de Lelis Gondim Medeiros - Integrante / Bruno de Brito Leite - Integrante / Luciano de Lima Logrado - Integrante / Ana Emília Victor Barbosa - Integrante / Rodrigo César Lobo de Oliveira - Integrante / Laísa Helena Oliveira do Nascimento - Integrante., Financiador(es): Ministério da Ciência, Tecnologia, Inovações e Comunicações - Bolsa / Ministério da Ciência, Tecnologia, Inovações e Comunicações - Auxílio financeiro.

• 2002 - 2003

  Rede de Laboratórios de Pesquisa e Desenvolvimento em iDEN, Descrição: (Cooperação com a Motorola) iDEN (Integrated Digital Enhanced Network) é um conjunto de soluções sem fio de última geração, introduzido pela Motorola, para permitir o desenvolvimento de aplicações como comércio eletrônico e conferências. Dispositivos portáteis iDEN tem sido usados em um número diverso de aplicações considerando características como portabilidade associada a um sistema de comunicação completo, incluindo rádio, telefone, mensagem, fax, transmissão de dados e acesso a internet. O objetivo deste plano de trabalho é definir a implantação de uma rede de laboratórios de pesquisa e desenvolvimento relacionados à tecnologia iDEN (Integrated Digital Enhanced Network ). (dez 2002 - jun 2003) O projeto tem a duração prevista de (6 MESES). Esta rede de laboratórios será composta pelas seguintes instituições: PUCPR: Pontifícia Universidade Católica do Paraná CESAR: Centro de Estudos e Sistemas Avançados do Recife UFCG: Universidade Federal de Campina Grande A PUCPR, como sendo uma parceira antiga da Motorola atuará como entidade responsável pelo treinamento da unidade mais nova, mais especificamente, a unidade da UFCG. A unidade CESAR já possui capacitação nos seus temas de atuação nos projetos da Motorola.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Patricia Duarte de Lima Machado - Integrante / Camilo de Lelis Gondim Medeiros - Coordenador / Bruno de Brito Leite - Integrante / Luciano de Lima Logrado - Integrante / Ana Emília Victor Barbosa - Integrante / Carlos Eduardo Caminha Lopes Rodrigues - Integrante / Rodrigo César Lobo de Oliveira - Integrante., Financiador(es): Ministério da Ciência, Tecnologia, Inovações e Comunicações - Bolsa / Ministério da Ciência, Tecnologia, Inovações e Comunicações - Auxílio financeiro.

• 2016 - 2017

  DevTelium, Descrição: O objetivo central deste projeto é a criação de um grupo de desenvolvimento e validação de aplicações escritas em C e C++ para plataformas Telium II e Telium Tetra. O grupo deverá investigar e propor um pacote de desenvolvimento para terceiros de acordo com uma arquitetura de referência. Este pacote deverá incluir práticas efetivas de desenvolvimento e validação de software com base na arquitetura. Como exemplo de práticas podemos citar: inspeção de software, análise estática, coleta e análise de métricas, boas práticas de programação segura e métodos de teste unitários. O grupo deverá ainda criar e testar a API fiscal da arquitetura, bem como desenvolver uma aplicação de referência em T+ e Telium Tetra.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Técnico de nível médio: (6) Graduação: (6) . , Integrantes: Patricia Duarte de Lima Machado - Coordenador / Wilkerson de Lucena Andrade - Integrante / ADALBERTO CAJUEIRO DE FARIAS - Integrante.

• 2014 - 2016

  Projeto SATT - Análise Estatística dos Testes de Terminais IngenicoTelium através do TMA CommandMode, Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 09/03/2015., Descrição: O objetivo é adequar/desenvolver técnicas e ferramentas capazes de testar terminais da Ingenico.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Patricia Duarte de Lima Machado - Integrante / Jorge César Abrantes de Figueiredo - Integrante / Wilkerson de Lucena Andrade - Coordenador.

• 2014 - 2014

  Investigação de Novos Cenários para Utilização dos Terminais Ingenico, Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 09/03/2015., Descrição: Projeto cujo objetivo é investigar novos cenários para utilização dos terminais Ingenico, como possíveis aplicações na educação, negócios, saúde, segurança pública, etc. Como resultado, espera-se identificar potenciais de inovação através da tecnologia da Ingenico e formação de mão-de-obra especializada.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Patricia Duarte de Lima Machado - Integrante / Dalton Dario Serey Guerrero - Integrante / Wilkerson de Lucena Andrade - Coordenador / ADALBERTO CAJUEIRO DE FARIAS - Integrante.

• 2013 - 2013

  Componentização de novos casos de uso de Contactless (NFC) e de Identificação Biométrica (Cooperação de P&D UFCG-Ingenico), Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 22/01/2014., Descrição: Projeto de P&D em cooperação com a Ingenico que tem como objetivos: capacitar mão-de-obra especializada, investigar técnicas para transferência segura de dados e iniciar pesquisa no contexto de desenvolvimento de software embarcado em dispositivos com reconhecimento biométrico e cartões contactless (tecnologia NFC).. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) . , Integrantes: Patricia Duarte de Lima Machado - Integrante / Dalton Dario Serey Guerrero - Integrante / Wilkerson de Lucena Andrade - Coordenador / ADALBERTO CAJUEIRO DE FARIAS - Integrante.

• 2003 - 2004

  Pesquisa e Desenvolvimento em Aplicações usando a Tecnologia iDEN, Descrição: (Cooperação com a Motorola) iDEN (Integrated Digital Enhanced Network) é um conjunto de soluções sem fio de última geração, introduzido pela Motorola, para permitir o desenvolvimento de aplicações como comércio eletrônico e conferências. Dispositivos portáteis iDEN tem sido usados em um número diverso de aplicações considerando características como portabilidade associada a um sistema de comunicação completo, incluindo rádio, telefone, mensagem, fax, transmissão de dados e acesso a internet. Dando continuidade a proposta inicial de implantação de uma rede de laboratórios de pesquisa e desenvolvimento relacionados à tecnologia iDEN? (Integrated Digital Enhanced Network ), o objetivo deste plano de trabalho é investigar o desenvolvimento de aplicações usando a tecnologia. Tal investigação inclui a análise e melhoramento de aplicações existentes, a implantação de um processo de desenvolvimento adequado ao laboratório e o desenvolvimento de uma aplicação piloto. (jul/2003 - dez 2004). , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Patricia Duarte de Lima Machado - Coordenador / Flávio Ronison Sampaio - Integrante / Camilo de Lelis Gondim Medeiros - Integrante / Bruno de Brito Leite - Integrante / Luciano de Lima Logrado - Integrante / Ana Emília Victor Barbosa - Integrante / Rodrigo César Lobo de Oliveira - Integrante / Laísa Helena Oliveira do Nascimento - Integrante., Financiador(es): Ministério da Ciência, Tecnologia, Inovações e Comunicações - Auxílio financeiro / Ministério da Ciência, Tecnologia, Inovações e Comunicações - Bolsa.

• 2002 - 2003

  Rede de Laboratórios de Pesquisa e Desenvolvimento em iDEN, Descrição: (Cooperação com a Motorola) iDEN (Integrated Digital Enhanced Network) é um conjunto de soluções sem fio de última geração, introduzido pela Motorola, para permitir o desenvolvimento de aplicações como comércio eletrônico e conferências. Dispositivos portáteis iDEN tem sido usados em um número diverso de aplicações considerando características como portabilidade associada a um sistema de comunicação completo, incluindo rádio, telefone, mensagem, fax, transmissão de dados e acesso a internet. O objetivo deste plano de trabalho é definir a implantação de uma rede de laboratórios de pesquisa e desenvolvimento relacionados à tecnologia iDEN (Integrated Digital Enhanced Network ). (dez 2002 - jun 2003) O projeto tem a duração prevista de (6 MESES). Esta rede de laboratórios será composta pelas seguintes instituições: PUCPR: Pontifícia Universidade Católica do Paraná CESAR: Centro de Estudos e Sistemas Avançados do Recife UFCG: Universidade Federal de Campina Grande A PUCPR, como sendo uma parceira antiga da Motorola atuará como entidade responsável pelo treinamento da unidade mais nova, mais especificamente, a unidade da UFCG. A unidade CESAR já possui capacitação nos seus temas de atuação nos projetos da Motorola.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Patricia Duarte de Lima Machado - Integrante / Camilo de Lelis Gondim Medeiros - Coordenador / Bruno de Brito Leite - Integrante / Luciano de Lima Logrado - Integrante / Ana Emília Victor Barbosa - Integrante / Carlos Eduardo Caminha Lopes Rodrigues - Integrante / Rodrigo César Lobo de Oliveira - Integrante., Financiador(es): Ministério da Ciência, Tecnologia, Inovações e Comunicações - Auxílio financeiro / Ministério da Ciência, Tecnologia, Inovações e Comunicações - Bolsa.

• 2016 - 2017

  DevTelium, Descrição: O objetivo central deste projeto é a criação de um grupo de desenvolvimento e validação de aplicações escritas em C e C++ para plataformas Telium II e Telium Tetra. O grupo deverá investigar e propor um pacote de desenvolvimento para terceiros de acordo com uma arquitetura de referência. Este pacote deverá incluir práticas efetivas de desenvolvimento e validação de software com base na arquitetura. Como exemplo de práticas podemos citar: inspeção de software, análise estática, coleta e análise de métricas, boas práticas de programação segura e métodos de teste unitários. O grupo deverá ainda criar e testar a API fiscal da arquitetura, bem como desenvolver uma aplicação de referência em T+ e Telium Tetra.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Técnico de nível médio: (6) Graduação: (6) . , Integrantes: Patricia Duarte de Lima Machado - Coordenador / Wilkerson de Lucena Andrade - Integrante / ADALBERTO CAJUEIRO DE FARIAS - Integrante.

• 2014 - 2016

  Projeto SATT - Análise Estatística dos Testes de Terminais IngenicoTelium através do TMA CommandMode, Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 09/03/2015., Descrição: O objetivo é adequar/desenvolver técnicas e ferramentas capazes de testar terminais da Ingenico.. , Situação: Concluído; Natureza: Desenvolvimento.

• 2014 - 2014

  Investigação de Novos Cenários para Utilização dos Terminais Ingenico, Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 09/03/2015., Descrição: Projeto cujo objetivo é investigar novos cenários para utilização dos terminais Ingenico, como possíveis aplicações na educação, negócios, saúde, segurança pública, etc. Como resultado, espera-se identificar potenciais de inovação através da tecnologia da Ingenico e formação de mão-de-obra especializada.. , Situação: Concluído; Natureza: Desenvolvimento.

• 2013 - 2013

  Componentização de novos casos de uso de Contactless (NFC) e de Identificação Biométrica (Cooperação de P&D UFCG-Ingenico), Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 22/01/2014., Descrição: Projeto de P&D em cooperação com a Ingenico que tem como objetivos: capacitar mão-de-obra especializada, investigar técnicas para transferência segura de dados e iniciar pesquisa no contexto de desenvolvimento de software embarcado em dispositivos com reconhecimento biométrico e cartões contactless (tecnologia NFC).. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) . , Integrantes: Patricia Duarte de Lima Machado - Integrante / Dalton Dario Serey Guerrero - Integrante / Wilkerson de Lucena Andrade - Coordenador / ADALBERTO CAJUEIRO DE FARIAS - Integrante.

• 2003 - 2004

  Pesquisa e Desenvolvimento em Aplicações usando a Tecnologia iDEN, Descrição: (Cooperação com a Motorola) iDEN (Integrated Digital Enhanced Network) é um conjunto de soluções sem fio de última geração, introduzido pela Motorola, para permitir o desenvolvimento de aplicações como comércio eletrônico e conferências. Dispositivos portáteis iDEN tem sido usados em um número diverso de aplicações considerando características como portabilidade associada a um sistema de comunicação completo, incluindo rádio, telefone, mensagem, fax, transmissão de dados e acesso a internet. Dando continuidade a proposta inicial de implantação de uma rede de laboratórios de pesquisa e desenvolvimento relacionados à tecnologia iDEN? (Integrated Digital Enhanced Network ), o objetivo deste plano de trabalho é investigar o desenvolvimento de aplicações usando a tecnologia. Tal investigação inclui a análise e melhoramento de aplicações existentes, a implantação de um processo de desenvolvimento adequado ao laboratório e o desenvolvimento de uma aplicação piloto. (jul/2003 - dez 2004). , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Patricia Duarte de Lima Machado - Coordenador / Flávio Ronison Sampaio - Integrante / Camilo de Lelis Gondim Medeiros - Integrante / Bruno de Brito Leite - Integrante / Luciano de Lima Logrado - Integrante / Ana Emília Victor Barbosa - Integrante / Rodrigo César Lobo de Oliveira - Integrante / Laísa Helena Oliveira do Nascimento - Integrante.Financiador(es): Ministério da Ciência, Tecnologia, Inovações e Comunicações - Bolsa / Ministério da Ciência, Tecnologia, Inovações e Comunicações - Auxílio financeiro.

• 2002 - 2003

  Rede de Laboratórios de Pesquisa e Desenvolvimento em iDEN, Descrição: (Cooperação com a Motorola) iDEN (Integrated Digital Enhanced Network) é um conjunto de soluções sem fio de última geração, introduzido pela Motorola, para permitir o desenvolvimento de aplicações como comércio eletrônico e conferências. Dispositivos portáteis iDEN tem sido usados em um número diverso de aplicações considerando características como portabilidade associada a um sistema de comunicação completo, incluindo rádio, telefone, mensagem, fax, transmissão de dados e acesso a internet. O objetivo deste plano de trabalho é definir a implantação de uma rede de laboratórios de pesquisa e desenvolvimento relacionados à tecnologia iDEN (Integrated Digital Enhanced Network ). (dez 2002 - jun 2003) O projeto tem a duração prevista de (6 MESES). Esta rede de laboratórios será composta pelas seguintes instituições: PUCPR: Pontifícia Universidade Católica do Paraná CESAR: Centro de Estudos e Sistemas Avançados do Recife UFCG: Universidade Federal de Campina Grande A PUCPR, como sendo uma parceira antiga da Motorola atuará como entidade responsável pelo treinamento da unidade mais nova, mais especificamente, a unidade da UFCG. A unidade CESAR já possui capacitação nos seus temas de atuação nos projetos da Motorola.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Patricia Duarte de Lima Machado - Integrante / Camilo de Lelis Gondim Medeiros - Coordenador / Bruno de Brito Leite - Integrante / Luciano de Lima Logrado - Integrante / Ana Emília Victor Barbosa - Integrante / Carlos Eduardo Caminha Lopes Rodrigues - Integrante / Rodrigo César Lobo de Oliveira - Integrante.Financiador(es): Ministério da Ciência, Tecnologia, Inovações e Comunicações - Auxílio financeiro / Ministério da Ciência, Tecnologia, Inovações e Comunicações - Bolsa.

• 2016 - 2017

  DevTelium, Descrição: O objetivo central deste projeto é a criação de um grupo de desenvolvimento e validação de aplicações escritas em C e C++ para plataformas Telium II e Telium Tetra. O grupo deverá investigar e propor um pacote de desenvolvimento para terceiros de acordo com uma arquitetura de referência. Este pacote deverá incluir práticas efetivas de desenvolvimento e validação de software com base na arquitetura. Como exemplo de práticas podemos citar: inspeção de software, análise estática, coleta e análise de métricas, boas práticas de programação segura e métodos de teste unitários. O grupo deverá ainda criar e testar a API fiscal da arquitetura, bem como desenvolver uma aplicação de referência em T+ e Telium Tetra.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Técnico de nível médio: (6) Graduação: (6) . , Integrantes: Patricia Duarte de Lima Machado - Coordenador / Wilkerson de Lucena Andrade - Integrante / ADALBERTO CAJUEIRO DE FARIAS - Integrante.

• 2014 - 2016

  Projeto SATT - Análise Estatística dos Testes de Terminais IngenicoTelium através do TMA CommandMode, Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 09/03/2015., Descrição: O objetivo é adequar/desenvolver técnicas e ferramentas capazes de testar terminais da Ingenico.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Patricia Duarte de Lima Machado - Integrante / Jorge César Abrantes de Figueiredo - Integrante / Wilkerson de Lucena Andrade - Coordenador.

• 2014 - 2014

  Investigação de Novos Cenários para Utilização dos Terminais Ingenico, Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 09/03/2015., Descrição: Projeto cujo objetivo é investigar novos cenários para utilização dos terminais Ingenico, como possíveis aplicações na educação, negócios, saúde, segurança pública, etc. Como resultado, espera-se identificar potenciais de inovação através da tecnologia da Ingenico e formação de mão-de-obra especializada.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Patricia Duarte de Lima Machado - Integrante / Dalton Dario Serey Guerrero - Integrante / Wilkerson de Lucena Andrade - Coordenador / ADALBERTO CAJUEIRO DE FARIAS - Integrante.

• 2013 - 2013

  Componentização de novos casos de uso de Contactless (NFC) e de Identificação Biométrica (Cooperação de P&D UFCG-Ingenico), Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 22/01/2014., Descrição: Projeto de P&D em cooperação com a Ingenico que tem como objetivos: capacitar mão-de-obra especializada, investigar técnicas para transferência segura de dados e iniciar pesquisa no contexto de desenvolvimento de software embarcado em dispositivos com reconhecimento biométrico e cartões contactless (tecnologia NFC).. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) . , Integrantes: Patricia Duarte de Lima Machado - Integrante / Dalton Dario Serey Guerrero - Integrante / Wilkerson de Lucena Andrade - Coordenador / ADALBERTO CAJUEIRO DE FARIAS - Integrante.

• 2003 - 2004

  Pesquisa e Desenvolvimento em Aplicações usando a Tecnologia iDEN, Descrição: (Cooperação com a Motorola) iDEN (Integrated Digital Enhanced Network) é um conjunto de soluções sem fio de última geração, introduzido pela Motorola, para permitir o desenvolvimento de aplicações como comércio eletrônico e conferências. Dispositivos portáteis iDEN tem sido usados em um número diverso de aplicações considerando características como portabilidade associada a um sistema de comunicação completo, incluindo rádio, telefone, mensagem, fax, transmissão de dados e acesso a internet. Dando continuidade a proposta inicial de implantação de uma rede de laboratórios de pesquisa e desenvolvimento relacionados à tecnologia iDEN? (Integrated Digital Enhanced Network ), o objetivo deste plano de trabalho é investigar o desenvolvimento de aplicações usando a tecnologia. Tal investigação inclui a análise e melhoramento de aplicações existentes, a implantação de um processo de desenvolvimento adequado ao laboratório e o desenvolvimento de uma aplicação piloto. (jul/2003 - dez 2004). , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Patricia Duarte de Lima Machado - Coordenador / Flávio Ronison Sampaio - Integrante / Camilo de Lelis Gondim Medeiros - Integrante / Bruno de Brito Leite - Integrante / Luciano de Lima Logrado - Integrante / Ana Emília Victor Barbosa - Integrante / Rodrigo César Lobo de Oliveira - Integrante / Laísa Helena Oliveira do Nascimento - Integrante., Financiador(es): Ministério da Ciência, Tecnologia, Inovações e Comunicações - Auxílio financeiro / Ministério da Ciência, Tecnologia, Inovações e Comunicações - Bolsa.

• 2002 - 2003

  Rede de Laboratórios de Pesquisa e Desenvolvimento em iDEN, Descrição: (Cooperação com a Motorola) iDEN (Integrated Digital Enhanced Network) é um conjunto de soluções sem fio de última geração, introduzido pela Motorola, para permitir o desenvolvimento de aplicações como comércio eletrônico e conferências. Dispositivos portáteis iDEN tem sido usados em um número diverso de aplicações considerando características como portabilidade associada a um sistema de comunicação completo, incluindo rádio, telefone, mensagem, fax, transmissão de dados e acesso a internet. O objetivo deste plano de trabalho é definir a implantação de uma rede de laboratórios de pesquisa e desenvolvimento relacionados à tecnologia iDEN (Integrated Digital Enhanced Network ). (dez 2002 - jun 2003) O projeto tem a duração prevista de (6 MESES). Esta rede de laboratórios será composta pelas seguintes instituições: PUCPR: Pontifícia Universidade Católica do Paraná CESAR: Centro de Estudos e Sistemas Avançados do Recife UFCG: Universidade Federal de Campina Grande A PUCPR, como sendo uma parceira antiga da Motorola atuará como entidade responsável pelo treinamento da unidade mais nova, mais especificamente, a unidade da UFCG. A unidade CESAR já possui capacitação nos seus temas de atuação nos projetos da Motorola.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Patricia Duarte de Lima Machado - Integrante / Camilo de Lelis Gondim Medeiros - Coordenador / Bruno de Brito Leite - Integrante / Luciano de Lima Logrado - Integrante / Ana Emília Victor Barbosa - Integrante / Carlos Eduardo Caminha Lopes Rodrigues - Integrante / Rodrigo César Lobo de Oliveira - Integrante., Financiador(es): Ministério da Ciência, Tecnologia, Inovações e Comunicações - Bolsa / Ministério da Ciência, Tecnologia, Inovações e Comunicações - Auxílio financeiro.

• 2016 - 2017

  DevTelium, Descrição: O objetivo central deste projeto é a criação de um grupo de desenvolvimento e validação de aplicações escritas em C e C++ para plataformas Telium II e Telium Tetra. O grupo deverá investigar e propor um pacote de desenvolvimento para terceiros de acordo com uma arquitetura de referência. Este pacote deverá incluir práticas efetivas de desenvolvimento e validação de software com base na arquitetura. Como exemplo de práticas podemos citar: inspeção de software, análise estática, coleta e análise de métricas, boas práticas de programação segura e métodos de teste unitários. O grupo deverá ainda criar e testar a API fiscal da arquitetura, bem como desenvolver uma aplicação de referência em T+ e Telium Tetra.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Técnico de nível médio: (6) Graduação: (6) . , Integrantes: Patricia Duarte de Lima Machado - Coordenador / Wilkerson de Lucena Andrade - Integrante / ADALBERTO CAJUEIRO DE FARIAS - Integrante.

• 2014 - 2016

  Projeto SATT - Análise Estatística dos Testes de Terminais IngenicoTelium através do TMA CommandMode, Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 09/03/2015., Descrição: O objetivo é adequar/desenvolver técnicas e ferramentas capazes de testar terminais da Ingenico.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Patricia Duarte de Lima Machado - Integrante / Jorge César Abrantes de Figueiredo - Integrante / Wilkerson de Lucena Andrade - Coordenador.

• 2014 - 2014

  Investigação de Novos Cenários para Utilização dos Terminais Ingenico, Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 09/03/2015., Descrição: Projeto cujo objetivo é investigar novos cenários para utilização dos terminais Ingenico, como possíveis aplicações na educação, negócios, saúde, segurança pública, etc. Como resultado, espera-se identificar potenciais de inovação através da tecnologia da Ingenico e formação de mão-de-obra especializada.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Patricia Duarte de Lima Machado - Integrante / Dalton Dario Serey Guerrero - Integrante / Wilkerson de Lucena Andrade - Coordenador / ADALBERTO CAJUEIRO DE FARIAS - Integrante.

• 2013 - 2013

  Componentização de novos casos de uso de Contactless (NFC) e de Identificação Biométrica (Cooperação de P&D UFCG-Ingenico), Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 22/01/2014., Descrição: Projeto de P&D em cooperação com a Ingenico que tem como objetivos: capacitar mão-de-obra especializada, investigar técnicas para transferência segura de dados e iniciar pesquisa no contexto de desenvolvimento de software embarcado em dispositivos com reconhecimento biométrico e cartões contactless (tecnologia NFC).. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) . , Integrantes: Patricia Duarte de Lima Machado - Integrante / Dalton Dario Serey Guerrero - Integrante / Wilkerson de Lucena Andrade - Coordenador / ADALBERTO CAJUEIRO DE FARIAS - Integrante.

• 2003 - 2004

  Pesquisa e Desenvolvimento em Aplicações usando a Tecnologia iDEN, Descrição: (Cooperação com a Motorola) iDEN (Integrated Digital Enhanced Network) é um conjunto de soluções sem fio de última geração, introduzido pela Motorola, para permitir o desenvolvimento de aplicações como comércio eletrônico e conferências. Dispositivos portáteis iDEN tem sido usados em um número diverso de aplicações considerando características como portabilidade associada a um sistema de comunicação completo, incluindo rádio, telefone, mensagem, fax, transmissão de dados e acesso a internet. Dando continuidade a proposta inicial de implantação de uma rede de laboratórios de pesquisa e desenvolvimento relacionados à tecnologia iDEN? (Integrated Digital Enhanced Network ), o objetivo deste plano de trabalho é investigar o desenvolvimento de aplicações usando a tecnologia. Tal investigação inclui a análise e melhoramento de aplicações existentes, a implantação de um processo de desenvolvimento adequado ao laboratório e o desenvolvimento de uma aplicação piloto. (jul/2003 - dez 2004). , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Patricia Duarte de Lima Machado - Coordenador / Flávio Ronison Sampaio - Integrante / Camilo de Lelis Gondim Medeiros - Integrante / Bruno de Brito Leite - Integrante / Luciano de Lima Logrado - Integrante / Ana Emília Victor Barbosa - Integrante / Rodrigo César Lobo de Oliveira - Integrante / Laísa Helena Oliveira do Nascimento - Integrante., Financiador(es): Ministério da Ciência, Tecnologia, Inovações e Comunicações - Auxílio financeiro / Ministério da Ciência, Tecnologia, Inovações e Comunicações - Bolsa.

• 2002 - 2003

  Rede de Laboratórios de Pesquisa e Desenvolvimento em iDEN, Descrição: (Cooperação com a Motorola) iDEN (Integrated Digital Enhanced Network) é um conjunto de soluções sem fio de última geração, introduzido pela Motorola, para permitir o desenvolvimento de aplicações como comércio eletrônico e conferências. Dispositivos portáteis iDEN tem sido usados em um número diverso de aplicações considerando características como portabilidade associada a um sistema de comunicação completo, incluindo rádio, telefone, mensagem, fax, transmissão de dados e acesso a internet. O objetivo deste plano de trabalho é definir a implantação de uma rede de laboratórios de pesquisa e desenvolvimento relacionados à tecnologia iDEN (Integrated Digital Enhanced Network ). (dez 2002 - jun 2003) O projeto tem a duração prevista de (6 MESES). Esta rede de laboratórios será composta pelas seguintes instituições: PUCPR: Pontifícia Universidade Católica do Paraná CESAR: Centro de Estudos e Sistemas Avançados do Recife UFCG: Universidade Federal de Campina Grande A PUCPR, como sendo uma parceira antiga da Motorola atuará como entidade responsável pelo treinamento da unidade mais nova, mais especificamente, a unidade da UFCG. A unidade CESAR já possui capacitação nos seus temas de atuação nos projetos da Motorola.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Patricia Duarte de Lima Machado - Integrante / Camilo de Lelis Gondim Medeiros - Coordenador / Bruno de Brito Leite - Integrante / Luciano de Lima Logrado - Integrante / Ana Emília Victor Barbosa - Integrante / Carlos Eduardo Caminha Lopes Rodrigues - Integrante / Rodrigo César Lobo de Oliveira - Integrante., Financiador(es): Ministério da Ciência, Tecnologia, Inovações e Comunicações - Bolsa / Ministério da Ciência, Tecnologia, Inovações e Comunicações - Auxílio financeiro.

• 2016 - 2017

  DevTelium, Descrição: O objetivo central deste projeto é a criação de um grupo de desenvolvimento e validação de aplicações escritas em C e C++ para plataformas Telium II e Telium Tetra. O grupo deverá investigar e propor um pacote de desenvolvimento para terceiros de acordo com uma arquitetura de referência. Este pacote deverá incluir práticas efetivas de desenvolvimento e validação de software com base na arquitetura. Como exemplo de práticas podemos citar: inspeção de software, análise estática, coleta e análise de métricas, boas práticas de programação segura e métodos de teste unitários. O grupo deverá ainda criar e testar a API fiscal da arquitetura, bem como desenvolver uma aplicação de referência em T+ e Telium Tetra.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Técnico de nível médio: (6) Graduação: (6) . , Integrantes: Patricia Duarte de Lima Machado - Coordenador / Wilkerson de Lucena Andrade - Integrante / ADALBERTO CAJUEIRO DE FARIAS - Integrante.

• 2014 - 2016

  Projeto SATT - Análise Estatística dos Testes de Terminais IngenicoTelium através do TMA CommandMode, Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 09/03/2015., Descrição: O objetivo é adequar/desenvolver técnicas e ferramentas capazes de testar terminais da Ingenico.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Patricia Duarte de Lima Machado - Integrante / Jorge César Abrantes de Figueiredo - Integrante / Wilkerson de Lucena Andrade - Coordenador.

• 2014 - 2014

  Investigação de Novos Cenários para Utilização dos Terminais Ingenico, Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 09/03/2015., Descrição: Projeto cujo objetivo é investigar novos cenários para utilização dos terminais Ingenico, como possíveis aplicações na educação, negócios, saúde, segurança pública, etc. Como resultado, espera-se identificar potenciais de inovação através da tecnologia da Ingenico e formação de mão-de-obra especializada.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Patricia Duarte de Lima Machado - Integrante / Dalton Dario Serey Guerrero - Integrante / Wilkerson de Lucena Andrade - Coordenador / ADALBERTO CAJUEIRO DE FARIAS - Integrante.

• 2013 - 2013

  Componentização de novos casos de uso de Contactless (NFC) e de Identificação Biométrica (Cooperação de P&D UFCG-Ingenico), Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 22/01/2014., Descrição: Projeto de P&D em cooperação com a Ingenico que tem como objetivos: capacitar mão-de-obra especializada, investigar técnicas para transferência segura de dados e iniciar pesquisa no contexto de desenvolvimento de software embarcado em dispositivos com reconhecimento biométrico e cartões contactless (tecnologia NFC).. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) . , Integrantes: Patricia Duarte de Lima Machado - Integrante / Dalton Dario Serey Guerrero - Integrante / Wilkerson de Lucena Andrade - Coordenador / ADALBERTO CAJUEIRO DE FARIAS - Integrante.

• 2003 - 2004

  Pesquisa e Desenvolvimento em Aplicações usando a Tecnologia iDEN, Descrição: (Cooperação com a Motorola) iDEN (Integrated Digital Enhanced Network) é um conjunto de soluções sem fio de última geração, introduzido pela Motorola, para permitir o desenvolvimento de aplicações como comércio eletrônico e conferências. Dispositivos portáteis iDEN tem sido usados em um número diverso de aplicações considerando características como portabilidade associada a um sistema de comunicação completo, incluindo rádio, telefone, mensagem, fax, transmissão de dados e acesso a internet. Dando continuidade a proposta inicial de implantação de uma rede de laboratórios de pesquisa e desenvolvimento relacionados à tecnologia iDEN? (Integrated Digital Enhanced Network ), o objetivo deste plano de trabalho é investigar o desenvolvimento de aplicações usando a tecnologia. Tal investigação inclui a análise e melhoramento de aplicações existentes, a implantação de um processo de desenvolvimento adequado ao laboratório e o desenvolvimento de uma aplicação piloto. (jul/2003 - dez 2004). , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Patricia Duarte de Lima Machado - Coordenador / Flávio Ronison Sampaio - Integrante / Camilo de Lelis Gondim Medeiros - Integrante / Bruno de Brito Leite - Integrante / Luciano de Lima Logrado - Integrante / Ana Emília Victor Barbosa - Integrante / Rodrigo César Lobo de Oliveira - Integrante / Laísa Helena Oliveira do Nascimento - Integrante., Financiador(es): Ministério da Ciência, Tecnologia e Inovações - Bolsa / Ministério da Ciência, Tecnologia e Inovações - Auxílio financeiro.

• 2002 - 2003

  Rede de Laboratórios de Pesquisa e Desenvolvimento em iDEN, Descrição: (Cooperação com a Motorola) iDEN (Integrated Digital Enhanced Network) é um conjunto de soluções sem fio de última geração, introduzido pela Motorola, para permitir o desenvolvimento de aplicações como comércio eletrônico e conferências. Dispositivos portáteis iDEN tem sido usados em um número diverso de aplicações considerando características como portabilidade associada a um sistema de comunicação completo, incluindo rádio, telefone, mensagem, fax, transmissão de dados e acesso a internet. O objetivo deste plano de trabalho é definir a implantação de uma rede de laboratórios de pesquisa e desenvolvimento relacionados à tecnologia iDEN (Integrated Digital Enhanced Network ). (dez 2002 - jun 2003) O projeto tem a duração prevista de (6 MESES). Esta rede de laboratórios será composta pelas seguintes instituições: PUCPR: Pontifícia Universidade Católica do Paraná CESAR: Centro de Estudos e Sistemas Avançados do Recife UFCG: Universidade Federal de Campina Grande A PUCPR, como sendo uma parceira antiga da Motorola atuará como entidade responsável pelo treinamento da unidade mais nova, mais especificamente, a unidade da UFCG. A unidade CESAR já possui capacitação nos seus temas de atuação nos projetos da Motorola.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Patricia Duarte de Lima Machado - Integrante / Camilo de Lelis Gondim Medeiros - Coordenador / Bruno de Brito Leite - Integrante / Luciano de Lima Logrado - Integrante / Ana Emília Victor Barbosa - Integrante / Carlos Eduardo Caminha Lopes Rodrigues - Integrante / Rodrigo César Lobo de Oliveira - Integrante., Financiador(es): Ministério da Ciência, Tecnologia e Inovações - Auxílio financeiro / Ministério da Ciência, Tecnologia e Inovações - Bolsa.

• 2016 - 2017

  DevTelium, Descrição: O objetivo central deste projeto é a criação de um grupo de desenvolvimento e validação de aplicações escritas em C e C++ para plataformas Telium II e Telium Tetra. O grupo deverá investigar e propor um pacote de desenvolvimento para terceiros de acordo com uma arquitetura de referência. Este pacote deverá incluir práticas efetivas de desenvolvimento e validação de software com base na arquitetura. Como exemplo de práticas podemos citar: inspeção de software, análise estática, coleta e análise de métricas, boas práticas de programação segura e métodos de teste unitários. O grupo deverá ainda criar e testar a API fiscal da arquitetura, bem como desenvolver uma aplicação de referência em T+ e Telium Tetra.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Técnico de nível médio: (6) Graduação: (6) . , Integrantes: Patricia Duarte de Lima Machado - Coordenador / Wilkerson de Lucena Andrade - Integrante / ADALBERTO CAJUEIRO DE FARIAS - Integrante.

• 2014 - 2016

  Projeto SATT - Análise Estatística dos Testes de Terminais IngenicoTelium através do TMA CommandMode, Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 09/03/2015., Descrição: O objetivo é adequar/desenvolver técnicas e ferramentas capazes de testar terminais da Ingenico.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Patricia Duarte de Lima Machado - Integrante / Jorge César Abrantes de Figueiredo - Integrante / Wilkerson de Lucena Andrade - Coordenador.

• 2014 - 2014

  Investigação de Novos Cenários para Utilização dos Terminais Ingenico, Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 09/03/2015., Descrição: Projeto cujo objetivo é investigar novos cenários para utilização dos terminais Ingenico, como possíveis aplicações na educação, negócios, saúde, segurança pública, etc. Como resultado, espera-se identificar potenciais de inovação através da tecnologia da Ingenico e formação de mão-de-obra especializada.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Patricia Duarte de Lima Machado - Integrante / Dalton Dario Serey Guerrero - Integrante / Wilkerson de Lucena Andrade - Coordenador / ADALBERTO CAJUEIRO DE FARIAS - Integrante.

• 2013 - 2013

  Componentização de novos casos de uso de Contactless (NFC) e de Identificação Biométrica (Cooperação de P&D UFCG-Ingenico), Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 22/01/2014., Descrição: Projeto de P&D em cooperação com a Ingenico que tem como objetivos: capacitar mão-de-obra especializada, investigar técnicas para transferência segura de dados e iniciar pesquisa no contexto de desenvolvimento de software embarcado em dispositivos com reconhecimento biométrico e cartões contactless (tecnologia NFC).. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) . , Integrantes: Patricia Duarte de Lima Machado - Integrante / Dalton Dario Serey Guerrero - Integrante / Wilkerson de Lucena Andrade - Coordenador / ADALBERTO CAJUEIRO DE FARIAS - Integrante.

• 2003 - 2004

  Pesquisa e Desenvolvimento em Aplicações usando a Tecnologia iDEN, Descrição: (Cooperação com a Motorola) iDEN (Integrated Digital Enhanced Network) é um conjunto de soluções sem fio de última geração, introduzido pela Motorola, para permitir o desenvolvimento de aplicações como comércio eletrônico e conferências. Dispositivos portáteis iDEN tem sido usados em um número diverso de aplicações considerando características como portabilidade associada a um sistema de comunicação completo, incluindo rádio, telefone, mensagem, fax, transmissão de dados e acesso a internet. Dando continuidade a proposta inicial de implantação de uma rede de laboratórios de pesquisa e desenvolvimento relacionados à tecnologia iDEN? (Integrated Digital Enhanced Network ), o objetivo deste plano de trabalho é investigar o desenvolvimento de aplicações usando a tecnologia. Tal investigação inclui a análise e melhoramento de aplicações existentes, a implantação de um processo de desenvolvimento adequado ao laboratório e o desenvolvimento de uma aplicação piloto. (jul/2003 - dez 2004). , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Patricia Duarte de Lima Machado - Coordenador / Flávio Ronison Sampaio - Integrante / Camilo de Lelis Gondim Medeiros - Integrante / Bruno de Brito Leite - Integrante / Luciano de Lima Logrado - Integrante / Ana Emília Victor Barbosa - Integrante / Rodrigo César Lobo de Oliveira - Integrante / Laísa Helena Oliveira do Nascimento - Integrante., Financiador(es): Ministério da Ciência, Tecnologia e Inovações - Bolsa / Ministério da Ciência, Tecnologia e Inovações - Auxílio financeiro.

• 2002 - 2003

  Rede de Laboratórios de Pesquisa e Desenvolvimento em iDEN, Descrição: (Cooperação com a Motorola) iDEN (Integrated Digital Enhanced Network) é um conjunto de soluções sem fio de última geração, introduzido pela Motorola, para permitir o desenvolvimento de aplicações como comércio eletrônico e conferências. Dispositivos portáteis iDEN tem sido usados em um número diverso de aplicações considerando características como portabilidade associada a um sistema de comunicação completo, incluindo rádio, telefone, mensagem, fax, transmissão de dados e acesso a internet. O objetivo deste plano de trabalho é definir a implantação de uma rede de laboratórios de pesquisa e desenvolvimento relacionados à tecnologia iDEN (Integrated Digital Enhanced Network ). (dez 2002 - jun 2003) O projeto tem a duração prevista de (6 MESES). Esta rede de laboratórios será composta pelas seguintes instituições: PUCPR: Pontifícia Universidade Católica do Paraná CESAR: Centro de Estudos e Sistemas Avançados do Recife UFCG: Universidade Federal de Campina Grande A PUCPR, como sendo uma parceira antiga da Motorola atuará como entidade responsável pelo treinamento da unidade mais nova, mais especificamente, a unidade da UFCG. A unidade CESAR já possui capacitação nos seus temas de atuação nos projetos da Motorola.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Patricia Duarte de Lima Machado - Integrante / Camilo de Lelis Gondim Medeiros - Coordenador / Bruno de Brito Leite - Integrante / Luciano de Lima Logrado - Integrante / Ana Emília Victor Barbosa - Integrante / Carlos Eduardo Caminha Lopes Rodrigues - Integrante / Rodrigo César Lobo de Oliveira - Integrante., Financiador(es): Ministério da Ciência, Tecnologia e Inovações - Auxílio financeiro / Ministério da Ciência, Tecnologia e Inovações - Bolsa.

Prêmios