Currículo Lattes
22/04/13 11:15
Imprimir
currículo
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
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. Tem
experiência na área de Ciência da Computação, com ênfase em Liinguagens de programação e engenharia de software, atuando principalmente nos seguintes temas
programaçã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 UFPE
desde 2011.
(Texto informado pelo autor)
Dados pessoais
Nome Andre Luís de Medeiros Santos
Nome em citações SANTOS, A. L. M.;SANTOS, A;Santos, André L.M.;Santos, Andre L.M.;SANTOS, ANDRE
bibliográficas
Sexo
Masculino
Cor ou Raça Não desejo declarar
Filiação
Nascimento
Idelson Magalhães dos Santos e Lygia de Medeiros Santos
26/07/1968 - Recife/PE - Brasil
Carteira de 3054148 SSP - PE - 21/09/1984
Identidade
CPF 622.856.614-87
Endereço residencial
Rua Irma Maria David 154 apto 3202
Casa Forte - Recife
52061-070, PE - Brasil
Telefone: 081 32692526
URL da home page: http://www.cin.ufpe.br/~alms
Endereço profissional Universidade Federal de Pernambuco, Centro de Informática
Av. Prof. Luis Freire s/n
Cidade Universitaria - Recife
50732-970, PE - Brasil
Telefone: 081 21268430
URL da home page: http://www.cin.ufpe.br/~alms
Endereço eletrônico
E-mail para contato : [email protected]
e-mail alternativo : [email protected]
Formação acadêmica/titulação
1991 - 1995 Doutorado em Computing Science.
University of Glasgow, GLASGOW, Glasgow, Escócia
Título: Compilation by Transformation in Non-Strict Functional Languages, Ano de obtenção: 1995
Orientador: Simon L Peyton-Jones
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Palavras-chave: Program Transformation, Compilers, Functional Languages
Áreas do conhecimento : Ciência da Computação
Setores de atividade : Informática
1990 - 1991 Mestrado em Informática.
Universidade Federal de Pernambuco, UFPE, Recife, Brasil
Título: O FRONT-END DO COMPILADOR DA LINGUAGEM FUNCIONAL A., Ano de obtenção: 1991
Orientador: SILVIO ROMERO DE LEMOS MEIRA
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico
Palavras-chave: Compiladores, Linguagens Funcionais, Transformacao de Programas
Áreas do conhecimento : Engenharia de Software
Setores 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
https://wwws.cnpq.br/cvlattesweb/pkg_impcv.trata
Page 1 of 17
Currículo Lattes
22/04/13 11:15
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 no
Departamento 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
Cargos ocupados:
Chefe de Departamento
04/2005 - Atual Pesquisa e Desenvolvimento, Centro de Informática
Linhas de pesquisa:
Desenvolvimento de Soluções para Dispositivos Móveis
03/2004 - Atual Pesquisa e Desenvolvimento, Centro de Informática
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
Cargos ocupados:
Chefe de Departamento
02/2002 - 02/2004 Direção e Administração, Centro de Informática, Departamento de Sistemas de Computação
Cargos ocupados:
Chefe de Departamento
02/2000 - Atual Ensino de Graduação, Ciencia da Computacao, , Centro de Ciências Exatas e da Natureza, Departamento
de Informática
Disciplinas ministradas:
Concorrencia , Compiladores , Engenharia de Software , Linguagem de Programacao 2 , Programação
Funcional , Teoria e Implementacao de Linguagens Computacionais
02/2000 - 01/2002 Direção e Administração, Centro de Informática, Departamento de Sistemas de Computação
Cargos ocupados:
Chefe de Departamento
09/1995 - Atual Pesquisa e Desenvolvimento, Centro de Informática
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 desenvolvimento
de software para dispositivos móveis, em particular telefones celulares.
Setores de atividade : Atividades dos serviços de tecnologia da informação, Fabricação de equipamentos
de 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
https://wwws.cnpq.br/cvlattesweb/pkg_impcv.trata
Page 2 of 17
Currículo Lattes
22/04/13 11:15
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 de
aplicações para dispositivos móveis.
Situação: Em andamento Natureza: Projetos de pesquisa
Integrantes: Andre Luís de Medeiros Santos (Responsável);
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico-CNPq
Nú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 para
linhas de produtos, visando a adoção do uso de linguagens de domínio específico para aumento de
produtividade de desenvolvimento.
Situação: Em andamento Natureza: Projetos de pesquisa
Alunos 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 GSM
e CDMA. Desenvolver pesquisa de soluções inovadoras para aplicações móveis utilizando plataformas
multi-rádio, que incorporem convergência digital e ubiquidade. Projetar, implantar e operar um centro de
testes para telefones celulares de tecnologia GSM.
Situação: Em andamento Natureza: Projetos de pesquisa
Alunos envolvidos: Mestrado profissionalizante (2);
Integrantes: Andre Luís de Medeiros Santos (Responsável); F. Q. B. SILVA; Clauirton Siebra
Financiador(es): Samsung Instituto de Desenvolvimento de Informática-SIDI
Nú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 pesquisa
Alunos 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-FACEPE
Nú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 outros
mecanismos.
Situação: Em andamento Natureza: Projetos de pesquisa
Alunos envolvidos: Graduação (2); Mestrado acadêmico (1);
Integrantes: Andre Luís de Medeiros Santos (Responsável); Monique Monteiro; Mauro Araujo; Rafael
Borges
Financiador(es): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco-FACEPE, Conselho
Nacional de Desenvolvimento Científico e Tecnológico-CNPq
Nú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 pesquisa
Alunos 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 pesquisa
Alunos 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 Santana
Improving 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 Santana
de Almeida, Federal University of Bahia DOI Bookmark:
https://wwws.cnpq.br/cvlattesweb/pkg_impcv.trata
Page 3 of 17
Currículo Lattes
22/04/13 11:15
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 Farias
Six years of systematic literature reviews in software engineering: An updated tertiary study. Information
and 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ção
Setores 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ção
Setores de atividade : Informática
Referências adicionais : Inglês. Meio de divulgação: Impresso. Home page: [doi:10.1016/s01676423(97)00029-4]
8.
SANTOS, A. L. M.
Efficient Compilation of Functional Languages by Program Transformation. Electronic Notes in Theoretical
Computer Science. , v.14, p.287 - 300, 1998.
Palavras-chave: Compilation, Functional Languages, Program Transformation
Áreas do conhecimento : Ciência da Computação
Setores de atividade : Informática
Referê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 Teorica
e Aplicada. , v.4, p.49 - 60, 1997.
Palavras-chave: Application Monitoring, System Administration
Áreas do conhecimento : Engenharia de Software
Setores de atividade : Informática
Referê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, A
Towards a Roadmap for Effective Handsets Network Test Automation In: Frontiers in Robotics, Automation
and Control ed.Vienna : InTech Education and Publishing, 2008
Referê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 People
In: The Fifth International Conference on eHealth, Telemedicine, and Social Medicine, 2013, Nice.
Proceedings of the Fifth International Conference on eHealth, Telemedicine, and Social
Medicine. , 2013.
Áreas do conhecimento : Linguagens de Programação
Referê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 Brasileiro
de 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-Specific
Modeling (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ção
Referê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 IEEE
International 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.
https://wwws.cnpq.br/cvlattesweb/pkg_impcv.trata
Page 4 of 17
Currículo Lattes
22/04/13 11:15
SANTOS, A. L. M.
Managing Technical Debt in Practice: An Industrial Report In: 6th International Symposium on Empirical
Software Engineering and Measurement, 2012, Lund.
Proceedings of the 6th International Symposium on Empirical Software Engineering and
Measurement. , 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,
ANDRE
The software perspective for energy-efficient mobile applications development In: the 10th International
Conference, 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 Costa
An Investigation on Methodologies for Energy Management in Mobile Devices In: International Workshop
on 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ção
Referê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 on
Wireless 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 on
Communications (LATINCOM), 2010, Bogota.
Proceedings of the 2010 IEEE Latin-American Conference on Communications (LATINCOM).
IEEE, 2010. p.1 - 6
Referê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: 2010
IEEE 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 - 6
Referê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 Software
Referê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 International
Symposium on Intelligent Control, 2009, Saint Petersburg.
Proceedings of the 24th IEEE International Symposium on Intelligent Control. IEEE, 2009.
p.671 - 676
Referê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, A
Software Demonstration: A lightweight DBMS solution for mobile devices In: IEEE International
Conference on Communications Technology and Applications, 2009, Beijing.
Proceedings of the IEEE International Conference on Communications Technology and
Applications. IEEE, 2009. p.946 - 951
Referê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ósio
Brasileiro 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 International
Information and Telecommunication Technologies Symposium, 2008, Foz do Iguaçu.
Proceedings of the VII International Information and Telecommunication Technologies
Symposium. , 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 International
Conference on Management of Innovation and Technology, 2008, Bangkok.
Proceedings of the 4th IEEE International Conference on Management of Innovation and
Technology. , 2008. p.1292 - 1297
Referê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 on
Software Engineering, 2008, Leipzig, Germany.
Proceedings of the 30th international conference on Software engineering. New York: ACM,
2008. p.733 - 740
Referê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 IASTED
International Conference on Artificial Intelligence and Applications, 2007, Innsbruck, Áustria.
Proceedings of the 2007 IASTED International Conference on Artificial Intelligence and
Applications. Calgary, Canada: ACTA Press, 2007. p.255 - 260
https://wwws.cnpq.br/cvlattesweb/pkg_impcv.trata
Page 5 of 17
Currículo Lattes
22/04/13 11:15
Applications. Calgary, Canada: ACTA Press, 2007. p.255 - 260
Referê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 Programming
In: 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 - 372
Referê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 .NET
Platform 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ção
Setores de atividade : Informática, Produtos e Serviços Recreativos, Culturais, Artísticos e Desportivos
Referê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 Software
Engineering 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 OOPSLA
Workshop on Domain-Specific Modeling (DSM06), 2006, Portland.
6th OOPSLA Workshop on Domain-Specific Modeling (DSM06). Jyvaskyla, Finland: Jyvaskyla
University Printing House, 2006. p.1 - 14
Áreas do conhecimento : Ciência da Computação,Linguagens de Programação
Setores de atividade : Informática, Produtos e Serviços Recreativos, Culturais, Artísticos e Desportivos
Referências adicionais : Estados Unidos/Inglês. Meio de divulgação: Impresso
ISBN 951-39-2631-1 ISSN 1239-291X University of Jyvaskyla, Department of Computer Science and
Information Systems, Department of Computer Science and Information Systems Reports, Technical
Report 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 de
Programaçã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 Jogos
para 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 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
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ão
José 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 Applied
Computing, 2004, Nicosia.
Proceedings of the 2004 ACM Symposium on Applied Computing. New York, NY, USA: ACM
Press, 2004. v.I. p.1482 - 1489
Referê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 Oriented
Programming, 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 e
Entretenimento Digital, 2004, Curitiba.
III Workshop de Jogos e Entretenimento Digital. , 2004. p.76 - 81
Referê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 de
Redes de Computadores, 2004, Gramado.
SBRC 2004 22 Simposio Brasileiro de Redes de Computadores. SBC, 2004. v.I. p.235 - 248
Referê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: 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ção,Engenharia de Software
Referê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 entre
Educadores 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ção
Referê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
https://wwws.cnpq.br/cvlattesweb/pkg_impcv.trata
Page 6 of 17
Currículo Lattes
22/04/13 11:15
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ção
Referê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 Software
Setores de atividade : Informática
Referê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ósio
Seguranç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ção
Referências adicionais : Brasil/Português. Meio de divulgação: Impresso
39.
SANTOS, A. L. M., Bruno Abdon Monteiro
A 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 - C123
Palavras-chave: Haskell, Programacao Funcional, Linguagens Funcionais
Áreas do conhecimento : Ciência da Computação,Linguagens de Programação
Setores de atividade : Informática
Referências adicionais : Brasil/Inglês. Meio de divulgação: Impresso
SANTOS, A. L. M.
40. Embedding A Firewall Programming Language Into Haskell In: III Simposio Brasileiro de Linguagens de
Programacao, 1999, Porto Alegre.
III Simposio Brasileiro de Linguagens de Programacao. Porto Alegre - RS: , 1999. p.201 - 205
Palavras-chave: Domain Specific Languages, Functional Programming
Áreas do conhecimento : Linguagens de Programação
Setores de atividade : Informática
Referê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 Functional
Programming, 1998, Braga.
Workshop on Research Themes on Functional Programming. Braga, Portugal: , 1998.
Palavras-chave: Haskell, Interval Arithmetic
Áreas do conhecimento : Ciência da Computação
Setores de atividade : Informática
Referê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 SIMPOSIO
BRASILEIRO DE LINGUAGENS DE PROGRAMACAO (SBLP), 1996
I SIMPOSIO BRASILEIRO DE LINGUAGENS DE PROGRAMACAO (SBLP). BELO HORIZONTE MG: , 1996. p.181 - 193
Palavras-chave: Compiladores, Linguagens Funcionais, Transformacao de Programas
Áreas do conhecimento : Linguagens de Programação
Setores de atividade : Informática
Referências adicionais : Brasil/Português. Meio de divulgação: Impresso
43.
SANTOS, A. L. M., WILLIAM PARTAIN, ANDRE SANTOS SIMON PEYTON JONES
Let-Floating: Moving Bindings To Give Faster Programs In: ACM INTERNATIONAL CONFERENCE ON
FUNCTIONAL PROGRAMMING (ICFP), 1996, Philadelphia.
ACM INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING (ICFP). FILADELFIA EUA: ACM, 1996. p.1 - 12
Palavras-chave: Compilers, Functional Languages
Áreas do conhecimento : Linguagens de Programação
Setores de atividade : Informática
Referências adicionais : Estados Unidos/Inglês.
44.
SANTOS, A. L. M., RICARDO LIMA, RAFAEL LINS, ANDRE SANTOS GENESIO CRUZ NETO
Novas Tecnicas de Otimizacao de Codigo Em T-Cmc In: I SIMPOSIO BRASILEIRO DE LINGUAGENS DE
PROGRAMACAO (SBLP)
I SIMPOSIO BRASILEIRO DE LINGUAGENS DE PROGRAMACAO (SBLP). BELO HORIZONTE MG: , 1996. p.169 - 180
Palavras-chave: Compiladores, Programacao Funcional
Áreas do conhecimento : Linguagens de Programação,Linguagens de Programação
Setores de atividade : Informática
Referências adicionais : Brasil/Português.
45.
SANTOS, A. L. M., RICARDO LIMA, RAFAEL LINS, ANDRE SANTOS GENSIO CRUZ NETO
Optimising Pseudoknot In T-Cmc In: EUROMICRO 96 - EUROPEAN SIMPOSIUM ON MICROPROCESSING
AND MICROPROGRAMMING
EUROMICRO 96 - EUROPEAN SIMPOSIUM ON MICROPROCESSING AND
MICROPROGRAMMING. PRAGA - REPUBLICA TCHECA: , 1996. p.120 - 126
Palavras-chave: Compilers, Functional Languages
Áreas do conhecimento : Linguagens de Programação,Linguagens de Programação
Setores de atividade : Informática
Referê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 ON
FUNCTIONAL PROGRAMMING SPRINGER VERLAG
GLASGOW WORKSHOP ON FUNCTIONAL PROGRAMMING SPRINGER VERLAG. ULLAPOOL ESCOCIA: , 1994. p.184 - 204
Palavras-chave: Compilers, Functional Languages, Program Transformations
Áreas do conhecimento : Linguagens de Programação,Linguagens de Programação
Setores de atividade : Informática
Referê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 FUNCTIONAL
PROGRAMMING SPRINGER VERLAG
GLASGOW WORKSHOP ON FUNCTIONAL PROGRAMMING SPRINGER VERLAG. AYR - ESCOCIA:
, 1992. p.240 - 251
Palavras-chave: Compilers, Functional Languages, Program Transformation
Áreas do conhecimento : Linguagens de Programação,Linguagens de Programação
https://wwws.cnpq.br/cvlattesweb/pkg_impcv.trata
Page 7 of 17
Currículo Lattes
22/04/13 11:15
Setores de atividade : Informática
Referências adicionais : Brasil/Inglês.
48.
SANTOS, A. L. M., SILVIO MEIRA, ANDRE SANTOS PAULO BORBA
Prototyping Action Semantics Using Functional Languages In: XVIII CONFERENCIA LATINO AMERICANA
DE INFORMATICA (CLEI)
XVIII CONFERENCIA LATINO AMERICANA DE INFORMATICA (CLEI). LAS PALMAS, CANARIAS ESPANHA: , 1992. p.176 - 183
Palavras-chave: Action Semantics, Functional Languages
Áreas do conhecimento : Linguagens de Programação,Linguagens de Programação
Setores de atividade : Informática
Referências adicionais : Brasil/Inglês.
49.
SANTOS, A. L. M., MARTIN MUSICANTE, ANDRE SANTOS SILVIO MEIRA
O Projeto e Implementacao da Linguagem A In: V SIMPOSIO BRASILEIRO DE ENGEMHARIA DE
SOFTWARE (SBES)
V SIMPOSIO BRASILEIRO DE ENGEMHARIA DE SOFTWARE (SBES). SANTOS - SP: , 1991. p.237
- 256
Palavras-chave: Compiladores, Linguagens Funcionais
Áreas do conhecimento : Linguagens de Programação,Linguagens de Programação
Setores de atividade : Informática
Referências adicionais : Brasil/Português.
50.
SANTOS, A. L. M., PAULO BORBA, ANDRE SANTOS DAVID CARRAHER
Acesso A Um Banco de Dados Atraves de Linguagem Natural In: IV SIMPOSIO BRASILEIRO DE
INTELIGENCIA ARTIFICIAL (SBIA)
IV SIMPOSIO BRASILEIRO DE INTELIGENCIA ARTIFICIAL (SBIA). UBERLANDIA - MG: , 1987.
p.217 - 224
Palavras-chave: Banco de Dados, Linguagem Natural
Áreas do conhecimento : Banco de Dados,Banco de Dados
Setores de atividade : Informática
Referê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: ACM
Symposium on Applied Computing, 2013, Coimbra.
Proceedings of the 28th ACM Symposium on Applied Computing. , 2013.
Áreas do conhecimento : Linguagens de Programação
Referê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. Monteiro
A critical appraisal of systematic reviews in software engineering from the perspective of the research
questions asked in the reviews In: International Symposium on Empirical Software Engineering and
Measurement (ESEM), 2010, Bolzano-Bozen.
Proceedings of the 2010 ACM-IEEE International Symposium on Empirical Software
Engineering and Measurement. New York, NY, USA: ACM, 2010.
Palavras-chave: Systematic Reviews
Áreas do conhecimento : Engenharia de Software
Referê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 Performance
Monitoring and Measurement of Heterogeneous Wireless and Wired Networks, 2007, Chania, Crete Island,
Greece.
Proceedings of the Second ACM Workshop on Performance Monitoring and Measurement of
Heterogeneous Wireless and Wired Networks. ACM Press, 2007. p.92 - 95
Referê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 Games
and 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 Software
Referê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 Software
Referê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ção
Referê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ósio
Brasieliro 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 e
Entretenimento 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ção
Setores de atividade : Informática
Referê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 de
Jogos 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ção
Setores de atividade : Informática
Referências adicionais : Brasil/Inglês.
https://wwws.cnpq.br/cvlattesweb/pkg_impcv.trata
Page 8 of 17
Currículo Lattes
22/04/13 11:15
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ção
Setores de atividade : Informática
Referê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 Software
Setores de atividade : Atividades dos serviços de tecnologia da informação
Referê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.pdf
CHAMADA PÚBLICA FACEPE 04/2008 PAPPE - APOIO FINANCEIRO À PESQUISA, DESENVOLVIMENTO E
INOVAÇÃ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 e
Comunicação, 2007
Setores de atividade : Fabricação de equipamentos de informática, produtos eletrônicos e ópticos
Referê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 Bois
Anais 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.
2.
3.
4.
5.
6.
Marcelo Rodrigues Caetano da Silva. Construção de um Compilador Estático de Código CIL
Usando uma Abordagem Incremental. 2010. Dissertação (Pós-Graduação em Ciência da Computação)
- Centro de Informática
Referências adicionais : Brasil/Português.
MARCUS VINICIUS LIMA E MACHADO.
iCasual: uma abordagem de desenvolvimento de jogos
casuais na plataforma iPhone. 2010. Dissertação (Pós-Graduação em Ciência da Computação) - Centro
de Informática
Referências adicionais : Brasil/Português.
Allan Rodrigo dos Santos Araujo.
. 2009.
Play4Fun: Fábrica de Jogos Digitais Casuais
Dissertação (Ciências da Computação) - Universidade Federal de Pernambuco
Referências adicionais : Brasil/Português.
Guilherme Amaral Avelino.
Integração de Linguagens Funcionais à Plataforma .NET
Utilizando o Framework Phenix. 2008. Dissertação (Ciências da Computação) - Universidade Federal
de Pernambuco
Referências adicionais : Brasil/Português.
Avaliadores: Hermano, Ricardo Massa
Carlos Eduardo Monteiro Rodrigues.
vEye – Um sistema de auxílio à navegação para
deficientes visuais. 2008. Dissertação (Ciências da Computação) - Universidade Federal de Pernambuco
Referências adicionais : Brasil/Português.
co-orientador: Geber Ramalho
TIAGO GUEDES FERREIRA BARROS. CMF: um framework multi-plataforma para desenvolvimento
https://wwws.cnpq.br/cvlattesweb/pkg_impcv.trata
Page 9 of 17
Currículo Lattes
22/04/13 11:15
de aplicaçõoes para dispositivos móveis. 2007. Dissertação (Ciências da Computação) - Universidade
Federal de Pernambuco
Referências adicionais : Brasil/Português.
7.
8.
9.
10.
11.
12.
13.
14.
Monique Louise de Barros Monteiro.
. 2006. Dissertação
Integrando Haskell à Plataforma .NET
(Ciências da Computação) - Universidade Federal de Pernambuco
Referências adicionais : Brasil/Português.
Andre Wilson Brotto Furtado.
SharpLudus: Enriquecendo a Experiência no Desenvolvimento
de 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 Pernambuco
Referências adicionais : Brasil/Inglês.
CARLOS ANDREAZZA REGO ANDRADE. AspectH: Uma Extensão Orientada a Aspectos de Haskell.
2005. Dissertação (Ciências da Computação) - Universidade Federal de Pernambuco
Referências adicionais : Brasil/Português.
Cleiton Soares Martins.
. 2005. Dissertação
PIPS - Proactive Intrusion Prevention System
(Ciências da Computação) - Universidade Federal de Pernambuco
Referências adicionais : Brasil/Português.
Tarcisio Pinto Camara.
. 2004. Dissertação
Otimizações de Bytecode Java na Plataforma J2ME
(Ciências da Computação) - Universidade Federal de Pernambuco
Referências adicionais : Brasil/Português.
Marco Antonio Costa Simões.
Gerência de Sistemas Baseada na Web Utilizando Agentes
Móveis. 2003. Dissertação (Ciências da Computação) - Universidade Federal de Pernambuco
Palavras-chave: Gerência de Sistemas, Agentes Moveis Inteligentes, WBEM
Áreas do conhecimento : Sistemas de Computação
Setores de atividade : Informática
Referências adicionais : Brasil/Português.
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ção
Referências adicionais : Brasil/Português.
Ioram Schechtman Sette.
Administracao de sites nao autonomos com multiplos links a
internet. 2002. Dissertação (Ciências da Computação) - Universidade Federal de Pernambuco
Referê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 Pernambuco
Palavras-chave: Nis
Áreas do conhecimento : Ciência da Computação,Sistemas de Computação
Setores de atividade : Informática
Referê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 a
Implantação da Plataforma de Ensino à Distância ProLearning. 2009. Curso (Ciencia da
Computacao) - Universidade Federal de Pernambuco
Referências adicionais : Brasil/Português.
2.
Eduardo Wagner M. de Almeida. Commander Assembler: Uma Fábrica de Jogos de RPG Táticos
Utilizando Linguagens de Domínio Específico. 2008. Curso (Ciência da Computação) - Centro de
Informática
Referê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 Pernambuco
Referências adicionais : Brasil/Português.
4.
João Gabriel Queiroz Lins Martins. HUDLanguage: Uma Domain-Specific Language para Geração
de Heads-up Display em Jogos Arcade 2D. 2008. Curso (Ciencia da Computacao) - Universidade
Federal de Pernambuco
Referê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 Pernambuco
Referências adicionais : Brasil/Português.
6.
Laís de Mendonça Neves. Validação e Adaptação do FlatRedBall Game Engine para Fábricas de
Jogos Arcade 2D. 2008. Curso (Ciência da Computação) - Universidade Federal de Pernambuco
Referências adicionais : Brasil/Português.
7.
Eduardo Mazza Batista. Autenticação de usuários em redes Windows utilizando certificados
digitais da ICP-Brasil. 2005. Curso (Ciencia da Computacao) - Universidade Federal de Pernambuco
Referê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 Pernambuco
Referências adicionais : Brasil/Português.
9.
Marcelo Simões de Vasconcelos. Desenvolvimento de Domain-Specific Languages utilizando a
plataforma .NET. 2005. Curso (Ciencia da Computacao) - Universidade Federal de Pernambuco
Referê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 Pernambuco
Referências adicionais : Brasil/Português.
https://wwws.cnpq.br/cvlattesweb/pkg_impcv.trata
Page 10 of 17
Currículo Lattes
22/04/13 11:15
11.
Bruno Costa Bourbon. Um Framework para desenvolvimento de aplicativos em Windows
Mobile. 2005. Curso (Ciencia da Computacao) - Universidade Federal de Pernambuco
Referências adicionais : Brasil/Português.
12.
Marden Menezes Costa. XIX - Ferramenta para Geração de Interface Gráfica XAML para
Windows Presentation Foundation. 2005. Curso (Ciencia da Computacao) - Universidade Federal de
Pernambuco
Referências adicionais : Brasil/Português.
13.
Daniel Menezes Cardoso. Estimulando o Reuso na Plataforma .NET: Uma Ferramenta para Busca
Ativa de Código em Repositórios de Componentes. 2004. Curso (Ciencia da Computacao) Universidade Federal de Pernambuco
Referê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 Software
Referê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 Plataforma
BREW. 2003. Curso (Ciencia da Computacao) - Universidade Federal de Pernambuco
Áreas do conhecimento : Metodologia e Técnicas da Computação,Engenharia de Software
Referê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 de
desenvolvimento para dispositivos móveis. 2003. Curso (Ciencia da Computacao) - Universidade
Federal de Pernambuco
Áreas do conhecimento : Metodologia e Técnicas da Computação,Engenharia de Software
Referê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 Pernambuco
Palavras-chave: Segurança de Sistemas
Áreas do conhecimento : Sistemas de Computação,Metodologia e Técnicas da Computação,Engenharia de
Software
Referê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 da
Computacao) - Universidade Federal de Pernambuco
Palavras-chave: Jogos
Áreas do conhecimento : Metodologia e Técnicas da Computação,Engenharia de Software
Referê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 de
Haskell com a ferramenta Assignment Manager. 2003. Curso (Ciencia da Computacao) Universidade Federal de Pernambuco
Referências adicionais : Brasil/Português. . Home page: http://www.cin.ufpe.br/~awbf/download/awbftg.pdf
20.
Júlio César dos Santos Lins. Arquitetura em camadas e mcanismos arquiteturaisna plataforma
Microsoft .Net. 2002. Curso (Ciencia da Computacao) - Universidade Federal de Pernambuco
Áreas do conhecimento : Metodologia e Técnicas da Computação,Engenharia de Software
Referências adicionais : Brasil/Português.
21.
Adeline de Souza Silva. C#TS, Uma Extensão de JATS para a Linguagem C#. 2002. Curso (Ciencia
da Computacao) - Universidade Federal de Pernambuco
Palavras-chave: Linguagens de Programação
Áreas do conhecimento : Metodologia e Técnicas da Computação,Linguagens de Programação
Referê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 Diferentes
Plataformas. 2002. Curso (Ciencia da Computacao) - Universidade Federal de Pernambuco
Referê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 Software
Referê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 em
Redes TCP/IP. 2001. Curso (Ciencia da Computacao) - Universidade Federal de Pernambuco
Palavras-chave: Segurança de Sistemas, Detecção de Intrusão
Áreas do conhecimento : Sistemas de Computação
Referê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.
2.
Nancy de Lyra Lino. Uso de Domain Specific Languages para o Aumento de Produtividade no
Desenvolvimento de Software. 2011. Tese (Pós-Graduação em Ciência da Computação) - Centro de
Informática
Referências adicionais : Brasil/Português.
Andre Wilson Brotto Furtado. Software Proceses in the Context of Domain Specific Languages.
2007. Tese (Ciências da Computação) - Universidade Federal de Pernambuco
Referências adicionais : Brasil/Inglês.
Eventos
Eventos
Participação em eventos
1.
.
XIII Simposio Brasileiro de Linguagens de Programacao, 2009. (Simpósio)
https://wwws.cnpq.br/cvlattesweb/pkg_impcv.trata
Page 11 of 17
Currículo Lattes
22/04/13 11:15
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 Manage
Evolution in Software Product Lines, 2009
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 o
Controle de Testes de Dispositivos Móveis, 2009
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 for
Implementing Software Product Lines Variabilities, 2008
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 Software
Product Lines - Towards a Practical Approach for the Mobile Game Domain, 2008
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 Pernambuco
Referê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 Tempo
Real, 2007
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 para
Desenvolvimento de Aplicações para Dispositivos Móveis, 2007
(Ciências da Computação) Universidade Federal de Pernambuco
Referências adicionais : Brasil/Português.
8.
SANTOS, A. L. M., MEIRA, S. R. L., Eduardo Almeida
Participação em banca de Kellyton dos Santos Brito. LIFT: A Legacy InFormation retrieval Tool, 2007
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 de
Configuração Baseado no Nível 2 do CMMI Estagiado para Fábricas de Software Orientadas a
Produto, 2007
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 Development
Metrics-based Integrated Reuse Environment, 2006
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 de
Desempenho de Toolkits Web Services, 2006
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 E
IMPLEMENTAÇÃO DE UM REPOSITÓRIO DE REUSO, 2006
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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: Uma
Abordagem de Programação Gerativa, 2006
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 Pernambuco
Referê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 Linhas
de Produtos de Software através de Parametrização e Uso de Aspectos, 2006
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 no
Desenvolvimento de Jogos Através de Linguagens de Domínio Específico e Fábricas de
Software, 2006
(Ciências da Computação) Universidade Federal de Pernambuco
Referências adicionais : Brasil/Inglês.
17.
SANTOS, A. L. M., BORBA, P. H. M., MAIA, M. A.
https://wwws.cnpq.br/cvlattesweb/pkg_impcv.trata
Page 12 of 17
Currículo Lattes
22/04/13 11:15
Participação em banca de Gustavo Alexandre dos Santos. Suporte a Refatorações em um Sistema de
Transformação de Propósito Geral, 2006
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 Cooperativa
para Busca e Recuperação de Componentes de Software, 2006
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 de
Aplicações de TV Digital Distribuídas Baseadas no Modelo P2P, 2006
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 de
Interatividade do Sistema Brasileiro de TV Digital: Arquitetura e Implementação, 2006
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 Pernambuco
Referê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 a
Aspectos de Haskell, 2005
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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ão
para Jogos J2ME, 2005
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 de
Preload de Dados usando a arquitetura Xscale, 2005
(Ciência da Computação) Universidade Estadual de Campinas
Referê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 Um
Framework para Editores de Níveis para Jogos Móveis, 2005
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 Pernambuco
Referê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 Processos
Baseada em Semântica de Ações, 2005
(Ciências da Computação) Universidade Federal de Pernambuco
Referências adicionais : Brasil/Português.
28.
SANTOS, A. L. M., LIMA, R. M. F., Augusto Sampaio
Participação em banca de Antonio Augusto Rodrigues de Albuquerque. Design de uma Linguagem
Multiparadigmas Modular para o Ensino de Conceitos de Programacao, 2004
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 usando
AspectJ, 2004
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 Plataforma
J2ME, 2004
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 de
Programas Java para Tempo Real, 2004
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 Utilizando
Agentes Móveis Inteligentes, 2003
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 de
Padrões e Inferência, 2003
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 a
Objetos, 2003
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 de
softwares, 2003
(Ciências da Computação) Universidade Federal de Pernambuco
https://wwws.cnpq.br/cvlattesweb/pkg_impcv.trata
Page 13 of 17
Currículo Lattes
22/04/13 11:15
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ânticos
para Especificação de Linguagens de Programação, 2003
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 Taxonomias
de Sistemas de Detecção de Intrusão, 2002
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 Pernambuco
Referê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 Pernambuco
Referê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 Redes
de Computadores, Baseado em Ferramentas de Auditoria de Sistemas, 2002
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 Pernambuco
Referê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 Uma
Aplicação Distribuída Legada, 2002
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 Programas
Concorrentes Orientados a Objetos, 2001
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 o
Desenvolvimento de Jogos de Computador e Aplicações Multimidia, 2001
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 em
Agentes para o Gerenciamento de Sistemas, 2001
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 Plataforma
para Projetos de Sistemas Digitais em VHDL na WEB, 2000
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 Pernambuco
Referê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 Pernambuco
Referê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 Falbo
Participação em banca de Alexandre Álvaro. A Software Component Quality Framework, 2009
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 Pernambuco
Referê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 Adoption
Strategies, 2007
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 Domain
Engineering, 2007
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 de
Consumo de Energia em Memória Cache, 2006
(Ciências da Computação) Universidade Federal de Pernambuco
Referências adicionais : Brasil/Português.
https://wwws.cnpq.br/cvlattesweb/pkg_impcv.trata
Page 14 of 17
Currículo Lattes
22/04/13 11:15
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 de
Projeto de Hierarquias de Memória para Sistemas Embarcados, 2006
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 Compilers
for Object-Oriented Languages, 2005
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 Plataformas
Multiprocessador, 2005
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 Based
Design, 2004
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 para
Sobrecarga Baseada no Sistema CT, 2004
(Ciências da Computação) Universidade Federal de Minas Gerais
Referê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 Pernambuco
Referê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 Contratos
de Níveis de Serviços: Um Enfoque Baseado na Definição e Implementação de Políticas
Consistentes, 2002
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 de
programacao orientado a agentes utilizando semantica de acoes, 2002
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 for
Treating Non-Functional Properties of Dynamic Distributed Systems, 2001
(Ciências da Computação) Universidade Federal de Pernambuco
Referê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 Funcional
Paralela - Implementação, Ambiente de Programação, Simulação e Análise de Propriedades,
2000
(Ciências da Computação) Universidade Federal de Pernambuco
Referências adicionais : Brasil/Português.
Graduação
1.
BORBA, P. H. M., SANTOS, A
Participação em banca de Felype Santiago Ferreira. Implementação e Análise de uma Linha de
Produtos de Software, 2009
(Ciencia da Computacao) Universidade Federal de Pernambuco
Referê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 de
Escalonamento, 2008
(Engenharia da Computação) Universidade Federal de Pernambuco
Referê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 de
Aplicações MHP Interativas para TV Digital, 2008
(Ciencia da Computacao) Universidade Federal de Pernambuco
Referê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 em
Ambientes Virtualizados, 2005
(Ciencia da Computacao) Universidade Federal de Pernambuco
Referê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 do
Gerenciamento de Projetos de Software em Empresas de Diferentes Níveis de Maturidade,
2005
(Ciencia da Computacao) Universidade Federal de Pernambuco
Referê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 de
Jogos Móveis, 2005
(Ciencia da Computacao) Universidade Federal de Pernambuco
Referê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 Microsoft
Solutions Framework For Agile Development e eXtreme Programming, 2005
(Ciencia da Computacao) Universidade Federal de Pernambuco
Referê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 Escalonamento
para Sistemas Críticos Sobre Windows CE, 2004
https://wwws.cnpq.br/cvlattesweb/pkg_impcv.trata
Page 15 of 17
Currículo Lattes
22/04/13 11:15
(Ciencia da Computacao) Universidade Federal de Pernambuco
Referê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 de
Transformação, 2004
(Ciencia da Computacao) Universidade Federal de Pernambuco
Referê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 da
Portabilidade de Unidades de Software, 2004
(Ciencia da Computacao) Universidade Federal de Pernambuco
Referê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.NET
e CMM Nível 2, 2003
(Ciencia da Computacao) Universidade Federal de Pernambuco
Áreas do conhecimento : Metodologia e Técnicas da Computação,Engenharia de Software
Referê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 Pernambuco
Referê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 de
Casos de Uso, 2003
(Ciencia da Computacao) Universidade Federal de Pernambuco
Áreas do conhecimento : Metodologia e Técnicas da Computação,Engenharia de Software
Referê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 .NET
para a Integração de Haskell com a Ferramenta Assignment Manager, 2003
(Ciencia da Computacao) Universidade Federal de Pernambuco
Referê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 um
Esboço de Framework para Editores de Jogos Desenvolvidos com J2ME, 2002
(Ciencia da Computacao) Universidade Federal de Pernambuco
Referê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ásico
Referê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 - Um
Framework de Desenvolvimento de Jogos para Dispositivos Móveis, 2001
(Ciencia da Computacao) Universidade Federal de Pernambuco
Palavras-chave: Jogos
Áreas do conhecimento : Metodologia e Técnicas da Computação,Engenharia de Software
Referê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ções
para 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 Software
Referê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 Tempo
Real, 2000
(Ciencia da Computacao) Universidade Federal de Pernambuco
Referê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 Uma
Linguagem 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ção
Referê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
Capítulos de livros publicados
Revistas (Magazines)
Trabalhos publicados em anais de eventos
Demais produções bibliográficas
10
1
1
59
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)
https://wwws.cnpq.br/cvlattesweb/pkg_impcv.trata
14
Page 16 of 17
Currículo Lattes
Orientação concluída (dissertação de mestrado - co-orientador)
22/04/13 11:15
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.
https://wwws.cnpq.br/cvlattesweb/pkg_impcv.trata
Page 17 of 17