Rede de Colaboração

Roberto Souto Maior de Barros

possui graduação (1984) e Mestrado (1988), ambos em Ciência da Computação pela Universidade Federal de Pernambuco, e o título de PhD in Computing Science pela The University of Glasgow (1994). Atualmente é Professor Associado 2 do Centro de Informática da Universidade Federal de Pernambuco (CIn-UFPE). Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: xml, linguagens de programação, e sistemas web.
(Texto informado pelo autor)

Última atualização do currículo em 22/12/2011
Endereço para acessar este CV:
http://lattes.cnpq.br/2153962690732683
Dados pessoais
NomeRoberto Souto Maior de Barros
Nome em citações bibliográficasBARROS, R. S. M.;BARROS R.; De Barros, R.; De Barros, R.S.M.
SexoMasculino
Endereço profissionalUniversidade Federal de Pernambuco.
Av. Jornalista Anibal Fernandes, S/N
Cidade Universitária
50740-560 - Recife, PE - Brasil
Telefone: (081) 21268430 Ramal: 4318 Fax: (081) 21268430

Formação acadêmica/Titulação
1990 - 1994Doutorado em PhD in Computing Science .
The University of Glasgow.
Título: On the Formal Specification and Derivation of Relational Database Applications, Ano de Obtenção: 1994.
Orientador: Ray Welland.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior ,CAPES ,Brasil .
Palavras-chave: Desenvolvimento de Software; Especificacao Formal; Bancos de Dados Relacionais.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Banco de Dados.
Setores de atividade: Informática.
1985 - 1988Mestrado em Ciências da Computação .
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: ESPECIFICACAO FORMAL DE SOFTWARE DE GRANDE PORTE: UM EXEMPLO REAL., Ano de Obtenção: 1988.
Orientador: SILVIO ROMERO DE LEMOS MEIRA.
Palavras-chave: Desenvolvimento de Software; Especificacao Formal; Software de Grande Porte.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação.
1981 - 1984Graduação em Ciencia da Computacao .
Universidade Federal de Pernambuco, UFPE, Brasil.

Atuação profissional
Universidade Federal de Pernambuco, UFPE, Brasil.
Vínculo institucional
2007 - Atual Vínculo: Servidor Público, Enquadramento Funcional: Professor Associado, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações Até o momento.
Vínculo institucional
1996 - 2007 Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações Progrediu para Professor Associado
Vínculo institucional
1995 - 1996 Vínculo: Bolsista recém-doutor, Enquadramento Funcional: Professor Recém Doutor, Carga horária: 40, Regime: Dedicação exclusiva.
Vínculo institucional
1985 - 1996 Vínculo: Servidor público ou celetista, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40
Outras informações Licença sem vencimentos de 03/1995 a 03/1996.
Atividades
03/1996 - AtualPesquisa e desenvolvimento , Centro de Informatica, .
Linhas de pesquisa
XML
Engenharia de Software
03/1996 - AtualEnsino, Ciências da Computação, Nível: Pós-Graduação.
Disciplinas ministradas
Tópicos Avançados em Engenharia de Software 1 (XML)
Engenharia de Software
03/1995 - AtualEnsino, Ciencia da Computacao, Nível: Graduação.
Disciplinas ministradas
Projeto de Banco de Dados
Engenharia de Software
03/1995 - AtualConselhos, Comissões e Consultoria, Centro de Informatica, .
Cargo ou função
Membro do Colegiado da Posgraduação.
Universidade Católica de Pernambuco, UNICAP, Brasil.
Vínculo institucional
1986 - 1990 Vínculo: , Enquadramento Funcional: PROFESSOR AUXILIAR DE ENSINO
Atividades
03/1986 - 08/1990Ensino, Nível: Graduação.
Disciplinas ministradas
ESTRUTURAS DE INFORMACAO, ESTRUTURAS DE ARQUIVOS, SEMINARIO.
Ministério da Saúde, MS, Brasil.
Vínculo institucional
1999 - 2002 Vínculo: Colaborador, Enquadramento Funcional: Consultor, Carga horária: 4
Outras informações Projeto Cartão Nacional de Saúde
Atividades
08/1999 - 09/2002Serviços técnicos especializados , SIS - Secretaria de Investimentos em Saúde, .
Serviço realizado
Consultoria Especializada em Engenharia de Software.
Banorte Sistemas e Metodos S.A., BANORTE, Brasil.
Vínculo institucional
1982 - 1985 Vínculo: CLT, Enquadramento Funcional: Programador de Computadores, Carga horária: 40
Atividades
07/1982 - 12/1985Serviços técnicos especializados , Divisão de Desenvolvimento, .
Serviço realizado
Desenvolvimento e Manutenção de Sistemas.

Linhas de Pesquisa
1. XML
2. Engenharia de Software

Áreas de atuação
1. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.
2. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Banco de Dados.
3. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Linguagens de Programação.
4. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Sistemas de Informação.

Idiomas
Inglês Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Prêmios e títulos
1985PREMIO UNIVERSITARIO BANORTE - ALUNOS LAUREADOS DOS CURSOS DE GRADUACAO EM PERNAMBUCO, BANORTE - BANCO NACIONAL DO NORTE S.A..


Produção em C,T & A
Produção bibliográfica
Artigos completos publicados em periódicos
1. PONTUAL, M. ; FEITOSA, D. ; VANDERLEI, I. ; VALADARES, F. ; QUEIROZ, R. ; BARROS, R. S. M. ; WINSBOROUGH, W. H. . A Framework for Private Statistics Between Two Participants. Scientia (Unisinos), v. 17, p. 58-66, 2007.
2. BARROS, R. S. M. ; FERREIRA, J. P. . ProcML: Padronização de Processos Administrativos Públicos Utilizando XML. IP. Informática Pública, Prodabel/CNPq, v. 7, n. 1, p. 31-45, 2005.
3.   Ramalho F. ; Robin J. ; BARROS, R. S. M. . XOCL - An XML Language for Specifying Logical Constraints in Object Oriented Models. Journal of Universal Computer Science, Estados Unidos, v. 9, n. 8, p. 956-969, 2003.
4.   Câmara, Ricardo ; Maranhão, R. G. A. ; BARROS, R. S. M. . Uma Aplicação Utilizando XML para a Área de Adoção: Pesquisa de Crianças Disponíveis para Adoção, Pesquisa e Pré-inscrição de Pretendentes. IP. Informática Pública, Prodabel/CNPq, v. 4, n. 2, p. 203-220, 2002.
5. BARROS, R. S. M. . Perigo Na Virada do Século. CLUBE DA INFORMAÇÃO - CESAR, RECIFE, 1998.
6. BARROS, R. S. M. . Os Efeitos do Bug do Ano 2000 Na Economia. ANÁLISE - CESAR, RECIFE, v. 15, 1998.
7. BARROS, R. S. M. . As Contradicoes do Bug. Computer World, n. 31081998, p. 13-13, 1998.
8.   BARROS, R. S. M. . On the Formal Specification and Derivation of Relational Database Applications. Electronic Notes in Theoretical Computer Science, Holanda, v. 14, 1998.
Trabalhos completos publicados em anais de congressos
1. GONCALVES JR, P. M. ; BARROS, R. S. M. . Automating Data Preprocessing with DMPML and KDDML. In: 10th IEEE/ACIS International Conference on Computer and Information Science (ACIS 2011), 2011, Sanya, Hainan Island, China. http://acis.cps.cmich.edu/ICIS2011/index.html, 2011.
2. TELES JR., N. P. ; BARROS, R. S. M. . BKPML: Uma Proposta para Padronização e Interoperabilidade de Backup de Dados. In: IV Congresso Tecnológico TI & Telecom da InfoBrasil, 2011, Fortaleza-CE. Anais do IV Congresso Tecnológico TI & Telecom da InfoBrasil, 2011.
3. PROTA, 5. M. ; NEVES, M. M. ; Souza F. F. ; BARROS, R. S. M. . MoonDo: Um Ambiente de Desenvolvimento para Construção de Aplicações Declarativas no SBTVD. In: IV Congresso Tecnológico TI & Telecom da InfoBrasil, 2011, Fortaleza-CE. Anais do IV Congresso Tecnológico TI & Telecom da InfoBrasil, 2011.
4. VAZ, F. A. ; VANDERLEI, I. M. ; BARROS, R. S. M. . Java on Road: Protótipos Exploratórios e Evolutivos de Alta Fidelidade. In: IV Congresso Tecnológico TI & Telecom da InfoBrasil, 2011, Fortaleza-CE. Anais do IV Congresso Tecnológico TI & Telecom da InfoBrasil, 2011.
5. VAZ, F. A. ; VANDERLEI, I. M. ; BARROS, R. S. M. . Java on Road: Um Gerador de Protótipos Evolutivos de Alta Fidelidade Open Source. In: XI Escola Regional de Computação Bahia Alagoas Sergipe (ERBASE), 2011, Salvador-BA. Anais da XI Escola Regional de Computação Bahia Alagoas Sergipe, 2011.
6. DIAS, F. C. ; Azevedo, R. R. ; ALMEIDA, S. C. ; DIAS, G. A. ; DANTAS, E. R. G. ; BARROS, R. S. M. ; NOVAES, M. A. . Uma Ontologia para o Domínio de Telepsiquiatria Aplicada ao Contexto de Sistemas de Informação em Saúde. In: CBIS´2010 - Congresso Brasileiro de Informática em Saúde, 2010, Porto de Galinhas-PE. Anais do XII Congresso Brasileiro de Informática em Saúde, 2010. p. 1-6.
7. DIAS, F. C. ; DANTAS, E. R. G. ; Azevedo, R. R. ; DIAS, G. A. ; Rodrigues C. ; BARROS, R. S. M. . OntoPsic: Leveraging the Knowledge in the Treatment and Diagnosis of Telepsychiatry. In: International Conference on Data and Knowledge Engineering (ICDKE), 2010, Melbourne. ICDKE-2010 - International Conference on Data and Knowledge Engineering, 2010.
8. DIAS, F. C. ; Azevedo, R. R. ; BARROS, R. S. M. ; Benevides, L. S. ; NOVAES, M. A. ; DIAS, G. A. . OntoPsic: Uma Ontologia para Psiquiatria no Contexto da Telessaúde. In: IV Congresso Brasileiro de Telemedicina e Telessaúde, 2009, Belo Horizonte-MG. Anais do IV Congresso Brasileiro de Telemedicina e Telessaúde, 2009.
9. GONCALVES JR, P. M. ; ARNALD, A. L. ; BARROS, R. S. M. . DMPML: Data Mining Preparation Markup Language. In: AICCSA 2008 - 6th ACS/IEEE International Conference on Computer Systems and Applications, 2008, Doha. Proceedings of AICCSA 2008 - 6th ACS/IEEE International Conference on Computer Systems and Applications, 2008.
10. R. A. C. Souza ; BARROS, R. S. M. . A Model-Driven Method for The Development of Web Applications User Interaction Layer. In: TASE 2008 - The 2nd International Symposium on Theoretical Aspects of Software Engineering, 2008, Nanjing. Proceedings of TASE 2008 - The 2nd International Symposium on Theoretical Aspects of Software Engineering, 2008.
11. DIAS JR., J. J. L. ; CUNHA, J. A. O. G. ; Álvaro, Alexandre ; BARROS, R. S. M. ; MEIRA, S. R. L. . Web Services Quality Assurance: A XML-Based Quality Model. In: SBQS 2007 - VI Simpósio Brasileiro de Qualidade de Software, 2007, Porto de Galinhas-PE. Anais do VI Simpósio Brasileiro de Qualidade de Software, 2007. p. 1-14.
12. CAVALCANTI JUNIOR, N. L. ; BARROS, R. S. M. ; ROMEIRO, M. B. . A Model for Extending Legacy Applications by Implementing New Requirements as Components. In: 2006 IEEE International Conference on Services Computing, 2006, Chicago, USA. IEEE International Conference on Services Computing (SCC 2006), 2006. p. 143-150.
13. PONTUAL, M. ; FEITOSA, D. ; VANDERLEI, I. ; VALADARES, F. ; QUEIROZ, R. ; BARROS, R. S. M. . Um Framework para Computação Privada entre Dois Participantes para Estatística Descritiva. In: SSI 2006 - 8º Simpósio de Segurança em Informática, 2006, Campos do Jordão-SP. Anais do 8º Simpósio de Segurança em Informática, 2006.
14. Silva J. ; Times V. C. ; Fidalgo R. ; BARROS, R. S. M. . Providing Geographic-Multidimensional Decision Support over the Web. In: APWeb 2005 - The Seventh Asia Pacific Web Conference, 2005, Shanghai. Web Technologies Research and Development - APWeb 2005, 2005. v. 3399. p. 477-488.
15. SILVA FILHO, A. M. ; LIESENBERG, H. K. E. ; BARROS, R. S. M. . Interaction Pattern Gathering in Service-oriented Applications. In: IEEE International Workshop on Service-Oriented System Engineering (SOSE'05), 2005, Beijing. IEEE International Workshop on Service-Oriented System Engineering (SOSE'05), 2005. p. 137-142.
16. SANTOS, H. L. ; MACIEL, P. R. M. ; ROSA, N. S. ; BARROS, R. S. M. . Managing Petri Nets in MOF Repositories. In: ODBASE 2005 - International Conference on Ontologies, Databases and Applications of Semantics, 2005, Agia Napa. On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE: OTM Confederated International Conferences. Proceedings Part II, 2005. v. 3761. p. 1381-1397.
17. LIMA, R. B. V. ; CABRAL, D. M. ; BARROS, R. S. M. ; RAMALHO, G. L. . Virtual Dancer: Architecture for Generating Semi-Automatic 3D Animations. In: 11th International Conference on Human-Computer Interaction, 2005, Las Vegas. Proceedings of the 11th International Conference on Human-Computer Interaction, 2005. p. 1-9.
18. MACEDO, H. ; Robin J. ; BARROS, R. S. M. . Web Engineering meets Natural Language Processing: a Vocal Interface Generation Practice. In: Webmidia 2005 - XI Simposio Brasileiro em Sistemas Multimidia e Web, 2005, Poços de Caldas-MG. Proceedings of the 11th Brazilian Symposium on Multimedia and the web, 2005. p. 1-9.
19. SILVA FILHO, A. M. ; BARROS, R. S. M. ; LIESENBERG, H. K. E. . A Protagonist-oriented Approach for Multiple User Interface Design. In: ICSE Workshop 2004 - Bridging Gaps between Software Engineering and Human-Computer Interaction, 2004, Edimburgh, Escócia (UK). ICSE Workshop 2004 - Bridging Gaps between Software Engineering and Human-Computer Interaction, 2004. p. 75-82.
20. BARROS, J. R. B. D. ; SILVA, A. R. ; BARROS, R. S. M. ; FERRAZ, C. A. G. ; ROSA, N. S. . Projetando um Serviço de Descoberta de Canais para TV Digital. In: CLEI 2004 - XXX Conferencia Latinoamericana de Informática, 2004, Arequipa, Peru. CLEI 2004 - XXX Conferencia Latinoamericana de Informática, 2004. p. 255-265.
21. SANTOS, H. L. ; SANTOS, M. S. ; BARROS, R. S. M. . Uma Proposta para o Mapeamento entre a API DOM e o Padrão MOF. In: CLEI 2004 - XXX Conferencia Latinoamericana de Informática, 2004, Arequipa, Peru. CLEI 2004 - XXX Conferencia Latinoamericana de Informática, 2004. p. 1-11.
22. Silva J. ; Times V. C. ; Fidalgo R. ; BARROS, R. S. M. . Towards a Web Service for Geographic and Multidimensional Processing. In: GeoInfo 2004 - VI Simpósio Brasileiro de Geo-Informática, 2004, Campos do Jordão-SP. GeoInfo 2004 - VI Simpósio Brasileiro de Geo-Informática, 2004. p. 1-17.
23. CABRAL, D. M. ; LIMA, R. B. V. ; BARROS, R. S. M. ; RAMALHO, G. L. . Virtual Dancer: uma Arquitetura para Geração Semi-automática de Animações 3D. In: SVR 2004 - VII Symposium on Virtual Reality, 2004, São Paulo-SP. SVR 2004 - VII Symposium on Virtual Reality, 2004. p. 1-12.
24. CABRAL, D. M. ; BARROS, R. S. M. . Um Framework para Extração de Dados em Documentos Científicos: uma Abordagem Baseada em XML. In: SBSI 2004 - I Simpósio Brasileiro de Sistemas de Informação, 2004, Porto Alegre-RS. SBSI 2004 - I Simpósio Brasileiro de Sistemas de Informação, 2004. p. 1-8.
25. SANTOS, H. L. ; BARROS, R. S. M. ; Fonseca D. . Uma Proposta para Gerenciamento de Metadados nos Padrões XML e DTD em Repositórios MOF. In: SBBD 2003 - XVIII Simpósio Brasileiro de Banco de Dados, 2003, Manaus-AM. Anais do SBBD 2003 - XVIII Simpósio Brasileiro de Banco de Dados, 2003. p. 41-55.
26.   SANTOS, H. L. ; BARROS, R. S. M. ; Fonseca D. . A Proposal for Management of RDF and RDF Schema Metadata in MOF. In: ODBASE 2003 - International Conference on Ontologies, Databases and Applications of Semantics, 2003, Catania. On The Move Federated Conferences (OTM '03), 2003. v. 2888. p. 1014-1031.
27. Fidalgo R. ; Silva J. ; Times V. C. ; Souza F. F. ; BARROS, R. S. M. . GMLA: A XML Schema for Integration and Exchange of Multidimensional Geographical Data. In: GeoInfo 2003 - V Simpósio Brasileiro de Geo-Informática, 2003, Campos do Jordão-SP. Anais do GeoInfo 2003 - V Simpósio Brasileiro de Geo-Informática, 2003.
28. Ramalho F. ; Robin J. ; BARROS, R. S. M. . XOCL - An XML Language for Specifying Logical Constraints in Object Oriented Models. In: SBLP 2003 - Simpósio Brasileiro de Linguagens de Programação, 2003, Ouro Preto-MG. Anais do SBLP 2003, 2003.
29. V. T. Sarinho ; BARROS, R. S. M. . XML para Audiometria. In: CBIS´2002 - Congresso Brasileiro de Informática em Saúde, 2002, Natal. Anais do VIII Congresso Brasileiro de Informática em Saúde, 2002. p. 1-5.
30. C. B. L. N. Silva ; BARROS, R. S. M. . Um Vocabulário XML para Acompanhamento Odontológico. In: CBIS´2002 - Congresso Brasileiro de Informática em Saúde, 2002, Natal. Anais do VIII Congresso Brasileiro de Informática em Saúde, 2002. p. 1-6.
31. BARROS, R. S. M. ; S. Ferreira ; R. A. Hexsel . Desenvolvimento de Solução Única de Software para o Sistema Cartão Nacional de Saúde. In: CBIS´2002 - Congresso Brasileiro de Informática em Saúde, 2002, Natal. Anais do VIII Congresso Brasileiro de Informática em Saúde, 2002. p. 1-6.
32. R. A. Hexsel ; A. E. Urban ; BARROS, R. S. M. . Arquitetura do Sistema Cartão Nacional de Saúde. In: CBIS´2002 - Congresso Brasileiro de Informática em Saúde, 2002, Natal. Anais do VIII Congresso Brasileiro de Informática em Saúde, 2002. p. 1-6.
33. SANTOS, H. L. ; BATISTA, M. C. M. ; BARROS, R. S. M. . Publishing Theses and Dissertations: an Approach using XML. In: IIWAS´2002 - Fourth International Conference on Information, Integration and Web-based Applications and Services, 2002, Bandung. IIWAS´2002, 2002. p. 56-61.
34. SILVA FILHO, A. M. ; BARROS, R. S. M. ; LIESENBERG, H. K. E. . User Interface Design for Web Colaborative Systems. In: SBES´2002 - Simpósio Brasileiro de Engenharia de Software, 2002, Gramado. Anais do XVI Simpósio Brasileiro de Engenharia de Software, 2002. p. 1-16.
35. SILVA FILHO, A. M. ; BARROS, R. S. M. ; LIESENBERG, H. K. E. . Designing Multiple User Interface for Internet-based Interactive Systems. In: Workshop on Multiple User Interfaces over the Internet: Engineering and Application Trends, 2001, Lille. Workshop on Multiple User Interfaces over the Internet: Engineering and Application Trends, 2001.
36. SILVA FILHO, A. M. ; BARROS, R. S. M. ; LIESENBERG, H. K. E. . User Interface Design for Social Computing. In: EuroWeb2001, 2001, Veneza. Proceedings of the EuroWeb2001, 2001.
37.   SILVA FILHO, A. M. ; BARROS, R. S. M. ; LIESENBERG, H. K. E. . Designing User Interface for Web Interactive Systems. In: IEEE ASSET 2000, 2000, Richardson, Texas. IEEE ASSET 2000, 2000.
38. SIEBRA, S. A. ; VASCONCELOS, A. M. ; BARROS, R. S. M. . Integração de Ferramentas Por Apresentação. In: WORKSHOP IDEAS98, 1998, Torres, RS. WORKSHOP IDEAS98. BRASIL, 1998.
39. OLIVEIRA, W. R. ; BARROS, R. S. M. . The Real Numbers In Z. In: SECOND BCS/FACS NORTHERN FORMAL METHODS WORKSHOP, 1997, Ilkley. Electronic Workshops in Computing, Springer-Verlag. Londres : Springer-Verlag, 1997.
40. BARROS, R. S. M. . Specification And Derivation Of Relational Database Programs. In: XXII SEMISH - XV CONGRESSO DA SBC E PANEL 95 - XXI CLEI, 1995, Canela, RS. XXII SEMISH - XV CONGRESSO DA SBC E PANEL 95 - XXI CLEI. BRASIL, 1995. p. 387-398.
41. BARROS, R. S. M. . A Prototype For Derivation Of Relational Database Programs From Z Specifications. In: IX SBES, 1995, Recife, PE. IX SBES. BRASIL, 1995. p. 463-466.
42. BARROS, R. S. M. . Deriving Relational Database Programs From Formal Specifications. In: FME94 - FORMAL METHODS EUROPE CONFERENCE, 1994, Barcelona. LNCS-Lecture Notes in Computing Science, Springer-Verlag. Berlin : Springer-Verlag, 1994. v. 873. p. 703-723.
43. BARROS, R. S. M. ; HARPER, D. J. . A Method For The Specification Of Relational Database Applications. In: ZUM91: Z USER WORKSHOP, 1992, York, UK. Workshops in Computing, Springer-Verlag. Londres : Springer-Verlag, 1992. p. 261-286.
44. BARROS, R. S. M. ; HARPER, D. J. . Formal Development Of Relational Database Applications. In: SPECIFICATION OF DATABASE SYSTEMS, 1991, Glasgow, UK. Workshops in Computing, Springer-Verlag. London : Springer-Verlag, 1991. p. 21-43.
45. BARROS, R. S. M. ; MEIRA, S. R. L. . Um Metodo Para Especificacao de Bases de Dados Relacionais Usando `Zc'.. In: XVI SEMISH - IX CONGRESSO DA SBC, 1989, Uberlândia, MG. XVI SEMISH - IX CONGRESSO DA SBC. UBERLANDIA - MG, 1989. p. 385-397.
46. MEIRA, S. R. L. ; BARROS, R. S. M. . Um Editor Sintatico Para Pascal.. In: XIII SEMISH - VI CONGRESSO DA SBC, 1986, Recife, PE. XIII SEMISH - VI CONGRESSO DA SBC. RECIFE-PE, 1986. p. 210-223.
Resumos publicados em anais de congressos
1. Rocha, Rodrigo ; Franco, Raoni ; BARROS, R. S. M. ; DANTAS, E. R. G. . Amadeus Recommends: um Sistema de Recomendação para Objetos de Aprendizagem. In: WIE 2010 Workshop sobre Informática na Escola, 2010, Belo Horizonte. Anais do WIE 2010 Workshop sobre Informática na Escola, 2010.
2. Vital H. ; MACHADO, M. V. L. ; S. FILHO, G. F. ; BARROS, R. S. M. . Extensão da Fábrica de Jogos SharpLudus para Desenvolvimento em J2ME. In: SBGames 2007 - VI simpósio Brasileiro de Jogos para Computador e Entretenimento Digital, 2007, São Leopoldo-RS. Anais do VI simpósio Brasileiro de Jogos para Computador e Entretenimento Digital, 2007.
3. BARROS, J. R. B. D. ; SILVA, A. R. ; BARROS, R. S. M. ; FERRAZ, C. A. G. ; ROSA, N. S. . Um Serviço de Registro e Seleção de Canais para TV Digital Baseado em XML. In: WebMedia 2004, 2004, Ribeirão Preto-SP. WebMedia 2004, 2004. p. 1-3.
4. Silva J. ; Times V. C. ; BARROS, R. S. M. . Sistematização da Integração de Serviços na Web. In: IDEAS 2004 - VII Workshop Ibero Americano de Ingenieria de Requisitos e Desarrollo de Ambientes de Software, 2004, Arequipa, Peru. IDEAS 2004 - VII Workshop Ibero Americano de Ingenieria de Requisitos e Desarrollo de Ambientes de Software, 2004. p. 22-27.
5. C. T. L. L. Silva ; L. R. D. Bastos ; BARROS, R. S. M. ; J. B. Castro . XML Application for non-functional Requirements Management in Systems Project. In: ICWE´02 - Second Ibero-American Conference on Web Engineering, 2002, Santa Fé. Proceedings of Second Ibero-American Conference on Web Engineering, 2002. v. 1. p. 74-79.
Demais trabalhos
1. BARROS, R. S. M. . On The Formal Specification And Derivation Of Relational Database Applications. 1995 (RELATÓRIO TÉCNICO).
2. BARROS, R. S. M. . On The Derivation Of Relational Database Programs From Formal Specifications. 1994 (RELATÓRIO TÉCNICO).
3. BARROS, R. S. M. . Formal Specification Of Relational Database Applications: A Method And An Example. 1993 (RELATÓRIO TÉCNICO).
4. BARROS, R. S. M. ; MEIRA, S. R. L. . Especificação Formal de Bases de Dados Relacionais: Um Método Simples. 1990 (RELATÓRIO TÉCNICO).
5. BARROS, R. S. M. ; MEIRA, S. L. . Z: Especificação Formal de Um Sistema de Controle Acadêmico. 1987 (RELATÓRIO TÉCNICO).
6. SAMPAIO, A. ; SALAZAR, C. H. ; SOMBRA, L. L. ; BARROS, R. S. M. ; MEIRA, S. L. . Z: Notação Computacional e Especificações. 1987 (RELATÓRIO TÉCNICO).

Bancas
Participação em bancas examinadoras
Dissertações
1. BARROS, R. S. M.; Souza F. F.; SILVA FILHO, A. M.. Participação em banca de Lucas Roberto Bechert Schmitz. Um Framework para Transformação Automática de Documentos e Extração de informações baseado em XML. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
2. BARROS, R. S. M.; FERRAZ, C. A. G.; Costa, E. F.. Participação em banca de Osmar Batista de Carvalho Júnior. XFAM-Vocabulários para Fiscalização/Facilitação Aduaneira do Mercosul. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
3. BARROS, R. S. M.; SILVA FILHO, A. M.; ADEODATO, P. J. L.. Participação em banca de Paulo Maurício Gonçalves Júnior. DMPML: Uma Aplicação XML para a fase de Preparação de Dados do Processo KDD. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
4. BARROS, R. S. M.; SILVA FILHO, A. M.; Fonseca D.. Participação em banca de Davi Medeiros Cabral. Um Framework para Extração de Informações: uma Abordagem Baseada em XML. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
5. BARROS, R. S. M.. Participação em banca de Élson Rodolfo de Melo. Um Ambiente Extensível de Apoio a Construção de Ferramenta ETL. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
6. BARROS, R. S. M.. Participação em banca de Ivanilton Polato. XDF - Extended Dataflow: Uma Extensão do Modelo de Fluxo de Dados com Suporte a Tratamento de Eventos. 2004. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Maringá.
7. BARROS, R. S. M.. Participação em banca de Hélio Lopes dos Santos. Uma Solução de Metadados Baseada nos Padrões. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
8. BARROS, R. S. M.. Participação em banca de Maísa Soares dos Santos. Processamento de Documentos XML com DOM e SAX: uma Análise Comparativa. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
9. BARROS, R. S. M.. Participação em banca de Valéria Argolo Rosa. Projeto e Implementação de Links em Documentos XML. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
10. BARROS, R. S. M.. Participação em banca de Francisco Carvalho dos Santos. Modelagem Organizacional e Gestão do Conhecimento: o Caso da Universidade Estadual do Sudoeste da Bahia. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
Teses de doutorado
1. BARROS, R. S. M.. Participação em banca de Robson do Nascimento Fidalgo. Uma Infra-estrutura para Integração de Modelos, Esquemas e Serviços Multidimensionais e Geográficos. 2005. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
2. BARROS, R. S. M.. Participação em banca de Vítor Valério de Souza Campos. BDFint: Um Sistema de Integração de Esquemas na Construção de Federações de Bancos de Dados baseado em Sociedades de Agentes. 2004. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
3. BARROS, R. S. M.. Participação em banca de Roberta Vilhena Vieira. Um Algoritmo Genético Baseado em Tipos Abstratos de Dados e sua Especificação em Z. 2003. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

Orientações
Orientações em andamento
Tese de doutorado
1. PAULO MAURICIO GONCALVES JUNIOR. INTEGRANDO ABORDAGENS PARA PADRONIZAÇÃO DA FASE DE PRE-PROCESSAMENTO NO PROCESSO DE KDD. Início: 2011. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco. (Orientador).
Supervisões e orientações concluídas
Dissertação de mestrado
1. Namedin Pereira Teles Júnior. Backup Markup Language (BKPML): Uma Proposta para Interoperabilidade e Padronização de Backup de Dados. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Roberto Souto Maior de Barros.
2. Fabrício da Costa Dias. OntoPsic: Uma Ontologia para Psiquiatria Aplicada ao Contexto da Telessaúde. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Roberto Souto Maior de Barros.
3. Rafael Ferreira Oliveira. Plug and Trace: A Component-Based Approach to Specify and Implement Traces. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco. Orientador: Roberto Souto Maior de Barros.
4. Petrus Rangel Bastos. ViXQeL: Uma Ferramenta Visual Web para Acesso a Banco de Dados XML Nativo. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Roberto Souto Maior de Barros.
5. Lucas Roberto Bechert Schmitz. Um Framework para Transformação Automática de Documentos e Extração de informações baseado em XML. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Roberto Souto Maior de Barros.
6. Osmar Batista de Carvalho Júnior. XFAM - Vocabulário XML para Fiscalização/Facilitação Aduaneira no Mercosul. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Roberto Souto Maior de Barros.
7. João Paulo Augusto de Oliveira Ferreira. XO2 - Um Gerador de Código MDA Baseado em Mapeamentos de Modelos. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Roberto Souto Maior de Barros.
8. Davi Medeiros Cabral. Um Framework para Extração de Informações: uma Abordagem Baseada em XML. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Roberto Souto Maior de Barros.
9. Paulo Maurício Gonçalves Júnior. DMPML: Uma Aplicação XML para a Fase de Preparação de Dados do Processo de KDD. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Roberto Souto Maior de Barros.
10. Joel da Silva. Integrando Serviços Analíticos e Geográficos para Suporte à Decisão na Web. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Co-Orientador: Roberto Souto Maior de Barros.
11. Maísa Soares dos Santos. Processamento de Documentos XML com DOM e SAX: uma Análise Comparativa. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Roberto Souto Maior de Barros.
12. Hélio Lopes dos Santos. Uma Solução de Metadados baseada nos Padrões MOF e XML. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Co-Orientador: Roberto Souto Maior de Barros.
13. Valéria Argôlo Rosa. Projeto e Implementação de Links em Documentos XML. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Roberto Souto Maior de Barros.
14. Erika Carlos Medeiros. Um ambiente para desenvolvimento formal de programas em OBJ3. 1999. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Co-Orientador: Roberto Souto Maior de Barros.
Tese de doutorado
1. Roberto Ângelo Fernandes Santos. Um Método para Segmentação Automática de Preditores. 2010. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Roberto Souto Maior de Barros.
2. Hélio Lopes dos Santos. PIMOBILE: Uma Abordagem de Desenvolvimento Dirigida por Modelos. 2008. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Roberto Souto Maior de Barros.
3. Ricardo André Cavalcante de Souza. WE4UIV-Web Engineering for User Interaction View. 2008. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Roberto Souto Maior de Barros.
4. Antonio Mendes da Silva Filho. Specification and Derivation of User Interface Design. 2001. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Roberto Souto Maior de Barros.
Página gerada pelo Sistema Currículo Lattes em 11/02/2012 às 21:21:13