Wanderley Lopes de Souza

Pós-doutorado

Idiomas

Áreas de atuação

Organização de eventos

Orientou

Produções bibliográficas

• SOUZA, P. L. ; Souza, W. L. ; Pires, L. F. ; MOREIRA, J. L. R. ; CIFERRI, R. R. . Ontology Engineering of an IoT System for Monitoring Hypertension. LECTURE NOTES IN BUSINESS INFORMATION PROCESSING , v. 519, p. 42-65, 2024.

• LOPES DE SOUZA, PEDRO ; LOPES DE SOUZA, WANDERLEY ; FERREIRA PIRES, LUÍS . ScrumOntoBDD: Agile software development based on scrum, ontologies and behaviour-driven development. JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY (IMPRESSO) , v. 27, p. 10-45, 2021.

• CARDOSO DE MORAES, JOÃO LUÍS ; DE SOUZA, WANDERLEY LOPES ; PIRES, LUÍS FERREIRA ; DO PRADO, ANTONIO FRANCISCO . A methodology based on openEHR archetypes and software agents for developing e-health applications reusing legacy systems. Computer Methods and Programs in Biomedicine (Print) , v. 134, p. 267-287, 2016.

• MORAES, J. L. C. ; Souza, W. L. ; CAVALINI, L. T. ; Pires, L.F. ; PRADO, A. F. . An Approach for Message Exchange Using Archetypes. STUDIES IN HEALTH TECHNOLOGY AND INFORMATICS , v. 192, p. 1136/1136-1136, 2013.

• MORAES, J. L. C. ; Souza, W. L. ; Pires, L.F. ; CAVALINI, L. T. ; PRADO, A. F. . USING THE DUAL-LEVEL MODELING APPROACH TO DEVELOPING APPLICATIONS IN THE PERVASIVE HEALTHCARE ENVIRONMENT. JOURNAL OF MOBILE MULTIMEDIA , v. 9, p. 111-127, 2013.

• MORAES, J. L. C. ; Souza, W. L. ; Pires, L. F. ; CAVALINI, L. T. ; PRADO, A. F. . Uma Arquitetura para Troca de Mensagens no Cuidado de Saúde Pervasivo Baseada no Uso de Agentes Inteligentes. Jornal Brasileiro de TeleSSaúde , v. 2, p. 145-156, 2013.

• MORAES, J. L. C. ; Souza, W. L. ; Pires, L. F. ; CAVALINI, L. T. ; PRADO, A. F. . Uma Abordagem para o Desenvolvimento de Aplicações no Cuidado de Saúde Pervasivo através do Uso de Arquétipos. Jornal Brasileiro de TeleSSaúde , v. 2, p. 157-167, 2013.

• MORAES, J. L. C. ; Souza, W. L. ; Pires, L. F. ; CAVALINI, L. T. ; PRADO, A. F. . Uma Abordagem para Troca de Mensagens Usando Arquétipos. Jornal Brasileiro de TeleSSaúde , v. 2, p. 188-190, 2013.

• FORTE, Marcos ; DE SOUZA, WANDERLEY L. ; DA SILVA, ROSELI F. ; DO PRADO, ANTONIO F. ; RODRIGUES, JOSE F. . A Ubiquitous Reflective E-Portfolio Architecture. INTERNATIONAL JOURNAL OF MEDICAL INFORMATICS , v. 82, p. 1111/IJB-3007-1122, 2013.

• Cirilo, C. E. ; PRADO, A. F. ; Souza, W. L. ; Zaina, L. A. M. ; RODRIGUES JUNIOR, J. F. . Towards a Hybrid Approach For Adapting Web Graphical User Iinterfaces to Heterogeneous Devices Using Context. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING , v. 22, p. 769-800, 2012.

• FORTE, M. ; Souza, W. L. ; PRADO, Antonio Francisco . Using ontologies and Web services for content adaptation in Ubiquituous Computing. The Journal of Systems and Software , v. 81, p. 368-381, 2008.

• DE SOUZA, SIMONE DO ROCIO SENGER ; MALDONADO, JOSÉ CARLOS ; FABBRI, SANDRA CAMARGO PINTO FERRAZ ; DE SOUZA, WANDERLEY LOPES . Mutation Testing Applied to Estelle Specifications. SOFTWARE QUALITY JOURNAL , Holanda, v. 8, n.4, p. 285-301, 1999.

• Souza, W. L. ; Souza, J. N. . Implementação semi-automática de sistemas de comunicação especificados formalmente. CONTROLE E AUTOMACAO, v. 3, n.2, p. 337-351, 1991.

• Riso, B. G. ; Souza, W. L. . Uma abordagem para a especificação estruturada, em CCS, de sistemas distribuídos. Revista Brasileira de Computação da Sociedade Brasileira de Computação, Rio de Janeiro (RJ), v. 6, n.3, p. 43-56, 1991.

• Souza, W. L. . Estelle: uma técnica para a descrição formal de serviços e protocolos de comunicação. Revista Brasileira de Computação da Sociedade Brasileira de Computação, Rio de Janeiro (RJ), v. 5, n.1, p. 33-44, 1989.

• Souza, W. L. ; Stiubiner, S. . Especificação, verificação e teste de protocolos. Revista da Sociedade Brasileira de Telecomunicações , Rio de Janeiro (RJ), v. 3, n.1, p. 1-20, 1988.

• Cirilo, C. E. ; PRADO, Antonio Francisco Do ; Souza, W. L. ; Zaina, L. A. M. . Building Adaptive Rich Interfaces for Interactive Ubiquitous Applications. In: Ioannis Deliyannis. (Org.). Interactive Multimedia. 1ed.Rijeka: Intech Open Access Publisher, 2012, v. 1, p. 191-218.

• BRAGA, R. M. M. ; CAVALINI, L. T. ; Cirilo, C. E. ; COOK, T. W. ; CORREA, B. S. P. M. ; FREIRE, S. M. ; GOMES, A. T. A. ; MACHADO, V. M. ; MENEZES, A. ; MORAES, J. L. C. ; PRADO, A. F. ; Souza, W. L. ; TEIXEIRA, I. M. ; ZIVIANI, A. . Model-driven development of healthcare applications. In: Raúl A. Feijóo; Artur Ziviani; Pablo J. Blanco. (Org.). Scientific Computing Applied to Medicine and Healthcare: Current State and Future Trends at the INCT-MACC the Brazilian National Institute of Science and Technology in Medicine Assisted by Scientific Computing. 1ed.Petrópolis: INCT-MACC/LNCC, 2012, v. 1, p. 315-354.

• Souza, W. L. ; PRADO, Antonio Francisco Do ; FORTE, M. ; Cirilo, C. E. . Content Adaptation in Ubiquitous Computing. In: Eduard Babkin. (Org.). Ubiquitous Computing. 1ed.Rijeka: Intech Open Access Publisher, 2011, v. , p. 67-94.

• Souza, W. L. ; SAMPAIO, P. N. M. ; Farines, J. M. ; Scheffel, R. M. ; Almeida, M. J. B. ; Gaspary, L. P. ; Granville, L. Z. ; Willrich, R. ; Camargo, M. S. ; Domingos, M. . Design of Distributed Multimedia Applications (DAMD). In: Dieter Hutter; Werner Stephan; Paolo Traverso; Markus Ullmann. (Org.). Lecture Notes in Computer Science 1641 - Applied Formal Methods - FM-Trends 98. 1ed.Berlin (Alemanha): Springer-Verlag, 1999, v. , p. 77-91.

• Pires, L. F. ; Souza, W. L. . Step-wise refinement example using LOTOS. In: Juan Quemada; Jose Manas; Enrique Vazquez. (Org.). Fomal Description Techniques III. 1ed.Amstedam (Holanda): Elsevier Science Publishers B.V., North-Holland, 1991, v. , p. 255-262.

• Souza, W. L. ; Souza, J. N. . Simulation of formal protocol specifications. In: Raghavan, S.V.. (Org.). Local Area Networks. 1ed.Amsterdam (Holanda): Elsevier Science Publishers B.V., North-Holland, 1990, v. , p. 189-204.

• Souza, W. L. ; Ferneda, E. . A compiler for a formal description technique. In: Alexandre Cerveira. (Org.). COMPUTER COMMUNICATIONS SYSTEMS. 1ed.Amsterdam (Holanda): Elsevier Science Publishers B.V., North-Holland, 1988, v. , p. 275-286.

• Bochmann, G. V. ; Souza, W. L. ; Dssouli, R. ; Sarikaya, B. ; Hural, H. . Use of Prolog for building protocol design tools. In: Michel Diaz. (Org.). Protocol Specification, Testing, and Verification V. 1ed.Amsterdam (Holanda): Elsevier Science Publishers B.V., North-Holland, 1986, v. , p. 131-147.

• GARCIA, ALEX ; LOPES DE SOUZA, WANDERLEY ; FERREIRA PIRES, LUÍS . A LoRaWAN Multi-Network Server Application for Smart Cold Chain Tracking in Remote Areas. In: 27th International Conference on Enterprise Information Systems, 2025, Porto. Proceedings of the 27th International Conference on Enterprise Information Systems. Setúbal: SCITEPRESS - Science and Technology Publications, 2025. v. 1. p. 1049-1060.

• OLIVEIRA, R. C. S. ; LOPES DE SOUZA, WANDERLEY . Internet of Things and Artificial Intelligence in the Identification of Burnout Syndrome: A Systematic Literature Review. In: 19th International Conference on Pervasive Computing Technologies for Healthcare (PervasiveHealth 2025), 2025, Eindhoven. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering (LNICST) - 19th EAI International Conference on Pervasive Computing Technologies for Healthcare. Cham: Springer, 2025. p. 1-18.

• LOPES DE SOUZA, PEDRO ; LOPES DE SOUZA, WANDERLEY ; FERREIRA PIRES, LUÍS ; MOREIRA, JOÃO ; RODRIGUES, RONITTI ; CIFERRI, RICARDO . Ontology-Driven IoT System for Monitoring Hypertension. In: 25th International Conference on Enterprise Information Systems, 2023, Prague. Proceedings of the 25th International Conference on Enterprise Information Systems. Setúbal: SCITEPRESS - Science and Technology Publications, 2023. v. 1. p. 757-767.

• GARCIA, A. F. ; LOPES DE SOUZA, WANDERLEY . Internet of Things Applications for Cold Chain Vaccine Tracking: A Systematic Literature Review.. In: 20th International Conference on Information Technology: New Generations (ITNG 2023), 2023, Las Vegas. Advances in Intelligent Systems and Computing. Cham: Springer Nature Switzerland, 2023. v. 1445. p. 323-330.

• SOUZA, P. L. ; Souza, W. L. ; CIFERRI, R. R. . Semantic Interoperability in the Internet of Things: A Systematic Literature Review. In: 19th International Conference on Information Technology : New Generations (ITNG 2022), 2022, Las Vegas. Proceedings of the ITNG 2022 19th International Conference on Information Technology-New Generations. Cham (Suiça): Springer International Publishing AG, 2022. v. 1421. p. 333-340.

• RODRIGUES, R. J. S. ; MENDES, I. P. ; Souza, W. L. . MyHealth: A System for Monitoring Non-Communicable Diseases. In: 17th International Conference on Information Technology : New Generations (ITNG 2020), 2020, Las Vegas (EUA). 17th International Conference on Information Technology: New Generations (ITNG 2020), Advances in Intelligent Systems and Computing. Cham (Switzerland): Springer International Publishing AG, 2020. v. 1134. p. 439-444.

• SOUZA, P. L. ; PRADO, A. F. ; Souza, W. L. ; PEREIRA, S. M. S. F. ; Pires, L.F. . Improving Agile Software Development with Domain Ontologies. In: 15th International Conference on Information Technology: New Generations (ITNG 2018), 2018, Las Vegas (USA). Advances in Intelligent Systems and Computing. Cham (Switzerland): Springer International Publishing AG, 2018. v. 738. p. 267-274.

• SCHICK, L. ; Souza, W. L. ; PRADO, A. F. . Wireless Body Sensor Network for Monitoring and Evaluating Physical Activity. In: 14th International Conference on Information Technology: New Generations (ITNG 2017), 2017, Las Vegas. Advances in Intelligent Systems and Computing. Cham (ZG): Springer International Publishing AG, 2017. v. 558. p. 81-86.

• LOPES DE SOUZA, PEDRO ; FRANCISCO DO PRADO, ANTONIO ; LOPES DE SOUZA, WANDERLEY ; PEREIRA, SISSI MARILIA DOS SANTOS FORGHIERI ; FERREIRA PIRES, LUÍS . Combining Behaviour-Driven Development with Scrum for Software Development in the Education Domain. In: 19th International Conference on Enterprise Information Systems, 2017, Porto. Proceedings of the 19th International Conference on Enterprise Information Systems. Setúbal, Portugal: SCITEPRESS - Science and Technology Publications, 2017. v. 2. p. 449-458.

• GUIDO, A. R. ; PRADO, A. F. ; Souza, W. L. ; SILVA, E. G. . Supporting the Development of User-Driven Service Composition Applications. In: 13th International Conference on Information Technology: New Generations (ITNG 2016), 2016, Las Vegas (USA). Book Advances in Intelligent Systems and Computing - Information Technology: New Generations. Cham: Springer International Publishing Switzerland, 2016. v. 448. p. 519-530.

• Santos, H. F. ; Souza, W. L. ; PRADO, A. F. ; PEREIRA, S. M. S. F. . Augmented Reality Approach for Knowledge Visualization and Production (ARAKVP) in Educational and Academic Management System for Courses Based on Active Learning Methodologies (EAMS?CBALM). In: 13th International Conference on Information Technology: New Generations (ITNG 2016), 2016, Las Vegas (USA). Book Advances in Intelligent Systems and Computing - Information Technology: New Generations. Cham: Springer International Publishing Switzerland, 2016. v. 448. p. 1113-1123.

• SANTOS, HELEN ; SABIO, GABRIEL ; SOUZA, WANDERLEY LOPES DE . Abordagem em Realidade Aumentada para Momentos de Aprendizagem Autodirigida. In: XXVII Simpósio Brasileiro de Informática na Educação, 2016, Uberlandia. org.crossref.xschema._1.Title@7cdee0a2. Porto Alegre - RS: Sociedade Brasileira de Computação, 2016. p. 42-51.

• RABELO, LUIZ A. PACINI ; PRADO, ANTONIO F. DO ; SOUZA, WANDERLEY L. DE ; PIRES, LUIS F. . An Approach to Business Process Recovery from Source Code. In: 2015 12th International Conference on Information Technology New Generations (ITNG), 2015, Las Vegas. 2015 12th International Conference on Information Technology - New Generations, 2015. p. 361-366.

• POVOA, LUCAS VENEZIAN ; DE SOUZA, WANDERLEY LOPES ; PIRES, LUIS FERREIRA ; DO PRADO, ANTONIO FRANCISCO . An approach to the decomposition of business processes for execution in the Cloud. In: 2014 IEEE/ACS 11th International Conference on Computer Systems and Applications (AICCSA), 2014, Doha. 2014 IEEE/ACS 11th International Conference on Computer Systems and Applications (AICCSA), 2014. v. 1. p. 470-477.

• MORAES, J. L. C. ; Souza, W. L. ; Pires, L. F. ; CAVALINI, L. T. ; PRADO, A. F. . A novel architecture for message exchange in Pervasive Healthcare based on the use of Intelligent Agents. In: 2013 ACS International Conference on Computer Systems and Applications (AICCSA), 2013, Ifrane. 2013 ACS International Conference on Computer Systems and Applications (AICCSA), 2013. v. 1. p. 1-8.

• PAPOTTI, P. E. ; PRADO, A. F. ; Souza, W. L. ; Cirilo, C. E. ; Pires, L. F. . A Quantitative Analysis of Model-Driven Code Generation through Software Experimentation. In: 25th International Conference on Advanced Information Systems Engineering (CAISE 2013), 2013, Valencia. Lecture Notes in Computer Science (LNCS): Advanced Information Systems Engineering ? CAISE 2013. Berlin: Springer-Verlag, 2013. v. 7908. p. 321-337.

• MORAES, J. L. C. ; Souza, W. L. ; Pires, L. F. ; PRADO, A. F. . A Novel Approach to Developing Applications in the Pervasive Healthcare Environment through the use of Archetypes. In: 13th International Conference on Computational Science and Its Applications (ICCSA 2013), 2013, Ho Chi Minh City. Lecture Notes in Computer Science (LNCS): Computational Science and Its Applications ?ICCSA 2013, Part V. Berlin: Springer-Verlag, 2013. v. 7975. p. 475-490.

• MORAES, J. L. C. ; Souza, W. L. ; Pires, L. F. ; PRADO, A. F. . Towards a Reusable Architecture for Message Exchange in Pervasive Healthcare. In: 15th International Conference on Enterprise Information Systems (ICEIS 2013), 2013, Angers (França). Proceedings of the 15th International Conference on Enterprise Information Systems (ICEIS 2013). Lisboa: SCITEPRESS - Science and Technology Publications, 2013. v. 2. p. 393-402.

• MORAES, J. L. C. ; Souza, W. L. ; Pires, L. F. ; PRADO, A. F. . Message Generation Facilities for Interoperability in Pervasive Healthcare Environments. In: 19th Americas Conference on Information Systems (AMCIS 2013), 2013, Chicago. Proceedings of the 19th Americas Conference on Information Systems (AMCIS 2013), 2013. v. 1. p. 1-12.

• SILVA, V. G. ; Cirilo, C. E. ; PRADO, A. F. ; Souza, W. L. ; PEREIRA, V. . An Approach to Dynamic Discovery of Context-Sensitive Web Services. In: The Eighth International Conference on Internet and Web Applications and Services (ICIW 2013), 2013, Rome. Proceedings of The Eighth International Conference on Internet and Web Applications and Services (ICIW 2013). Rome: IARIA, 2013. v. 1. p. 83-89.

• POVOA, L. V. ; Souza, W. L. ; PRADO, A. F. ; Pires, L.F. ; DUIPMANS, E. F. . Uma Abordagem para a Decomposição de Processos de Negócio para Execução em Nuvens Computacionais. In: 27o Simpósio Brasileiro de Engenharia de Software (SBES 2013), 2013, Brasília - DF. XXVII Brazilian Symposium on Software Engineering (SBES 2013). Porto Alegre - RS: Sociedade Brasileira de Computação (SBC), 2013. v. 1. p. 124-133.

• NUNES, DOUGLAS F. S. ; DE SOUZA, WANDERLEY L. ; DO PRADO, ANTONIO F. ; DEMARZO, MARCELO M. P. . Designing an ubiquitous computing environment for monitoring physical activity. In: 2012 25th IEEE International Symposium on ComputerBased Medical Systems (CBMS), 2012, Rome. 2012 25th IEEE International Symposium on Computer-Based Medical Systems (CBMS). p. 1-6.

• NUNES, D. F. S. ; Souza, W. L. ; PRADO, A. F. ; DEMARZO, M. M. P. . UCEMEPA: Ubiquitous Computing Environment for Monitoring and Evaluating Physical Activity. In: Eighteenth Americas Conference on Information Systems (AMCIS 2012), 2012, Seattle. Proceedings of the Eighteenth Americas Conference on Information Systems (AMCIS 2012), 2012. p. 1-8.

• Souza, W. L. ; Pires, L. F. ; DUIPMANS, E. F. ; PRADO, A. F. ; POVOA, L. V. . PROCESSO COMO UM SERVIÇO NA COMPUTAÇÃO EM NUVEM PARA O DESENVOLVIMENTO DE APLICAÇÕES NA SAÚDE. In: Workshop de Informática Biomédica, 2012, Ribeirão Preto-SP. Anais do Workshop de Informática Biomédica. Ribeirão Preto-SP: Universidade de São Paulo (USP), 2012. v. 2. p. 5-11.

• PAPOTTI, P. E. ; PRADO, A. F. ; Souza, W. L. . Reducing time and effort in legacy systems reengineering to MDD using metaprogramming. In: 2012 ACM Research in Applied Computation Symposium (RACS 2012), 2012, San Antonio (TX). Proceedings of the 2012 ACM Research in Applied Computation Symposium (RACS 2012). New York (USA): ACM, 2012. p. 348-355.

• PAPOTTI, P. E. ; PRADO, A. F. ; Souza, W. L. . Uma Abordagem para Apoiar a Reengenharia de Sistemas Legados para o MDD Usando Metaprogramação. In: XXXVIII Conferencia Latinoamericana en Informática (CLEI 2012), 2012, Medellín. XXXVIII Conferencia Latinoamericana en Informática (CLEI 2012), 2012. p. 1-10.

• MORAES, J. L. C. ; MENEZES, A. L. ; Cirilo, C. E. ; Souza, W. L. ; PRADO, A. F. . Usando Arquétipos e Linguagem Específica de Domínio no Desenvolvimento de Aplicações Ubíquas para o Cuidado de Saúde Pervasivo.. In: XIII Congresso Brasileiro de Informática em Saúde (CBIS 2012), 2012, Curitiba. Anais do XIII Congresso Brasileiro de Informática em Saúde (CBIS 2012). São Paulo - SP: Sociedade Brasileira de Informática em Saúde, 2012. v. 1. p. 1-6.

• BELLINI, A. ; Cirilo, C. E. ; PRADO, Antonio Francisco Do ; Souza, W. L. ; Zaina, L. A. M. . A Service Layer for building GSM Positioning Systems in e-Health Domain. In: 4th International Conference on Ubi-media Computing (U-Media), 2011, São Paulo. Proceedings of the 4th International Conference on Ubi-media Computing (U-Media). New York: IEEE Computer Society, 2011. p. 07-12.

• Cirilo, C. E. ; PRADO, Antonio Francisco Do ; Souza, W. L. ; Zaina, L. A. M. . Experimentação do Processo Model Driven RichUbi no Desenvolvimento de Interfaces Ricas Adaptativas. In: XXV Simpósio Brasileiro de Engenharia de Software (SBES), 2011, São Paulo. Anais do XXV Simpósio Brasileiro de Engenharia de Software (SBES). Porto Alegre: Sociedade Brasileira da Computação (SBC), 2011. v. 1. p. 182-191.

• NUNES, D. F. S. ; BALDARRAGO, A. U. ; Souza, W. L. ; PRADO, Antonio Francisco . AMRP: Ambiente para o Monitoramento Remoto de Pacientes. In: XXXVII Conferência Latinoamericana de Informática (CLEI), 2011, Quito. XXXVII Conferência Latinoamericana de Informática (CLEI). Quito: Pontificia Universidad Católica Del Ecuador, 2011. p. 937-981.

• MORAES, J. L. C. ; BOSSONARO, A. A. ; MENEZES, A. L. ; Souza, W. L. ; PRADO, Antonio Francisco Do . Uma arquitetura baseada em agentes inteligentes para a troca de mensagens sensível ao contexto para o cuidado de saúde pervasivo. In: Anais da Conferência IADIS Ibero-Americana WWW/Internet (WWW/Internet), 2011, Rio de Janeiro. IADIS Ibero-Americana WWW/Internet (WWW/Internet). Rio de Janeiro: IADIS Press, 2011. p. 421-425.

• CIRILO, CARLOS EDUARDO ; PRADO, Antonio Francisco Do ; SOUZA, WANDERLEY LOPES DE ; ZAINA, LUCIANA APARECIDA MARTINEZ . Experimentation of the Model Driven RichUbi Process in the Adaptive Rich Interfaces Development. In: 2011 25th Brazilian Symposium on Software Engineering (SBES), 2011, Sao Paulo. 2011 25th Brazilian Symposium on Software Engineering. p. 184-269.

• PORTOCARRERO, J. M. T. ; Souza, W. L. ; DEMARZO, M. M. P. ; PRADO, Antonio Francisco Do . SIAF: Um Sistema de Informação de Atividade Física. In: X Workshop de Informática Médica (WIM), 2010, Belo Horizonte. Anais do do XXIX Congresso da Sociedade Brasileira de Computação (CSBC). Porto Alegre-RS: Sociedade Brasileira de Computação, 2010. p. 1650-1659.

• FORTE, Marcos ; Souza, W. L. ; SILVA, R. F. ; PRADO, Antonio Francisco Do . Portfólio Reflexivo Eletrônico na Unidade Educacional de Prática Profissional do Curso de Medicina da UFSCar. In: X Workshop de Informática Médica (WIM), 2010, Belo Horizonte-MG. XXIX Congresso da Sociedade Brasileira de Computação (CSBC). Porto Alegre-RS: Sociedade Brasileira de Computação, 2010. p. 1566-1575.

• Souza, W. L. ; Santos, B. L. G. ; E. F. Z. Santana ; Gatto, E. C. ; Duarte, F. C. ; Freitas, G. B. ; Custódio, I. V. ; PORTOCARRERO, J. M. T. ; Ávila, P. M. ; Almeida, R. A. P. . Utilizando PBL no Ensino de Computação Ubíqua. In: XVIII Workshop sobre Educação em Computação (WEI), 2010, Belo Horizonte-MG. XXIX Congresso da Sociedade Brasileira de Computação (CSBC). Porto Alegre-RS: Sociedade Brasileira de Computação, 2010. p. 877-886.

• CIRILO, CARLOS E. ; DO PRADO, ANTONIO F. ; DE SOUZA, WANDERLEY L. ; ZAINA, LUCIANA A. M. . Model driven RichUbi. In: the 28th ACM International Conference, 2010, São Carlos. Proceedings of the 28th ACM International Conference on Design of Communication - SIGDOC '10. New York: ACM Press. p. 207-214.

• Cirilo, C. E. ; PRADO, Antonio Francisco Do ; Souza, W. L. ; Zaina, L. A. M. . Model Driven RichUbi - Processo Dirigido a Modelos para a Construção de Interfaces Ricas de Aplicações Ubíquas Sensíveis ao Contexto. In: XXIV Simpósio Brasileiro de Engenharia de Software (SBES), 2010, Salvador-BA. XXIV Simpósio Brasileiro de Engenharia de Software (SBES). Porto Alegre-RS: Sociedade Brasileira de Computação, 2010. v. 1. p. 101-110.

• Cirilo, C. E. ; PRADO, Antonio Francisco Do ; Souza, W. L. ; Zaina, L. A. M. . A Hybrid Approach for Adapting Web Graphical User Interfaces to Multiple Devices using Information Retrieved from Context. In: 16th International Conference on Distributed Multimedia Systems - Globalization and Personalization (DMS), 2010, Chicago-IL (USA). Proceedings of the 16th International Conference on Distributed Multimedia Systems - Globalization and Personalization (DMS). Chicago-IL (USA): Knowledge Systems Institute Graduate School, 2010. p. 168-173.

• FORTE, M. ; Souza, W. L. ; SILVA, R. F. ; PRADO, Antonio Francisco Do . Portfólio Eletrônico Ubíquo no Aprendizado de Medicina. In: XII Congresso Brasileiro de Informática em Saúde (CBIS), 2010, Porto de Galinhas-PE. XII Congresso Brasileiro de Informática em Saúde (CBIS). São Paulo-SP: Sociedade Brasileira de Informática em Saúde, 2010. p. 1-6.

• PORTOCARRERO, J. M. T. ; Souza, W. L. ; DEMARZO, M. M. P. ; PRADO, Antonio Francisco Do . Desenvolvimento e Avaliação de um Sistema de Informação para Gerenciamento de Atividade Física. In: XII Congresso Brasileiro de Informática em Saúde (CBIS), 2010, Salvador-BA. XII Congresso Brasileiro de Informática em Saúde (CBIS). São Paulo-SP: Sociedade Brasileira de Informática em Saúde, 2010. p. 1-6.

• MENEZES, ANDERSON L. ; CIRILO, CARLOS E. ; DE MORAES, JOAO L. C. ; DE SOUZA, WANDERLEY L. ; DO PRADO, ANTONIO F. . Using archetypes and Domain Specific Languages on development of ubiquitous applications to pervasive healthcare. In: 2010 IEEE 23rd International Symposium on ComputerBased Medical Systems (CBMS), 2010, Bentley. 2010 IEEE 23rd International Symposium on Computer-Based Medical Systems (CBMS). p. 395-400.

• MARTINS, DIOGO S. ; BIAJIZ, MAURO ; DO PRADO, ANTONIO F. ; DE SOUZA, WANDERLEY L. . Implicit relevance feedback for context-aware information retrieval in UbiLearning environments. In: the 2009 ACM symposium, 2009, Honolulu. Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09. New York: ACM Press. v. 1. p. 659-663.

• OLIVEIRA, R. P. ; PRADO, Antonio Francisco Do ; Souza, W. L. ; BIAJIZ, M. . Development based on MDA of Ubiquitous Applications Domain Product Lines. In: 8th IEEE/ACIS International Conference on Computer and Information Science (ICIS), 2009, Shanghai. 8th IEEE/ACIS International Conference on Computer and Information Science (ICIS). Washington, DC: IEEE Computer Society's Conference Publishing Services (CPS), 2009. p. 1005-1010.

• MORAES, J. L. C. ; Souza, W. L. ; PRADO, Antonio Francisco Do . Ambiente de Computação Ubíqua para o Cuidado de Saúde Pervasivo (ACUCSP). In: XXXVI Seminário Integrado de Hardware e Software (SEMISH), 2009, Bento Gonçalves (RS). XXX Congresso da Sociedade Brasileira de Computação. Porto Alegre (RS): Sociedade Brasileira de Computação (SBC), 2009. p. 217-231.

• E. F. Z. Santana ; OLIVEIRA, R. P. ; PRADO, Antonio Francisco Do ; Souza, W. L. ; BIAJIZ, M. . Modelagem Específica de Domínio em Linhas de Produto de Software na Computação Ubíqua. In: III Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS), 2009, Natal (RN). Anais do III Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS). Porto Alegre (RS): Sociedade Brasileira de Computação (SBC), 2009. p. 209-222.

• E. F. Z. Santana ; L. H. Z. Santana ; CARVALHO, V. A. ; Souza, W. L. ; PRADO, Antonio Francisco Do . Um Ambiente Baseado na WEB 2.0 para Estações de Simulação na Educação Médica Construtivista. In: XX Simpósio Brasileiro de Informática na Educação (SBIE), 2009, Florianópolis-SC. Anais do XX Simpósio Brasileiro de Informática na Educação (SBIE). Porto Alegre (RS): Sociedade Brasileira de Computação (SBC), 2009. p. 1-10.

• E. F. Z. Santana ; SANTANA, L. H. Z. ; PRADO, Antonio Francisco Do ; Souza, W. L. . A Web 2.0 Based Environment for Simulation Activities in Constructivist Medical Education. In: IADIS International Conference WWW/Internet (WWW/Internet), 2009, Roma. Prooceedings of IADIS International Conference WWW/Internet (WWW/Internet). Roma: IADIS Press, 2009. v. 1. p. 253-260.

• Santos, H. F. ; SANTANA, L. H. Z. ; MARTINS, D. S. ; Souza, W. L. ; PRADO, Antonio Francisco ; BIAJIZ, M. . A Ubiquitous Computing Environment for Medical Education. In: 23st Annual ACM Symposium on Applied Computing (SAC 2008), 2008, Fortaleza. Proceedings of the 2008 ACM Symposium on Applied Computing. New York: ACM Publications Department, 2008. v. 2. p. 1395-1399.

• SANTANA, L. H. Z. ; Souza, W. L. ; PRADO, Antonio Francisco Do . Um ambiente baseado na Web 2.0 para educação médica construtivista. In: XIV Simpósio Brasileiro de Sistemas Multimídia e Web (WebMedia 2008), 2008, Vila Velha. Anais do XIV Simpósio Brasileiro de Sistemas Multimídia e Web (WebMedia 2008). Porto Alegre (RS): Sociedade Brasileira de Computação (SBC), 2008. v. I. p. 12-19.

• LORENTE, D. O. ; Souza, W. L. ; PRADO, Antonio Francisco Do . MidComUbi: um middleware para ambientes de Computação Ubíqua. In: II Workshop on Pervasive and Ubiquitous Computing (WPUC 2008), 2008, Campo Grande (MS). Anais do IX Simpósio em Sistemas Computacionais (WSCAD-SSC 2008). Porto Alegre (RS): Sociedade Brasileira de Computação (SBC), 2008. p. 1-6.

• SANTANA, L. H. Z. ; Souza, W. L. ; PRADO, Antonio Francisco Do . Experiências no uso do portfólio eletrônico reflexivo para ensino de medicina na UFSCar. In: XI Congresso Brasileiro de Informática em Saúde (CBIS 2008), 2008, Campos do Jordão (SP). Anais do XI Congresso Brasileiro de Informática em Saúde. São Paulo (SP): Sociedade Brasileira de Informática em Saúde (SBIS), 2008. p. 59-64.

• FORTE, M. ; Souza, W. L. ; PRADO, Antonio Francisco Do . Utilizando dispositivos móveis no suporte ao ensino de medicina: desafios e propostas. In: XI Congresso Brasileiro de Informática em Saúde (CBIS 2008), 2008, Campos do Jordão (SP). Anais do XI Congresso Brasileiro de Informática em Saúde. São Paulo (SP): Sociedade Brasileira de Informática em Saúde (SBIS), 2008. p. 325-330.

• SANTANA, L. H. Z. ; FORTE, M. ; Souza, W. L. ; PRADO, Antonio Francisco Do . ACUEM-PBL: Ambiente de Computação Ubíqua para o Ensino de Medicina baseado em PBL. In: VIII Workshop de Informática Médica (WIM 2008), 2008, Belém (PA). Anais do VIII Workshop de Informática Médica (WIM 2008). Porto Alegre (RS): Sociedade Brasileira de Computação (SBC), 2008. p. 11-20.

• FORTE, Marcos ; CLAUDINO, Renato André Takayama ; Souza, W. L. ; PRADO, Antonio Francisco ; SANTANA, L. H. Z. . A Component-Based Framework for the Internet Content Adaptation Domain. In: 22nd Annual ACM Symposium on Applied Computing (SAC 2007), 2007, Seoul. Proceedings of the 2007 ACM Symposium on Applied Computing. New York: ACM Publications Department, 2007. v. 2. p. 1450-1455.

• SANTANA, L. H. Z. ; MARTINS, D. S. ; FORTE, Marcos ; Souza, W. L. ; PRADO, Antonio Francisco ; BIAJIZ, M. ; KNOFF, Luana Crisitina . Serviço de tradução de linguagens de marcação para a Internet. In: 25o Simpósio Brasileiro de Redes de Computadores (SBRC 2007), 2007, Belém. Anais do 25o Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. Belém: Editora da Universidade Federal do Pará, 2007. v. I. p. 541-554.

• PERLIN, C. B. ; SANTANA, L. H. Z. ; MARTINS, D. S. ; Santos, H. F. ; PRADO, Antonio Francisco Do ; Souza, W. L. ; BIAJIZ, M. . Um Ambiente de Computação Ubíqua para o Ensino baseado em ABP. In: XXXIII Conferencia Latinoamericana en Informática - CLEI 2007, 2007, San José - Costa Rica. Anais da XXXIII Conferencia Latinoamenreicana de Informática. San José - Costa Rica: PEM Oficina de Audiovisuales, 2007. p. 1-12.

• SANTANA, L. H. Z. ; PRADO, Antonio Francisco Do ; Souza, W. L. ; BIAJIZ, M. . Usando Ontologias, Serviços Web Semânticos e Agentes Móveis no Desenvolvimento Baseado em Componentes. In: Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software 2007 (SBCARS 2007), 2007, Campinas. Anais do Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software 2007, 2007. p. 163-176.

• SANTANA, L. H. Z. ; MARTINS, D. S. ; PERLIN, C. B. ; PRADO, Antonio Francisco ; Souza, W. L. ; BIAJIZ, M. . Adaptação de Páginas Web para Dispositivos Móveis. In: XIII Brazilian Symposium on Multimedia and the Web - WebMedia 2007, 2007, Gramado. Proceedings of the XIII Brazilian Symposium on Multimedia and the Web - WebMedia 2007. Porto Alegre: Sociedade Brasileira de Computação, 2007. v. 1. p. 1-8.

• Souza, W. L. ; PRADO, Antonio Francisco ; GUARDIA, H. C. ; BIAJIZ, M. ; ANACLETO, J. C. . Ambiente de Computação Ubíqua para o Ensino de Medicina baseado em PBL. In: I Workshop on Pervasive and Ubiquitous Computing - WPCU 2007, 2007, Gramado. Proceedings of the 19th International Symposium on Computer Architecture - SBAC 2007. Porto Alegre: Sociedade Brasileira de Computação, 2007. v. 2. p. 1-6.

• FORTE, Marcos ; Souza, W. L. ; PRADO, Antonio Francisco Do . A content classification and filtering server for the Internet. In: The 21st Annual ACM Symposium on Applied Computing (SAC 2006), 2006, Dijon. Proceedings of the 2006 ACM Symposium on Applied Computing, 2006. v. 2. p. 1166-1171.

• FORTE, Marcos ; Souza, W. L. ; PRADO, Antonio Francisco Do . Utilizando Ontologias e Serviços Web na Computação Ubíqua. In: XX Simpósio Brasileiro de Engenharia de Software (SBES), 2006, Florianópolis. Anais do XX Simpósio Brasileiro de Engenharia de Software (SBES). Florianópolis: Mattes Agência Gráfica, 2006. p. 287-302.

• FORTE, Marcos ; Souza, W. L. ; PRADO, Antonio Francisco . Um servidor para a classificação e filtragem de conteúdo na Internet. In: 23o Simpósio Brasileiro de Redes de Computadores, 2005, Fortaleza. 23o Simpósio Brasileiro de Redes De Computadores - SBRC, 2005. v. I. p. 191-204.

• CLAUDINO, Renato André Takahama ; Souza, W. L. ; PRADO, Antonio Francisco . Um framework baseado em componentes para o domínio de adaptação de conteúdo na Internet. In: 19o Simpósio Brasileiro de Engenharia de Software (19o SBES), 2005, Uberlândia. Anais do 19o Simpósio Brasileiro de Engenharia de Software (19o SBES), 2005. v. I. p. 88-103.

• Souza, W. L. ; Massetto, F. I. ; Zorzo, S. D. . Simulator for E-LOTOS specifications. In: 35th Annual Simulation Symposium (SS 2002), 2002, San Diego. Proceedings of the 35th Annual Simulation Symposium, 2002. v. 1. p. 389-394.

• Souza, W. L. ; Bochmann, G. V. ; Khatib, K. E. ; He, X. . Adaptação de conteúdo de mensagens HTTP baseada em perfis de dispositivo, usuário, conteúdo e serviço de rede. In: 20o Simpósio Brasileiro de Redes de Computadores, 2002, Búzios. Anais do 20o Simpósio Brasileiro de Redes de Computadores. Rio de Janeiro-RJ: Núcleo de Computação Eletrônica (NCE) da Universidade Federal do Rio de Janeiro (UFRJ), 2002. v. 2. p. 554-568.

• Souza, W. L. ; Silva, H. R. T. ; Zorzo, S. D. . Developing a graphical syntax for the formal description technique E-LOTOS. In: 5th World Multiconference on Systemics, Cybernetics and Informatics and 7th Int'l Conference on Information Systems Analysis and Synthesis, 2001, Orlando. 5th World Multiconference on Systemics, Cybernetics and Informatics and 7th Int'l Conference on Information Systems Analysis and Synthesis, 2001.

• Souza, W. L. ; Farias, C. R. G. ; Pires, L. F. ; Moron, C. E. . Specification and validation of a real-time parallel kernel using LOTOS. In: Ninth International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication, 2001, Cincinnati. Ninth International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication, 2001.

• Souza, W. L. ; Santos, H. F. ; Farias, C. R. G. . Conferência multimídia - metodologia e componentes para aplicações cooperativas. In: 7o Simpósio Brasileiro de Sistemas Multimídia e Hipermídia (SBMídia 2001), 2001, Florianópolis. Anais do 7o Simpósio Brasileiro de Sistemas Multimídia e Hipermídia, 2001. p. 187-202.

• Souza, W. L. ; Santos, H. F. ; Farias, C. R. G. . Utilizando um modelo conceitual para especificação de aplicações CSCW - um sistema de conferência multimídia. In: XXVII Latin-American Conference of Informatics (CLEI 2001), 2001, Mérida. XXVII Latin-American Conference of Informatics, 2001.

• Souza, W. L. ; Pinheiro, R. A. G. ; Zorzo, S. D. . Building integrated tools for the formal description technique E-LOTOS. In: 4th World Multiconference on Systemics, Cybernetics and Informatics and 6th Int'l Conference on Systems Analysis and Synthesis, 2000, Orlando. 4th World Multiconference on Systemics, Cybernetics and Informatics and 6th Int'l Conference on Systems Analysis and Synthesis, 2000. v. 1. p. 148-153.

• Souza, W. L. . Design of Distributed Multimedia Applications (DAMD). In: ProTeM-CC'99 Projects Evaluation Workshop Fase III, 1999, Rio de Janeiro (RJ). ProTeM-CC'99 Projects Evaluation Workshop Fase III, 1999. p. 481-514.

• Souza, W. L. ; Kawamoto, A. L. S. . Tradutor automático de especificações E-LOTOS para o padrão MHEG-5. In: 17o Simpósio Brasileiro de Redes de Computadores - SBRC'99, 1999, Salvador (BA). 17o Simpósio Brasileiro de Redes de Computadores, 1999. p. 31-43.

• Souza, W. L. ; SAMPAIO, P. N. M. ; Shiga, C.Y. ; Kawamoto, A. L. S. . Automatic MHEG-5 implementation of multimedia applications specified in E-LOTOS. In: 3rd World Multiconference on Systemics, Cybernetics and Informatics and 5th Int'l Conference on Information Systems Analysis and Synthesis, 1999, Orlando (Estados Unidos). 3rd World Multiconference on Systemics, Cybernetics and Informatics and 5th Int'l Conference on Information Systems Analysis and Synthesis, 1999. v. 2. p. 182-189.

• Souza, W. L. ; Shiga, C. Y. ; SAMPAIO, P. N. M. ; Kawamoto, A. L. S. . Especificação de aplicações multimídia interativas em E-LOTOS. In: XXIV Conferencia Latinoamericana de Informática, 1998, Quito (Equador). XXIV Conferencia Latinoamericana de Informática, 1998. p. 249-260.

• Souza, W. L. ; Santana, A. C. L. ; PRADO, Antonio Francisco ; Sant'Anna, M. . Automatic refinement of distributed systems specifications using program transformations. In: Twenty-Second Annual International Computer Software and Application Conference - COMPSAC'98, 1998, Viena (Áustria). Twenty-Second Annual International Computer Software and Application Conference, 1998. p. 154-163.

• Souza, W. L. ; SAMPAIO, P. N. M. ; Kawamoto, A. L. S. . Uma metodologia para implementação em MHEG-5 de especificações de aplicações multimídia realizadas em E-LOTOS. In: IV Simpósio Brasileiro de Sistemas Multimídia e Hipermídia - SBMIDIA'98, 1998, Rio de Janeiro (RJ). IV Simpósio Brasileiro de Sistemas Multimídia e Hipermídia, 1998. p. 101-112.

• Souza, W. L. ; Farias, C. R. G. . Especificação formal e validação de um kernel paralelo tempo real. In: 16o Simpósio Brasileiro de Redes de Computadores - SBRC'98, 1998, Rio de Janeiro (RJ). 16o Simpósio Brasileio de Redes de Computadores, 1998. p. 258-277.

• Souza, W. L. ; Salvador, M. R. . Especificação formal de sistemas ODP usando a linguagem Mondel. In: Anais do 16o Simpósio Brasileiro de Redes de Computadores - SBRC'98, 1998, Rio de Janeiro (RJ). 16o Simpósio Brasileiro de Redes de Computadores, 1998. p. 278-297.

• Souza, W. L. ; Branco, L. H. C. ; PRADO, Antonio Francisco . Automatic implementation of Mondel specifications in Java. In: European Reuse Workshop'98 - ERW'98, 1998, Madri (Espanha). European Reuse Workshop'98, 1998. p. 21-23.

• Souza, W. L. ; Sampaio, P. N. M. ; Shiga, C. Y. . Enabling temporal synchronization in E-LOTOS specifications and MHEG-5 applications. In: IEEE Conference on Protocols for Multimedia Systems-Multimedia Networking - PROMS-MmNET'97, 1997, Santiago (Chile). IEEE Conference on Protocols for Multimedia Systems-Multimedia Networking, 1997. p. 92-100.

• Souza, W. L. ; Farias, C. R. G. ; Moron, C. E. . Modelagem de sistemas operacionais utilizando LOTOS. In: XXII Conferencia Latinoamericana de Informática, 1997, Valparaíso (Chile). XXII Conferencia Latinoamericana de Informática, 1997. v. II. p. 759-768.

• Souza, W. L. ; SAMPAIO, P. N. M. . Modelling multimedia and hypermedia applications using an E-LOTOS/MHEG-5 approach. In: ACM 16th International Conference on Conceptual Modelling - ER'97, 1997, Los Angeles (EUA). Workshop on Conceptual Modelling Information Seeking, 1997. p. 31-40.

• Souza, W. L. ; Farines, J. M. ; Almeida, M. J. B. ; Pires, L. F. ; Camargo, M. S. ; Willrich, R. ; Costa, R. . Design de Aplicações Multimídia Distribuídas (DAMD). In: II Seminário Franco-Brasileiro em Sistemas Informáticos Distribuídos, 1997, FORTALEZA (CE). II Seminário Franco-Brasileiro em Sistemas Informáticos Distribuídos, 1997. p. 271-281.

• Souza, W. L. ; Santana, A. C. L. ; PRADO, Antonio Francisco . Utilização do paradigma Draco para implementar especificações Estelle na Linguagem C++. In: 15o Simpósio Brasileiro de Redes de Computadores - SBRC'97, 1997, São Carlos (SP). 15o Simpósio Brasileiro de Redes de Computadores, 1997. p. 118-134.

• Souza, W. L. ; Farias, C. R. G. ; Moron, C. E. . Design of a real-time parallel kernel using LOTOS. In: IEEE Fifth Workshop on Parallel and Distributed Real-Time Systems and Third Workshop on Object-Oriented Real-Time Systems, 1997, Genebra (Suiça). IEEE Fifth Workshop on Parallel and Distributed Real-Time Systems and Third Workshop on Object-Oriented Real-Time Systems, 1997. p. 177-181.

• Souza, W. L. ; Farias, C. R. G. ; Moron, C. E. . Formal specification an automatic implementation of a real-time parallel kernel. In: IFAC/IFIP 21st Workshop on Real Time Programming, 1996, GRAMADO (RS). IFAC/IFIP 21st Workshop on Real Time Programming, 1996. p. 175-176.

• Souza, W. L. ; Farias, C. R. G. . Design and implementation of distributed databases using Estelle. In: Anais do XI Simpósio Brasileiro de Banco de Dados, 1996, São Carlos (SP). XI Simpósio Brasileiro de Banco de Dados, 1996. p. 158-171.

• Souza, W. L. ; PRADO, Antonio Francisco ; Santana, A. C. L. . Implementação automática, orientada a objetos, de especificações Estelle na linguagem C++. In: Anais do I Simpósio Brasileiro de Linguagens de Programação - SBLP'96, 1996, Belo Horizonte (MG). I Simpósio Brasileiro de Linguagens de Programação, 1996. p. 31-44.

• Souza, W. L. ; Farias, C. R. G. . Especificação formal e validação de algoritmos distribuídos. In: XXII Seminário Integrado de Software e Hardware - SEMISH'95, 1995, Canela (RS). XXII Seminário Integrado de Software e Hardware, 1995. v. II. p. 1027-1038.

• Souza, W. L. ; BARBOSA, C. B. . Modelagem orientada ao objeto de especificações escritas em Estelle. In: 13o Simpósio Brasileiro de Redes de Computadores - 13o SBRC, 1995, Belo Horizonte. 13o Simpósio Brasileiro de Redes de Computadores, 1995. p. 23-39.

• Souza, W. L. ; ANDRADE, R. M. C. . Especificação formal, em Estelle, do processamento de chamadas da central Trópico RA. In: 12o Simpósio Brasileiro de Redes de Computadores - SBRC'94, 1994, Curitiba (PR). 12o Simpósio Brasileiro de Redes de Computadores, 1994. v. II. p. 659-676.

• Souza, W. L. ; Tschammer, V. ; Mendes, M. J. ; Madeira, E. R. M. ; Loyolla, W. P. . Processamento distribuído aberto e o modelo RM-ODP/ISO. In: 11o Simpósio Brasileiro de Redes de Computadores - SBRC'93, 1993, Campinas (SP). 11o Simpósio Brasileiro de Redes de Computadores, 1993. p. 175-195.

• Souza, W. L. ; Medeiros, E. B. ; Magalhães, M. F. . Geração automática de especificações de implementação a partir de especificações abstratas. In: VI Simpósio Brasileiro de Engenharia de Software, 1992, Gramado (RS). VI Simpósio Brasileiro de Engenharia de Software, 1992. p. 187-201.

• Souza, W. L. ; Araújo, A. J. P. . Especificação formal, em Estelle, de sistemas digitais. In: 9o Congresso Brasileiro de Automática, 1992, Vitória (ES). 9o Congresso Brasileiro de Automática, 1992. v. 2. p. 869-874.

• Souza, W. L. ; ANDRADE, R. M. C. . Especificação formal em Estelle de sistemas de telefonia. In: 9o Simpósio Brasileiro de Telecomunicações, 1991, São Paulo (SP). 9o Simpósio Brasileiro de Telecomunicações, 1991. p. 1731-1735.

• Souza, W. L. ; CARDOSO, A. R. . Especificação formal em Estelle de redes de comunicação móvel. In: IX Congresso Nacional da Sociedade Brasileira de Computação, 1991, Santos (SP). IX Congresso Nacional da Sociedade Brasileira de Computação, 1991. p. 140-156.

• Souza, W. L. ; Pires, L.F. . Projeto de sistemas através de refinamentos sucessivos utilizando a TDF LOTOS. In: 9o Simpósio Brasileiro de Redes de Computadores, 1991, Florianópolis (SC). 9o Simpósio Brasileiro de Redes de Computadores, 1991. p. 295-312.

• Souza, W. L. ; Pires, L.F. . Step-wise refinement design example using LOTOS. In: Third International Conference on Formal Description Techniques, 1990, Madrid (Espanha). Third International Conference on Formal Description Techniques, 1990. p. 289-306.

• Souza, W. L. ; Riso, B. G. . Especificação algébrica de processos da camada de aplicação do RM OSI/ISO. In: 8o Simpósio Brasileiro de Redes de Computadores, 1990, Campinas (SP). 8o Simpósio Brasileiro de Redes de Computadores, 1990. p. 298-310.

• Souza, W. L. ; Souza, J. N. . Simulation of protocol formal specifications. In: International Conference on Local Area Networks, 1990, Madras (Índia). International Conference on Local Area Networks, 1990. p. 174-189.

• Souza, W. L. ; Souza, J. N. . Simulação de especificações formais de protocolos de comunicação. In: Seminário Franco-Brasileiro em Sistemas Informáticos Distribuídos, 1989, Florianópolis (SC). Seminário Franco-Brasileiro em Sistemas Informáticos Distribuídos, 1989. p. 103-110.

• Souza, W. L. ; Ferneda, E. ; Lonergan, P. ; Silva, S.B. . Portabilidade de um compilador Estelle/83 para a criação de uma base de pesquisas em TDFs. In: 7o Simpósio Brasileiro de Redes de Computadores, 1989, Porto Alegre (RS). 7o Simpósio Brasileiro de Redes de Computadores, 1989. p. 176-189.

• Souza, W. L. ; Riso, B. G. . Using CCS for protocol specifications by step-wise refinements. In: Second International Symposium on Interoperable Information Systems, 1988, Tóquio (Japão). Second International Symposium on Interoperable Information Systems, 1988. p. 135-142.

• Souza, W. L. ; Martins, J.S.B. . Utilização de técnicas de descrição formal para a especificação e validação dos protocolos MAP/TOP. In: 7o Congresso Brasileiro de Automática, 1988, São José dos Campos (SP). 7o Congresso Brasileiro de Automática, 1988. p. 347-354.

• Souza, W. L. ; Souza, J. N. ; Celestino Júnior, J. . Especificação formal de protocolos de comunicação através de refinamentos sucessivos. In: VIII Congresso da Sociedade Brasileira de Computação, 1988, Rio de Janeiro (RJ). VIII Congresso da Sociedade Brasileira de Computação, 1988. p. 113-124.

• Souza, W. L. . An approach for developing communication software for local area networks. In: IEEE LATINCON'88, 1988, Buenos Aires (Argentina). IEEE LATNCON'88, 1988. p. 1-18.

• Souza, W. L. ; Riso, B. G. . Especificação e Verificação em CCS de sistemas de comunicação. In: 6o Simpósio Brasileiro de Redes de Computadores, 1988, Belo Horizonte (MG). 6o Simpósio Brasileiro de Redes de Computadores, 1988. p. 1-21.

• Souza, W. L. . Uma proposta para o desenvolvimento sistemático de software de comunicação para rede local. In: 5o Simpósio Brasileiro de Telecomunicações, 1987, Campinas (SP). 5o Simpósio Brasileiro de Telecomunicações, 1987. p. 92-99.

• Souza, W. L. ; Ferneda, E. . A compiler for a formal description technique. In: 1st Iberian Conference on Data Communications, 1987, Lisboa (Portugal). 1st Iberian Conference on Data Communications, 1987. v. 2. p. 539-558.

• Souza, W. L. ; Ferneda, E. . Aplicações do compilador Estelle. In: 5o Simpósio Brasileiro de Redes de Computadores, 1987, São Paulo (SP). 5o Simpósio Brasileiro de Redes de Computadores, 1987. p. 107-120.

• Souza, W. L. . LOTOS: uma técnica para a descrição formal de serviços e protocolos de comunicação. In: 5o Simpósio Brasileiro de Redes de Computadores, 1987, São Paulo (SP). 5o Simpósio Brasileiro de Redes de Computadores, 1987. p. 121-144.

• Souza, W. L. ; Ferneda, E. . Compilador para a linguagem de especificação Estelle. In: VI Congresso da Sociedade Brasileira de Computação, 1986, Recife (PE), 1986. p. 420-428.

• Souza, W. L. ; Ferneda, E. . Analisador sintático em Prolog para a linguagem de especificação de protocolos Estelle. In: 4o Simpósio Brasileiro de Redes de Computadores - SBRC'86, 1986, Recife (PE). 4o Simpósio Brasileiro de Redes de Computadores, 1986. p. 325-353.

• Souza, W. L. . Utilização de Prolog para a especificação e validação de serviços e protocolos de comunicação. In: V Congresso da Sociedade Brasileira de Computação e XI Conferência Latino-Americana de Informática, 1985, Porto Alegre (RS), 1985. p. 51-59.

• Souza, W. L. ; Bochmann, G. V. ; Dssouli, R. ; Sarikaya, B. ; Hural, H. . Use of Prolog for building protocol design tools. In: IFIP WG 6.1 Fifth International Workshop on Protocol Specification, Testing, and Verification - PSTV'85, 1985, Toulouse-Moissac (França). Fifth International Workshop on Protocol Specification, Testing, and Verification, 1985. p. 3.27-3.39.

• Souza, W. L. ; Dssouli, R. ; Bochmann, G. V. . Ambiente de teste para protocolos de comunicação. In: 3o Simpósio Brasileiro de Redes de Computadores - SBRC'85, 1985, Rio de Janeiro (RJ). 3o Simpósio Brasileiro de Redes de Computadores, 1985. p. 24.1-24.12.

• Souza, W. L. . Utilização dos conceitos de módulo, porta e canal em especificações formais de serviços, protocolos e interfaces de comunicação. In: 3o Simpósio Brasileiro de Redes de Computadores - SBRC'85, 1985, Rio de Janeiro (RJ). 3o Simpósio Brasileiro de Redes de Computadores, 1985. p. 25.1-25.23.

• Souza, W. L. ; Moussaid, D. . Software for erlangmeter controlled by microprocessor. In: IEEE LATINCON 84, 1984, Cidade do México (México). IEEE LATINCON 84, 1984. p. 257-261.

• Souza, W. L. ; Moussaid, D. . Software para erlangmetre pilotado por microprocessador. In: X Conferencia Latinoamericana de Informática, 1984, Vinã del Mar (Chile). X Conferencia Latinoamericana de Informática, 1984. p. 387-395.

• Souza, W. L. ; Moussaid, D. . Medidor de tráfego telefônico comandado por microprocessador. In: V Congresso Chileno de Ingenieria Elétrica, 1983, Vinã del Mar (Chile), 1983. v. I. p. 493-504.

• Souza, W. L. ; Maia, J. B. M. ; Morais, M. E. . Sistema de aquisição de dados para central de despacho de carga. In: 4o Congresso Brasileiro de Automática, 1982, Campinas (SP), 1982. v. 1. p. 280-285.

• Souza, W. L. ; Maia, J. B. M. ; Morais, M. E. . Sistema de aquisição de dados para central de despacho de carga. In: IX Conferencia Latinoamericana de Informática, 1982, Lima (Peru). IX Conferencia Latinoamericana de Informática, 1982. p. 822-833.

• MARTINS, D. S. ; SANTANA, L. H. Z. ; BIAJIZ, M. ; PRADO, Antonio Francisco ; Souza, W. L. . Context-aware Information Retrieval on a Ubiquitous Medical Learning Environment. In: 23st Annual ACM Symposium on Applied Computing (SAC 2008), 2008, Fortaleza. Proceedings of the 2008 ACM Symposium on Applied Computing. New York: ACM Publications Department, 2008. v. 3. p. 2348-2349.

• E. F. Z. Santana ; SANTANA, L. H. Z. ; PRADO, Antonio Francisco Do ; Souza, W. L. . Uma arquitetura P2P para adaptação de conteúdo em dispositivos móveis. In: XIV Simpósio Brasileiro de Sistemas Multimídia e Web (WebMedia 2008), 2008, Vila Velha (ES). Anais do XIV Simpósio Brasileiro de Sistemas Multimídia e Web (WebMedia 2008). Porto Alegre (RS): Sociedade Brasileira de Computação (SBC), 2008. v. II. p. 57-60.

• CLAUDINO, Renato André Takayama ; Souza, W. L. ; PRADO, Antonio Francisco . Uma arquitetura para adaptação de conteúdo na Internet. In: 23o Simpósio Brasileiro de Redes de Computadores, 2005, Fortaleza. 23o Simpósio Brasileiro de Redes de Computadores - SBRC, 2005. v. II. p. 1177-1179.

• Souza, W. L. ; Cardoso, A. R. . Formal specification of mobile networks. In: IEEE International Workshop on Personal, Indoor and Mobile Radio Communications, 1992, Siofok (Hungria). IEEE International Workshop on Personal, Indoor and Mobile Radio Communications, 1992.

• Souza, W. L. . Étude et réalisation des interfaces d'Erlangmètre piloté par microprocesseur pour la mesure du trafic téléphonique. In: 32o Reunião Anual da Sociedade Brasileira para o Progresso da Ciência - SBPC'80, 1980, Rio de Janeiro (RJ). Caderno de Resumos da 32o Reunião Anual da Sociedade Brasileira para o Progresso da Ciência, 1980. p. 31-31.

Outras produções

Projetos de pesquisa

• 2022 - 2023

  Avaliação de Usabilidade do Software de Gestão Pedagógica e Acadêmica para Cursos Baseados em Metodologias Ativas de Aprendizagem (SGPA-CBMAA), Descrição: No curso de Medicina da Universidade Federal de São Carlos (UFSCar), aprovado pelo Conselho Universitário da UFSCar em 29 de abril de 2005, a construção dos saberes ocorre a partir do confronto dos estudantes com situações reais ou simuladas, estimulando o desenvolvimento de uma aprendizagem significativa. O processo de ensino-aprendizagem deste curso emprega uma abordagem educacional construtivista fundamentada na utilização de Metodologias Ativas de Aprendizagem (MAA). Diante do grande volume de dados produzido durante o processo de ensino-aprendizagem do Curso de Medicina da UFSCar, torna-se essencial o uso de um Sistema de Gestão de Aprendizagem (SGA). Não havendo um consenso, entre os docentes, sobre qual SGA utilizar para atender as MAA, o Departamento de Computação (DC) e o Departamento de Medicina (DMed), ambos da UFSCar, uniram-se em busca de um SGA, por meio do desenvolvimento de um projeto de extensão cujo produto foi o Software de Gestão Pedagógica e Acadêmica para Cursos Baseados em Metodologias Ativas de Aprendizagem (SGPA-CBMAA). Este projeto de pós-doutorado teve por objetivo realizar a Avaliação de Usabilidade de algumas funcionalidades e páginas do SGPA-CBMAA. Para tal, foi desenvolvido um software para gestão da avaliação realizada por especialistas, denominado Software de AVAliação Nielsen et Al (SAVANA). Os resultados obtidos com essa avaliação de usabilidade comprovaram a efetividade e o potencial futuro do SGPA-CBMAA para o gerenciamento de cursos baseados em metodologias ativas de aprendizagem.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Wanderley Lopes de Souza - Coordenador / Helen Freitas dos Santos - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

• 2022 - 2023

  Modelo Semântico Baseado em Ontologia e Middleware para Internet das Coisas no Domínio da Saúde, Descrição: Internet das Coisas (IdC) consiste em redes de objetos cotidianos, denominados coisas, dotados de tecnologia embarcada, sensores e atuadores, que coletam e transmitem dados via redes sem fio para a Internet, sendo que um dos seus principais domínios de aplicação é a Saúde. Um dos grandes desafios na IdC é lidar com a enorme quantidade de dados produzida pelas coisas, sua heterogeneidade e seus diversos serviços. Para cada domínio e fornecedor geralmente há uma plataforma IdC específica e proprietária, e nenhum padrão de fato é esperado num futuro próximo. Portanto, garantir a interoperabilidade semântica das coisas entre diversos tipos de plataformas é um problema a ser investigado. A interoperabilidade semântica requer estruturas de descrição e representação de dados comuns, que caracterizem as coisas, suas capacidades, os dados produzidos e que sejam interpretáveis por máquinas. Este projeto investigou modelos semânticos, principalmente para a Web Semântica, e propôs um modelo semântico IdC específico para a Saúde. Esse modelo foi empregado no projeto de doutorado Uma Abordagem, Baseada no Emprego de Ontologias, para Facilitar a Interoperabilidade de Aplicações de Internet das Coisas no Domínio da Saúde, que foi desenvolvido no Grupo de Computaçao Ubíqua (GCU) do Departamento de Computação (DC) da Universidade Federal de São Carlos (UFSCar) em parceria com o grupo Semantics Cybersecurity and Services (SCS) da Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) da University of Twente (UT) na Holanda, no âmbito do Acordo Específico de Cooperação Internacional sobre o tema Tecnologias Integradas para a Saúde: da Prevenção à Reabilitação e do Acordo Internacional de Cooperação Acadêmica para Supervisão Binacional de Estudantes de Doutorado Visando à Obtenção da Titulação Dupla de Doutorado Supervisionado Conjuntamente, que foram estabelecidos entre a UFSCar e a UT.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Wanderley Lopes de Souza - Coordenador / Luis Ferreira Pires - Integrante / Pedro Lopes de Souza - Integrante / Ricardo Rodrigues Ciferri - Integrante / João Luiz Rebelo Moreira - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa., Número de produções C, T & A: 3

• 2021 - 2024

  Sistema Baseado em Internet das Coisas para o Rastreio Aplicado à Logística da Cadeia de Frio, Descrição: Este projeto tem por objetivos o design, a implementação e a validação de um sistema baseado em Internet das Coisas para o rastreio aplicado à logística da cadeia de frio (SBIdC-RALCF). O sistema visa a resolver desafios de logística em áreas remotas usando tecnologias de Internet das Coisas (IdC) para monitorar e gerenciar as condições de produtos perecíveis durante o transporte, abrange vários dispositivos, tipos de sensores e integra-se com múltiplos provedores de rede Long Range Wide Area Network (LoRaWAN) para melhorar a cobertura. Este sistemavisa a dar suporte aos tomadores de decisão em parcerias público-privadas que se aproveitam da infraestrutura existente e investem em redes de baixo custo para abordar questões sociais em regiões periféricas. O projeto mostra como ferramentas de simulação de cobertura de antenas provêm boa acurácia se comparadas com a distância efetiva dos gateways que recebem o sinal Long Range (LoRa). Testes de campo nos Países Baixos demonstraram a eficácia do sistema em cenários do mundo real, mostrando recursos como geolocalização sem GPS por multilateração, comunicação de longo alcance e o potencial para aplicar a solução em outros domínios além da logística da cadeia de frio.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Wanderley Lopes de Souza - Coordenador / Alex Fabiano Garcia - Integrante., Número de produções C, T & A: 2

• 2019 - 2024

  Uma Abordagem, Baseada no Emprego de Ontologias, para Facilitar a Interoperabilidade de Aplicações de Internet das Coisas no Domínio da Saúde, Descrição: A Internet das Coisas (IdC) consiste em redes de objetos cotidianos, denominados coisas, dotados de tecnologia embarcada, sensores e atuadores, sendo capazes de coletar e transmitir dados por meio de conexões de rede sem fio com a Internet. Um dos grandes desafios na IdC é lidar com o enorme volume de dados produzido pelas coisas, além de lidar com a heterogeneidade dos dados, variadas capacidades das coisas e diversos serviços oferecidos. Para cada domínio e para cada fornecedor, geralmente há uma plataforma IdC específica e proprietária, sendo que nenhum padrão de fato é encontrado atualmente ou esperado em um futuro próximo. Portanto, garantir a interoperabilidade semântica das coisas entre os diversos tipos de plataformas é um dos problemas que necessitam de investigação intensa nessa área. A interoperabilidade semântica requer estruturas de descrição e representação de dados comuns, que caracterizem as coisas, suas capacidades e os dados produzidos pelas coisas, e que sejam interpretáveis por máquinas. Neste sentido, este projeto de pesquisa de Doutorado busca investigar o uso de ontologia, middleware e Web Semântica para anotação semântica, gerenciamento de acesso e descoberta de recursos para IdC. Mais especificamente, tem como objetivo principal propor uma abordagem, baseada no emprego de ontologias, para facilitar a interoperabilidade semântica de aplicações IdC no domínio da Saúde. A fim de avaliar essa abordagem, uma aplicação IdC, para o monitoramento de pacientes com certas Doenças Crônicas Não Transmissíveis (DCNTs), tais como a Hipertensão e o Diabetes, deverá ser desenvolvida e avaliada no contexto do Hospital Universitário (HU) da Universidade Federal de São Carlos (UFSCar).. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Wanderley Lopes de Souza - Coordenador / Luis Ferreira Pires - Integrante / Ricardo Rodrigues Ciferri - Integrante / João Luiz Rebelo Moreira - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa.

• 2019 - 2022

  SBIdC-MPH: Sistema Baseado em Internet das Coisas para o Monitoramento de Pacientes com Hipertensão, Descrição: As Doenças Crônicas Não Transmissíveis (DCNT) são um dos maiores desafios na Saúde, principalmente devido à sua magnitude e ao seu alto custo social. Os quatro grupos principais de DCNTs, as doenças cardiovasculares, o Câncer, o Diabetes e as doenças respiratórias crônicas, causam cerca de 70 das mortes no mundo, levando a óbito em torno de 15 milhões de pessoas entre 30 e 70 anos a cada ano. As doenças cardiovasculares são a principal causa de morte prematura, sendo responsáveis por cerca de 17,9 milhões de pessoas anualmente, das quais 9,4 milhões são devidas à Hipertensão Arterial. Diversos fatores de risco contribuem para o desenvolvimento de DCNTs e o agravamento da saúde das pessoas. Alguns desses fatores, tais como o sedentarismo e a alimentação não saudável, podem ser alterados, pois estão relacionados ao estilo de vida. Para prevenir e controlar DCNTs, é necessário promover a mudança de hábitos e proporcionar um cuidado de saúde integral ao paciente. As tecnologias da Computação Ubíqua, Computação Pervasiva e, mais recentemente, Internet das Coisas (IdC), possibilitam o desenvolvimento de sistemas para o monitoramento à distância e em tempo real de pacientes acometidos com certas DCNTs, tais como a Hipertensão Arterial, o Diabetes, a Asma e a Obesidade. Neste sentido, foi desenvolvido o Sistema Baseado em Internet das Coisas para o Monitoramento de Pacientes com Hipertensão (SBIdC-MPH), que permite capturar sinais vitais do paciente, tais como pressão sanguínea, batimentos cardíacos e temperatura corpórea, via uma rede de sensores incorporadas a um dispositivo vestível semelhante a um relógio de pulso. Esses sinais são transmitidos ao dispositivo móvel do paciente para pré-processamento, sendo que os dados clínicos gerados são enviados a uma nuvem computacional. Esses dados por sua vez são processados na nuvem visando a sua apresentação, através de tabelas e gráficos, ao profissional de saúde responsável pelo paciente. O SBIdC-MPH permite também a geração de sinais de alertas, os quais são enviados ao paciente, ao profissional de saúde, ou até mesmo a pessoas designadas pelo paciente, sempre que situações críticas são detectadas.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Wanderley Lopes de Souza - Coordenador / Luis Ferreira Pires - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa., Número de produções C, T & A: 1

• 2016 - 2018

  ScrumOntoBDD: uma abordagem, baseada em Scrum, Ontologia e BDD, para o desenvolvimento ágil de software, Descrição: A maioria das universidades brasileiras empregam metodologias tradicionais de ensino-aprendizagem, baseadas em disciplinas e aulas expositivas. A Universidade Federal de São Carlos (UFSCar) não é uma exceção, mas alguns de seus cursos empregam metodologias ativas de aprendizagem, tais como Aprendizagem Baseada em Problemas (ABP). O Grupo de Computação Ubíqua (GCU) da UFSCar, criado em 2002, vem desenvolvendo projetos principalmente voltados para as áreas de Educação e Saúde e recentemente coordenou o desenvolvimento do projeto Software de Gestão Pedagógica e Acadêmica para Cursos Baseados em Metodologias Ativas de Aprendizagem (SGPA-CBMAA). O método ágil Scrum foi empregado no desenvolvimento do SGPA-CBMAA, tendo sido realizadas reuniões periódicas envolvendo desenvolvedores e Product Owners (POs) para o planejamento e análise das diferentes fases do desenvolvimento do SGPA-CBMAA. Foi bastante comum a necessidade de refazer cenários de comportamentos desse sistema, devido a ambiguidades presentes em especificações de requisitos, ou devido a interpretações equivocadas de estórias relatadas pelos POs. A definição de conjuntos de teste também foi incômoda, resultando em conjuntos de teste incompletos ou que não atendiam aos requisitos do sistema. Com base nessa experiência e para lidar com esses problemas, este trabalho propõe a abordagem ScrumOntoBDD, que combina Scrum, Ontologia e Behaviour-Driven Development (BDD), para o desenvolvimento ágil de software. Essa abordagem explora os conceitos e técnicas de SCRUM e BDD, focando nas fases de planejamento e análise do ciclo de vida do software, já que as ferramentas do BDD fornecem pouco apoio a essas fases, e a maioria dos problemas encontrados no desenvolvimento do SGPA-CBMAA foram nas mesmas. ScrumOntoBDD emprega ontologias a fim de eliminar as ambiguidades intrínsecas ao uso de uma linguagem natural como linguagem ubíqua do BDD.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Wanderley Lopes de Souza - Coordenador / Luis Ferreira Pires - Integrante / Antonio Francisco do Prado - Integrante., Número de produções C, T & A: 3

• 2014 - 2019

  Abordagem, Utilizando Realidades Aumentada e Virtual, para Suportar Cursos Baseados em Metodologias Ativas de Aprendizagem (AURAV-SCBMAA), Descrição: Metodologias Ativas de Aprendizagem (MAA) têm sido propostas a fim de estimular o raciocínio, a crítica e a reflexão no processo ensino-aprendizagem, elevando o nível de participação do estudante neste processo, contrariamente às aulas expositivas tradicionais que enfatizam a transmissão do conhecimento pelos professores. No Brazil, MAA são usadas principalmente em cursos da área da Saúde, tais como curso de Medicina da UFSCar e cursos de Pós-Graduação do Instituto Sírio-Libanês de Ensino e Pesquisa (IEP). Em 2014 foi estabelecida uma parceria entre UFSCar e IEP para o desenvolvimento de um Sistema de Gestão da Aprendizagem (SGA) a fim de oferecer um suporte computacional para as especificidades destes cursos baseados em MAA. Realidade Virtual (RV) e Realidade Aumentada (RA) emergiram como uma nova geração de interfaces computacionais e seu uso no domínio da Educação Médica pode trazer os seguintes benefícios, dentre outros: estimular a aprendizagem, fornecer ferramentas para a visualização do corpo humano, substituir manequins na simulação médica, reduzir o número de laboratórios de anatomia, evitar problemas éticos e reduzir o custo dos cursos de Medicina. Outras tecnologias computacionais também podem ser úteis no domínio da Educação como aprendizagem de máquina, sistemas de perguntas/respostas e assistentes virtuais. O objetivo principal deste projeto de doutorado foi propor uma abordagem que emprega as tecnologias anteriormente citadas para dar apoio a cursos baseados em MAA. Essa abordagem deve ser usada para integrar tais tecnologias ao SGA desenvolvido pela UFSCar e IEP, e deve ser avaliada no contexto destes cursos oferecidos por estas instituições.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Wanderley Lopes de Souza - Coordenador / Luis Ferreira Pires - Integrante., Número de produções C, T & A: 3

• 2012 - 2014

  Computação em Nuvem na Informática em Saúde (CNIS), Descrição: Este projeto tem por objetivo principal explorar as possibilidades de utilização dos serviços da Computação em Nuvem na Informática em Saúde, de forma a garantir a confidencialidade, segurança e privacidade de informações sigilosas geralmente presentes no domínio da Saúde.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Wanderley Lopes de Souza - Coordenador / Luís Ferreira Pires - Integrante / Antonio Francisco do Prado - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 3

• 2009 - Atual

  Ambientes de Computação Ubíqua no Cuidado de Saúde Pervasivo (ACUCSP), Descrição: ACUCSP é um dos macros projetos que tem sido desenvolvido pelo Grupo de Computação Ubíqua (GCU) da Universidade Federal de São Carlos (UFSCar) no contexto do Instituto Nacional de Ciência e Tecnologia (INCT) Medicina Assistida por Computação Científica (MACC). O GCU/UFSCar participou como Laboratório Associado (LA) do INCT-MACC Fase 1 no período 2009 a 2015 e participa do INCT-MACC Fase 2 no período 2017 a 2025 na área de pesquisa Sistemas de Informação em Saúde.O Cuidado de Saúde Pervasivo visa tornar o Cuidado de Saúde disponível em todo lugar, a qualquer hora e para qualquer pessoa, através do uso de Tecnologias de Informação e Comunicação (TICs). Ambientes de Computação Ubíqua, em comunidades, lares e hospitais, podem ser úteis na construção de um modelo de Cuidado de Saúde Pervasivo, já que este demanda uma troca intensa de informações, em todo lugar e a qualquer hora, entre os profissionais de saúde e seus pacientes. Tendo em vista este contexto, o ACUCSP tem por objetivo investigar o emprego de tecnologias da Computação Ubíqua, Computação Pervasiva, Internet das Coisas e de padrões da Saúde no desenvolvimento de sistemas e aplicações para o Cuidado de Saúde Pervasivo.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (5) Doutorado: (2) . , Integrantes: Wanderley Lopes de Souza - Coordenador / Luis Ferreira Pires - Integrante / Helen Freitas dos Santos - Integrante / Pedro Lopes de Souza - Integrante / Ricardo Rodrigues Ciferri - Integrante / Ronitti Juner da Silva Rodrigues - Integrante / Alex Fabiano Garcia - Integrante., Financiador(es): CAPES - Centro Anhanguera de Promoção e Educação Social - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa / Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro., Número de produções C, T & A: 33

• 2008 - 2012

  Ambiente de Computação Ubíqua para Monitoramento e Avaliação de Atividade Física (ACUMAAF), Descrição: Este projeto tem por objetivos principais a construção de um ambiente de Computação Ubíqua para monitorar e avaliar longitudinalmente as práticas de atividades físicas da população adstritas às Unidades de Saúde da Família (USFs) de São Carlos-SP e possíveis fatores determinantes, visando gerar informações e indicadores que permitam o embasamento de políticas municipais de promoção da atividade física para essa população específica.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) . , Integrantes: Wanderley Lopes de Souza - Coordenador / Junia Coutinho Anacleto - Integrante / Marcelo Marcos Piva Demarzo - Integrante / Antonio Francisco do Prado - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa / Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa., Número de produções C, T & A: 5

• 2006 - Atual

  Ambientes de Computação Ubíqua no Ensino de Medicina (ACUEM), Descrição: ACUEM é um dos macros projetos que tem sido desenvolvido pelo Grupo de Computação Ubíqua (GCU) da Universidade Federal de São Carlos (UFSCar) no contexto do Instituto Nacional de Ciência e Tecnologia (INCT) Medicina Assistida por Computação Científica (MACC). O GCU/UFSCar participou como Laboratório Associado (LA) do INCT-MACC Fase 1 no período 2009 a 2015 e participa do INCT-MACC Fase 2 no período 2017 a 2025 na área de pesquisa Sistemas de Informação em Saúde. ACUEM tem por objetivo principal explorar os conceitos e as tecnologias da Computação Ubíqua, Computação Pervasiva e Internet das Coisas no desenvolvimento de sistemas e aplicações na Educação em Saúde, em particular Sistemas de Gerenciamento de Aprendizagem (SGA) para suportar cursos que empregam metodologias ativas de aprendizagem. Em particular, desenvolver um Portfólio Reflexivo Eletrônico (PRE), a ser utilizado por estudantes e professores do Curso de Medicina da Universidade Federal de São Carlos (UFSCar), cujo processo de ensino-aprendizagem é baseado em Problem Based Learning (PBL). O PRE será constituído de vários módulos, a fim de que possa ser empregado em todas as atividades desse curso, destacando-se as unidades Situação-Problema, Estações de Simulação e Prática Profissional.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (2) . , Integrantes: Wanderley Lopes de Souza - Coordenador / Helen Freitas dos Santos - Integrante / Valéria Vernaschi Lima - Integrante / Roseli Ferreira da Silva - Integrante / Volia de Almeida Carvalho - Integrante / Antonio Francisco do Prado - Integrante / Sissi Marilia dos Santos Forghieri Pereira - Integrante / Pedro Lopes de Souza - Integrante., Financiador(es): CAPES - Centro Anhanguera de Promoção e Educação Social - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 24

• 1996 - 1998

  Design de Aplicações Multimídia Distribuídas (DAMD), Descrição: Design de Aplicações Multimídia Distribuídas (DAMD) foi um projeto cooperativo, financiado pelo Programa Temático Multi-institucional em Ciência da Computação (ProTeM-CC) Fase III do Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq), desenvolvido no período compreendido entre setembro de 1996 e dezembro de 1998, que envolveu pesquisadores, técnicos e estudantes das instituições brasileiras Universidade Federal de São Carlos (UFSCar), Universidade Federal de Santa Catarina (UFSC), Universidade Federal do Rio Grande do Sul (UFRGS) e Universidade Federal do Espírito Santo (UFES) e da instituição holandesa University of Twente. O objetivo principal do DAMD foi o desenvolvimento de uma metodologia, baseada em técnicas formais, para o design e implementação de aplicações multimíidia distribuídas.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (8) / Mestrado acadêmico: (16) . , Integrantes: Wanderley Lopes de Souza - Coordenador / Jean Marie Farines - Integrante / Maria Janilce Bosquiroli Almeida - Integrante / Luis Ferreira Pires - Integrante / José Gonçalves Pereira Filho - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 17