Andre Luís de Medeiros Santos - cin.ufpe.brimprensa/CurrículoLattesAndreSantos.pdf · Filiação...

22/04/13 11:15Currículo Lattes

of 17https://wwws.cnpq.br/cvlattesweb/pkg_impcv.trata

Andre Luís de Medeiros Santos Endereço para acessar este CV:http://lattes.cnpq.br/0084300900034108

Última atualização do currículo em 22/04/2013

Dados pessoais

Nome Andre Luís de Medeiros Santos

Nome em citaçõesbibliográficas

SANTOS, A. L. M.;SANTOS, A;Santos, André L.M.;Santos, Andre L.M.;SANTOS, ANDRE

Sexo Masculino

Cor ou Raça Não desejo declarar

Filiação Idelson Magalhães dos Santos e Lygia de Medeiros Santos

Nascimento 26/07/1968 - Recife/PE - Brasil

Carteira deIdentidade

3054148 SSP - PE - 21/09/1984

CPF 622.856.614-87

Endereço residencial Rua Irma Maria David 154 apto 3202Casa Forte - Recife52061-070, PE - BrasilTelefone: 081 32692526URL da home page: http://www.cin.ufpe.br/~alms

Endereço profissional Universidade Federal de Pernambuco, Centro de InformáticaAv. Prof. Luis Freire s/nCidade Universitaria - Recife50732-970, PE - BrasilTelefone: 081 21268430URL da home page: http://www.cin.ufpe.br/~alms

Endereço eletrônicoE-mail para contato : [email protected] alternativo : [email protected]

Formação acadêmica/titulação

1991 - 1995 Doutorado em Computing Science. University of Glasgow, GLASGOW, Glasgow, EscóciaTítulo: Compilation by Transformation in Non-Strict Functional Languages, Ano de obtenção: 1995Orientador: Simon L Peyton-JonesBolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível SuperiorPalavras-chave: Program Transformation, Compilers, Functional LanguagesÁreas do conhecimento : Ciência da ComputaçãoSetores de atividade : Informática

1990 - 1991 Mestrado em Informática. Universidade Federal de Pernambuco, UFPE, Recife, BrasilTítulo: O FRONT-END DO COMPILADOR DA LINGUAGEM FUNCIONAL A., Ano de obtenção: 1991Orientador: SILVIO ROMERO DE LEMOS MEIRA

Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e TecnológicoPalavras-chave: Compiladores, Linguagens Funcionais, Transformacao de ProgramasÁreas do conhecimento : Engenharia de SoftwareSetores de atividade : Informática

1986 - 1989 Graduação em Ciencia da Computacao. Universidade Federal de Pernambuco, UFPE, Recife, Brasil

Atuação profissional

1. Universidade Federal de Pernambuco - UFPE

Resumo informado pelo autor

Possui graduação em Ciencia da Computacao pela Universidade Federal de Pernambuco (1989), mestrado em Informática pela Universidade Federal de Pernambuco(1991) e doutorado em Computing Science - University of Glasgow (1995). É professor da UFPE desde 1990, estando atualmente na categoria de professor associado. Temexperiência na área de Ciência da Computação, com ênfase em Liinguagens de programação e engenharia de software, atuando principalmente nos seguintes temasprogramação funcional, compiladores, jogos, linguagens de domínio específico e transformação de programação. Exerce a vice-direção do Centro de Informática da UFPEdesde 2011.(Texto informado pelo autor)

Imprimircurrículo

http://lattes.cnpq.br/4973731190814126

https://wwws.cnpq.br/cvlattesweb/pkg_impcv.trata


https://wwws.cnpq.br/curriculoweb-desenv/PKG_MENU.menu



Vínculo institucional

2004 - Atual Vínculo: Servidor público , Enquadramento funcional: Professor Associado , Carga horária: 40, Regime:Dedicação exclusiva Outras informações: até 26 de maio de 2006 lotado no Departamento de Sistemas de Computação e a partir desta data noDepartamento de Informação e Sistemas. Professor Associado nível 3 desde setembro de 2010.

1998 - 2004 Vínculo: Servidor público , Enquadramento funcional: Professor Adjunto , Carga horária: 40, Regime:Dedicação exclusiva

1998 - 1998 Vínculo: Professor Visitante , Enquadramento funcional: Professor Visitante , Carga horária: 40, Regime:Dedicação exclusiva

1995 - 1998 Vínculo: Bolsista recém-doutor , Enquadramento funcional: Bolsista recém-doutor , Carga horária: 40,Regime: Dedicação exclusiva

Atividades

10/2011 - Atual Direção e Administração, Centro de Informática

Cargos ocupados: Vice-diretor

03/2010 - 02/2011 Direção e Administração, Centro de Informática

Cargos ocupados: Vice-Diretor de Unidade

03/2009 - 10/2011 Direção e Administração, Centro de Informática, Departamento de Informação e Sistemas

Cargos ocupados: Chefe de Departamento

05/2006 - 03/2009 Direção e Administração, Centro de Informática, Departamento de Informação e Sistemas


04/2005 - Atual Pesquisa e Desenvolvimento, Centro de Informática

Linhas de pesquisa:Desenvolvimento de Soluções para Dispositivos Móveis


Linhas de pesquisa:Linguagens de Dominio Específico para Desenvolvimento de Jogos

02/2004 - 05/2006 Direção e Administração, Centro de Informática, Departamento de Sistemas de Computação




02/2000 - Atual Ensino de Graduação, Ciencia da Computacao, , Centro de Ciências Exatas e da Natureza, Departamentode Informática

Disciplinas ministradas: Concorrencia , Compiladores , Engenharia de Software , Linguagem de Programacao 2 , ProgramaçãoFuncional , Teoria e Implementacao de Linguagens Computacionais




Linhas de pesquisa:Implementação de Linguagens Funcionais

Linhas de pesquisa

1. Desenvolvimento de Soluções para Dispositivos Móveis

Objetivos:Desenvolver aplicações, métodos e processos que visem facilitar o uso, teste e desenvolvimentode software para dispositivos móveis, em particular telefones celulares.Setores de atividade : Atividades dos serviços de tecnologia da informação, Fabricação de equipamentosde informática, produtos eletrônicos e ópticos

2. Implementação de Linguagens Funcionais

Objetivos:Desenvolver implementações e otimizações para compiladores de linguagens funcionais.Desenvolver extensões e ambientes de desenvolvimento para linguagens de programação.

3. Linguagens de Dominio Específico para Desenvolvimento de Jogos

Áreas de atuação

1. Linguagens de Programação

2. Engenharia de Software

3. Ciência da Computação



Projetos

Projetos de pesquisa

2005 - 2007 Investigando o desenvolvimento de aplicações móveis em linhas de produtos

Descrição: Pesquisar técnicas para aumento de produtividade e qualidade no desenvolvimento deaplicações para dispositivos móveis.Situação: Em andamento Natureza: Projetos de pesquisaIntegrantes: Andre Luís de Medeiros Santos (Responsável); Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico-CNPqNúmero de orientações: 1;

2005 - Atual Investigando Linguagens de Domínio Específico e Fabricas de Software para o Desenvolvimento de Jogos

Descrição: Neste projeto são investigadas melhorias dos processos de desenvolvimento de software paralinhas de produtos, visando a adoção do uso de linguagens de domínio específico para aumento deprodutividade de desenvolvimento.Situação: Em andamento Natureza: Projetos de pesquisaAlunos envolvidos: Mestrado acadêmico (4); Doutorado (2); Integrantes: Andre Luís de Medeiros Santos (Responsável); Número de produções C,T & A: 13/ Número de orientações: 1;

2005 - Atual Soluções Tecnológicas em Aplicações de Computação Ubíqua

Descrição: Criar, projetar, desenvolver e implantar aplicações para telefones celulares de tecnologias GSMe CDMA. Desenvolver pesquisa de soluções inovadoras para aplicações móveis utilizando plataformasmulti-rádio, que incorporem convergência digital e ubiquidade. Projetar, implantar e operar um centro detestes para telefones celulares de tecnologia GSM.Situação: Em andamento Natureza: Projetos de pesquisaAlunos envolvidos: Mestrado profissionalizante (2); Integrantes: Andre Luís de Medeiros Santos (Responsável); F. Q. B. SILVA; Clauirton SiebraFinanciador(es): Samsung Instituto de Desenvolvimento de Informática-SIDINúmero de produções C,T & A: 14/

2004 - 2005 Implementação de um Ambiente de Desenvolvimento para Haskell

Situação: Em andamento Natureza: Projetos de pesquisaAlunos envolvidos: Graduação (2); Mestrado acadêmico (1); Integrantes: Andre Luís de Medeiros Santos (Responsável); Financiador(es): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco-FACEPENúmero de produções C,T & A: 7/ Número de orientações: 2;

2004 - 2006 Integrando Haskell ao ambiente .NET

Descrição: Desenvolvimento de soluções para integração da funcional Haskell ao ambiente .NET,envolvendo o ambiente de desenvolvimento (IDE) e o ambiente de execução .NET, entre outrosmecanismos.Situação: Em andamento Natureza: Projetos de pesquisaAlunos envolvidos: Graduação (2); Mestrado acadêmico (1); Integrantes: Andre Luís de Medeiros Santos (Responsável); Monique Monteiro; Mauro Araujo; RafaelBorgesFinanciador(es): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco-FACEPE, ConselhoNacional de Desenvolvimento Científico e Tecnológico-CNPqNúmero de produções C,T & A: 4/ Número de orientações: 1;

1997 - 2002 Segurança e Administração de Sistemas

Situação: Em andamento Natureza: Projetos de pesquisaAlunos envolvidos: Mestrado acadêmico (3); Integrantes: Andre Luís de Medeiros Santos (Responsável); Número de produções C,T & A: 3/ Número de orientações: 6;

1995 - Atual Otimização e Implementação de Linguagens Funcionais

Situação: Em andamento Natureza: Projetos de pesquisaAlunos envolvidos: Mestrado acadêmico (1); Integrantes: Andre Luís de Medeiros Santos (Responsável); Número de produções C,T & A: 1/ Número de orientações: 1;

Idiomas

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

Espanhol Compreende Razoavelmente , Fala Pouco , Escreve Pouco , Lê Razoavelmente

Francês Compreende Razoavelmente , Fala Pouco , Escreve Pouco , Lê Razoavelmente

Prêmios e títulos

1987 VENCEDOR DO I CONCURSO INFO DE SOFTWARE EDUCATIVO , JORNAL DO BRASIL, REVISTA INFO

Producão

Produção bibliográfica

Artigos completos publicados em periódicos

1. Furtado, Andre W.B., Santos, Andre L.M., Ramalho, Geber L., de Almeida, Eduardo SantanaImproving Digital Game Development with Software Product Lines. IEEE Software. , v.28, p.30 - 37,2011.Referências adicionais : Inglês. Meio de divulgação: Vários. Home page:[http://www.computer.org/portal/web/csdl/doi/10.1109/MS.2011.101]Qualis A2 Improving Digital Game Development with Software Product Lines September/October 2011(vol. 28 no. 5) pp. 30-37 Andre W.B. Furtado, Federal University of Pernambuco Andre L.M. Santos,Federal University of Pernambuco Geber L. Ramalho, Federal University of Pernambuco Eduardo Santanade Almeida, Federal University of Bahia DOI Bookmark:

http://dx.doi.org/10.1109/MS.2011.101



de Almeida, Federal University of Bahia DOI Bookmark:http://doi.ieeecomputersociety.org/10.1109/MS.2011.101

2. da Silva, Fabio Q.B., Santos, André L.M., Soares, Sérgio, França, A. César C., Monteiro,Cleviton V.F., Maciel, Felipe FariasSix years of systematic literature reviews in software engineering: An updated tertiary study. Informationand Software Technology. , v.53, p.899 - 913, 2011.Referências adicionais : Inglês. Meio de divulgação: Vários. Home page:[http://www.sciencedirect.com/science/article/pii/S0950584911001017]Information and Software Technology Volume 53, Issue 9, September 2011, Pages 899-913 Qualis B1.

3. Furtado, A. W. B., SANTOS, A. L. M., RAMALHO, G.A Computer Games Software Factory and Edutainment Platform for Microsoft .NET. IET Software (Print).

, v.1, p.280 - 293, 2007.Palavras-chave: Domain Specific Languages, Games, Software FactoriesÁreas do conhecimento : Metodologia e Técnicas da Computação,Sistemas de ComputaçãoSetores de atividade : Desenvolvimento de Programas (Software)

Referências adicionais : Inglês. Meio de divulgação: Vários. Home page:[http://scitation.aip.org/getabs/servlet/getabsservlet?prog=normal&id=iseob7000001000006000280000001&idtype=cvips&gifs=yes&type=alert]ISSN * Print: 1751-8806 * Online: 1751-8814 Qualis B2

4. MONTEIRO, M., ARAUJO, M., BORGES, R., SANTOS, A. L. M.Compiling Non-strict Functional Languages for the .NET Platform. Journal of Universal Computer Science(Print). , v.11, p.1255 - 1274, 2005.Referências adicionais : Inglês. Meio de divulgação: Meio digital. Home page:[http://www.jucs.org/jucs_11_7/compiling_non_strict_functional]

5. ANDREAZZA, C. A. R., SANTOS, A. L. M., BORBA, P. H. M.AspectH: Uma Extensão Orientada a Aspectos de Haskell. Revista de Informática Teórica e Aplicada(Impresso). , v.11, p.21 - 31, 2004.Referências adicionais : Português. Meio de divulgação: Impresso

6. GOIS, M. C. A., BEZERRA, H. M. A., BARROS, P. G., SANTOS, A. L. M.Tecnologias Java para Segurança de Sistemas. REIC. Revista Eletrônica de Iniciação Científica. , v.3, 2003.Referências adicionais : Brasil/Português. Meio de divulgação: Meio digital. Home page:http://www.sbc.org.br/reic/edicoes/2003e4/Ano 3 Numero 4

7. JONES, S. L. P., SANTOS, A. L. M.A Transformation-Based Optimiser For Haskell. Science of Computer Programming. , v.32, p.3 - 47,1998.Palavras-chave: Compilers, Functional Languages, Program TransformationÁreas do conhecimento : Linguagens de ProgramaçãoSetores de atividade : InformáticaReferências adicionais : Inglês. Meio de divulgação: Impresso. Home page: [doi:10.1016/s0167-6423(97)00029-4]

8. SANTOS, A. L. M.Efficient Compilation of Functional Languages by Program Transformation. Electronic Notes in TheoreticalComputer Science. , v.14, p.287 - 300, 1998.Palavras-chave: Compilation, Functional Languages, Program TransformationÁreas do conhecimento : Ciência da ComputaçãoSetores de atividade : InformáticaReferências adicionais : Inglês. Meio de divulgação: Meio digital. Home page:[http://www.elsevier.nl/locate/entcs/volume14.html]

9. SILVA, F. Q. B., FRANKLIN, D. M. F., VAREJAO, L. S., RAMOS, F. M., SANTOS, A. L. M.I-Dream: An Intranet-Based Resource And Application Monitoring System. Revista de Informatica Teoricae Aplicada. , v.4, p.49 - 60, 1997.Palavras-chave: Application Monitoring, System AdministrationÁreas do conhecimento : Engenharia de SoftwareSetores de atividade : InformáticaReferências adicionais : Brasil/Português. Meio de divulgação: Impresso

10. JONES, S. L. P., PARTAIN, W., SANTOS, A. L. M.Let-floating: moving bindings to give faster programs. ACM/SIGPLAN Notices. , v.31, p.1 - 12, 1996.Referências adicionais : Inglês. Meio de divulgação: Impresso. Home page: [doi:10.1145/232629.232630]ISBN:0-89791-770-7

Capítulos de livros publicados

1. Clauirton Siebra, SILVA, F. Q. B., SANTOS, ATowards a Roadmap for Effective Handsets Network Test Automation In: Frontiers in Robotics, Automationand Control ed.Vienna : InTech Education and Publishing, 2008Referências adicionais : Austria/Inglês. Meio de divulgação: Impresso, ISBN: 9789537619176, Home page:http://intechweb.org/book.php?id=78

Trabalhos publicados em anais de eventos (completo)

1. Clauirton Siebra, da Silva, Fabio Q.B., SANTOS, A. L. M., MIRANDA, R.A Knowledge Representation for Cardiovascular Problems Applied to Mobile Monitoring of Elderly PeopleIn: The Fifth International Conference on eHealth, Telemedicine, and Social Medicine, 2013, Nice. Proceedings of the Fifth International Conference on eHealth, Telemedicine, and SocialMedicine. , 2013.

Áreas do conhecimento : Linguagens de ProgramaçãoReferências adicionais : França/Inglês. Meio de divulgação: Impresso

2. Clauirton Siebra, Paulo Costa, da Silva, Fabio Q.B., SANTOS, A. L. M., MIRANDA, R.Energy Management in Wireless Networks from the Mobile Devices Perspective In: XXX Simpósio Brasileirode Telecomunicações,, 2012, Brasilia. Anais do XXX Simpósio Brasileiro de Telecomunicações. , 2012. Referências adicionais : Brasil/Inglês. Meio de divulgação: Impresso

3. CARTAXO, B., COSTA, I., MARTINS, D., Santos, Andre L.M., SOARES, S. C. B., GARCIA, V.ESEML - Empirical Software Engineering Modeling Language In: 12th Workshop on Domain-SpecificModeling (DSM 2012) at OOPSLA/SPLASH 2012, 2012, Tucson. 12th Workshop on Domain-Specific Modeling (DSM 2012) at OOPSLA/SPLASH 2012. , 2012. Áreas do conhecimento : Linguagens de ProgramaçãoReferências adicionais : Estados Unidos/Inglês. Meio de divulgação: Impresso

4. Clauirton Siebra, Paulo Costa, da Silva, Fabio Q.B., Santos, Andre L.M., MIRANDA, R.Identification of Opportunities for Energy Management Applications for Mobile Devices In: 2nd IEEEInternational Energy conference & Exhibition, 2012, Florença. Proceedings of the 2nd IEEE International Energy conference & Exhibition. , 2012. Referências adicionais : Itália/Inglês. Meio de divulgação: Impresso

5. Clauirton Siebra, TONIN, G., da Silva, Fabio Q.B., GOMES, R., CAVALCANTI JUNIOR, A., MIRANDA, R.,SANTOS, A. L. M.

http://dx.doi.org/10.1016/j.infsof.2011.04.004




http://dx.doi.org/10.1049/iet-sen:20070023








http://dx.doi.org/10.1016/S0167-6423(97)00029-4

http://dx.doi.org/10.1016/S1571-0661(05)80242-7



http://dx.doi.org/10.1145/232629.232630













SANTOS, A. L. M.Managing Technical Debt in Practice: An Industrial Report In: 6th International Symposium on EmpiricalSoftware Engineering and Measurement, 2012, Lund. Proceedings of the 6th International Symposium on Empirical Software Engineering andMeasurement. , 2012. Referências adicionais : Suécia/Inglês. Meio de divulgação: Impresso

6. SIEBRA, CLAUIRTON, COSTA, PAULO, MIRANDA, REGINA, SILVA, FABIO Q. B., SANTOS,ANDREThe software perspective for energy-efficient mobile applications development In: the 10th InternationalConference, 2012, Bali. Proceedings of the 10th International Conference on Advances in Mobile Computing &Multimedia - MoMM '12. New York: ACM Press, 2012. p.143 - Referências adicionais : Estados Unidos/Inglês. Meio de divulgação: Impresso

7. Clauirton Siebra, SILVA, F. Q. B., SANTOS, A, Paulo CostaAn Investigation on Methodologies for Energy Management in Mobile Devices In: International Workshopon Telecommunications, 2011, Rio de Janeiro. Proceedings of the 2011 International Workshop on Telecommunications. , 2011. Referências adicionais : Brasil/Inglês. Meio de divulgação: Impresso

8. CASTOR, F., OLIVEIRA, J. P. S., Santos, Andre L.M.Software Transactional Memory vs. Locking in a Functional Language: A Controlled Experiment In:SPLASH'2011 Workshop on Transitioning to Multicore, 2011, Portland. Proceedings of the SPLASH'2011 Workshop on Transitioning to Multicore. , 2011. Áreas do conhecimento : Linguagens de ProgramaçãoReferências adicionais : Estados Unidos/Inglês. Meio de divulgação: Impresso

9. Clauirton Siebra, Paulo Costa, SANTOS, A. L. M., MARQUES, R., da Silva, Fabio Q.B.Towards a Green Mobile Development and Certification In: The 7th IEEE International Conference onWireless and Mobile Computing, Network and Communications, 2011, Shanghai. Proceedings of the 7th IEEE International Conference on Wireless and Mobile Computing,Network and Communications. , 2011. Referências adicionais : China/Inglês. Meio de divulgação: Impresso

10. Clauirton Siebra, ARAUJO, M., SILVA, F. Q. B., SANTOS, A. L. M.A lightweight DBMS solution for mobile devices In: 2010 IEEE Latin-American Conference onCommunications (LATINCOM), 2010, Bogota. Proceedings of the 2010 IEEE Latin-American Conference on Communications (LATINCOM).IEEE, 2010. p.1 - 6Referências adicionais : Colômbia/Inglês. Meio de divulgação: Impresso. Home page:[http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5641019]

11. Clauirton Siebra, Lino, N., SILVA, F. Q. B., Santos, André L.M.On the specification of a test management solution for evaluation of handsets network operations In: 2010IEEE International Conference on Automation Quality and Testing Robotics (AQTR), 2010, Cluj-Napoca. Proceedings of the 2010 IEEE International Conference on Automation Quality and Testing

Robotics (AQTR). IEEE, 2010. p.1 - 6Referências adicionais : Romênia/Inglês. Meio de divulgação: Impresso. Home page:[http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5520833]

12. Furtado, A. W. B., SANTOS, A, RAMALHO, G.Streamlining Domain Analysis for Digital Games Product Lines In: Software Product Line Conference 2010,2010, Jeju Island. Proceedings of the 14th Software Product Line Conference. , 2010. Palavras-chave: Games, Software Product Lines, Domain AnalysisÁreas do conhecimento : Metodologia e Técnicas da Computação,Engenharia de SoftwareReferências adicionais : Brasil/Português. Meio de divulgação: Impresso

13. Clauirton Siebra, Lino, N., SILVA, F. Q. B., SANTOS, A. L. M.An Application of Autonomic Concepts for Handset Network Test Control In: 24th IEEE InternationalSymposium on Intelligent Control, 2009, Saint Petersburg. Proceedings of the 24th IEEE International Symposium on Intelligent Control. IEEE, 2009.p.671 - 676Referências adicionais : Rússia/Inglês. Meio de divulgação: Vários. Home page:[http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5281083]

14. ARAUJO, M., Clauirton Siebra, SILVA, F. Q. B., SANTOS, ASoftware Demonstration: A lightweight DBMS solution for mobile devices In: IEEE InternationalConference on Communications Technology and Applications, 2009, Beijing. Proceedings of the IEEE International Conference on Communications Technology andApplications. IEEE, 2009. p.946 - 951Referências adicionais : China/Inglês. Meio de divulgação: Impresso. Home page:[http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5349064]

15. Clauirton Siebra, Paulo Costa, SILVA, F. Q. B., SANTOS, A. L. M.A Proposal for Test Data Standardization for Handsets Evaluation in Simulated Networks In: XXVI SimpósioBrasileiro de Telecomunicações (SBrT´08), 2008, Rio de Janeiro. Anais do XXVI Simpósio Brasileiro de Telecomunicações (SBrT´08). , 2008. Referências adicionais : Brasil/Inglês. Meio de divulgação: Impresso

16. Lino, N., Clauirton Siebra, SILVA, F. Q. B., SANTOS, A. L. M.An Autonomic Computing Architecture for Network Tests of Mobile Devices In: VII InternationalInformation and Telecommunication Technologies Symposium, 2008, Foz do Iguaçu. Proceedings of the VII International Information and Telecommunication TechnologiesSymposium. , 2008. Referências adicionais : Brasil/Inglês.

17. Clauirton Siebra, Mozart A. Filho, SILVA, F. Q. B., SANTOS, A. L. M.Deciphering Extreme Programming Practices for Innovation Process Management In: IEEE InternationalConference on Management of Innovation and Technology, 2008, Bangkok. Proceedings of the 4th IEEE International Conference on Management of Innovation andTechnology. , 2008. p.1292 - 1297Referências adicionais : Tailândia/Inglês. Meio de divulgação: Impresso

18. Clauirton Siebra, Paulo Costa, SANTOS, A. L. M., SILVA, F. Q. B.Improving the handsets network test process via DMAIC concepts In: 30th International Conference onSoftware Engineering, 2008, Leipzig, Germany. Proceedings of the 30th international conference on Software engineering. New York: ACM,2008. p.733 - 740Referências adicionais : Alemanha/Inglês. Meio de divulgação: Impresso. Home page:[http://portal.acm.org/ft_gateway.cfm?id=1368191&type=pdf&coll=&dl=acm&cfid=69005216&cftoken=82328111][doi:10.1145/1368088.1368191]Experience Track on Telecommunications: Quality and Processes; http://portal.acm.org/citation.cfm?id=1368088&jmp=cit&coll=&dl=ACM&CFID=69005216&CFTOKEN=82328111#CIT

19. Clauirton Siebra, Angela Freitas, Paulo Costa, Raquel Freitas, SILVA, F. Q. B., SANTOS, A. L. M.An Investigation into the Use of AI Planning for Handsets Network Test Automation In: 2007 IASTEDInternational Conference on Artificial Intelligence and Applications, 2007, Innsbruck, Áustria. Proceedings of the 2007 IASTED International Conference on Artificial Intelligence andApplications. Calgary, Canada: ACTA Press, 2007. p.255 - 260

http://dx.doi.org/10.1145/2428955.2428986





http://dx.doi.org/10.1109/LATINCOM.2010.5641019



http://dx.doi.org/10.1109/AQTR.2010.5520833






http://dx.doi.org/10.1109/CCA.2009.5281083




http://dx.doi.org/10.1109/ICCOMTA.2009.5349064










http://dx.doi.org/10.1145/1368088.1368191







Applications. Calgary, Canada: ACTA Press, 2007. p.255 - 260Referências adicionais : Canadá/Inglês. Meio de divulgação: Impresso

20. Clauirton Siebra, Angela Freitas, Paulo Costa, Carneiro, K.R., SILVA, F. Q. B., SANTOS, A. L. M.Ensuring Quality in the Development of an Automated Testbed via Concepts of the Extreme ProgrammingIn: VI Simpósio Brasileiro de Qualidade de Software, 2007, Porto de Galinhas.

Anais do VI Simpósio Brasileiro de Qualidade de Software. Gold Star Gráfica, 2007. p.365 - 372Referências adicionais : Brasil/Inglês. Meio de divulgação: Impresso

21. Furtado, A. W. B., SANTOS, A. L. M.Extending Visual Studio .NET as a Software Factory for Computer Games Development in the .NETPlatform In: 2nd Intl. Conf. on Innovative Views of .NET Technologies (IVNET06), 2006, Florianópolis. Proceedings of the 2nd Intl. Conf. on Innovative Views of .NET Technologies (IVNET06). ,2006. p.114 - 133Áreas do conhecimento : Ciência da Computação,Linguagens de ProgramaçãoSetores de atividade : Informática, Produtos e Serviços Recreativos, Culturais, Artísticos e DesportivosReferências adicionais : Brasil/Inglês. ISBN 85-99580-02-7 ISBN 978-85-99580-02-8

22. Furtado, A. W. B., SANTOS, A. L. M., Panigassi, R., Becerra, J. L. R.Specifying a Software Factory for 2D Adventure Computer Games Development In: 2nd SoftwareEngineering Conference in Russia (SEC(R)2006, 2006, Moscou. Proceedings of the 2nd Software Engineering Conference in Russia (SEC(R)2006. , 2006. Referências adicionais : Rússia/Inglês.

23. Furtado, A. W. B., SANTOS, A. L. M.Using Domain-Specific Modeling towards Computer Games Development Industrialization In: 6th OOPSLAWorkshop on Domain-Specific Modeling (DSM06), 2006, Portland. 6th OOPSLA Workshop on Domain-Specific Modeling (DSM06). Jyvaskyla, Finland: JyvaskylaUniversity Printing House, 2006. p.1 - 14Áreas do conhecimento : Ciência da Computação,Linguagens de ProgramaçãoSetores de atividade : Informática, Produtos e Serviços Recreativos, Culturais, Artísticos e DesportivosReferências adicionais : Estados Unidos/Inglês. Meio de divulgação: ImpressoISBN 951-39-2631-1 ISSN 1239-291X University of Jyvaskyla, Department of Computer Science andInformation Systems, Department of Computer Science and Information Systems Reports, TechnicalReport TR-37, 2006.

24. SANTOS, A. L. M., MONTEIRO, M., ARAUJO, M., BORGES, R.Compiling Non-strict Functional Languages to the .NET Platform In: Simpósio Brasileiro de Linguagens deProgramação, 2005, Recife. Anais do Simpósio Brasileiro de Linguagens de Programação. , 2005. Referências adicionais : Brasil/Inglês. Meio de divulgação: Impresso

25. Furtado, A. W. B., SANTOS, A. L. M.Foundations for Game Development and Software Factories Integration In: Simposio Brasileiro de Jogospara Computador e Entretimento Digital, 2005, São Paulo. Anais do IV Workshop Brasileiro de Jogos e Entretenimento Digital. , 2005. Referências adicionais : Brasil/Inglês. 8 pp.

26. Furtado, A. W. B., SILVA, A., NASCIMENTO, C., SANTOS, G., SANTOS, A. L. M., FERRAZ, C. A. G.HWSProxyGen: um Gerador de Proxies de Web Services para a Linguagem Haskell In: Simpósio Brasileirode Linguagens de Programação, 2005, Recife. Anais do Simpósio Brasileiro de Linguagens de Programação. , 2005. Referências adicionais : Brasil/Português. Meio de divulgação: Impresso

27. SANTOS, T., SANTOS, A. L. M.Parametrizando Softwares Java In: Simpósio Brasileiro de Linguagens de Programação, 2005, Recife. Anais do Simpósio Brasileiro de Linguagens de Programação. , 2005. Referências adicionais : Brasil/Português. Meio de divulgação: Impresso

28. BATISTA, E., SANTOS, A. L. M., AQUINO, I., JOSUE NETO, M. B., SILVA, L.Segurança em Consultas de Relatórios XBRL In: 7º Simpósio de Segurança em Informática, 2005, SãoJosé dos Campos. Anais do 7º Simpósio de Segurança em Informática. , 2005. Referências adicionais : Brasil/Português. 08 a 11 de novembro de 2005

29. LIMA, R. M. F., LINS, R. D., SANTOS, A. L. M.A back-end for GHC based on Categorical Multi-Combinators In: 19th Annual ACM Symposium on AppliedComputing, 2004, Nicosia. Proceedings of the 2004 ACM Symposium on Applied Computing. New York, NY, USA: ACMPress, 2004. v.I. p.1482 - 1489Referências adicionais : Chipre/Inglês. Meio de divulgação: Impresso. Home page:[http://doi.acm.org/10.1145/967900.968196][doi:10.1145/967900.968196]

30. SANTOS, A. L. M., BORBA, P. H. M., ANDREAZZA, C. A. R.AspectH: Uma Extensão Orientada a Aspectos de Haskell In: WASP - Workshop em Aspect OrientedProgramming, 2004, Brasilia. Anais do WASP - Workshop em Aspect Oriented Programming. , 2004. Referências adicionais : Brasil/Inglês.

31. PERAZZO, E., RAMALHO, G., SANTOS, A. L. M.Avaliação Experimental de Detecção de Colisão para Jogos J2ME In: III Workshop de Jogos eEntretenimento Digital, 2004, Curitiba. III Workshop de Jogos e Entretenimento Digital. , 2004. p.76 - 81Referências adicionais : Brasil/Português.

32. SIMOES, M. A. C., SANTOS, A. L. M.Unifying WBEM and Mobile Agents Approaches for Systems Management In: 22 Simposio Brasileiro deRedes de Computadores, 2004, Gramado. SBRC 2004 22 Simposio Brasileiro de Redes de Computadores. SBC, 2004. v.I. p.235 - 248Referências adicionais : Brasil/Inglês. Meio de divulgação: Impresso

33. SANTOS, A. L. M., CAMARA, T., RAMALHO, G.Compatibilizando MIDP 1.0 e MIDP 2.0 para o desenvolvimento de jogos em dispositivos móveis In: IIWorkshop on Games and Digital Entertainment (WJogos'03), 2003, Salvador. II Workshop on Games and Digital Entertainment (WJogos'03). , 2003. Áreas do conhecimento : Metodologia e Técnicas da Computação,Engenharia de SoftwareReferências adicionais : Brasil/Português. Meio de divulgação: Meio magnético

34. SANTOS, A. L. M., Furtado, A. W. B., GOMES, A. S.Considerações sobre a Utilização de Linguagens Funcionais como Instrumento de Aproximação entreEducadores e Jogos Educativos In: II Workshop on Games and Digital Entertainment (WJogos'03), 2003,Salvador. II Workshop on Games and Digital Entertainment (WJogos'03). , 2003. Áreas do conhecimento : Metodologia e Técnicas da ComputaçãoReferências adicionais : Brasil/Português. Meio de divulgação: Meio magnético

35. Furtado, A. W. B., SANTOS, A. L. M., GOMES, A. S.Especificando um Modelo de Time para o Desenvolvimento Colaborativo de Jogos Educativos In: XIV SBIE












http://dx.doi.org/10.1145/967900.968196












Especificando um Modelo de Time para o Desenvolvimento Colaborativo de Jogos Educativos In: XIV SBIE- Simpósio Brasileiro de Informática na Educação, 2003, Rio de Janeiro. XIV SBIE - Simpósio Brasileiro de Informática na Educação. , 2003. Áreas do conhecimento : Metodologia e Técnicas da ComputaçãoReferências adicionais : Brasil/Português.

36. SANTOS, A. L. M., ROCHA, E., MENEZES, T., RAMALHO, G.Forge 16v: um Framework para Jogos Isométricos In: II Workshop on Games and Digital Entertainment(WJogos'03), 2003, Salvador. II Workshop on Games and Digital Entertainment (WJogos'03). , 2003. Áreas do conhecimento : Sistemas de Computação,Engenharia de SoftwareSetores de atividade : InformáticaReferências adicionais : Brasil/Português. Meio de divulgação: Meio digital

37. MARTINS, C., SANTOS, A. L. M., MATTOS, C. L., HORA, E. C.Refinando Análises do Snort Através de Correlação de Eventos com o Estado Ativo da Rede In: V SimpósioSegurança em Informática, 2003, Sao Jose dos Campos. V Simpósio Segurança em Informática. , 2003. Referências adicionais : Brasil/Português.

38. Adriano L. I. Oliveira, Gabriel Azevedo, Adélia Barros, SANTOS, A. L. M.Sistema de Suporte à Auditoria de Folhas de Pagamento Baseado em Redes Neurais In: IV ENIA -Encontro Nacional de Inteligência Artificial, 2003, Campinas. IV ENIA - Encontro Nacional de Inteligência Artificial. SBC, 2003. Áreas do conhecimento : Metodologia e Técnicas da ComputaçãoReferências adicionais : Brasil/Português. Meio de divulgação: Impresso

39. SANTOS, A. L. M., Bruno Abdon MonteiroA Persistence Library for Haskell In: SBLP - V Simposio Brasileiro de Linguagens de Programacao, 2001,Curitiba. V Simposio Brasileiro de Linguagens de Programacao. , 2001. p.C113 - C123Palavras-chave: Haskell, Programacao Funcional, Linguagens FuncionaisÁreas do conhecimento : Ciência da Computação,Linguagens de ProgramaçãoSetores de atividade : InformáticaReferências adicionais : Brasil/Inglês. Meio de divulgação: Impresso

40. SANTOS, A. L. M.Embedding A Firewall Programming Language Into Haskell In: III Simposio Brasileiro de Linguagens deProgramacao, 1999, Porto Alegre. III Simposio Brasileiro de Linguagens de Programacao. Porto Alegre - RS: , 1999. p.201 - 205Palavras-chave: Domain Specific Languages, Functional ProgrammingÁreas do conhecimento : Linguagens de ProgramaçãoSetores de atividade : InformáticaReferências adicionais : Brasil/Inglês. Meio de divulgação: Impresso

41. GENESIO NETO,, SANTOS, A. L. M.An Interval Library For Haskell In: Third International Summer School on Advanced FunctionalProgramming, 1998, Braga. Workshop on Research Themes on Functional Programming. Braga, Portugal: , 1998. Palavras-chave: Haskell, Interval ArithmeticÁreas do conhecimento : Ciência da ComputaçãoSetores de atividade : InformáticaReferências adicionais : Inglaterra/Inglês. Meio de divulgação: Impresso

42. SANTOS, A. L. M.Compilacao Eficiente de Linguagens Funcionais Atraves de Transformacao de Programas In: I SIMPOSIOBRASILEIRO DE LINGUAGENS DE PROGRAMACAO (SBLP), 1996 I SIMPOSIO BRASILEIRO DE LINGUAGENS DE PROGRAMACAO (SBLP). BELO HORIZONTE -MG: , 1996. p.181 - 193Palavras-chave: Compiladores, Linguagens Funcionais, Transformacao de ProgramasÁreas do conhecimento : Linguagens de ProgramaçãoSetores de atividade : InformáticaReferências adicionais : Brasil/Português. Meio de divulgação: Impresso

43. SANTOS, A. L. M., WILLIAM PARTAIN, ANDRE SANTOS SIMON PEYTON JONESLet-Floating: Moving Bindings To Give Faster Programs In: ACM INTERNATIONAL CONFERENCE ONFUNCTIONAL PROGRAMMING (ICFP), 1996, Philadelphia. ACM INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING (ICFP). FILADELFIA -EUA: ACM, 1996. p.1 - 12Palavras-chave: Compilers, Functional LanguagesÁreas do conhecimento : Linguagens de ProgramaçãoSetores de atividade : InformáticaReferências adicionais : Estados Unidos/Inglês.

44. SANTOS, A. L. M., RICARDO LIMA, RAFAEL LINS, ANDRE SANTOS GENESIO CRUZ NETONovas Tecnicas de Otimizacao de Codigo Em T-Cmc In: I SIMPOSIO BRASILEIRO DE LINGUAGENS DEPROGRAMACAO (SBLP) I SIMPOSIO BRASILEIRO DE LINGUAGENS DE PROGRAMACAO (SBLP). BELO HORIZONTE -MG: , 1996. p.169 - 180Palavras-chave: Compiladores, Programacao FuncionalÁreas do conhecimento : Linguagens de Programação,Linguagens de ProgramaçãoSetores de atividade : InformáticaReferências adicionais : Brasil/Português.

45. SANTOS, A. L. M., RICARDO LIMA, RAFAEL LINS, ANDRE SANTOS GENSIO CRUZ NETOOptimising Pseudoknot In T-Cmc In: EUROMICRO 96 - EUROPEAN SIMPOSIUM ON MICROPROCESSINGAND MICROPROGRAMMING EUROMICRO 96 - EUROPEAN SIMPOSIUM ON MICROPROCESSING ANDMICROPROGRAMMING. PRAGA - REPUBLICA TCHECA: , 1996. p.120 - 126Palavras-chave: Compilers, Functional LanguagesÁreas do conhecimento : Linguagens de Programação,Linguagens de ProgramaçãoSetores de atividade : InformáticaReferências adicionais : Brasil/Inglês.

46. SANTOS, A. L. M., SANTOS, S. P. J. A.Compilation By Transformation In The Glasgow Haskell Compiler In: GLASGOW WORKSHOP ONFUNCTIONAL PROGRAMMING SPRINGER VERLAG GLASGOW WORKSHOP ON FUNCTIONAL PROGRAMMING SPRINGER VERLAG. ULLAPOOL -ESCOCIA: , 1994. p.184 - 204Palavras-chave: Compilers, Functional Languages, Program TransformationsÁreas do conhecimento : Linguagens de Programação,Linguagens de ProgramaçãoSetores de atividade : InformáticaReferências adicionais : Brasil/Inglês.

47. SANTOS, A. L. M., SANTOS, S. P. J. A.On Program Transformation In The Glasgow Haskell Compiler In: GLASGOW WORKSHOP ON FUNCTIONALPROGRAMMING SPRINGER VERLAG GLASGOW WORKSHOP ON FUNCTIONAL PROGRAMMING SPRINGER VERLAG. AYR - ESCOCIA:, 1992. p.240 - 251Palavras-chave: Compilers, Functional Languages, Program TransformationÁreas do conhecimento : Linguagens de Programação,Linguagens de Programação










Setores de atividade : InformáticaReferências adicionais : Brasil/Inglês.

48. SANTOS, A. L. M., SILVIO MEIRA, ANDRE SANTOS PAULO BORBAPrototyping Action Semantics Using Functional Languages In: XVIII CONFERENCIA LATINO AMERICANADE INFORMATICA (CLEI) XVIII CONFERENCIA LATINO AMERICANA DE INFORMATICA (CLEI). LAS PALMAS, CANARIAS -ESPANHA: , 1992. p.176 - 183Palavras-chave: Action Semantics, Functional LanguagesÁreas do conhecimento : Linguagens de Programação,Linguagens de ProgramaçãoSetores de atividade : InformáticaReferências adicionais : Brasil/Inglês.

49. SANTOS, A. L. M., MARTIN MUSICANTE, ANDRE SANTOS SILVIO MEIRAO Projeto e Implementacao da Linguagem A In: V SIMPOSIO BRASILEIRO DE ENGEMHARIA DESOFTWARE (SBES) V SIMPOSIO BRASILEIRO DE ENGEMHARIA DE SOFTWARE (SBES). SANTOS - SP: , 1991. p.237- 256Palavras-chave: Compiladores, Linguagens FuncionaisÁreas do conhecimento : Linguagens de Programação,Linguagens de ProgramaçãoSetores de atividade : InformáticaReferências adicionais : Brasil/Português.

50. SANTOS, A. L. M., PAULO BORBA, ANDRE SANTOS DAVID CARRAHERAcesso A Um Banco de Dados Atraves de Linguagem Natural In: IV SIMPOSIO BRASILEIRO DEINTELIGENCIA ARTIFICIAL (SBIA) IV SIMPOSIO BRASILEIRO DE INTELIGENCIA ARTIFICIAL (SBIA). UBERLANDIA - MG: , 1987.p.217 - 224Palavras-chave: Banco de Dados, Linguagem NaturalÁreas do conhecimento : Banco de Dados,Banco de DadosSetores de atividade : InformáticaReferências adicionais : Brasil/Português.

Trabalhos publicados em anais de eventos (resumo)

1. SOARES-NETO, F., CASTOR, F., Santos, Andre L.M.A Preliminary Empirical Assessment of Haskell's Software Transactional Memory Constructs In: ACMSymposium on Applied Computing, 2013, Coimbra. Proceedings of the 28th ACM Symposium on Applied Computing. , 2013. Áreas do conhecimento : Linguagens de ProgramaçãoReferências adicionais : Portugal/Inglês. Meio de divulgação: Impresso

2. SILVA, F. Q. B., SANTOS, A. L. M., SOARES, S. C. B., A. César C. França, Cleviton V. F. MonteiroA critical appraisal of systematic reviews in software engineering from the perspective of the researchquestions asked in the reviews In: International Symposium on Empirical Software Engineering andMeasurement (ESEM), 2010, Bolzano-Bozen. Proceedings of the 2010 ACM-IEEE International Symposium on Empirical SoftwareEngineering and Measurement. New York, NY, USA: ACM, 2010. Palavras-chave: Systematic ReviewsÁreas do conhecimento : Engenharia de SoftwareReferências adicionais : Itália/Inglês. Meio de divulgação: Impresso. Home page:[http://portal.acm.org/citation.cfm?doid=1852786.1852830]

3. Clauirton Siebra, Angela Freitas, Paulo Costa, Carneiro, K.R., SILVA, F. Q. B., SANTOS, A. L. M.An architecture for handsets network test automation In: Second ACM Workshop on PerformanceMonitoring and Measurement of Heterogeneous Wireless and Wired Networks, 2007, Chania, Crete Island,Greece. Proceedings of the Second ACM Workshop on Performance Monitoring and Measurement ofHeterogeneous Wireless and Wired Networks. ACM Press, 2007. p.92 - 95Referências adicionais : Grécia/Inglês. Meio de divulgação: Impresso

4. SANTOS, A. L. M., KARLSSON, B. F. F., NASCIMENTO, I. F., BARROS, T. G. F., RAMALHO, G.Análise de tecnologias de desenvolvimento de jogos para dispositivos móveis In: II Workshop on Gamesand Digital Entertainment (WJogos'03), 2003, Salvador. II Workshop on Games and Digital Entertainment (WJogos'03). , 2003. Palavras-chave: JogosÁreas do conhecimento : Metodologia e Técnicas da Computação,Engenharia de SoftwareReferências adicionais : Brasil/Português. Meio de divulgação: Meio magnético

5. SANTOS, A. L. M., ROCHA, E., RAMALHO, G.Controlando o Vazamento de Memória em Jogos Implementados em C++ In: I Workshop em Jogos(WJogos 2002), 2002, Fortaleza. I Workshop em Jogos (WJogos 2002). , 2002. Palavras-chave: JogosÁreas do conhecimento : Metodologia e Técnicas da Computação,Engenharia de SoftwareReferências adicionais : Brasil/Português. Meio de divulgação: Meio magnético

6. Furtado, A. W. B., SANTOS, A. L. M.FunGEn - A Game Engine for Haskell In: I Workshop em Jogos - WJogos 2002, 2002, Fortaleza. I Workshop em Jogos - WJogos 2002. , 2002. Palavras-chave: Jogos, Haskell, Domain Specific LanguagesÁreas do conhecimento : Sistemas de ComputaçãoReferências adicionais : Brasil/Inglês. Meio de divulgação: Impresso

Trabalhos publicados em anais de eventos (resumo expandido)

1. Azevedo, L., SANTOS, A. L. M., Furtado, A. W. B.Elegy: Aplicando o Processo de Fábrica de Jogos ao Domínio Role-Playing Games In: VIII SimpósioBrasieliro de Jogos e Entretenimento Digital, 2009, Rio de Janeiro. Anais do VIII Simpósio Brasieliro de Jogos e Entretenimento Digital. , 2009. Referências adicionais : Brasil/Português.

2. Furtado, A. W. B., SANTOS, A. L. M.Defining and Using Ontologies as Input for Game Software Factories In: Simpósio Brasileiro de Jogos eEntretenimento Digital (SBGames 2006), 2006, Recife. Anais do Simpósio Brasileiro de Jogos e Entretenimento Digital (SBGames 2006). , 2006. Áreas do conhecimento : Ciência da Computação,Linguagens de ProgramaçãoSetores de atividade : InformáticaReferências adicionais : Brasil/Inglês.

3. Furtado, A. W. B., SANTOS, A. L. M.Software Factories Relevance to Digital Games: A Practical Discussion In: Terceiro Simpósio Brasileiro deJogos e Entretenimento Digital (SBGames 2006), 2006, Recife. Anais do Terceiro Simpósio Brasileiro de Jogos e Entretenimento Digital (SBGames 2006). ,2006. Áreas do conhecimento : Ciência da Computação,Linguagens de ProgramaçãoSetores de atividade : InformáticaReferências adicionais : Brasil/Inglês.

http://dx.doi.org/10.1145/1852786.1852830













Artigos em revistas (Magazine)

1. Clauirton Siebra, Lino, N., SANTOS, A, SILVA, F. Q. B.Advanced Issues on Test Management for Limited Platforms. Testing Experience. Berlim, p.38 - 41, 2010.Referências adicionais : Alemanha/Inglês. Meio de divulgação: Impresso

Demais produções bibliográficas

1. Furtado, A. W. B., SANTOS, A. L. M.Applying Domain-Specific Modeling to Game Development with the Microsoft DSL Tools.Tutorial. , 2006. (Outra produção bibliográfica)Áreas do conhecimento : Linguagens de ProgramaçãoSetores de atividade : InformáticaReferências adicionais : Brasil/Inglês.

2. SANTOS, A. L. M., Furtado, A. W. B.Explorando o desenvolvimento de jogos na Plataforma .NET com o Managed DirectX. Tutorial. ,2005. (Outra produção bibliográfica)Referências adicionais : Brasil/Português.

Produção técnica

Assessoria e consultoria

1. Santos, André L.M.Reuse!, 2009

Palavras-chave: Domain Specific LanguagesÁreas do conhecimento : Engenharia de SoftwareSetores de atividade : Atividades dos serviços de tecnologia da informaçãoReferências adicionais : Brasil/Português. Meio de divulgação: Outro. Home page:http://www.facepe.br/pub_files/Edital_FACEPE_04-2008_PAPPE_RESULT_2ROD.pdfCHAMADA PÚBLICA FACEPE 04/2008 PAPPE - APOIO FINANCEIRO À PESQUISA, DESENVOLVIMENTO EINOVAÇÃO EM MICRO E PEQUENAS EMPRESAS NA MODALIDADE PAPPE SUBVENÇÃO RESULTADO DA 2ªRODADA Reuse! - coordenador: Luiz Carlos Assis Doleron Barreto, Improvess Informática Ltda, Software.

2. Santos, André L.M.Processos e Produtos Inovadores para a Indústria de Tecnologia da Informação eComunicação, 2007

Setores de atividade : Fabricação de equipamentos de informática, produtos eletrônicos e ópticosReferências adicionais : Brasil/Português. Meio de divulgação: Outro

Demais produções técnicas

1. SANTOS, A. L. M., Saraiva, J., André Rauber Du BoisAnais do XIII Simpósio Brasileiro de Linguagens de Programação, 2009. (Anais, Editoração)Referências adicionais : Brasil/Português. Meio de divulgação: Impresso

Orientações e Supervisões

Orientações e supervisões

Orientações e supervisões concluídas

Dissertações de mestrado : orientador principal

1. Marcelo Rodrigues Caetano da Silva. Construção de um Compilador Estático de Código CILUsando uma Abordagem Incremental. 2010. Dissertação (Pós-Graduação em Ciência da Computação)- Centro de InformáticaReferências adicionais : Brasil/Português.

2. MARCUS VINICIUS LIMA E MACHADO.

iCasual: uma abordagem de desenvolvimento de jogoscasuais na plataforma iPhone. 2010. Dissertação (Pós-Graduação em Ciência da Computação) - Centrode InformáticaReferências adicionais : Brasil/Português.

3. Allan Rodrigo dos Santos Araujo.

Play4Fun: Fábrica de Jogos Digitais Casuais. 2009.

Dissertação (Ciências da Computação) - Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

4. Guilherme Amaral Avelino.

Integração de Linguagens Funcionais à Plataforma .NETUtilizando o Framework Phenix. 2008. Dissertação (Ciências da Computação) - Universidade Federalde PernambucoReferências adicionais : Brasil/Português. Avaliadores: Hermano, Ricardo Massa

5. Carlos Eduardo Monteiro Rodrigues.

vEye – Um sistema de auxílio à navegação paradeficientes visuais. 2008. Dissertação (Ciências da Computação) - Universidade Federal de PernambucoReferências adicionais : Brasil/Português. co-orientador: Geber Ramalho

6. TIAGO GUEDES FERREIRA BARROS. CMF: um framework multi-plataforma para desenvolvimento


















de aplicaçõoes para dispositivos móveis. 2007. Dissertação (Ciências da Computação) - UniversidadeFederal de PernambucoReferências adicionais : Brasil/Português.

7. Monique Louise de Barros Monteiro.

Integrando Haskell à Plataforma .NET. 2006. Dissertação

(Ciências da Computação) - Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

8. Andre Wilson Brotto Furtado.

SharpLudus: Enriquecendo a Experiência no Desenvolvimentode Jogos Através de Linguagens de Domínio Específico e Fábricas de Software. 2006.Dissertação (Ciências da Computação) - Universidade Federal de PernambucoReferências adicionais : Brasil/Inglês.

9. CARLOS ANDREAZZA REGO ANDRADE. AspectH: Uma Extensão Orientada a Aspectos de Haskell.2005. Dissertação (Ciências da Computação) - Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

10. Cleiton Soares Martins.

PIPS - Proactive Intrusion Prevention System. 2005. Dissertação


11. Tarcisio Pinto Camara.

Otimizações de Bytecode Java na Plataforma J2ME. 2004. Dissertação


12. Marco Antonio Costa Simões.

Gerência de Sistemas Baseada na Web Utilizando AgentesMóveis. 2003. Dissertação (Ciências da Computação) - Universidade Federal de PernambucoPalavras-chave: Gerência de Sistemas, Agentes Moveis Inteligentes, WBEMÁreas do conhecimento : Sistemas de ComputaçãoSetores de atividade : InformáticaReferências adicionais : Brasil/Português.

13. Thiago Luiz Vieira de Lima Santos.

JPEL - Uma ferramenta para parametrização de softwares.

2003. Dissertação (Ciências da Computação) - Universidade Federal de PernambucoÁreas do conhecimento : Ciência da Computação,Sistemas de ComputaçãoReferências adicionais : Brasil/Português.

14. Ioram Schechtman Sette.

Administracao de sites nao autonomos com multiplos links ainternet. 2002. Dissertação (Ciências da Computação) - Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

Dissertações de mestrado : co-orientador

1. Danise Victor Xavier. Uma Analise de Otimizacoes Para Propagacao de Bases de Dados Nis.1997. Dissertação (Ciências da Computação) - Universidade Federal de PernambucoPalavras-chave: NisÁreas do conhecimento : Ciência da Computação,Sistemas de ComputaçãoSetores de atividade : InformáticaReferências adicionais : Brasil/Português.

Trabalhos de conclusão de curso de graduação

1. Lucas Araújo Mello Soares. Um Estudo Conceitual e uma Proposta Arquitetural para aImplantação da Plataforma de Ensino à Distância ProLearning. 2009. Curso (Ciencia daComputacao) - Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

2. Eduardo Wagner M. de Almeida. Commander Assembler: Uma Fábrica de Jogos de RPG TáticosUtilizando Linguagens de Domínio Específico. 2008. Curso (Ciência da Computação) - Centro deInformáticaReferências adicionais : Brasil/Português.

3. Pedro Lages de Menezes. Desenvolvimento de Aplicações BREW no Eclipse: O Caso Gluson.2008. Curso (Ciência da Computação) - Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

4. João Gabriel Queiroz Lins Martins. HUDLanguage: Uma Domain-Specific Language para Geraçãode Heads-up Display em Jogos Arcade 2D. 2008. Curso (Ciencia da Computacao) - UniversidadeFederal de PernambucoReferências adicionais : Brasil/Português.

5. Nelson Gueiros Barlow. Programação Orientada a Aspectos no Microsoft Phoenix Framework.2008. Curso (Ciência da Computação) - Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

6. Laís de Mendonça Neves. Validação e Adaptação do FlatRedBall Game Engine para Fábricas deJogos Arcade 2D. 2008. Curso (Ciência da Computação) - Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

7. Eduardo Mazza Batista. Autenticação de usuários em redes Windows utilizando certificadosdigitais da ICP-Brasil. 2005. Curso (Ciencia da Computacao) - Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

8. Mauro La-Salette Costa Lima de Araújo. Avaliando a Metodologia Pro.NET em relação ao MSF 4.2005. Curso (Ciencia da Computacao) - Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

9. Marcelo Simões de Vasconcelos. Desenvolvimento de Domain-Specific Languages utilizando aplataforma .NET. 2005. Curso (Ciencia da Computacao) - Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

10. Sérgio Silveira Clemente Filho. Um estudo da integração do MS-AD com fontes de dados diversas.2005. Curso (Ciencia da Computacao) - Universidade Federal de PernambucoReferências adicionais : Brasil/Português.



















11. Bruno Costa Bourbon. Um Framework para desenvolvimento de aplicativos em WindowsMobile. 2005. Curso (Ciencia da Computacao) - Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

12. Marden Menezes Costa. XIX - Ferramenta para Geração de Interface Gráfica XAML paraWindows Presentation Foundation. 2005. Curso (Ciencia da Computacao) - Universidade Federal dePernambucoReferências adicionais : Brasil/Português.

13. Daniel Menezes Cardoso. Estimulando o Reuso na Plataforma .NET: Uma Ferramenta para BuscaAtiva de Código em Repositórios de Componentes. 2004. Curso (Ciencia da Computacao) -Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

14. Vanilson André de Arruda Buregio. Desenvolvimento de Aplicações para Dispositivos Móveis com.Net. 2003. Curso (Ciencia da Computacao) - Universidade Federal de PernambucoÁreas do conhecimento : Metodologia e Técnicas da Computação,Engenharia de SoftwareReferências adicionais : Brasil/Português. . Home page: http://www.cin.ufpe.br/~tg/2003-1/vaab.PDF

15. Ivo Frazão Nascimento. Desenvolvimento de um Framework para jogos sobre a PlataformaBREW. 2003. Curso (Ciencia da Computacao) - Universidade Federal de PernambucoÁreas do conhecimento : Metodologia e Técnicas da Computação,Engenharia de SoftwareReferências adicionais : Brasil/Português. . Home page: http://www.cin.ufpe.br/~tg/2003-1/ifn.doc

16. Saulo Batista Jansen. Estudo comparativo das principais plataformas e ferramentas dedesenvolvimento para dispositivos móveis. 2003. Curso (Ciencia da Computacao) - UniversidadeFederal de PernambucoÁreas do conhecimento : Metodologia e Técnicas da Computação,Engenharia de SoftwareReferências adicionais : Brasil/Português. . Home page: http://www.cin.ufpe.br/~tg/2003-1/sbj.doc

17. Cristiano Lincoln Mattos. Sentinel: um engenho java para controle de acesso RBAC. 2003. Curso(Ciencia da Computacao) - Universidade Federal de PernambucoPalavras-chave: Segurança de SistemasÁreas do conhecimento : Sistemas de Computação,Metodologia e Técnicas da Computação,Engenharia deSoftwareReferências adicionais : Brasil/Português. . Home page: http://www.cin.ufpe.br/~tg/2003-1/clam.doc

18. Tiago Guedes F. Barros. SymbG(r)aF - Symbian Games Framework. 2003. Curso (Ciencia daComputacao) - Universidade Federal de PernambucoPalavras-chave: JogosÁreas do conhecimento : Metodologia e Técnicas da Computação,Engenharia de SoftwareReferências adicionais : Brasil/Português. . Home page: http://www.cin.ufpe.br/~tg/2003-1/tgfb.pdf

19. André Wilson Brotto Furtado. VHS-AM: Extensão do Visual Studio .NET para a integração deHaskell com a ferramenta Assignment Manager. 2003. Curso (Ciencia da Computacao) -Universidade Federal de PernambucoReferências adicionais : Brasil/Português. . Home page: http://www.cin.ufpe.br/~awbf/download/awbf-tg.pdf

20. Júlio César dos Santos Lins. Arquitetura em camadas e mcanismos arquiteturaisna plataformaMicrosoft .Net. 2002. Curso (Ciencia da Computacao) - Universidade Federal de PernambucoÁreas do conhecimento : Metodologia e Técnicas da Computação,Engenharia de SoftwareReferências adicionais : Brasil/Português.

21. Adeline de Souza Silva. C#TS, Uma Extensão de JATS para a Linguagem C#. 2002. Curso (Cienciada Computacao) - Universidade Federal de PernambucoPalavras-chave: Linguagens de ProgramaçãoÁreas do conhecimento : Metodologia e Técnicas da Computação,Linguagens de ProgramaçãoReferências adicionais : Brasil/Português. . Home page: http://www.cin.ufpe.br/~tg/2002-2/adss.doc

22. Andrey Coutinho Cavalcanti. Estudo sobre a Portabilidade de Aplicações .NET entre DiferentesPlataformas. 2002. Curso (Ciencia da Computacao) - Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

23. Wabber Miranda de Arruda Filho. Um Framework para Editores de Jogos desenvolvido com J2ME.2002. Curso (Ciencia da Computacao) - Universidade Federal de PernambucoÁreas do conhecimento : Metodologia e Técnicas da Computação,Engenharia de SoftwareReferências adicionais : Brasil/Português. . Home page: http://www.cin.ufpe.br/~tg/2002-1/wmaf.doc

24. Cleiton Soares Martins. Um modelo de implantação de sistemas de detecção de Intrusão emRedes TCP/IP. 2001. Curso (Ciencia da Computacao) - Universidade Federal de PernambucoPalavras-chave: Segurança de Sistemas, Detecção de IntrusãoÁreas do conhecimento : Sistemas de ComputaçãoReferências adicionais : Brasil/Português. . Home page: http://www.cin.ufpe.br/~tg/2001-1/csm.zip

Orientações e supervisões em andamento

Teses de doutorado : orientador principal

1. Nancy de Lyra Lino. Uso de Domain Specific Languages para o Aumento de Produtividade noDesenvolvimento de Software. 2011. Tese (Pós-Graduação em Ciência da Computação) - Centro deInformáticaReferências adicionais : Brasil/Português.

2. Andre Wilson Brotto Furtado. Software Proceses in the Context of Domain Specific Languages.2007. Tese (Ciências da Computação) - Universidade Federal de PernambucoReferências adicionais : Brasil/Inglês.

Eventos

Eventos

Participação em eventos

1. XIII Simposio Brasileiro de Linguagens de Programacao, 2009. (Simpósio).





Bancas

Bancas

Participação em banca de trabalhos de conclusão

Mestrado

1. MEIRA, S. R. L., SANTOS, A. L. M.Participação em banca de Thiago Henrique Burgos de Oliveira. RiPLE-EM: A Process to ManageEvolution in Software Product Lines, 2009(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Inglês.

2. Carla Silva, Patrícia Cabral de Azevedo Restelli Tedesco, SANTOS, A. L. M.Participação em banca de Nancy de Lyra Lino. Uma Aplicação de Conceitos Autonômicos para oControle de Testes de Dispositivos Móveis, 2009(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

3. BORBA, P. H. M., SANTOS, A. L. M., KULESZA, U.Participação em banca de Pedro Osandy Alves Matos Junior. Analysis of Techniques forImplementing Software Product Lines Variabilities, 2008(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Inglês.

4. MEIRA, S. R. L., KULESZA, U., SANTOS, A. L. M.Participação em banca de Leandro Marques do Nascimento. Core Assets Development in SoftwareProduct Lines - Towards a Practical Approach for the Mobile Game Domain, 2008(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Inglês.

5. MEIRA, S. R. L., SANTOS, A. L. M.Participação em banca de Liana Barachisio Lisboa. ToolDAy - A tool for Domain Analysis, 2008(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Inglês.

6. SANTOS, A. L. M., Campos, F., CAVALCANTE, S. V.Participação em banca de Anderson Luiz Souza Moreira. Análise de Sistemas Operacionais de TempoReal, 2007(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

7. CAVALCANTE, S. V., SOARES, S. C. B., SANTOS, A. L. M.Participação em banca de Tiago Guedes Ferreira Barros. CMF: Um Framework Multi-plataforma paraDesenvolvimento de Aplicações para Dispositivos Móveis, 2007(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

8. SANTOS, A. L. M., MEIRA, S. R. L., Eduardo AlmeidaParticipação em banca de Kellyton dos Santos Brito. LIFT: A Legacy InFormation retrieval Tool, 2007(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Inglês.

9. VASCONCELOS, A. M. L., SANTOS, A. L. M., Albuquerque, J.Participação em banca de Karine Coelho de Amorim Oliveira. Um Processo de Gerência deConfiguração Baseado no Nível 2 do CMMI Estagiado para Fábricas de Software Orientadas aProduto, 2007(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

10. SANTOS, A. L. M., SOARES, S. C. B., MEIRA, S. R. L.Participação em banca de Jorge Cláudio Cordeiro Pires Mascena. ADMIRE: Asset DevelopmentMetrics-based Integrated Reuse Environment, 2006(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

11. SANTOS, A. L. M., Cirne Filho, W.C., FERRAZ, C. A. G.Participação em banca de Ana Crolina Chaves Machado. Diretrizes e um Utilitário para Avaliação deDesempenho de Toolkits Web Services, 2006(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

12. SANTOS, A. L. M., LIMA, R. M. F., MEIRA, S. R. L.Participação em banca de Vanilson André de Arruda Burégio. ESPECIFICAÇÃO, PROJETO EIMPLEMENTAÇÃO DE UM REPOSITÓRIO DE REUSO, 2006(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

13. SANTOS, A. L. M., SOARES, S. C. B., BORBA, P. H. M.Participação em banca de Adeline de Sousa Silva. Geração de Sistemas de Transformação: UmaAbordagem de Programação Gerativa, 2006(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

14. SANTOS, A. L. M., LIMA, R. M. F., MOURA, H. P.Participação em banca de Monique Louise de Barros Monteiro. Integrando Haskell à Plataforma .NET,2006(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

15. SANTOS, A. L. M., Cornélio, M.L., BORBA, P. H. M.Participação em banca de João Marcos Pedrosa de Vasconcelos. Reuso de Casos de Teste em Linhasde Produtos de Software através de Parametrização e Uso de Aspectos, 2006(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

16. SANTOS, A. L. M., SOARES, S. C. B., RAMALHO, G.Participação em banca de André Wilson Brotto Furtado. SharpLudus: Enriquecendo a Experiência noDesenvolvimento de Jogos Através de Linguagens de Domínio Específico e Fábricas deSoftware, 2006(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Inglês.

17. SANTOS, A. L. M., BORBA, P. H. M., MAIA, M. A.










Participação em banca de Gustavo Alexandre dos Santos. Suporte a Refatorações em um Sistema deTransformação de Propósito Geral, 2006(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

18. SANTOS, A. L. M., Oliveira, J., MEIRA, S. R. L.Participação em banca de Taciana Amorim Vanderlei. Um Mecanismo de Classificação Cooperativapara Busca e Recuperação de Componentes de Software, 2006(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

19. SANTOS, A. L. M., FERRAZ, C. A. G., COSTA, F. M.Participação em banca de Igor de Andrade Lima Gatis. Um Middleware para Construção deAplicações de TV Digital Distribuídas Baseadas no Modelo P2P, 2006(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

20. SANTOS, A. L. M., Brasileiro, F.V., FERRAZ, C. A. G.Participação em banca de Erick Lopes da Silva. Um Modelo de Segurança para o Canal deInteratividade do Sistema Brasileiro de TV Digital: Arquitetura e Implementação, 2006(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

21. SANTOS, A. L. M., LINS, R. D., CAMPOS, M.Participação em banca de Edmo Sergio Ribeiro Bezerra. Uma Calculadora Intervalar em Java, 2006(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

22. SANTOS, A. L. M., BORBA, P. H. M., LIMA, R. M. F.Participação em banca de Carlos Andreazza Rego Andrade. AspectH: Uma Extensão Orientada aAspectos de Haskell, 2005(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

23. SANTOS, A. L. M., LIMA, R. M. F., MELO, S. B.Participação em banca de Eric Bruno Perazzo Mariz. Avaliação Experimental de Detecção de Colisãopara Jogos J2ME, 2005(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

24. SANTOS, A. L. M.Participação em banca de Márcio Rodrigo de Oliveira. Estudo e Implementação da Otimização dePreload de Dados usando a arquitetura Xscale, 2005(Ciência da Computação) Universidade Estadual de CampinasReferências adicionais : Brasil/Português. Orientador: Guido de Souza Araújo

25. RAMALHO, G., SANTOS, A. L. M., SAUVE, J. P.Participação em banca de Wabber Miranda de Arruda Filho. GEF - Game Editor Framework UmFramework para Editores de Níveis para Jogos Móveis, 2005(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

26. SANTOS, A. L. M., SILVA, F. Q. B., LIMA, R. M. F.Participação em banca de Cleiton Soares Martins. PIPS - Proactive Intrusion Prevention System,2005(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

27. SANTOS, A. L. M., MOURA, H. P., LIMA, R. M. F.Participação em banca de Bruno Loureiro de Abreu. Uma Linguagem para Modelagem de ProcessosBaseada em Semântica de Ações, 2005(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

28. SANTOS, A. L. M., LIMA, R. M. F., Augusto SampaioParticipação em banca de Antonio Augusto Rodrigues de Albuquerque. Design de uma LinguagemMultiparadigmas Modular para o Ensino de Conceitos de Programacao, 2004(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

29. SANTOS, A. L. M., BORBA, P. H. M., ENDLER, M.Participação em banca de Ayla Débora Dantas Spuza. Estruturando Aplicações Adaptativas usandoAspectJ, 2004(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Inglês.

30. SANTOS, A. L. M., LIMA, R. M. F., BORBA, P. H. M.Participação em banca de Tarcisio Pinto Câmara. Otimizações de Bytecode Java na PlataformaJ2ME, 2004(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

31. SANTOS, A. L. M., BARRETO, L. P., CAVALCANTE, S. V.Participação em banca de Paulo Abadie Guedes. Uma Metodologia para Analise de Fluxo deProgramas Java para Tempo Real, 2004(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

32. SANTOS, A. L. M., FERRAZ, C. A. G., ANDRADE, R. M. C.Participação em banca de Marco Antônio Costa Simões. Gerência de Sistemas na Web UtilizandoAgentes Móveis Inteligentes, 2003(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

33. SANTOS, A. L. M., SAGOT, M., GUIMARAES, K. S.Participação em banca de Paulo Gustavo Soares da Fonseca. Índices Completos para Casamento dePadrões e Inferência, 2003(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

34. SANTOS, A. L. M., ROBIN, J., MENEZES, L. C. S.Participação em banca de Erivan Alves de Andrade. Indução de Programas Lógicos Orientados aObjetos, 2003(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

35. BORBA, P. H. M., FERNANDES, J. H. C., SANTOS, A. L. M.Participação em banca de Thiago L.V.L. Santos. JPEL - Uma ferramenta para parametrização desoftwares, 2003(Ciências da Computação) Universidade Federal de Pernambuco
















Referências adicionais : Brasil/Português.

36. SANTOS, A. L. M., FERNANDES, J. H. C., MOURA, H. P.Participação em banca de Victor Travassos Sarinho. Uma Biblioteca de Componentes Semânticospara Especificação de Linguagens de Programação, 2003(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

37. SANTOS, A. L. M., GEUS, P. L., SILVA, F. Q. B.Participação em banca de Ana Maria Gomes do Valle. Análise Crítica e Comparativa de Taxonomiasde Sistemas de Detecção de Intrusão, 2002(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

38. SANTOS, A. L. M., ACIOLY, B. M., BEDREGAL, B. R. C.Participação em banca de Stenio Longo Araujo. Construcoes Categoricas Intervalares em Haskell,2002(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

39. SANTOS, A. L. M., BORBA, P. H. M.Participação em banca de Gibeon Soares. Desenvolvimento de Sistemas Web em Java:Frameworks, Padrões de Projeto e Diretrizes para a Camada de Apresentação, 2002(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

40. SANTOS, A. L. M., SILVA, F. Q. B., SOUZA, J. N.Participação em banca de Rodrigo Elia Assad. Gerenciamento de Políticas de Segurança para Redesde Computadores, Baseado em Ferramentas de Auditoria de Sistemas, 2002(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

41. SANTOS, A. L. M., SILVA, F. Q. B., SOUZA, J. N.Participação em banca de Ioram Schechtman Sette. Gerenciamento de Sites Multi-Homed, 2002(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

42. SANTOS, A. L. M., FERRAZ, C. A. G., BATISTA, T. V.Participação em banca de Juliana R B D Barros. Integração de Aspectos de Tempo Real em UmaAplicação Distribuída Legada, 2002(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

43. SANTOS, A. L. M., SILVA, D. M., BORBA, P. H. M.Participação em banca de Sérgio Castelo Branco Soares. Desenvolvimento Progressivo de ProgramasConcorrentes Orientados a Objetos, 2001(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

44. SANTOS, A. L. M., RAMALHO, G., BATTAIOLA, A. L.Participação em banca de Charles Andryê Galvão Madeira. FORGE V8: Um Framework para oDesenvolvimento de Jogos de Computador e Aplicações Multimidia, 2001(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

45. SANTOS, A. L. M., RAMALHO, G., BARROS, L. N.Participação em banca de Hendrik Teixeira Macedo. Mobilidade, Autonomia e Distribuição emAgentes para o Gerenciamento de Sistemas, 2001(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

46. SANTOS, A. L. M., MELCHER, E. U. K., BARROS, E. N. S.Participação em banca de Adriano Augusto de Moraes Sarmento. HardWWWired: Uma Plataformapara Projetos de Sistemas Digitais em VHDL na WEB, 2000(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

47. SANTOS, A. L. M., LINS, R. D.Participação em banca de Pedro de Alcântara dos Santos Neto. Segurança em Java, 1999(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

48. SANTOS, A. L. M., MEIRA, S. R. L., RIBEIRO FILHO, J. L.Participação em banca de Jin Jing Wen. Análise Comparativa de Algoritmos de Caching na WWW,1997(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

Doutorado

1. VASCONCELOS, A. M. L., MOURA, H. P., SANTOS, A. L. M., FORTES, R. P. M., Ricardo de Almeida FalboParticipação em banca de Alexandre Álvaro. A Software Component Quality Framework, 2009(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Inglês.

2. MEIRA, S. R. L., SANTOS, A. L. M., ROSA, N., Neves, A., BATISTA, T. V.Participação em banca de Fernando Antonio Mota Trinta. Definindo e Provendo Serviços de Suporteà Jogos Multiusuário e Multiplataforma: Rumo à Pervasividade, 2007(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

3. MEIRA, S. R. L., SANTOS, A. L. M., Garcia, A., Braga, R.V., SOARES, S. C. B.Participação em banca de Vander Ramos Alves. Implementing Software Product Line AdoptionStrategies, 2007(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

4. MOURA, H. P., SANTOS, A. L. M., Augusto Sampaio, Werner, C.L., Albuquerque, J.Participação em banca de Eduardo Santana de Almeida. RiDE: The RiSE Process for DomainEngineering, 2007(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Inglês.

5. SANTOS, A. L. M., BARROS, E. N. S., Paulo Maciel, AZEVEDO, R. J., MELCHER, E. U. K.Participação em banca de Abel Guilhermino da Silva Filho. Uma Metodologia para Estimativa deConsumo de Energia em Memória Cache, 2006(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.











6. SANTOS, A. L. M., Paulo Maciel, LIMA, M. E., Saraiva, I., AZEVEDO, R. J.Participação em banca de Pablo Viana da Silva. Uma Metodologia para Exploração do Espaço deProjeto de Hierarquias de Memória para Sistemas Embarcados, 2006(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

7. SANTOS, A. L. M., BORBA, P. H. M., MOURA, H. P., MOURA, A. V., HAUSLER, E.Participação em banca de Adolfo Almeida Duran. An Algebraic Approach to the Design of Compilersfor Object-Oriented Languages, 2005(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Inglês.

8. SANTOS, A. L. M., CAVALCANTE, S. V., MELCHER, E. U. K., LIMA, M. E., ARAUJO, G. C. S.Participação em banca de Cristiano Coelho de Araújo. Mapeamento de Comunicação em PlataformasMultiprocessador, 2005(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

9. SANTOS, A. L. M., BARROS, E. N. S., CAVALCANTE, S. V., AZEVEDO, R. J.Participação em banca de Cristiano Coêlho de Araújo. Communication Mapping on Platform BasedDesign, 2004(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

10. SANTOS, A. L. M., IERUSALIMSCHY, R., BIGONHA, R.Participação em banca de Cristiano Damiani Vasconcelos. Inferencia de Tipos com Suporte paraSobrecarga Baseada no Sistema CT, 2004(Ciências da Computação) Universidade Federal de Minas GeraisReferências adicionais : Brasil/Português.

11. SANTOS, A. L. M., BORBA, P. H. M., MOURA, H. P., MOURA, A. V., MACHADO, P. D.Participação em banca de Marcio Lopes Cornélio. Refactorings como Refinamentos Formais, 2004(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Inglês.

12. SANTOS, A. L. M., SILVA, F. Q. B.Participação em banca de Juliana Silva da Cunha. Gerenciamento de Recursos Utilizando Contratosde Níveis de Serviços: Um Enfoque Baseado na Definição e Implementação de PolíticasConsistentes, 2002(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

13. SANTOS, A. L. M., ROBIN, J., BORBA, P. H. M., BITTENCOURT, G., MUSICANTE, M. A.Participação em banca de Luis Carlos de Sousa Menezes. Uma descricao formal do paradigma deprogramacao orientado a agentes utilizando semantica de acoes, 2002(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

14. SANTOS, A. L. M., FERRAZ, C. A. G., CASTRO, J. F. B., JUSTO, G. R. R., MACEDO, R. J. A.Participação em banca de Nelson Souto Rosa. Foetus - An Architecture-Based Approach forTreating Non-Functional Properties of Dynamic Distributed Systems, 2001(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Inglês.

15. SANTOS, A. L. M., CUNHA, P. R. F., MOURA, H. P., BIGONHA, R., FERNANDES, E. S. T.Participação em banca de Ricardo Massa Ferreira Lima. Haskell#: Uma Linguagem FuncionalParalela - Implementação, Ambiente de Programação, Simulação e Análise de Propriedades,2000(Ciências da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

Graduação

1. BORBA, P. H. M., SANTOS, AParticipação em banca de Felype Santiago Ferreira. Implementação e Análise de uma Linha deProdutos de Software, 2009(Ciencia da Computacao) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

2. CAVALCANTE, S. V., SANTOS, A. L. M.Participação em banca de Gustavo André Fernandes Braga de Melo. Algorítmos Híbridos deEscalonamento, 2008(Engenharia da Computação) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

3. FERRAZ, C. A. G., SANTOS, A. L. M.Participação em banca de Djaci Alves de Araujo Filho. TVDesigner: Uma Ferramenta para Criação deAplicações MHP Interativas para TV Digital, 2008(Ciencia da Computacao) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

4. SANTOS, A. L. M., CAVALCANTE, S. V.Participação em banca de Gilberto Alves da Silva Junior. Criação de Sistemas em Tempo Real emAmbientes Virtualizados, 2005(Ciencia da Computacao) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

5. SANTOS, A. L. M., SILVA, F. Q. B.Participação em banca de Denise Amélia Mateus Narciso. Guia Prático para Implantação doGerenciamento de Projetos de Software em Empresas de Diferentes Níveis de Maturidade,2005(Ciencia da Computacao) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

6. SANTOS, A. L. M., BORBA, P. H. M.Participação em banca de Heitor Vital do Carmo. Técnicas para Construção de Linha de Produtos deJogos Móveis, 2005(Ciencia da Computacao) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

7. SANTOS, A. L. M., VASCONCELOS, A. M. L.Participação em banca de Ivan Cordeiro Cardim. Um estudo comparativo entre o MicrosoftSolutions Framework For Agile Development e eXtreme Programming, 2005(Ciencia da Computacao) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

8. SANTOS, A. L. M., CAVALCANTE, S. V.Participação em banca de Victor Wanderley Costa de Medeiros. Estudo de Políticas de Escalonamentopara Sistemas Críticos Sobre Windows CE, 2004










(Ciencia da Computacao) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

9. SANTOS, A. L. M., BORBA, P. H. M.Participação em banca de Alexandra Barreto Assad de Barros. Tipos para uma Linguagem deTransformação, 2004(Ciencia da Computacao) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

10. SANTOS, A. L. M., VASCONCELOS, A. M. L.Participação em banca de Marcílio José Albuquerque Gomes Filho. Um processo de Avaliação daPortabilidade de Unidades de Software, 2004(Ciencia da Computacao) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

11. SANTOS, A. L. M., MOURA, H. P.Participação em banca de Suzana Mesquita de Borba Maranhão. Análise Comparativa entre PRO.NETe CMM Nível 2, 2003(Ciencia da Computacao) Universidade Federal de PernambucoÁreas do conhecimento : Metodologia e Técnicas da Computação,Engenharia de SoftwareReferências adicionais : Brasil/Português.

12. SANTOS, A. L. M., FERRAZ, C. A. G.Participação em banca de Edmo Sérgio Ribeiro Bezerra. Estudo comparativo entre middlewares(MHP e DASE) para TV Digital, 2003(Ciencia da Computacao) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

13. SANTOS, A. L. M., BORBA, P. H. M.Participação em banca de Gustavo Alexandre dos Santos. Geração Automática de Código a Partir deCasos de Uso, 2003(Ciencia da Computacao) Universidade Federal de PernambucoÁreas do conhecimento : Metodologia e Técnicas da Computação,Engenharia de SoftwareReferências adicionais : Brasil/Português. . Home page: http://www.cin.ufpe.br/~tg/2003-1/gas.zip

14. SANTOS, A. L. M.Participação em banca de Andre Wilson Brotto Furtado. VHS-AM Extensão do Visual Studio .NETpara a Integração de Haskell com a Ferramenta Assignment Manager, 2003(Ciencia da Computacao) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

15. SANTOS, A. L. M., RAMALHO, G.Participação em banca de Wabber Miranda de Arruda Filho. Levantando Requisitos e Fazendo umEsboço de Framework para Editores de Jogos Desenvolvidos com J2ME, 2002(Ciencia da Computacao) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

16. SANTOS, A. L. M., CAVALCANTE, S. V.Participação em banca de Jorge Cavalcanti Barbosa Fonseca. Portando a KVM, 2002(Ciencia da Computacao) Universidade Federal de PernambucoÁreas do conhecimento : Sistemas de Computação,Software BásicoReferências adicionais : Brasil/Português. . Home page: http://www.cin.ufpe.br/~tg/2002-1/jcbf.doc

17. SANTOS, A. L. M., RAMALHO, G.Participação em banca de Börje Felipe Fernandes Karlsson. Otimização e Extensão do wGEM - UmFramework de Desenvolvimento de Jogos para Dispositivos Móveis, 2001(Ciencia da Computacao) Universidade Federal de PernambucoPalavras-chave: JogosÁreas do conhecimento : Metodologia e Técnicas da Computação,Engenharia de SoftwareReferências adicionais : Brasil/Português. . Home page: http://www.cin.ufpe.br/~tg/2001-2/bffk.pdf

18. SANTOS, A. L. M., BORBA, P. H. M.Participação em banca de Gibeon Soares de Aquino Júnior. Investigação e Comparação de Soluçõespara Desenvolvimento na Web em Java, 2000(Ciencia da Computacao) Universidade Federal de PernambucoÁreas do conhecimento : Metodologia e Técnicas da Computação,Engenharia de SoftwareReferências adicionais : Brasil/Português. . Home page: http://www.cin.ufpe.br/~tg/2000-1/gsaj.zip

19. SANTOS, A. L. M.Participação em banca de Aldênio de Vilaça Burgos. KernelCIn - Um Sistema Operacional de TempoReal, 2000(Ciencia da Computacao) Universidade Federal de PernambucoReferências adicionais : Brasil/Português.

20. SANTOS, A. L. M., BORBA, P. H. M.Participação em banca de Eduardo Henrique da Silva Aranha. Projeto e Implementação de UmaLinguagem para Processamento de Grafos, 1999(Ciencia da Computacao) Universidade Federal de PernambucoÁreas do conhecimento : Teoria da Computação,Metodologia e Técnicas da ComputaçãoReferências adicionais : Brasil/Português. . Home page: http://www.di.ufpe.br/~tg/1999-2/ehsa.ps.gz

Totais de produção

Produção bibliográfica

Artigos completos publicados em periódico 10

Capítulos de livros publicados 1

Revistas (Magazines) 1

Trabalhos publicados em anais de eventos 59

Demais produções bibliográficas 2

Produção técnica

Trabalhos técnicos (consultoria) 2

Editoração (anais) 1

Orientações

Orientação concluída (dissertação de mestrado - orientador principal) 14









Orientação concluída (dissertação de mestrado - co-orientador) 1

Orientação concluída (trabalho de conclusão de curso de graduação) 24

Orientação em andamento (tese de doutorado - orientador principal) 2

Eventos

Participações em eventos (simpósio) 1

Participação em banca de trabalhos de conclusão (mestrado) 48

Participação em banca de trabalhos de conclusão (doutorado) 15

Participação em banca de trabalhos de conclusão (graduação) 20

Página gerada pelo sistema Currículo Lattes em 22/04/2013 às 11:13:38.

Andre Luís de Medeiros Santos - cin.ufpe.brimprensa/CurrículoLattesAndreSantos.pdf · Filiação...

Documents

Transcript of Andre Luís de Medeiros Santos - cin.ufpe.brimprensa/CurrículoLattesAndreSantos.pdf · Filiação...