Rede de Colaboração
Diretório de grupos de pesquisa |
Mark Alan Junho Song possui graduação (1991), mestrado (1996) e doutorado (2004) em Ciência da Computação pela Universidade Federal de Minas Gerais. Tem experiência na área de Ciência da Computação, ênfase em Verificação Formal, atuando principalmente nos seguintes temas: engenharia de software, model checking e testes de programas. Atualmente é professor Titular do Centro Universitário UNA e professor Adjunto III da Pontifícia Universidade Católica de Minas Gerais (PUC-Minas). É professor do Mestrado em Informática da PUC-Minas desde sua implantação em 2005, com 8 dissertações já orientadas.
Última
atualização do currículo em 19/08/2011
Endereço para acessar este CV: http://lattes.cnpq.br/3841441176161322 |
Dados pessoais
| Nome | Mark Alan Junho Song |
| Nome em citações bibliográficas | SONG, Mark Alan Junho; Mark Song; Song, Mark |
| Sexo | Masculino |
| Endereço profissional | Pontifícia Universidade Católica de Minas Gerais, Coração Eucarísitico. Avenida Dom José Gaspar, número 500 Coração Eucarístico 30535610 - Belo Horizonte, MG - Brasil Telefone: (31) 33194001 URL da Homepage: www.inf.pucminas.br/mestrado |
Formação acadêmica/Titulação
| 1999 - 2004 | Doutorado em Ciências da Computação
.
Universidade Federal de Minas Gerais, UFMG, Brasil. Título: UML - Cafe, Uma Metodologia para Projeto e Verificação de Sistemas Transacionais, Ano de Obtenção: 2004. Orientador:  Sérgio Vale Aguiar Campos.
Palavras-chave: Métodos Formais; E-Commerce; Engenharia de Software. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Verificação Formal de Sistemas. |
| 1993 - 1996 | Mestrado em Ciências da Computação
.
Universidade Federal de Minas Gerais, UFMG, Brasil. Título: Mecanização do Processo de Projeto e Implementação de Classes em Ambientes Orientados a Objetos, Ano de Obtenção: 1996. Orientador: Roberto da Silva Bigonha. Palavras-chave: reuso de código; Engenharia de Software. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Linguagens de Programação. |
| 1986 - 1991 | Graduação em Ciências da Computação
.
Universidade Federal de Minas Gerais, UFMG, Brasil. |
Atuação profissional
| Pontifícia Universidade Católica de Minas Gerais, PUC Minas, Brasil. |
| Vínculo institucional |
| 1997 - Atual | Vínculo: Celetista, Enquadramento Funcional: Professor Adjunto III, Carga horária: 40 |
| Atividades |
| 08/2011 - Atual | Direção e administração, Coração Eucarísitico. |
| Cargo ou função Membro do Colegiado do Curso de Computação. |
| 2/2005 - Atual | Ensino, Mestrado em Informática, Nível: Pós-Graduação. |
| Disciplinas ministradas Fundamentos Teóricos da Computação |
| 2/1997 - Atual | Ensino, Ciência da Computação, Nível: Graduação. |
| Disciplinas ministradas Algoritmos e Estruturas de Dados I Algoritmos e Estruturas de Dados II Algoritmos e Estruturas de Dados III Teoria de Linguagens - Fundamentos Teóricos da Computação Linguagens de Programação Compiladores Sistemas Operacionais Processamento Paralelo |
| 08/2007 - 08/2009 | Atividades de Participação em Projeto, Mestrado em Informática, . |
|
Projetos de pesquisa Inferência de Identidade Genética - Uma abordagem baseada em Verificação Simbólica de Modelos e Redes Bayesianas - Edital nº 019/2006 - Jovens Pesquisadores - FAPEMIG |
| 3/2005 - 3/2009 | Atividades de Participação em Projeto, Coração Eucarísitico. |
|
Projetos de pesquisa Representação do Conhecimento de Redes Neurais Artificiais, previamente treinadas, através da Análise Formal de Conceitos. CT - INFO/MCT/CNPq n 031/2004 |
| 1/2006 - 1/2008 | Atividades de Participação em Projeto, Coração Eucarísitico. |
|
Projetos de pesquisa SOLBRASIL - Programa de Incentivo e Desenvolvimento do Aquecimento Solar no Brasil. FINEP CT - ENERG |
| 3/2005 - 12/2007 | Direção e administração, Mestrado em Informática, . |
| Cargo ou função Membro do Colegiado de Coordenação Didática do Programa Pós-graduação em Informática. |
| 2/2005 - 2006 | Atividades de Participação em Projeto, Coração Eucarísitico. |
|
Projetos de pesquisa Representação de Conhecimento de Redes Neurais Através da Análise Formal de Conceitos e sua Aplicação em Processos Industriais. PUC MInas FIP 2005/99 - TLE |
| 8/2000 - 2/2001 | Direção e administração, Departamento de Ciência da Computação, Betim. |
| Cargo ou função Coordenador Adjunto. |
| Banco de Desenvolvimento de Minas Gerais, BDMG, Brasil. |
| Vínculo institucional |
| 1996 - 1997 | Vínculo: Celetista, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40 |
| Atividades |
| 5/1996 - 8/1997 | Serviços técnicos especializados . |
|
Serviço realizado Desenvolvimento de Software. |
| Universidade Federal de Minas Gerais, UFMG, Brasil. |
| Vínculo institucional |
| 1994 - 1995 | Vínculo: Professor Substituto, Enquadramento Funcional: Professor Substituto, Carga horária: 4 |
| Atividades |
| 8/1994 - 2/1995 | Ensino, Matemática, Nível: Graduação. |
| Disciplinas ministradas Cálculo Numérico |
| Faculdade de Ciências Gerenciais da Una, UNA, Brasil. |
| Vínculo institucional |
| 1994 - Atual | Vínculo: Celetista, Enquadramento Funcional: Professor titular, Carga horária: 12 |
| Atividades |
| 2/1994 - Atual | Ensino, Sistemas de Informação, Nível: Graduação. |
| Disciplinas ministradas Algoritmos e Estruturas de Dados Programação Orientada por Objetos Sistemas Operacionais Pesquisa Operacional Bancos de Dados |
Projetos de Pesquisa
| 2007 - 2009 | VALEDOURO - Projeto para a Saúde Pública no Vale do Jequitinhonha. Análise de Dados Epidemiológicos para Tuberculose através de Data Mining, Edital MCT/CNPq/MS-SCTIE-DECIT 25/2006- Estudo de Doenças Negligenciadas |
| Descrição: Hoje, 22 países, entre eles o Brasil, concentram 80% dos casos de tuberculose de todo o planeta. Conforme o Ministério da Saúde (MS) as ações para o controle da tuberculose no Brasil têm como meta diagnosticar pelo menos 90% dos casos esperados, e curar pelos menos 85% dos casos diagnosticados. Entretanto o índice de cura não atinge a meta de 85% dos casos tratados. Atualmente são considerados 25 municípios prioritários para o Programa Nacional de Controle de Tuberculose os quais incluem municípios do Vale do Jequitinhonha e Mucuri. Em 2003 foram registrados 4.957 casos novos de tuberculose, representando 81,7% dos casos esperados. A mesma fonte informa que o percentual de cura de 56,1% está abaixo da meta nacional. Os municípios, que anteriormente exerciam atividades restritas à realização de coletas de dados e sua transferência a outros níveis, sem se preocupar com o planejamento e desenvolvimento de ações, agora são responsabilizados e dotados de autonomia técnico-gerencial para desenvolvê-las. Diversos pesquisadores consideram a informação um poderoso instrumento capaz de subsidiar o planejamento, avaliação, manutenção e aprimoramento das ações de saúde. Novos dados podem ser considerados para traçar o perfil epidemiológico, como são os demográficos, climatológicos, ambientais, sócio-econômicos, clínicos, de prontuários, do tratamento, de morbidade e mortalidade. Atualmente o SUS requer informação mais específica para o direcionamento de recursos, ora estes medicamentos, recursos humanos ou de programas de proteção à saúde publica que fortaleçam a gestão e a eficiência do sistema. Este projeto tem como objeto de pesquisa identificar e analisar o perfil epidemiológico do cidadão portador de tuberculose no Vale do Jequitinhonha e a identificação de grupos de risco. Isto pode aumentar a informação disponível, para execução de procedimentos mais eficientes dos órgãos gestores das secretarias do estado. Neste projeto pretende-se aplicar a metodologia de Descoberta. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 2) / Especialização ( 0) / Mestrado acadêmico ( 2) / Mestrado profissionalizante ( 0) / Doutorado ( 0) . Integrantes: José Newton Vieira - Integrante / Delba Fonseca Santos - Integrante / Ana Maria Pereira Cardoso - Integrante / Clodoveu Augusto Davis Junior - Integrante / Elaine Maria de Souza Fagundes - Integrante / Emerson Cotta Bodevan - Integrante / Jose Flavio Morais Castro - Integrante / Ricardo Poley Martins Ferreira - Integrante / Luis Enrique Zárate - Coordenador / Mark Alan Junho Song - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.. |
| 2007 - 2009 | Inferência de Identidade Genética - Uma abordagem baseada em Verificação Simbólica de Modelos e Redes Bayesianas - Edital nº 019/2006 - Jovens Pesquisadores - FAPEMIG |
| Descrição: O exame em DNA tem provado ser uma técnica extremamente poderosa na determinação de identidade genética. Entre os casos que podem ser solucionados através da utilização da análise em DNA, pode-se citar a determinação de paternidade, identificação de pessoas desaparecidas e trocas de bebês em maternidades. O exame em DNA também tem sido usado com sucesso no esclarecimento de casos criminais, na confirmação da identidade de suspeitos ou vítimas como, por exemplo, em assassinatos e estupros. A determinação de identidade através de DNA pode ser considerada um dos produtos mais revolucionários da genética molecular humana moderna. Os métodos clássicos que geralmente incluem reconhecimento visual, identificação por impressões digitais, análise de registros odontológicos e arcada dentária nem sempre podem ser utilizados dadas as condições em que os corpos são encontrados. Esses casos são exemplos de desastres em larga escala em que a análise baseada em DNA deve ser aplicada. O ataque às torres gêmeas do World Trade Center em 11 de setembro de 2001 pode ser citado com um dos exemplos de tragédias envolvendo milhares de mortes. Estima-se que o número de vítimas esteja por volta de 2800 pessoas. Em um cenário típico de um desastre, ter-se-iam centenas ou milhares de corpos e fragmentos em que a identificação só seria possível pela análise de seus DNA s. Sendo assim, o objetivo geral deste trabalho é implementar um ambiente computacional que permita a aplicação de redes bayesianas na inferência de relações de parentesco a partir do uso de verificação simbólica de modelos para a redução do espaço de soluções.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 1) / Mestrado acadêmico ( 1) / Doutorado ( 1) . Integrantes: Sergio Vale Aguiar Campos - Integrante / Luis Enrique Zarate Galvez - Integrante / Rodrigo Richard Gomes - Integrante / Mark Alan Junho Song - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Auxílio financeiro.. |
| 2006 - 2007 | Ambiente para Verificação de Modelos com Fronteiras |
| Descrição: O trabalho a ser desenvolvido propõe uma abordagem alternativa à Verificação Simbólica de Modelos utilizando Verificação de Modelos com Fronteiras (Bounded Model Checking - BMC) e SAT (satisfabilidade). Estuda também o comportamento de algoritmos distribuídos baseados na simetria de problemas BMC. Valor R$ 9.850,00. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 1) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) . Integrantes: Breno Santos Araújo - Integrante / Mark Alan Junho Song - Coordenador. Financiador(es): Fundo de Incentivo à Pesquisa da Puc Minas - Auxílio financeiro.. |
| 2005 - 2009 | Representação do Conhecimento de Redes Neurais Artificiais, previamente treinadas, através da Análise Formal de Conceitos. CT - INFO/MCT/CNPq n 031/2004 |
| Descrição: O objetivo principal deste projeto é o desenvolvimento de uma metodologia implementada em software para aplicação da AFC na extração e representação de conhecimento de uma rede neural previamente treinada. As regras que pretendemos obter são do tipo SE....ENTÃO e serão obtidas diretamente da análise do diagrama. Para este projeto pretende-se implementar um algoritmo que de forma automática possa identificá-las. Este projeto aborda um tema de grande relevância para aplicações onde redes neurais artificiais são utilizadas para representar processos, onde procura-se compreender a relação causa-efeito de uma observação. Projeto executado pelo GICAP - Grupo de Inteligência Computacional Aplicada. Valor R$ 33.687,00.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 2) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) . Integrantes: Luis Enrique Zarate Galvez - Coordenador / Tadeu Renato André Santos - Integrante / Bruno Magalhães Nogueira - Integrante / Newton José Vieira - Integrante / Mark Alan Junho Song - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.. |
| 2005 - 2008 | SOLBRASIL - Programa de Incentivo e Desenvolvimento do Aquecimento Solar no Brasil. FINEP CT - ENERG |
| Descrição: Programa SOLBRASIL procura inovações no setor energético com a consistente implantação do aquecimento solar de água, através de tecnologias e métodos para aperfeiçoar os sistemas. Projeto executado pelo GREEN - Grupo de Estudo em Energia. Valor R$ 1.300.000,00. Situação: Concluído; Natureza: Desenvolvimento. Alunos envolvidos: Graduação ( 1) / Especialização ( 0) / Mestrado acadêmico ( 1) / Mestrado profissionalizante ( 0) / Doutorado ( 0) . Integrantes: Elizabeth Marques Duarte Pereira - Coordenador / Fernando Andrade Ducha - Integrante / Gustavo Ludovico Guidoni - Integrante / Mark Alan Junho Song - Integrante. . |
| 2005 - 2006 | Representação de Conhecimento de Redes Neurais Através da Análise Formal de Conceitos e sua Aplicação em Processos Industriais. PUC MInas FIP 2005/99 - TLE |
| Descrição: Este projeto tem como objetivo geral a proposta de uma metodologia para extração e representação de conhecimento a partir de Redes Neurais Artificiais previamente treinadas, via Análise Formal de Conceitos (AFC). São também objetivos deste projeto à aplicação da metodologia em processos industriais e o desenvolvimento de uma "Framework", sobre o conceito de software livre, que implemente os algoritmos a serem desenvolvidos para disponibilizar à comunidade acadêmica e de pesquisa. Projeto executado pelo GICAP - Grupo de Inteligência Computacional Aplicado. Valor R$ 5.720,00. . Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 2) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) . Integrantes: Luis Enrique Zarate Galvez - Coordenador / Sérgio Mariano Dias - Integrante / Bruno de Castro Bahia Alvarenga Soares - Integrante / Mark Alan Junho Song - Integrante. Financiador(es): Fundo de Incentivo à Pesquisa da Puc Minas - Auxílio financeiro.. |
Áreas de atuação
| 1. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação /
Especialidade: Verificação Formal de Sistemas. |
| 2. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação /
Especialidade: Linguagens de Programação. |
| 3. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação /
Especialidade: Engenharia de Software. |
Idiomas
| Inglês | Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente. |
| Francês | Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente. |
Prêmios e títulos
| 2007 | Prêmio Santander de Ciência e Inovação - Etapa Regional - Categoria Tecnologia da Informação, Santander - Universia Brasil. |
Produção em C,T & A
| Produção bibliográfica |
| Artigos completos publicados em periódicos |
| 1. |   GUIDONI, Gustavo Ludovico ; GUERINO, Frederico Papatella ; PEREIRA, Elizabeth Marques Duarte ; SONG, Mark Alan Junho . A Framework for Photovoltaic and Thermosiphon Systems. International Journal of Photoenergy (Print) , v. 2011, p. 1-9, 2011. |
| 2. | GALVEZ, Luis Enrique Zarate ; DIAS, Sérgio Mariano ; SONG, Mark Alan Junho . FCANN: A new approach for extraction and representattion of knowledge from ANN trained via Formal Concept Analysis. Neurocomputing (Amsterdam), v. 71, p. 2670-2684, 2008. |
| 3. | PEREIRA, Adriano ; SONG, Mark Alan Junho ; GORGULHO, Gustavo . The Formal-Cafe Methodology and Model Checking Patterns in the Specification of E-Commerce Systems. Electronic Commerce Research, v. 6, p. 265-303, 2006. |
| Capítulos de livros publicados |
| 1. | Rimsa, Andrei ; GALVEZ, Luis Enrique Zarate ; SONG, Mark Alan Junho . Handling Large Formal Context Using BDD Perspectives and Limitations. Formal Concept Analysis. : Berling: Springer Berlin / Heidelberg, 2009, v. 5548, p. 194-209. |
| 2. | Rimsa, Andrei ; GALVEZ, Luis Enrique Zarate ; SONG, Mark Alan Junho . Evaluation of Different BDD Libraries to Extract Concepts in FCA Perspectives and Limitations. Computational Science ICCS 2009. Berlin: Springer Berlin / Heidelberg, 2009, v. 5544, p. 367-376. |
| Trabalhos completos publicados em anais de congressos |
| 1. | Fernandes, Flávio Gonçalves ; SONG, Mark Alan Junho . Verification of UML Behavioral Diagrams using Symbolic Model Checking. In: IADIS Applied Computing, 2011, Rio de Janeiro. IADIS Applied Computing, 2011. p. 1-8. |
| 2. | DIANA, Rodrigo Rezende Marinho ; MARQUES NETO, Humberto Torres ; SONG, Mark Alan Junho . Validating SQL Code Using Symbolic Model Checking. In: IADIS Applied Computing, 2011, Rio de Janeiro. IADIS Applied Computing, 2011. p. 1-8. |
| 3. | JESUS, Sebastião Eustáquio de ; SONG, Mark Alan Junho . Avaliação de Projeto via Métricas de Classe no Ensino da Engenharia de Software. In: WEI - XVIII Workshop sobre Educação em Informática, 2010, Belo Horizonte. XXX CSBC 2010, 2010. v. 1. p. 1-10. |
| 4. | PAPATELLA, Frederico ; CARVALHO, Tiago Figueiredo ; GALVEZ, Luis Enrique Zarate ; PEREIRA, Elizabeth Marques Duarte ; SONG, Mark Alan Junho . SolarEnergy: A framework for photovoltaic systems - A case study. In: 2010 IEEE International Conference on Systems, Man, and Cybernetics, 2010, Istanbul.
Proceedings of 2010 IEEE International Conference on Systems, Man and Cybernetics, 2010. v. 1. p. 3160-3165. |
| 5. | PAPATELLA, Frederico ; PEREIRA, Elizabeth Marques Duarte ; GALVEZ, Luis Enrique Zarate ; SONG, Mark Alan Junho . A Framework for Solar Energy Applications - Photovoltaic Systems. In: The 22nd International Conference on Software Engineering and Knowledge Engineering, 2010, São Francisco. Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010). Redwood : Knowledge Systems Institute Graduate School, 2010. v. 1. p. 292-297. |
| 6. | OLIVEIRA, Pedro Felipe ; GOMES, R. R. ; SONG, Mark Alan Junho . Large Scale Genetic Identity Inference Using Probabilistic Model Checking. In: 2010 IEEE International Conference on Systems, Man, and Cybernetics, 2010, Istanbul.
Proceedings of 2010 IEEE International Conference on Systems, Man and Cybernetics, 2010. v. 1. p. 3508-3512. |
| 7. | NEVES, Júlio César ; CAMPOS, Sergio Vale Aguiar ; ZÁRATE, Luis Enrique ; SONG, Mark Alan Junho . Distributed BMC: A Depth-First Approach to Explore Clause Symmetry. In: 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009, San Francisco, CA USA.
Proceedings of the 16th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems. Los Alamitos, CA :
IEEE Computer Society, 2009. p. 89-94. |
| 8. | GUIDONI, Gustavo Ludovico ; GUERINO, Frederico Papatella ; REIS, Igor Perdigão ; YOSHIOKA, Sérgio Roberto Imaeda ; GALVEZ, Luis Enrique Zarate ; PEREIRA, Elizabeth Marques Duarte ; SONG, Mark Alan Junho . SolarEnergy: A Framework for Solar Energy Applications. In: 6th IEEE INDIN, 2008, Daejeon.
Proc. 6th IEEE International Conference on Industrial Informatics, 2008. p. 1273-1278. |
| 9. | Rodrigo Gomes ; GOMES, R. R. ; COTA, C. F. ; SONG, Mark Alan Junho ; CAMPOS, Sergio Vale Aguiar . Large Scale Genetic Identity Inference Using Symbolic Model Checking. In: 5th CFV, 2008, Sydney. Proc. 5th International Workshop on Constraints in Formal Verification, 2008. p. 1-11. |
| 10. | BARROS, Hugo ; CAMPOS, Sergio Vale Aguiar ; SONG, Mark Alan Junho ; GALVEZ, Luis Enrique Zarate . Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm. In: 14th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2007, Tucson, Arizona.
Proceedings of the 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems. Los Alamitos, CA, USA :
IEEE Computer Society, 2007. p. 531-538. |
| 11. | ZÁRATE, Luis Enrique ; DIAS, Sérgio Mariano ; SONG, Mark Alan Junho . FCANN Method Applications for Knowledge Extraction From PreviouslyTrained ANN. In: IEEE IJCNN 2007, 2007, Orlando.
Proc. 17th International Joint Conference on Neural Networks, 2007. p. 649-654. |
| 12. | GALVEZ, Luis Enrique Zarate ; SONG, Mark Alan Junho ; SOARES, Bruno de Castro Bahia Alvarenga ; NOGUEIRA, Bruno Magalhães ; ALVAREZ, Ana Angêlica ; DIAS, Sérgio Mariano ; SANTOS, Tadeu Renato André ; VIMIEIRO, Renato . An Approach to Knowledge Extraction From ANN Through Formal Concept Analysis - Computational Tool Proposal: SOPHIANN. In: ISIE 2006, 2006, Montreal.
Proceedings of the 15th International Symposium on Industrial Electronics, 2006. v. 1. p. 43-48. |
| 13. | SONG, Mark Alan Junho ; GALVEZ, Luis Enrique Zarate ; DIAS, Sérgio Mariano ; SOARES, Bruno de Castro Bahia Alvarenga ; NOGUEIRA, Bruno Magalhães ; VIMIEIRO, Renato ; SANTOS, Tadeu Renato André ; VIEIRA, Newton José . SOPHIANN: A Tool for Extraction Knowledge Rules from ANN Previously Trained - A Case Study. In: The Eighteenth International Conference on Software Engineering and Knowledge Engineering, 2006, San Francisco. Proceedings of the Eighteenth International Conference on Software Engineering and Knowledge Engineering, 2006. v. 1. p. 631-638. |
| 14. | GALVEZ, Luis Enrique Zarate ; NOGUEIRA, Bruno Magalhães ; SANTOS, Tadeu Renato André ; SONG, Mark Alan Junho . Techniques for Missing Value Recovering in Imbalanced Databases - Application in a Marketing Databases with Massive Missing Data. In: SMC, 2006, Taipei - Tawain.
Proceedings of the XIX IEEE International Conference on Systems, Man, and Cybernetics, 2006. v. 3. p. 2658-2664. |
| 15. | SONG, Mark Alan Junho ; PEREIRA, Adriano ; CAMPOS, Sergio Vale Aguiar ; GALVEZ, Luis Enrique Zarate . Formal Verification of Transactional Systems Based on UML Specifications. In: The Seventeenth International Conference on Software Engineering and Knowledge Engineering, 2005, Taipei. Proceedings of the Seventeenth International Conference on Software Engineering and Knowledge Engineering, 2005. p. 199-204. |
| 16. | GALVEZ, Luis Enrique Zarate ; SONG, Mark Alan Junho ; SOARES, Bruno de Castro Bahia Alvarenga ; NOGUEIRA, Bruno Magalhães ; DIAS, Sérgio Mariano ; SANTOS, Tadeu Renato André . SOPHIANN: Aprendizado de Processos Através da Extração de Conhecimento via Redes Neurais. In: XVI Simpósio Brasileiro de Informática na Educação - SBIE, 2005, Juiz de Fora. Anais do XVI Simpósio Brasileiro de Informática na Educação, 2005. v. 1. |
| 17. | SONG, Mark Alan Junho ; PEREIRA, Adriano ; CAMPOS, Sergio Vale Aguiar . Modeling and Verifying Web Based Systems - An UML-CAFE Case Study. In: The Fifth Argentine Symposium on Software Engineering, 2004, Cordoba, Argentina. Anais do Simpósio Argentino de Ingeniería de Software (ASSE'04) - 33 Jornadas Argentinas de Informática e Investigación Operativa (33 JAIIO), 2004. |
| 18. | SONG, Mark Alan Junho ; PEREIRA, Adriano ; GORGULHO, Gustavo ; CAMPOS, Sergio Vale Aguiar ; MEIRA JR, Wagner . A Software Engineering Process to Specify and Verify E-Commerce Systems. In: International Conference on Software Engineering Research and Practice, 2003, Las Vegas, USA. Proceedings of the International Conference on Software Engineering Research and Practice. v. 1. p. 419-425. |
| 19. | SONG, Mark Alan Junho ; PEREIRA, Adriano ; CAMPOS, Sergio Vale Aguiar ; MEIRA JR, Wagner . Extending UML to Specify and Verify E-Commerce Systems. In: The Fifteenth International Conference on Software Engineering and Knowledge Engineering, 2003, San Francisco, USA. Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering, 2003. p. 306-313. |
| 20. | SONG, Mark Alan Junho ; PEREIRA, Adriano ; CAMPOS, Sergio Vale Aguiar . UML-CAFE: A Process to Specify and Verify E-Commerce Systems - A Case Study. In: The Sixth International Conference on Electronic Commerce Research, 2003, Dallas, USA. Proceeding of The Sixth International Conference on Electronic Commerce Research, 2003. p. 521-542. |
| 21. | PEREIRA, Adriano ; SONG, Mark Alan Junho ; GORGULHO, Gustavo ; MEIRA JR, Wagner ; CAMPOS, Sergio Vale Aguiar . A Formal Methodology to Specify E-commerce Systems. In: 4th International Conference on Formal Engineering Methods, 2002, Shanga, China. Formal Methods and Software Engineering - LNCS, 2002. v. 2495. p. 180-191. |
| 22. | PEREIRA, Adriano ; SONG, Mark Alan Junho ; GORGULHO, Gustavo ; MEIRA JR, Wagner ; CAMPOS, Sergio Vale Aguiar . Uma Metodologia para Verificação de Modelos de Sistemas de Comércio Eletrônico.. In: 5th Workshop on formal methods, 2002, Gramado, Brasil. Anais do Workshop on Formal Methods, 2002. p. 001-010. |
| 23. | PEREIRA, Adriano ; SONG, Mark Alan Junho ; GORGULHO, Gustavo ; MEIRA JR, Wagner ; CAMPOS, Sergio Vale Aguiar . Formal-CAFE Methodology: an E-commerce System's Case Study. In: The Fifth International Conference on Electronic Commerce Research, 2002, Montreal, Canada. Proceedings of the Fifth International Conference on Electronic Commerce Research, 2002. |
| 24. | SONG, Mark Alan Junho ; PEREIRA, Adriano ; CAMPOS, Sergio Vale Aguiar ; GORGULHO, Gustavo ; MEIRA JR, Wagner . Model Checking Patterns for e-Commerce Systems. In: First Seminar on Advanced Research in Electronic Business, 2002, Rio de Janeiro, Brasil, 2002. |
| 25. | SONG, Mark Alan Junho ; BIGONHA, Mariza ; BIGONHA, Roberto da Silva . Uma Ferramenta para automatização do processo de projeto e implementação de classes em ambientes orientados a objetos. In: XXV Conferencia Latinoamericana de Informatica CLEI Panel99, 1999. v. 1. p. 455-471. |
| 26. | GALVEZ, Luis Enrique Zarate ; SONG, Mark Alan Junho ; HELMAN, Horácio . Agoritmo para linearização de processos via redes neurais e sua análise de comportamento assintótico. In: V SBRN'98, 1998, Belo Horizonte, 1998. |
| Resumos expandidos publicados em anais de congressos |
| 1. | Fernandes, Flávio Gonçalves ; SONG, Mark Alan Junho . Um Arcabouço para Verificação Automática de Modelos UML. In: Congresso Brasileiro de Software: Teoria e Prática (CBSoft), 2011, São Paulo. I Workshop de Teses e Dissertações do CBSoft, 2011. p. 1-7. |
| Resumos publicados em anais de congressos |
| 1. | SONG, Mark Alan Junho ; PEREIRA, Adriano ; CAMPOS, Sergio Vale Aguiar . Formal Verification of Transactional Systems. In: 1st International Conference on Web Information Systems and Technologies, 2005, Miami, USA. Proceedings of the First International Conference on Web Information Systems and Technologies, 2005. v. 1. p. 194-197. |
| Artigos aceitos para publicação |
| 1. | Barros, Cristiano de Magalhães ; SONG, Mark Alan Junho . Automatized Checking of Business Rules for Activity Execution Sequence in Workflows. Journal of Software, 2011. |
| Produção técnica |
| Demais tipos de produção técnica |
| 1. | TEIXEIRA, Bernardo Dantas ; SONG, Mark Alan Junho . Extração de Grafos Computacionais Paralelos para Linguagem Java. 2005. (Relatório de pesquisa). |
| 2. | SÁ, Luciano Carreiro de ; SONG, Mark Alan Junho . Transformação de Aplicações Desktop em Aplicações Web via XUL. 2005. (Relatório de pesquisa). |
Bancas
| Participação em bancas examinadoras |
| Dissertações |
| 1. | VALENTE, Marco Túlio Oliveira; MARQUES, Humberto Torres; ROCHA, Ana Regina Cavalcanti; TORRES, Gustavo da Gama; SONG, Mark Alan Junho. Participação em banca de Gladston Júnio Aparecido. Avaliação e Formalização de um Processo para Agrupamento de Solicitações de Manutenção de Software. 2011. Dissertação (Mestrado em Mestrado em Informática) - Pontifícia Universidade Católica de Minas Gerais. |
| 2. | VALENTE, Marco Túlio Oliveira; MARQUES NETO, Humberto Torres; PIETROBON, Carlos Alberto Marque; SONG, Mark Alan Junho. Participação em banca de Hugo Alves de Brito. Uma Abordagem para Recuperação da Arquitetura Dinâmica de Sistemas de Software. 2011. Dissertação (Mestrado em Mestrado em Informática) - Pontifícia Universidade Católica de Minas Gerais. |
| 3. | CAMPOS, Sergio Vale Aguiar; Gurov, Dilian; LOUREIRO, A. A. F.; SONG, Mark Alan Junho. Participação em banca de Pedro de Carvalho Gomes. Abstrações Semiautomáticas na Verificação de Modelos Simétricos. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais. |
| 4. | VALENTE, Marco Túlio Oliveira; MARQUES, Humberto Torres; SONG, Mark Alan Junho; TIRELO, Fábio. Participação em banca de Jaqueline Faria de Oliveira. Métricas para Avaliação do Grau de Quantificação de Sistemas Orientados por Aspecto. 2010. Dissertação (Mestrado em Mestrado em Informática) - Pontifícia Universidade Católica de Minas Gerais. |
| 5. | MAIA, Marcelo de Almeida; JULIA, Stephane; SILVA, Ilmério Reis; SONG, Mark Alan Junho. Participação em banca de Felipe Cezar de Castro Antunes. Recuperação de Visão Estrutural de Software Combinando Análise de Semântica Estática e Latente. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia. |
| 6. | VALENTE, Marco Túlio Oliveira; BIGONHA, Mariza; SONG, Mark Alan Junho. Participação em banca de Rogério Celestino dos Santos. Extração e Evolução de Linhas de Produtos de Software na Área de Jogos para Celulares usando Programação Orientada por Features. 2009. Dissertação (Mestrado em Mestrado em Informática) - Pontifícia Universidade Católica de Minas Gerais. |
| 7. | GALVEZ, Luis Enrique Zarate; JÚNIOR, Clodoveu Augusto; SONG, Mark Alan Junho. Participação em banca de Luciana Otávia Silva. RAIMA: Proposta de um Método Baseado em Regras de Associação para Identificação de Ausência em Bases de Dados. 2009. Dissertação (Mestrado em Mestrado em Informática) - Pontifícia Universidade Católica de Minas Gerais. |
| 8. | VALENTE, Marco Túlio Oliveira; BIGONHA, Roberto da Silva; IORIO, Vladimir Oliveira; SONG, Mark Alan Junho. Participação em banca de Leonardo Humberto Guimarães Silva. Definição de Conjuntos de Junção Robustos usando Aspect-Aware Interfaces e Aspectos Anotadores. 2008. Dissertação (Mestrado em Mestrado em Informática) - Pontifícia Universidade Católica de Minas Gerais. |
| 9. | VALENTE, Marco Túlio Oliveira; BIGONHA, Roberto da Silva; SONG, Mark Alan Junho. Participação em banca de Cristiano Amaral Maffort. Aspectos para Construção de Aplicações Distribuídas. 2007. Dissertação (Mestrado em Mestrado em Informática) - Pontifícia Universidade Católica de Minas Gerais. |
| 10. | ZÁRATE, Luis Enrique; VASCONCELOS, J. A.; SONG, Mark Alan Junho; FERREIRA, Ricardo Poley Martins. Participação em banca de Fabrício Roulin Bittencourt. Uso de Análise dos Fatores de Sensibilidade para encorporar a quantidade ideal mínima de neurônios na camada escondida de uma RNA perceptron multicamadas através dos algoritmos genéticos. 2007. Dissertação (Mestrado em Mestrado em Informática) - Pontifícia Universidade Católica de Minas Gerais. |
| 11. | RESENDE, Rodolfo Sérgio Ferreira de; FERNANDES, Antônio Otávio; BIGONHA, Roberto da Silva; SONG, Mark Alan Junho. Participação em banca de Vinícius Coelho de Almeida. Uso da Linguagem OCL no Contexto de Diagramas de Classe da UML e Programas em Java. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais. |
| 12. | TOLEDO, Carlos Miguel Tobar; COELHO, Juan Manuel Adán; SONG, Mark Alan Junho. Participação em banca de Eustáquio São José de Faria. Constituição de Grupos para o Aprendizado Colaborativo de Programação a partir da Comparação de Programas de Estudantes. 2005. Dissertação (Mestrado em Sistemas de Computação) - Pontifícia Universidade Católica de Campinas. |
| Teses de doutorado |
| 1. | CAMPOS, Sergio Vale Aguiar; CAMPOS, Alessandra Conceição Aguiar; OLIVEIRA, José Palazzo Moreira; SANTORO, Marcelo Matos; MILLAN, Ruben Dario Sinisterra; SONG, Mark Alan Junho. Participação em banca de Wesley Dias Maciel. Um Modelo para Descobertas Baseadas em Literatura Biológica. 2009. Tese (Doutorado em Bioinformática) - Universidade Federal de Minas Gerais. |
| 2. | PENA, Sergio Danilo Junho; CAMPOS, Sergio Vale Aguiar; SANTOS, E. M. T.; FRANCO, Glaura da Conceição; Bydlowski, Sérgio Paulo; SONG, Mark Alan Junho. Participação em banca de Rodrigo Richard Gomes. Proposta de um sistema especialista bayesiano para análise de casos complexos de determinação de vínculo genético. 2008. Tese (Doutorado em Bioinformática) - Universidade Federal de Minas Gerais. |
| Qualificações de doutorado |
| 1. | CAMPOS, A. F.; SANTOS, E. M. T.; SONG, Mark Alan Junho. Participação em banca de Rodrigo Richard Gomes. Proposta de um Sistema Especialista Bayesiano para Análise de Casos Complexos de Identidade Genética. 2007. Exame de qualificação (Doutorando em Bioinformática) - Universidade Federal de Minas Gerais. |
| Trabalhos de Conclusão de Curso de graduação |
| 1. | MOREIRA, Manoel Palhares; STEMPLIUC, Sérgio Murilo; SONG, Mark Alan Junho. Participação em banca de Nilson Pontello de Freitas. Desenvolvimento de um Sistema de Ecommerce Corporativo. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais. |
| 2. | GALVEZ, Luiz Enrique Zarate; VALENTE, Marco Túlio Oliveira; SONG, Mark Alan Junho. Participação em banca de Andrei Rimsa Alvares. Utilização de BDD na FCA. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais. |
| 3. | ROCHA, G.; SONG, Mark Alan Junho. Participação em banca de Gleizer Aguiar Almeida. Sistemas de Informação Gerencial. 2007. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Centro Universitário UNA. |
| 4. | ROCHA, G.; SONG, Mark Alan Junho. Participação em banca de Sávio Emílio Silva. Metodologia para Compatibilizar Negócio e Tecnologia nas Redes Corporativas. 2007. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Centro Universitário UNA. |
| 5. | SONG, Mark Alan Junho; ROCHA, G.. Participação em banca de Ederson Killen. Sistemas de Busca Corporativo - Recuperação de Documentos Digitais. 2007. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Centro Universitário UNA. |
| 6. | MARTINS, Carlos Augusto da Silva; COUTO, Rainner Ronnie Pereira; SONG, Mark Alan Junho. Participação em banca de Wagner Domingos da Silva Santos. Análise de Desempenho de Algoritmos Genéticos Paralelos Implementados em Cluster Windows utilizando Mpich. 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais. |
| 7. | PIETROBON, Carlos Alberto Marque; NERI, Cristiane; SONG, Mark Alan Junho. Participação em banca de André Luiz Perón Martins Lana. Refactoring como um Mecanismo para a extração de Componentes Reutlizáveis. 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais. |
| 8. | VALENTE, Marco Túlio Oliveira; SONG, Mark Alan Junho. Participação em banca de Francisco Mário de Moura. Análise de objetos de sistema distribuídos em Java. 2005. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais. |
| 9. | MARQUES, Humberto Torres; SONG, Mark Alan Junho. Participação em banca de Gustavo Formiga Dias. Migração de sistemas proprietários para sistemas livres. 2005. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais. |
| 10. | GALVEZ, Luis Enrique Zarate; SONG, Mark Alan Junho. Participação em banca de João Paulo Domingos Silva. Análise Formal de Conceitos: Revisão Conceitual e Estudos da Aplicabilidade. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais. |
| 11. | MOREIRA, Manoel Palhares; SONG, Mark Alan Junho. Participação em banca de Marco Antônio Rabelo Moreira. Comparando Funcionalidade e Desempenho entre SGBD´s. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais. |
| 12. | GALVEZ, Luis Enrique Zarate; NERI, Cristiane; SONG, Mark Alan Junho. Participação em banca de Renato Vimieiro. Extração de Conhecimento de Redes Neurais Artificiais Através de Análise Formal de Conceitos. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais. |
| 13. | VALENTE, Marco Túlio Oliveira; SANTOS, Silvio; SONG, Mark Alan Junho. Participação em banca de Yuri Martins Sato. Uma Aplicação de Comércio Eletrônico Baseada em Serviços Web. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais. |
| 14. | VALENTE, Marco Túlio Oliveira; TIRELO, Fábio; SONG, Mark Alan Junho. Participação em banca de Sérgio Vale e Pace. Catálogo de Técnicas de Meta-Programação por Templates em C++.. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais. |
| 15. | GALVEZ, Luis Enrique Zarate; JÚNIOR, Clodoveu Augusto; SONG, Mark Alan Junho. Participação em banca de Henrique Cunha. Descoberta de Padrões em Banco de Dados de Pacientes com Problemas Cardíacos Via Data Mining. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais. |
| Participação em bancas de comissões julgadoras |
| Livre docência |
| 1. | SONG, Mark Alan Junho. Comissão Examinadora do Processo de Seleção de Docentes - Mestrado em Informática. 2008. Pontifícia Universidade Católica de Minas Gerais. |
| 2. | SONG, Mark Alan Junho. Comissão Examinadora do Processo de Seleção de Docentes - Disciplina Introdução à Computação - Curso de Sistemas de Informação. 2007. Pontifícia Universidade Católica de Minas Gerais. |
| 3. | SONG, Mark Alan Junho. Comissão Examinadora do Processo de Seleção de Docentes - Disciplina Informática - Curso de Administração (Coração Eucarístico). 2007. Pontifícia Universidade Católica de Minas Gerais. |
| 4. | SONG, Mark Alan Junho. Comissão Examinadora do Processo de Seleção de Docentes - Disciplina Gerência de Redes de Computadores - Curso de Sistemas de Informação. 2007. Pontifícia Universidade Católica de Minas Gerais. |
| 5. | SONG, Mark Alan Junho. Comissão Examinadora do Processo de Seleção de Docentes - Disciplina Informática - Curso de Administração (Betim). 2007. Pontifícia Universidade Católica de Minas Gerais. |
| 6. | SONG, Mark Alan Junho. Comissão Examinadora do Processo de Seleção de Docentes - Disciplina Projeto e Análise de Algoritmo - Curso de Ciência da Computação. 2007. Pontifícia Universidade Católica de Minas Gerais. |
| 7. | SONG, Mark Alan Junho. Comissão Examinadora do Processo de Seleção de Docentes - Disciplina Sistemas Distribuídos e Tecnologia de Bancos de Dados - Curso de Sistemas de Informação. 2006. Pontifícia Universidade Católica de Minas Gerais. |
| 8. | SONG, Mark Alan Junho; GALVEZ, Luis Enrique Zarate; GUIMARÃES, Silvio Jamil. Comissão Examinadora do Processo de Seleção de Docentes - Disciplina Algoritmos Recursivos - Curso de Ciência da Computação. 2005. Pontifícia Universidade Católica de Minas Gerais. |
| 9. | SONG, Mark Alan Junho; GALVEZ, Luis Enrique Zarate; GUIMARÃES, Silvio Jamil. Comissão Examinadora do Processo de Seleção de Docentes - Disciplina Introdução aos Sistemas Lógicos - Curso de Ciência da Computação. 2005. Pontifícia Universidade Católica de Minas Gerais. |
| 10. | BEZERRA FILHO, José Carlos; SONG, Mark Alan Junho; HADAD, Renato Moreira. Comissão Examinadora do Processo de Seleção de Docentes - Disciplina Linguagens de Programação - Curso de Sistemas de Informação. 2003. Pontifícia Universidade Católica de Minas Gerais. |
| 11. | BEZERRA FILHO, José Carlos; SONG, Mark Alan Junho; HADAD, Renato Moreira. Comissão Examinadora do Processo de Seleção de Docentes - Disciplina Interface Homem-Máquina - Curso de Sistemas de Informação. 2003. Pontifícia Universidade Católica de Minas Gerais. |
| 12. | COSTA, José Wilson da; BIRCHAL, Marco Aurélio de Souza; SONG, Mark Alan Junho. Comissão Examinadora do Processo de Seleção de Docentes - Disciplina Tópicos Especiais em Informática - Curso de Sistemas de Informação. 2000. Pontifícia Universidade Católica de Minas Gerais. |
| Outras participações |
| 1. | SONG, Mark Alan Junho. Banca Avaliadora de Trabalhos de Iniciação Científica: 15 Seminário de Iniciação Científica. 2007. Pontifícia Universidade Católica de Minas Gerais. |
Orientações
| Supervisões e orientações concluídas |
| Dissertação de mestrado |
| 1. | Rodrigo Rezende Marinho Diana. Validação de Código SQL Via Verificação de Modelos. 2011. Dissertação (Mestrado em Mestrado em Informática) - Pontifícia Universidade Católica de Minas Gerais, . Orientador: Mark Alan Junho Song. |
| 2. | Flávio Márcio de Moraes e Silva. PUC-SAT: um Solucionador Híbrido Baseado nos Algoritmos de Stalmarck e DPLL.
2010.
Dissertação (Mestrado em Mestrado em Informática) - Pontifícia Universidade Católica de Minas Gerais, . Orientador: Mark Alan Junho Song. |
| 3. | Cristiano de Magalhães Barros. Verificação Automatizada de Regras de Sequenciamento de Execução em Workflows.
2010.
Dissertação (Mestrado em Mestrado em Informática) - Pontifícia Universidade Católica de Minas Gerais, . Orientador: Mark Alan Junho Song. |
| 4. | Júlio César Neves. Algoritmo Distribuído para Exploração de Cláusulas com Bounded Model Checking através de uma Busca em Profundidade.
2009. 0 f.
Dissertação (Mestrado em Mestrado em Informática) - Pontifícia Universidade Católica de Minas Gerais, . Orientador: Mark Alan Junho Song. |
| 5. | Carolina Maria Francisco Cota. Inferência de Identidade Genética - Uma Abordagem Baseada em Verificação Simbólica de Modelos. 2009. Dissertação (Mestrado em Mestrado em Informática) - Pontifícia Universidade Católica de Minas Gerais, . Orientador: Mark Alan Junho Song. |
| 6. | Sebastião Eustáquio de Jesus. Um Ambiente para Avaliação de Projetos de Software Orientado a Objeto.
2008. 0 f.
Dissertação (Mestrado em Mestrado em Informática) - Pontifícia Universidade Católica de Minas Gerais, . Orientador: Mark Alan Junho Song. |
| 7. | Frederico Papatella. Framework Solar Energy: Evoluções Aplicadas a Sistemas Fotovoltaicos.
2008. 0 f.
Dissertação (Mestrado em Mestrado em Informática) - Pontifícia Universidade Católica de Minas Gerais, . Orientador: Mark Alan Junho Song. |
| 8. | Gustavo Ludovico Guidoni. Framework para Construção de Sistemas de Energia Solar.
2007. 0 f.
Dissertação (Mestrado em Mestrado em Informática) - Pontifícia Universidade Católica de Minas Gerais, . Orientador: Mark Alan Junho Song. |
| Trabalho de conclusão de curso de graduação |
| 1. | Fernando Augusto Fernandes Braz. Definição e avaliação de métricas para solucionadores SAT. 2009. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais. Orientador: Mark Alan Junho Song. |
| 2. | Cristiano Santos Botelho. Uma Abordagem Baseada em Verificação Simbólica de Modelos para Identificacão Genética em Bases de Dados. 2009. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais. Orientador: Mark Alan Junho Song. |
| 3. | Tiago Figueiredo de Carvalho. JFMathSim: Framework para simulação de operações matemáticas. 2009. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais. Orientador: Mark Alan Junho Song. |
| 4. | Daniel B. R. Golgher. Utilização de Frameworks para Desenvolvimento Web. 2008. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Centro Universitário UNA. Orientador: Mark Alan Junho Song. |
| 5. | João Thiago Silva. Framework para Desenvolvimento de Sistemas Corporativos. 2008. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Centro Universitário UNA. Orientador: Mark Alan Junho Song. |
| 6. | Igor Alves Perdigão Reis. Análise da Aplicação de Padrões de Projeto em Framework de Sistemas de Energia Solar. 2008. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais. Orientador: Mark Alan Junho Song. |
| 7. | Jardel Alves da Silva. Metodologia para Teste de Software. 2008. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Centro Universitário UNA. Orientador: Mark Alan Junho Song. |
| 8. | Rondinelly Freitas. SOA - Conectando Tecnologia ao Negócio. 2007. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Centro Universitário UNA. Orientador: Mark Alan Junho Song. |
| 9. | Ederson Killen. Sistemas de Busca Corporativo - Recuperação de Documentos Digitais. 2007. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Centro Universitário UNA. Orientador: Mark Alan Junho Song. |
| 10. | Pablo andrés Filipuzzi. Desenvolvimento de Sistemas empresariais Utilizando Plataformas J2EE e Eclipse . 2005. 72 f. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Faculdade de Ciências Gerenciais da Una. Orientador: Mark Alan Junho Song. |
| 11. | Humberto Brandão Mafra. Desenvolvimento de aplicações web em Java baseado em tecnologias Servlet, JSP e EJB.. 2005. 70 f. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Software) - Faculdade de Ciências Gerenciais da Una. Orientador: Mark Alan Junho Song. |
| 12. | Washington José Júnior. Desenvolvimento de Software: Conceitos e Soluções utilizando Frameworks. 2005. 69 f. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Software) - Faculdade de Ciências Gerenciais da Una. Orientador: Mark Alan Junho Song. |
| 13. | Bernardo Dantas Teixeira. Extração de Grafos Computacionais Paralelos. 2005. 45 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais. Orientador: Mark Alan Junho Song. |
| 14. | Luciano Carreiro de Sá. Transformação de aplicações desktop em aplicações Web. 2005. 43 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais. Orientador: Mark Alan Junho Song. |
| 15. | Alex Sander Azevedo Souza. Metodologias de Desenvolvimento de Software. 2004. 120 f. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Software) - Faculdade de Ciências Gerenciais da Una. Orientador: Mark Alan Junho Song. |
| 16. | Wallace Hora Lessa Filho. Modelos de Sites de Comércio Eletrônico. 2004. 103 f. Trabalho de Conclusão de Curso. (Graduação em Administração de Sistemas de Informação) - Faculdade de Ciências Gerenciais da Una. Orientador: Mark Alan Junho Song. |
| 17. | Weslei Atos Viana. Gerência de Projeto de Software. 2004. 116 f. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Software) - Faculdade de Ciências Gerenciais da Una. Orientador: Mark Alan Junho Song. |
| 18. | Zeovaldo Gonçalves Rocha. Padrões de Projeto: Conceitos e Aplicações. 2004. 71 f. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Faculdade de Ciências Gerenciais da Una. Orientador: Mark Alan Junho Song. |
| 19. | Cristiano Mário Rocha. Orientacao por Objetos em Java. 2004. 64 f. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Faculdade de Ciências Gerenciais da Una. Orientador: Mark Alan Junho Song. |
| 20. | Peter Blaha Jr. Gestão de Insumos Energéticos em Processo Industriais. 2004. 73 f. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Faculdade de Ciências Gerenciais da Una. Orientador: Mark Alan Junho Song. |
| Iniciação Científica |
| 1. | Cristiano Santos Botelho. Inferência de Identidade Genética. 2008. Iniciação Científica. (Graduando em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais. Orientador: Mark Alan Junho Song. |
| 2. | Fernando Augusto Fernandes Braz. Estudo de problemas de Satisfabilidade e BDD´s para geração de solucionadores. 2008. Iniciação Científica - Pontifícia Universidade Católica de Minas Gerais. Orientador: Mark Alan Junho Song. |
| 3. | Tiago Figueiredo de Carvalho. Estudo de ferramentas para avaliação de sistemas envolvendo conversão de energia. 2008. Iniciação Científica. (Graduando em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais. Orientador: Mark Alan Junho Song. |
| 4. | Igor Alves Perdigão Reis. Utilização de Frameworks Para Construção de Sistemas Fotovoltaicos. 2007. Iniciação Científica. (Graduando em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais, Fundação de Amparo à Pesquisa do Estado de Minas Gerais. Orientador: Mark Alan Junho Song. |
| 5. | Sérgio Roberto Imaeda Yoshioka. SOLBRASIL - Programa de Incentivo e Desenvolvimento do Aquecimento Solar no Brasil.. 2006. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais, Financiadora de Estudos e Projetos. Orientador: Mark Alan Junho Song. |
| 6. | Breno Santos Araújo. Ambiente para Verificação de Modelos com Fronteiras. 2006. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Mark Alan Junho Song. |
| 7. | Luciano Carreiro de Sá. Transformação de aplicações desktop em aplicações Web utilizando XUL. 2005. 43 f. Iniciação Científica. (Graduando em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais. Orientador: Mark Alan Junho Song. |
| 8. | Bernardo Dantas Teixeira. Extração de Grafos Computacionais Paralelos para Linguagem de Programação Java. 2005. 45 f. Iniciação Científica. (Graduando em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais. Orientador: Mark Alan Junho Song. |
| Página gerada pelo Sistema Currículo Lattes em 11/02/2012 às 17:02:35 |