José Carlos Maldonado

Professor Titular em Engenharia de Software e Diretor do Instituto de Ciências Matemáticas e de Computação (ICMC-USP, 2010-2014). Atualmente Professor Sênior no ICMC-USP (a partir de março de 2016) e Professor Emérito do ICMC-USP (desde março de 2020). Atua na Loggi Tecnologia como Coordenador da Relação com a Academia. Possui graduação em Engenharia Elétrica pela Universidade de São Paulo (1978), mestrado em Engenharia e Tecnologia Espaciais pelo Instituto Nacional de Pesquisas Espaciais (1983) e doutorado em Engenharia Elétrica - Computação e Automação pela Universidade Estadual de Campinas (UNICAMP) (1991). Título de Livre-Docente da USP (1996). Vice-Diretor do ICMC-USP (2007-2010). Presidente da Sociedade Brasileira de Computação SBC(2007-2009; 2009-2011); foi Diretor de Educação da SBC (97-99), Membro do Conselho da SBC (1999-2003; 2011-2015; 2017-2021), Vice-Presidente da SBC (2003-2005; 2005-2007). Presidente da SBC 2007-2011. Membro do CA-CC/CNPq (2006-2009; 2015-2018); Adjunto da Área de Computação da CAPES (2004-2007; 2007-2010, 2018-2022). Membro da Coordenação de Área da FAPESP (2006-2013). Coordenador do Grupo de TIC do IEA Instituto de Estudos Avançados/USP-São Carlos, até 2011. Membro da rede de pesquisa - International Software Engineering Research Network (ISERN, até 2010). Membro da Comissão Permanente de Avaliação da USP. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: teste de software, educação em engenharia de software, engenharia de software experimental, sistemas embarcados críticos, e ambientes e métodos de ensino. Já publicou mais de 60 artigos em periódicos e mais de uma centena de artigos completos arbitrados, além de 03 livros e mais de uma dezena de capítulos de livros. Coordenou e participou de dezenas de projetos de pesquisa financiados por agências de pesquisa. Coordenou o Instituto Nacional de Ciência e Tecnologia em Sistemas Embarcados Críticos (INCT-SEC), financiado pelo CNPq/Fapesp. Participa de Comitês Editorias de Periódicos Internacionais e já coordenou/participou de mais de uma centena de Comitês de Programas de Eventos Científicos. Recebeu vários prêmios e homenagens, destacando-se: Prêmio de Mérito Científico 2017 da SBC - Sociedade Brasileira de Computação, Comenda do Mérito Científico 2008, Premio Jabuti 2008 de Ciências Exatas, Ciências e Tecnologia (terceiro lugar); Destaque Acadêmico 2007 proferido pela ABDI - Agência Brasileira de Desenvolvimento Industrial; e IV Prêmio Nacional de Informática 1991, conferido pela SEI, MODDATA S/A, Fundação Roberto Marinho.

Informações coletadas do Lattes em 23/06/2020

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Doutorado em Engenharia Elétrica - Computação e Automação

1985 - 1991

Universidade Estadual de Campinas
Título: Critérios Potenciais Usos: Uma Contribuição ao Teste Estrutural de Software
Orientador: Mário Jino
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Criterios e Estrategias de Testes; Ferramentas de Teste; Testes e Validacao de Software; Teste estrutural.Grande área: Ciências Exatas e da TerraSetores de atividade: Qualidade e Produtividade; Informática.

Mestrado em Engenharia e Tecnologia Espaciais

1979 - 1983

Instituto Nacional de Pesquisas Espaciais
Título: UM SISTEMA DE CONTROLE E SUPERVISÃO DE BORDO",Ano de Obtenção: 1983
EDUARDO WITAKER BERGAMINI.Palavras-chave: Controle e Supervisao de Bordo; Criterios e Estrategias de Testes; Ferramentas de Teste; Protocolos de Comunicacao; Sistemas de Computacao; Testes e Validacao de Software. Grande área: EngenhariasGrande Área: Engenharias / Área: Engenharia Aeroespacial / Subárea: Sistemas Aeroespaciais / Especialidade: Satélites e Outros Dispositivos Aeroespaciais. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Software Básico. Setores de atividade: Aeronáutica e Espaço; Fabricação de Aparelhos e Equipamentos de Telecomunicação.

Especialização em Ênfase Em Computação Eletrônica

1976 - 1978

Universidade de São Paulo

Graduação em Engenharia Elétrica

1974 - 1978

Universidade de São Paulo

Seção coletada automaticamente pelo Escavador

Pós-doutorado

1997

Livre-docência. , Universidade de São Paulo, USP, Brasil. , Título: Critérios de Teste de Software: Aspectos Teóricos, Empíricos e de Automatização, Ano de obtenção: 1997., Palavras-chave: Analise de Mutantes; Teste de Software; Criterios e Estrategias de Testes; Ferramentas de Teste; Teste estrutural., Grande área: Ciências Exatas e da Terra, Setores de atividade: Informática; Qualidade e Produtividade.

1995 - 1996

Pós-Doutorado. , Purdue University, PURDUE, Estados Unidos. , Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. , Grande área: Ciências Exatas e da Terra

Seção coletada automaticamente pelo Escavador

Idiomas

Bandeira representando o idioma Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Bandeira representando o idioma Espanhol

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

Bandeira representando o idioma Francês

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

Seção coletada automaticamente pelo Escavador

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Sistemas de Informação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Software Básico.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas Embarcados Críticos.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Recursos Educacionais Abertos.

Seção coletada automaticamente pelo Escavador

Organização de eventos

MALDONADO, J. C. . CBSOFT 2018. 2018. (Congresso).

MALDONADO, J. C. . CBSOFT 2017. 2017. (Congresso).

Maldonado, José Carlos . WETICE/AROSA 2016 - International track on Adaptive and Reconfigurable Service-oriented and component-based Applications and Architectures. 2016. (Congresso).

Maldonado, José Carlos . SBSI 2016-Simpósio Brasileiro de Sistemas de Informação. 2016. (Congresso).

Maldonado, José Carlos . CLEI 2016 - SLISW. 2016. (Congresso).

Maldonado, José Carlos . WAMPS 2016 - XII Workshop Anual do MPS. 2016. (Congresso).

Maldonado, José Carlos . WDES 2016 - Workshop on Dependability in Evolving Systems. 2016. (Congresso).

MALDONADO, J. C. . 35º JAI - Jornada de Atualização em Informática. 2016. (Outro).

Maldonado, Jose Carlos . SiSoS 2017 - 32th ACM Symposium on Applied Computing (SAC). 2016. (Congresso).

MALDONADO, J. C. . SBQS. 2016. (Congresso).

Maldonado, J.C. . 22° WIE - Workshop de Informática na Escola. 2016. (Congresso).

Maldonado, J.C. . ASOCA 2016. 2016. (Congresso).

Maldonado, J.C. . CIbSE 2017. 2016. (Congresso).

MALDONADO, J. C. . CBSOFT 2016. 2016. (Congresso).

Maldonado, José Carlos . WETICE / AROSA 2015 - International track on Adaptive and Reconfigurable Service-oriented and component-based Applications and Architectures. 2015. (Outro).

Maldonado, José Carlos . JoCICI 2015 - II Jornadas Costarricenses de Investigación en Computación e Informática 2015. 2015. (Outro).

Maldonado, José Carlos . SBSI 2015: Simpósio Brasileiro de Sistemas de Informação - Main Track. 2015. (Outro).

Maldonado, José Carlos . SBSI 2015: Simpósio Brasileiro de Sistemas de Informação - Special Track 2 - IS Applications and Tools. 2015. (Outro).

Maldonado, José Carlos . WICSA 2015 - CobRA - 1st International Workshop on Exploring Component-based Techniques for Constructing Reference Architectures. 2015. (Outro).

Maldonado, José Carlos . SLISW-CLEI 2015 - Software Engineering Track of CLEI Symposium. 2015. (Congresso).

Maldonado, José Carlos . CBSoft 2015 - Technical Program Committee for CBSoft 2015 - SAST. 2015. (Congresso).

Maldonado, José Carlos . SAC/2016: 31st ACM Symposium On Applied Computing. 2015. (Congresso).

MALDONADO, J. C. . CBSOFT 2015. 2015. (Congresso).

Maldonado, José Carlos . WETICE/AROSA 2014 - International track on Adaptive and Reconfigurable Service-oriented and component-based Applications and Architectures. 2014. (Congresso).

Maldonado, José Carlos . SBSI 2014 - Simpósio Brasileiro de Sistemas de Informação. 2014. (Congresso).

Maldonado, José Carlos . WSL 2014 - International Free Software Workshop. 2014. (Outro).

Maldonado, José Carlos . CLEI 2014 - Conferencia Latinoamericana en Informática. 2014. (Outro).

Maldonado, José Carlos . SERE 2014 - 8th IEEE International Conference on Software Security and Reliability. 2014. (Congresso).

Maldonado, José Carlos . XIII SIMPÓSIO BRASILEIRO DE QUALIDADE DE SOFTWARE (SBQS 2014). 2014. (Congresso).

Maldonado, José Carlos . WBMA 2014 - 5th Brazilian Workshop on Agile Methods. 2014. (Outro).

Maldonado, José Carlos . WDES - 8th Workshop em Desenvolvimento Distribuído de Software, Ecossistemas de Software e Sistemas de Sistemas. 2014. (Congresso).

Maldonado, José Carlos . SAC 2015 - 30th Symposium On Applied Computing. 2014. (Congresso).

Maldonado, José Carlos . 20º Workshop de Informática na Escola (WIE) / 3º Congresso Brasileiro de Informática na Educação. 2014. (Congresso).

Maldonado, José Carlos . ESELAW 2015 - 12th Workshop on Experimental Software Engineering. 2014. (Congresso).

Maldonado, José Carlos . 3º Seminário dos Grandes Desafios em Computação Ênfase em Grandes Desafios do Mercado e do Governo Fase 2. 2014. (Outro).

Maldonado, José Carlos . 25°SBIE:Simpósio Brasileiro de Informática na Educação - CBIE 2014: Congresso Brasileiro de Informática na Educação. 2014. (Congresso).

Maldonado, José Carlos . SBESC 2014 - Simpósio Brasileiro de Engenharia de Software. 2014. (Congresso).

Maldonado, José Carlos . Mutation 2015 - The 10th International Workshop on Mutation Analysis / ICST 2015. 2014. (Congresso).

Maldonado, José Carlos . SEKE 2015 - Software Engineering and Knowledge Engineering. 2014. (Congresso).

Maldonado, José Carlos . ECSA 2015 - 9th European Conference on Software Architecture. 2014. (Congresso).

Maldonado, José Carlos . SESoS 2015 - 3rd International Workshop on Software Engineering for Systems-of-Systems. 2014. (Congresso).

Maldonado, José Carlos . CLEI 2013 - XXXIX Conferencia Latinoamericana en Informática. 2013. (Congresso).

Maldonado, José Carlos . SBSI 2013 - Simpósio Brasileiro de Sistemas de Informação. 2013. (Congresso).

Maldonado, José Carlos . WBMA 2013 - 4th Brazilian Workshop on Agile Methods. 2013. (Congresso).

Maldonado, José Carlos . 65ª Reunião Anual da SBPC. 2013. (Outro).

Maldonado, José Carlos . SESoS 2013 - International Workshop on Software Engineering for Systems-of-Systems. 2013. (Congresso).

Maldonado, José Carlos . Simpósio Brasileiro de Engenharia de Software (SBES) ? TRILHA ESPECIAL. 2013. (Congresso).

Maldonado, José Carlos . Simpósio Brasileiro de Engenharia de Software (SBES) ? TRILHA ESPECIAL. 2013. (Congresso).

Maldonado, José Carlos . SEKE 2014 - 26th International Conference on Software Engineering and Knowledge Engineering. 2013. (Congresso).

Maldonado, José Carlos . 24º CBIE - Congresso Brasileiro de Informática na Educação. 2013. (Congresso).

Maldonado, José Carlos . Mutation 2014 - 9th International Workshop on Mutation Analysis / ICST 2014 : International Conference on Software Testing, Verification, and Validation. 2013. (Congresso).

Maldonado, José Carlos . 8th European Conference on Software Architecture - ECSA 2014. 2013. (Congresso).

Maldonado, José Carlos . SBESC 2013 - Simpósio Brasileiro de Engenharia de Software. 2013. (Congresso).

Maldonado, José Carlos . SBQS 2012 - Simpósio Brasileiro de Qualidade de Software. 2012. (Congresso).

Maldonado, José Carlos . CBSoft 2012 - 26th SBES: Simpósio Brasileiro de Engenharia de Software. 2012. (Congresso).

Maldonado, José Carlos . SERENE 2012 - 4th International Workshop on Software Engineering for Resilient Systems. 2012. (Congresso).

Maldonado, José Carlos . CBSoft 2012 - 6th Brazilian Symposium on Software Components, Architectures and Reuse. 2012. (Congresso).

Maldonado, José Carlos . CLEI 2012 - Conferência Latinoamericana en Informática. 2012. (Congresso).

Maldonado, José Carlos . CSBC 2012 - DesafIE! Workshop de Desafios da Computação Aplicada à Educação.. 2012. (Outro).

Maldonado, José Carlos . SEW-35: 35th Annual IEEE Software Engineering Workshop. 2012. (Outro).

Maldonado, José Carlos . 6th Brazilian Workshop on Systematic and Automated Software Testing. 2012. (Outro).

Maldonado, José Carlos . III Workshop de Sistemas Embarcados. 2012. (Outro).

Maldonado, José Carlos . ICST 2013: 6th International Conference on Software Testing, Verification and Validation. 2012. (Congresso).

Maldonado, José Carlos . 3rd Brazilian Workshop on Agile Methods. 2012. (Outro).

Maldonado, José Carlos . SBES 2012-XXVI Brazilian Symposium on Software Engineering SPECIAL TRACK: "Grand Challenges in Software/System Engineering". 2012. (Congresso).

Maldonado, José Carlos . ICTS 2013 - 6th IEEE International Conference on Software Testing, Verification and Validation. 2012. (Congresso).

Maldonado, José Carlos . CBSEC 2012: II Conferência Brasileira em Sistemas Embaracados Críticos. 2012. (Outro).

Maldonado, José Carlos . 23ºSimpósio Brasileiro de Informátia na Computação. 2012. (Outro).

Maldonado, Jose Carlos . ICM-International Congress of Mathematicians and IMU-General Assembly of the International Mathematical Union - 2018. 2012. (Congresso).

Maldonado, Jose Carlos . 64ª Reunião Anual da SBPC. 2012. (Outro).

Maldonado, Jose Carlos . 25th International Conference on Software Engineering and Knowledge Engineering (SEKE2013). 2012. (Congresso).

Maldonado, José Carlos . ASSE 2013 - Argentine Symposium on Software Engineering. 2012. (Congresso).

Maldonado, José Carlos . ECSA 2013 - 7th European Conference on Software Architecture. 2012. (Congresso).

Maldonado, José Carlos . 6th International Workshop on Mutation Testing 2011 - Technical Programme Committee. 2011. (Congresso).

Maldonado, José Carlos . CIbSE 2011-XIV Conferência Iberoamericana em "Software Engineering" - Program Committee. 2011. (Congresso).

Maldonado, José Carlos . SBQS 2011-10th Brazilian Symposium on Software Quality. 2011. (Congresso).

Maldonado, José Carlos . XII WSL-Workshop de Software Livre. 2011. (Congresso).

Maldonado, José Carlos . SEKE 2011-23rd International Conference on Software Engineering and Knowledge Engineering - Technical Program Committee. 2011. (Congresso).

Maldonado, José Carlos . CBSoft 2011-5th Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS) - Technical Program Committee. 2011. (Congresso).

Maldonado, José Carlos . 5th Latin-American Workshop on Aspect-Oriented Software Development (LA-WASP 2011) - Program Committee. 2011. (Congresso).

Maldonado, José Carlos . CBSoft 2011-Workshops SAST 2011. 2011. (Congresso).

Maldonado, José Carlos . SEKE 2012 - Organization of the core. 2011. (Congresso).

Maldonado, José Carlos . ESELAW 2012 - Experimental Software Engineering Latin American Workshop. 2011. (Congresso).

Maldonado, José Carlos . XIII WSL 2012 - Workshop Internacional de Software Livre. 2011. (Congresso).

Maldonado, Jose Carlos . Technical Programm Committee - 25th Brazilian Symposium on Software Engineering (SBES). 2010. (Congresso).

Maldonado, José Carlos . ESELAW 2010 - Technical Program Committee. 2010. (Congresso).

MALDONADO, J. C. . Organizing committee of WCGE - 1st Workshop on Computing Applied to Eletronic Government (general co-chair). 2009. (Outro).

MALDONADO, J. C. . Experimental Software Engineering session of ICECCS 2008 (Thirteenth IEEE International Conference on Engineering of Complex Computer Systems). 2008. (Congresso).

MALDONADO, J. C. . International Conference on Software Engineering. 2003. (Congresso).

MALDONADO, J. C. . Twelfth International Conference on Computer Communications and Networks - ICCCN'03. 2003. (Congresso).

MALDONADO, J. C. . VI SBAI - Simpósio Brasileiro de Automação Inteligente. 2003. (Congresso).

MALDONADO, J. C. . The First Workshop on Verification and Validation of Enterprise Information Systems - VVEIS'03. 2003. (Congresso).

MALDONADO, J. C. . First Latin-American Symposium on Dependable Computing - LADC'03. 2003. (Congresso).

MALDONADO, J. C. . Sixth International Symposium on Autonomous Decentralized Systems with an Emphasis on Advanced Distributed Transportation Systems - ISADS'03. 2003. (Congresso).

MALDONADO, J. C. . TestCom'2002 - IFIP TC6/WG6.1 - 14th International conference on Testing of Communicating Systems. 2002. (Congresso).

MALDONADO, J. C. . 2a. JIISIC - Jornada Ibero-Americana de Engenharia de Software de Conhecimento. 2002. (Congresso).

MALDONADO, J. C. . II Workshop de Desenvolvimento Baseado em Componentes - WDBC'02. 2002. (Congresso).

MALDONADO, J. C. . I Simpósio Brasileiro de Qualidade de Sofware - SBQS'02. 2002. (Congresso).

MALDONADO, J. C. . XVI Simpósio Brasileiro de Engenharia de Software - SBES'02. 2002. (Congresso).

MALDONADO, J. C. . Eleventh International Conference on Computer Communications and Networks - ICCCN'02. 2002. (Congresso).

MALDONADO, J. C. . International Conference on Computer Science, Software Engineering, Information Technology, e-Business and Applications - CSITeA'02. 2002. (Congresso).

MALDONADO, J. C. . Workshop on Software Quality - WoSQ'02. 2002. (Congresso).

MALDONADO, J. C. . 1a Jornadas Iberoamericanas de Ingeniería del Software e Ingeniería del Conocimiento. 2001. (Congresso).

MALDONADO, J. C. . South America - The Thirteenth International Conference on Software Engineering & Knowledge Engineering. 2001. (Congresso).

MALDONADO, J. C. . CLEI'2001 - XXVII Conferencia Latinoamericana de Informática. 2001. (Congresso).

MALDONADO, J. C. . ASSE 2001 - Second Argentine Symposium on Software Engineering. 2001. (Congresso).

MALDONADO, J. C. . Tenth International Conference on Computer Communications and Networks - ICCCN2001. 2001. (Congresso).

MALDONADO, J. C. . SCTF 2001 - IX Brazilian Symposium on Fault-Tolerant Computing. 2001. (Congresso).

MALDONADO, J. C. . VI Escola Regional de Informática de São Paulo da Sociedade Brasileira de Computação. 2001. (Congresso).

MALDONADO, J. C. . VI Simpósio de Teses e Dissertações do ICMC-USP. 2001. (Congresso).

MALDONADO, J. C. . XII CITS:QS - Conferência Internacional de Tecnologia de Software: Qualidade de Software. 2001. (Congresso).

MALDONADO, J. C. . IX WEI - Workshop sobre Educação na Informática do XX SBC - Congresso Nacional da Sociedade Brasileira de Computação. 2001. (Congresso).

MALDONADO, J. C. . VI Workshop de Teses em de Engenharia de Software do XV SBES'2001. 2001. (Congresso).

MALDONADO, J. C. . ISSRE 2001 - 12th International Symposium on Software Reliability Engineering. 2001. (Congresso).

MALDONADO, J. C. . 6th ISSAT - International Conference on Reliability and Quality in Design. 2000. (Congresso).

MALDONADO, J. C. . CLEI'2000 - XXVI Conferencia Latinoamericana de Informática. 2000. (Congresso).

MALDONADO, J. C. . Mutation 2000 - A Symposium On Mutation in the Twentieth and the Twenty First Centuries. 2000. (Congresso).

MALDONADO, J. C. . V Simpósio de Teses e Dissertações do ICMC-USP. 2000. (Congresso).

MALDONADO, J. C. . XI CITS:QS - XI Conferência Internacional de Tecnologia de Software: Qualidade de Software. 2000. (Congresso).

MALDONADO, J. C. . II Workshop de Testes e Tolerância a Falhas - II WTF. 2000. (Congresso).

MALDONADO, J. C. . WQS'2000 - Workshop de Qualidade de Software. 2000. (Congresso).

MALDONADO, J. C. . VIII WEI - Workshop sobre Educação na Informática do XIX SBC - Congresso Nacional da Sociedade Brasileira de Computação. 2000. (Congresso).

MALDONADO, J. C. . XIV SBES - Simpósio Brasileiro de Engenharia de Software. 2000. (Congresso).

MALDONADO, J. C. . V WTES - Workshop on Software Engineering Thesis and Dissertations do XIV SBES´2000. 2000. (Congresso).

MALDONADO, J. C. . V ISSAT - International Conference on Reliability and Quality in Design. 1999. (Congresso).

MALDONADO, J. C. . XIX SCCC - International Conference of the Chilean. 1999. (Congresso).

MALDONADO, J. C. . ISSRE - International Symposium on Software Reliability Systems. 1999. (Congresso).

MALDONADO, J. C. . X CITS - Conferência Internacional de Tecnologia de Software. 1999. (Congresso).

MALDONADO, J. C. . IV Simpósio de Teses e Dissertações do ICMC-USP. 1999. (Congresso).

MALDONADO, J. C. . VII WEI - Workshop sobre Educação na Informática do XIX SBC - Congresso Nacional da Sociedade Brasileira de Computação. 1999. (Congresso).

MALDONADO, J. C. . XIII SBES - Simpósio Brasileiro de Engenharia de Software. 1999. (Congresso).

MALDONADO, J. C. . Olimpíada Brasileira de Informática da SBC - Sociedade Brasileira de Computação. 1999. (Outro).

MALDONADO, J. C. . 11th IWTCS - International Workshop on Testing of Comunicating Systems. 1998. (Congresso).

MALDONADO, J. C. . III Simpósio de Teses e Dissertações. 1998. (Congresso).

MALDONADO, J. C. . IX CITS - Conferência Internacional de Tecnologia de Software. 1998. (Congresso).

MALDONADO, J. C. . VI WEI - Workshop sobre Educação na Informática do XVIII SBC - Congresso Nacional da Sociedade Brasileira de Computação. 1998. (Outro).

MALDONADO, J. C. . WQS'98 - Workshop de Qualidade de Software. 1998. (Outro).

MALDONADO, J. C. . XII SBES - Simpósio Brasileiro de Engenharia de Software. 1998. (Congresso).

MALDONADO, J. C. . 8th ISSRE - International Symposium on Software Reliability Engineering, IEEE Computing Society. 1997. (Congresso).

MALDONADO, J. C. . WPVTSO - Workshop do Projeto Validação e Teste de Sistemas de Operação. 1997. (Congresso).

MALDONADO, J. C. . II Simpósio de Teses e Dissertações do Programa de Pós-Graduação na Área de Ciências de Computação e Matemática Computacional do ICMSC-USP. 1997. (Congresso).

MALDONADO, J. C. . XXIV SEMISH - Seminário Integrado de Software e Hardware. 1997. (Congresso).

MALDONADO, J. C. . VIII CITS - Conferência Internacional de Tecnologia de Software. 1997. (Congresso).

MALDONADO, J. C. . XI SBES - Simpósio Brasileiro de Engenharia de Software. 1997. (Congresso).

MALDONADO, J. C. . VII CTIS - Conferência Internacional de Tecnologia de Software. 1996. (Congresso).

MALDONADO, J. C. . X SBES - Simpósio Brasileiro de Engenharia de Software e XI SBBD - Simpósio Brasileiro de Banco de Dados. 1996. (Congresso).

MALDONADO, J. C. . XI SBBD - Simpósio Brasileiro de Banco de Dados. 1996. (Congresso).

MALDONADO, J. C. . VI CTIS - Conferência Internacional de Tecnologia de Software. 1995. (Congresso).

MALDONADO, J. C. . IX SBES - Simpósio Brasileiro de Engenharia de Software. 1995. (Congresso).

MALDONADO, J. C. . Workshop Qualidade e Produtividade em Software do IX SBES - Simpósio Brasileiro de Engenharia de Software. 1995. (Congresso).

MALDONADO, J. C. . VIII SBES - Simpósio Brasileiro de Engenharia de Software. 1994. (Congresso).

MALDONADO, J. C. . VII SBES - Simpósio Brasileiro de Engenharia de Software. 1993. (Congresso).

MALDONADO, J. C. . VI SBES - Simpósio Brasileiro de Engenharia de Software. 1992. (Congresso).

MALDONADO, J. C. . Workshop em Programação Concorrente, Sistemas Distribuídos e Engenharia de Software. 1991. (Congresso).

MALDONADO, J. C. . IV SBES - Simpósio Brasileiro de Engenharia de Software. 1990. (Congresso).

MALDONADO, J. C. . IV CICTE-Congresso de Iniciação Científica e Tecnológica em Engenharia. 1985. (Congresso).

Seção coletada automaticamente pelo Escavador

Participação em eventos

III Seminário do Ciência Web.Marcos positivos da educação científica no Brasil. 2014. (Seminário).

Interdisciplinaridade: Ampliando Fronteiras do Saber - FOPRO/CAPES.Painel Internacional: Interdisciplinaridade e Integração Internacional. 2013. (Simpósio).

Workshop Disponibilização de Acervos Históricos. 2013. (Outra).

Semana Nacional de Ciência e Tecnologia em São Paulo.INCT-SEC: Instituto Nacional de Ciência e Tecnologia em Sistemas Embarcados Críticos. 2012. (Outra).

II Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2011). Analysing the use of graphs to represent the results of Systematic Reviews in Software Engineering. 2011. (Congresso).

Seminário Brasil-China sobre TIC.Apresentação do Instituto Nacional de Ciência e Tecnologia em Sistemas Embarcados Críticos. 2011. (Seminário).

20a. Semana de Computação e Informática da FIPP/Unoeste como parte do 20 Congresso Regional de Computação e Informática do Oeste Paulista (INFOESTE 2008). Desafios da Computação. 2008. (Congresso).

II Pernambuco School on Software Engineering.unctional, Control and Data Flow, and Mutation Testing: Theory and Practice. 2007. (Oficina).

Seção coletada automaticamente pelo Escavador

Participação em bancas

Aluno: Peolla Paula Stein

SILVA, Antônio Nélson Rodrigues da; MORI, Dagoberto Dario;Maldonado, José Carlos. Barreiras, motivações e estratégias para mobilidade sustentável no campus de São Carlos da USP. 2013. Dissertação (Mestrado em Engenharia de Transportes) - Universidade de São Paulo.

Aluno: Sandro Lopes Bianchini

MALDONADO, J. C.DELAMARO, M. E.GIMENES, I. M. S.. Avaliação de métodos de desenvolvimento de aplicações web. 2008. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

Aluno: Marcella Letícia de Souza Costa

MALDONADO, J. C.; FORTES, R. P. M.;MENDONÇA NETO, M. G.. Portal de conhecimento sobre critérios, estratégias, técnicas e ferramentas de teste de aplicações web. 2008. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

Aluno: Alessandra Chan

BRAGA, R. T. V.MALDONADO, J. C.; ANDRADE, R. M. C.. Peônia: um ambiente web para apoiar processos de desenvolvimento com utilização de padrões de software e requisitos de teste no projeto de aplicações. 2008. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

Aluno: Ivan Gustavo Franchin

MASIERO, P. C.MALDONADO, J. C.CHAIM, M. L.. Teste estrutural de integração par-a-par de programas orientados a objetos e a aspectos: cirtérios e automatização. 2007. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

Aluno: Camila Kozlowski Della Corte

MALDONADO, J. C.; FORTES, R. P. M.; CAMPOS, Fernanda. C. A.. Ensino integrado de fundamentos de programação e teste de software. 2006. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

Aluno: Ubirajara Pacheco Maltez Junior

MALDONADO, J. C.BRAGA, R. T. V.GIMENES, I. M. S.. ExpVVT: uma ferramenta de apoio à condução de experimentos baseados em documentos de requisitos. 2006. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

Aluno: André Luís Gouvêa de Figueiredo

SANCHES, Rosely; ANACLETO, J. C.;MALDONADO, J. C.. ECO - um ecossistema para o desenvolvimento ágil de sistemas web. 2005. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

Aluno: Thaise Yano

MALDONADO, J. C.DELAMARO, M. E.; MARTINS, E.. Estudo do teste de mutação em programas funcionais SML. 2004. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

Aluno: Erika Nina Hohn

MALDONADO, J. C.PENTEADO, R. A. D.; OLIVEIRA, K. M.. Técnicas de leitura de especificação de requisitos de software: estudos empíricos e gerência de conhecimento em ambientes acadêmico e industrial. 2003. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

Aluno: Maria Claudia Figueiredo Pereira Emer

MALDONADO, J. C.. Seleção e Avaliação de Dados de Teste Baseados em Programação Genética. 2002. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: Osias de Souza Lima Júnior

MALDONADO, J. C.. Análise de Pontos por Função Fuzzy. 2002. Dissertação (Mestrado em Informática Aplicada) - Universidade de Fortaleza.

Aluno: Kelly Rejane de Oliveira

MALDONADO, J. C.. AdeQuas - Ferramenta Fuzzy para Avaliação de Qualidade de Software. 2002. Dissertação (Mestrado em Informática Aplicada) - Universidade de Fortaleza.

Aluno: Regiane Aparecida Marucci

MALDONADO, J. C.. Definição de uma Estrtégia de Inspeção para um Processo de Desenvolvimento de Software Orientado a Objetos. 2002. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.

Aluno: Kenyo Abadio Crossara Faria

VINCENZI, A. M. R.Maldonado, J.C.. Uma solução saseada em economia colaborativa para escalar o teste de aplicações androids em dispositivos reais.. 2019. Tese (Doutorado em Pós-Graduação em CiÊncia da Computação) - Universidade Federal de Goiás.

Aluno: Glauco de Figueiredo Carneiro

Maldonado, José Carlos. "SourceMiner: Um ambiente integrado para visualização multi-perspectiva de software". 2012. Tese (Doutorado em Ciência da Computação - Ufba - Unifacs) - Universidade Federal da Bahia.

Aluno: Marco Aurélio Graciotto Silva

SILVA, M. A. G.Maldonado, José Carlos; KON, F.;GIMENES, Itana Maria de Souza. LOD: uma abordagem para desenvolvimento de objetos de aprendizagem multimídia e interativos". 2012. Tese (Doutorado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Erika Nina Hohn

MALDONADO, J. C.; FORTES, R. P. M.;MENDONCA, M.FABBRI, Sandra .C P. F.. Um framework de estudos experimentais em técnicas de verificação, validação e teste no contexto de orientação a objeto.. 2011. Tese (Doutorado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Glauco de Figueiredo Carneiro

Maldonado, José Carlos. SOURCEMINER: Um Ambiente Integrado para Visualização Multi-Perspectiva de Software. 2011. Tese (Doutorado em Ciência da Computação - Ufba - Unifacs) - Universidade Federal da Bahia.

Aluno: Reginaldo Ré

MASIERO, P. C.MALDONADO, J. C.PENTEADO, R. A. D.BIGONHA, R. S.TRAVASSOS, G. H.. Uma contribuição para a minimização do número de stubs no teste de integração de programas orientados a aspectos. 2009. Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

Aluno: Gledson Elias da Silveira

MALDONADO, J. C.. A Framework for Distribution, Management and Evolution of Component-Based Software Systems over Open Networks. 2002. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Álvaro Soria

MALDONADO, J. C.. Localización de Errores Dirigida por la Arquitectura Basados en Eventos. 2002. Tese (Doutorado em Ingeniería de Sistemas) - Universidad Nacional Del Centro de La Provincia de Buenos Aires.

Aluno: Alex Donizeti Betez Alberto

Maldonado, José CarlosMASIERO, P. C.Simão, A. S.. Teste de especificações baseadas em álgebras de processos.. 2014. Exame de qualificação (Doutorando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Silvana Morita Melo

Maldonado, José Carlos. Definição de um framework para avaliação sistemática de técnicas de teste no contexto de software concorrente.. 2014. Exame de qualificação (Doutorando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Rodolfo Adamshuk Silva

Maldonado, José Carlos. Uso de Searching Based Software Testing para otimizar o teste de mutação aplicado à programas concorrentes.. 2014. Exame de qualificação (Doutorando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Draylson Micael de Souza

Maldonado, José CarlosSOUZA, S. R. S. S.CHAIM, Marcos Lordello. Subsídios à integração de ferramentas de avaliação automática e sistemas de gestão de aprendizagem. 2013. Exame de qualificação (Doutorando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Maria Istela Cagnin

MALDONADO, J. C.. Investigação e Definição de um Processo de Reegenharia Orientada a Objetos Visando ao Apoio por Computador. 2002. Exame de qualificação (Doutorando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo.

Aluno: Adenilso da Silva Simão

MALDONADO, J. C.. Teste e validação de Redes de Petri coloridas usando análise de mutantes. 2002. Exame de qualificação (Doutorando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo.

Aluno: Mario Antonio Meireles Teixeira

MALDONADO, J. C.. Suporte a Serviços Diferenciados em Servidores WEB. 2002. Exame de qualificação (Doutorando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo.

Aluno: Tatiana Sugeta

MALDONADO, J. C.. Teste e Validação de Sistemas Reativos com base no Teste de Mutação: Aspectos Teóricos e Empíricos. 2002. Exame de qualificação (Doutorando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo.

Aluno: Ricardo Fontão Verhaeg

Maldonado, José Carlos. Estudo e implementação de técnicas para redução de esforço na atividade de teste no contexto de métodos ágeis.. 2014. Exame de qualificação (Mestrando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Laíse Aquino Cardoso e Silva

MALDONADO, J. C.. Estágio em Linux Embarcado. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Caio Ferraresi Ananias

MALDONADO, J. C.. Business Intelligence no Marketing Digital. 2017. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Caio Cesar Pinheiro Flores

MALDONADO, J. C.. Estágio em desenvolvimento de sistemas web. 2017. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Maiser Jose Alves Oliva

MALDONADO, J. C.. Desenvolvimento e melhoria de uma plataforma web para gestão de eventos. 2017. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Lucas Wehmuth

MALDONADO, J. C.. Otimização e Testes em Marketing Digital Orientado a Performance. 2017. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Giovanni Giansante

MALDONADO, J. C.. Performance em Marketing Digital. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Yuri Tavares Kobashigawa

MALDONADO, J. C.. Criação de aplicativo desktop com o Electron. 2017. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Gustavo Livrare Martins

MALDONADO, J. C.. Desenvolvimento de um sistema inteligente para serviço de transporte autônomo. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Eduardo Santos Medeiros de Vasconcelos

MALDONADO, J. C.. Classificação de Emoções no Discurso Humano. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Flavio Bartsch Nagle

MALDONADO, J. C.. Desenvolvimento de aplicações web utilizando AngularJs. 2016. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Daniel Vieira Araujo

MALDONADO, J. C.. Sellead: Desenvolvimento Web Full Stack. 2016. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Danilo Barbosa Porto

MALDONADO, J. C.. Desenvolvimento de monitor de redes no padrão Profinet. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Bruno Ramos de Macêdo Rodrigues

MALDONADO, J. C.. Métodos ágeis na prática: relato de experiência no desenvolvimento de aplicativo móvel. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Caio de Sá Lopes

MALDONADO, J. C.. Refatoração de código fonte e implementação do módulo de enfermagem para o Sistema Juarez. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Eduardo Sigrist Ciciliato

MALDONADO, J. C.. Desenvolvimento de um sistema de HomeBroker Web. 2016. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Flavio Bartsch Nagle

MALDONADO, J. C.. Desenvolvimento de aplicação. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Henrique Sueno Nishi

MALDONADO, J. C.. Avaliação de Siestema Mobile Utilizando Raspberry Pi. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Pedro Henrique Calixto de Souza

MALDONADO, J. C.. Solução em aplicação mobile para uma rede social voltada para a moda. 2016. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Rodrigo Martins Racanicci

MALDONADO, J. C.. Otimização e paralelização de técnicas de atribuição de autoria envolvendo redes complexas. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Felipe Orlandi de Oliveira

MALDONADO, J. C.. Visualização de fluídos em Screen Space. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Fernando Camargo de Andrade

MALDONADO, J. C.. Estágio em Teste de Software. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Ruan Felipe de Oliveira Neves

MALDONADO, J. C.. Doutor Citros - Ferramenta de Apoio à Análise e Mineração de Dados para Agricultura. 2016. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Thales Pauli Fais

MALDONADO, J. C.. Soluções em sistema ETL de risco de mercado. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Guilherme Vicentim Nardari

MALDONADO, J. C.. Processamento de Linguagem Natural para Aplicações Conversacionais. 2016. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Laís Pessine do Carmo

MALDONADO, J. C.. Pós-processamento de Regras de Associação usando Agrupamento. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Matheus Pusinhol

MALDONADO, J. C.. Desenvolvedor Web. 2016 - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Raimundo de Araujo Pereira Santos

MALDONADO, J. C.. Implantação de sistema de autenticação para os funcionários da empresa. 2016. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Renato Silvestre Borella

MALDONADO, J. C.. Informatização da área Operação de Dados. 2016. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Tiago Vilela Tapparo

MALDONADO, J. C.. Sistema de irrigação inteligente. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Pedro dos Reis de Resende Junior

MALDONADO, J. C.. Desenvolvimento de Software de Risco de Mercado. 2016 - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Marcelo Kannami Gimenez

MALDONADO, J. C.. Aplicação de técnicas de agrupamento e algoritmos de filtragem colaborativa para sistemas de recomendação. 2016 - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Diego Rodrigues Meyer

MALDONADO, J. C.. Desenvolvimento Web utilizando o framework Django. 2016 - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: André Wicher

MALDONADO, J. C.. Otimização de Marketing Digital para SaaS. 2016 - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Rosaldo Alves

MALDONADO, J. C.. Implantação de Controle de Versões e de Testes Automatizados em um Sistema de Administração de Disciplinas de Conclusão de Curso. 2016.

Aluno: Alexandre Rossellini Dlugolenski

MALDONADO, J. C.. Desenvolvimento do Inbound Marketing para aquisição de Clientes. 2016 - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Tais Naomi Watanabe

MALDONADO, J. C.. Estágio na área de Análise de Sistemas. 2016 - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Leandro Ferreira Vitoriano Machado

MALDONADO, J. C.. Estudo de disseminação e estratégias de controle de epidemias utilizando o modelo epidemiológico Funnel. 2016 - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Leandro Lourenço Crespilho

MALDONADO, J. C.. Projeto e fabricação de espelho omnidirectional para uso em reabilitação robótica. 2016 - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Thiago Bellini Ribeiro

MALDONADO, J. C.. Desenvolvimento de Software e DevOps no Stoq. 2016 - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Victor Nogueira da Silva

MALDONADO, J. C.. Estágio em análise de testes. 2016. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Instituto de Ciências Matemáticas e de Computação (USP).

Aluno: Eduardo Boccato Pires de Camargo

MALDONADO, J. C.. Automação de Testes Funcionais para Plataforma de Pagamentos. 2015 - Instituto de Ciências Matemáticas e de Computação (USP).

MALDONADO, J. C.. Membro da Comissão Examinadora de Defesa de Doutorado. 2019. Escola de Engenharia de São Carlos da Universidade de São Paulo.

Maldonado, J. C.. Membro da Banca para Concurso de Prof. Titular na Área de Computação/UFAM. 2018. Universidade Federal do Amazonas.

MALDONADO, J. C.. Comissão Julgadora do Concurso de Professor Titular do Departamento de Ciência da Computação. 2009. Instituto de Matemática e Estatística da Universidade de São Paulo.

BIGONHA, R. S.; FREITAS, C. M. D. S.; MASIERO, PAULO C.; BIRGIN, E. J. G.; FERREIRA, J. E.;MALDONADO, J. C.. Membro Suplente Comissão Julgadora do Concurso de Professor Doutor do Departamento de Ciência da Computação. 2020. Instituto de Matemática e Estatística - IME/USP.

Maldonado, José Carlos. Membro Titular da Comissão Julgadora do concurso para Professor Doutor MS-3.1 em RTP, na área de Engenharia da Computação, nas disciplina EA869 - Introdução a Sistemas de Computação Digital.. 2013. Universidade Estadual de Campinas.

MALDONADO, J. C.. Concurso para Professor Adjunto. 2009. Universidade Federal de Minas Gerais.

Maldonado, José Carlos. Avaliador dos Projetos do Curso de Análise de Sistemas. 2012. Centro Universitário CESMAC.

Maldonado, José Carlos. 64ª Reunão Anual da SBPC - Comissão de Avaliação ds trabalhos submetidos. 2012. Sociedade Brasileira para o Progresso da Ciência - São Paulo.

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Wilson Yamaguti

YAMAGUTI, W.. Sistema de Controle e Supervisão de Bordo para Aplicaçãoes em Balões Estratosféricos. 1983. Dissertação (Mestrado em Eletronica e Telecomunicacoes) - Instituto Nacional de Pesquisas Espaciais.

Paulo Cesar Masiero

MASIERO, P C. Critérios Potenciais Usos: uma Contribuição ao Teste Estrutural de Software. 1991 - Universidade Estadual de Campinas.

Seção coletada automaticamente pelo Escavador

Orientou

Rogério Ferreira da Silva

Uma Abordagem para Avaliação de Comunidades de Prática e Redes de Conhecimento 1; ; Início: 2017; Tese (Doutorado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação (USP), Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);

Jorge Marques Prates

Sistematização do uso de MOOCs no ensino de Engenharia de Software; Início: 2016; Tese (Doutorado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação (USP); (Orientador);

[Nome removido após solicitação do usuário]

Mobile Application Testing: A Contribution to Machine Learning Based Automated Functional Testing; Início: 2016; Tese (Doutorado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação (USP); (Orientador);

Bruno Elias Penteado

Aprendizagem colaborativa para equipes distribuídas geograficamente em ambientes MOOC; Início: 2015; Tese (Doutorado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação (USP); (Coorientador);

Valtemir de Alencar e Silva

Modelo de classificação automática de itens para apoio ao diagnóstico educacional em sistemas de aprendizagem adaptativa; Início: 2014; Tese (Doutorado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação (USP); (Orientador);

Nilton Mendes de Souza

RAModel: Representação de Informações de Teste de Software no Contexto de Arquiteturas de Referência; 2017; Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação (USP), Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Carlos Maldonado;

Pedro Henrique Dias Valle

Jogos Educacionais: Uma Contribuição para o Ensino de Teste de Software; 2016; Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação (USP), Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Carlos Maldonado;

Diógenes Dias Simão

Caracterização de Informações de Teste de Software no Processo de Estabelecimento de Arquiteturas de Referência; 2014; Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação (USP), Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Carlos Maldonado;

Rafael Messias Martins

Reengenharia da Ferramenta Projection Explorer para Apoio à Revisão Sistemática; 2011; Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Jose Carlos Maldonado;

Diogo Nascimento Campanha

Teste de mutação nos paradigmas procedimental e oo: uma avaliação no contexto de estrutura de dados; 2010; Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Jose Carlos Maldonado;

Flavio Dusse

Avaliação de Custo e Eficácia de Critérios de Testes de Máquinas de Estados Finitos; 2009; Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo,; Orientador: Jose Carlos Maldonado;

Marcella Letícia de Souza Costa

Portal de conhecimento sobre critérios, estratégias, técnicas e ferramentas de teste de aplicações web; 2008; 0 f; Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Jose Carlos Maldonado;

Sandro Lopes Bianchini

Avaliação de métodos de desenvolvimento de aplicações web; 2008; 0 f; Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Jose Carlos Maldonado;

Ubirajara Pacheco Maltez Junior

ExpVVT: Uma ferramenta de apoio à condução de experimentos baseados em documentos de requisitos; 2006; 0 f; Dissertação (Mestrado em Ciência da Computação Icmc São Carlos) - Instituto de Ciências Matemáticas e de Computação (USP), Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Jose Carlos Maldonado;

Camila Kozlowski Della Corte

Ensino Integrado de Fundamentos de Programação e de Teste de Software; 2006; 0 f; Dissertação (Mestrado em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Jose Carlos Maldonado;

Thaise Yano

Estudo do teste de mutação em programas funcionais SML; 2004; 0 f; Dissertação (Mestrado em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo,; Orientador: Jose Carlos Maldonado;

Erika Nina Hohn

Técnicas de leitura de especificação de requisitos de software: estudos empíricos e gerência de conhecimento em ambientes acadêmico e industrial; 2003; 0 f; Dissertação (Mestrado em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo,; Orientador: Jose Carlos Maldonado;

André Luiz de Castro Villas Boas

Gestão de Configuração para Teste de Software; 2003; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas,; Orientador: Jose Carlos Maldonado;

Percy Antonio Pari Salas

Estratégias de Teste e Validação no Contexto de Decompilação; 2002; Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo,; Orientador: Jose Carlos Maldonado;

André Luís dos Santos Domingues

Avaliação de Critérios e Ferramentas de Teste para Programas OO; 2002; 78 f; Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Carlos Maldonado;

Vangrei Fonseca Simão

Definição de Mecanismos para Avaliação da Qualidade de Produtos de Software; 2001; 0 f; Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Carlos Maldonado;

Emerson Silas Dória

Replicação de Estudos Empíricos em Engenharia de Software; 2001; 154 f; Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo,; Orientador: Jose Carlos Maldonado;

Adenilso da Silva Simão

PROTEUM-RS/PN: Uma Ferramenta para a Validação de Redes de Petri baseada na Análise de Mutantes; 2000; 0 f; Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Jose Carlos Maldonado;

Tatiana Sugeta

Proteum-RS/ST: Uma Ferramenta para Apoiar a Validação de Especificações Statecharts baseada na Análise de Mutantes; 1999; Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Jose Carlos Maldonado;

Cristiane Sonia Arroyo

Um Método para Avaliação/Seleção da Qualidade de Pacotes de Software na Área de Sistemas de Informação; 1999; 0 f; Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo,; Orientador: Jose Carlos Maldonado;

Luciana Andréia Fondazzi Martimiano

Estudos de Técnicas de Teste de Regressão Baseado em Mutação Seletiva; 1999; 0 f; Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Jose Carlos Maldonado;

Sandra Ferrari

Integração da Ferramenta de Teste de Software POKE-TOOL em Ambientes de Engenharia de Software; 1998; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas,; Orientador: Jose Carlos Maldonado;

Ellen Francine Barbosa

Uma Contribuição para Determinacao de um Conjunto Essencial de Operadores de Mutacao no Teste de Programas C; 1998; Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Carlos Maldonado;

Auri Marcelo Rizzo Vincenzi

Subsídios para o Estabelecimento de Estratégias de Teste Baseadas na Técnica de Mutação; 1998; 0 f; Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Carlos Maldonado;

Elisa Yumi Nakagawa

Um Sistema de Injeção de Defeitos de Software Baseado em Operadores de Mutação; 1998; 0 f; Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo,; Orientador: Jose Carlos Maldonado;

Marcelo Morandini

Subsídios para o Teste de Software Orientados a Objetos: Definição e Mapeamento de Programas C++ para a Li++; 1996; Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo,; Orientador: Jose Carlos Maldonado;

Simone do Rocio Senger de Souza

Avaliação do Custo e Eficácia do Critério Análise de Mutantes na Atividade de Teste Programas; 1996; 0 f; Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo,; Orientador: Jose Carlos Maldonado;

Karen Kiomi Nakazato

Módulo de Geração de Sequências de Teste Baseada em Máquinas de Estado Finito; 1995; Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo,; Orientador: Jose Carlos Maldonado;

José Craveiro da Costa Neto

Teste Estrutural Baseado em Fluxo de Dados de Programas Concorrentes; 1995; Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo,; Orientador: Jose Carlos Maldonado;

Maria das Gracas Junqueira Machado Tomazella

Avaliação do Custo de Aplicação dos Critérios Potenciais Usos no Teste de Programas Cobol; 1995; Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo,; Orientador: Jose Carlos Maldonado;

Plínio Roberto Souza Vilela

Uma Ferramenta para Auxílio Visual ao Teste e Depuração de Programas; 1994; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas,; Coorientador: Jose Carlos Maldonado;

Rubens Pontes da Fonseca

Suporte ao Teste de Programas Fortram no Ambiente Poke-Tool; 1993; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas,; Orientador: Jose Carlos Maldonado;

Márcio Eduardo Delamaro

PROTEUM: Um Ambiente de Teste Baseado na Análise de Mutantes; 1993; 0 f; Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo,; Orientador: Jose Carlos Maldonado;

Plinio de Sá Leitão Junior

Suporte ao Teste de Programas Cobol no Ambiente Poke-Tool; 1992; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas,; Coorientador: Jose Carlos Maldonado;

Silvia Regina Vergilio

Caminhos Não-Executáveis: Caracterização, Previsão e Determinação para Suporte ao Teste de Programas; 1992; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas,; Coorientador: Jose Carlos Maldonado;

Katia Romero Felizardo Scannavino

Evidence-based Software Engineering: Systematic Literature Review process based on Visual Text Mining; 2012; Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Carlos Maldonado;

Marco Aurélio Graciotto Silva

LOD: uma abordagem para desenvolvimento de objetos de aprendizagem multimídias e interativos; 2012; Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Carlos Maldonado;

Erika Nina Hohn

KITest: Um arcabouço de conhecimento e melhoria de processo de teste; 2011; 0 f; Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Carlos Maldonado;

Fabiano Cutigi Ferrari

A contribution to the fault-based testing of aspect-oriented software; 2010; 0 f; Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Jose Carlos Maldonado;

Edson Alves de Oliveira Junior

SystEM-PLA: Um Método Sistemático para Avaliação de Arquitetura de Linha de Produto de Software Baseada em UML; 2010; 0 f; Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Jose Carlos Maldonado;

Viviane Malheiros de Pinho

Uma contribuição para a melhoria colaborativa e distribuída de processos de software; 2010; 0 f; Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo,; Orientador: Jose Carlos Maldonado;

Elisa Yumi Nakagawa

Uma Contribuição ao Projeto Arquitetural de Ambientes de Engenharia de Software; 2006; 0 f; Tese (Doutorado em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo,; Orientador: Jose Carlos Maldonado;

Rogério Eduardo Garcia

VIDAese: processo de visualização exploratória para apoio a estudos empíricos em verificação, validação e teste de software; 2006; 0 f; Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo,; Coorientador: Jose Carlos Maldonado;

Maria Istela Cagnin

PARFAIT: uma contribuição para a reengenharia de software baseada em linguagens de padrões e frameworks; 2005; 0 f; Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Jose Carlos Maldonado;

Ellen Francine Barbosa

Uma contribuição ao processo de desenvolvimento e modelagem de módulos educacionais; 2004; 270 f; Tese (Doutorado em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo,; Orientador: Jose Carlos Maldonado;

Auri Marcelo Rizzo Vincenzi

Orientação a objeto: definição, implementação e análise de recursos de teste e validação; 2004; 218 f; Tese (Doutorado em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo,; Orientador: Jose Carlos Maldonado;

Tatiana Sugeta

Uma contribuição para o teste de especificação SDL : aspectos teóricos e empíricos; 2004; 0 f; Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Carlos Maldonado;

Adenilso da Silva Simão

"Aplicação da análise de mutantes no contexto do teste e validação de redes de Petri coloridas"; 2004; Tese (Doutorado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação (USP), Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Jose Carlos Maldonado;

Marcos Lordello Chaim

Depuração de Programas Baseada em Informação de Teste Estrutural; 2001; 0 f; Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Jose Carlos Maldonado;

Simone do Rocio Senger de Souza

Validação de Especificações de Sistemas Reativos: Definição e Análise de Critérios de Teste; 2000; 0 f; Tese (Doutorado em Física Computacional) - Universidade de São Paulo,; Orientador: Jose Carlos Maldonado;

Edmundo S Spoto

Teste Estrutural de Programas de Aplicação de Banco de dados Relacional; 2000; 0 f; Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas,; Coorientador: Jose Carlos Maldonado;

Plínio Roberto Souza Vilela

Critérios Potenciais Usos de Integração: Definição e Análise; 1998; 0 f; Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas,; Coorientador: Jose Carlos Maldonado;

Alberto Nobiato Crespo

Modelos de Confiabilidade de Software Baseados em Cobertura de Critérios Estruturais de Teste; 1997; Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas,; Coorientador: Jose Carlos Maldonado;

Márcio Eduardo Delamaro

Mutação de Interface: Um Critério de Adequação Interprocedimental para o Teste de Integração; 1997; 0 f; Tese (Doutorado em Física Computacional) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Jose Carlos Maldonado;

Silvia Regina Vergilio

Critérios Restritos: Uma Contribuição para aprimorar a Eficácia da Atividade de Teste de Software; 1997; 0 f; Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas,; Orientador: Jose Carlos Maldonado;

Sandra Camargo Pinto Ferraz Fabbri

A Análise de Mutantes no Contexto de Sistemas Reativos: Uma Contribuição para o Estabelecimento de Estratégias de Teste e Validação; 1996; 0 f; Tese (Doutorado em Física Computacional) - Universidade de São Paulo,; Orientador: Jose Carlos Maldonado;

Anderson Ribeiro Valesan

Avaliação da Adequabilidade do Sistema SGPC em uma Fundação de Apoio à Pesquisa; 2017; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Instituto de Ciências Matemáticas e de Computação (USP); Orientador: Jose Carlos Maldonado;

Gabriel Augusto Coletti

Desenvolvendo a acessibilidade web; 2017; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Instituto de Ciências Matemáticas e de Computação (USP); Orientador: Jose Carlos Maldonado;

Daniel Alves Sant'ana

Geração de Sequências de Teste Baseadas no Teste de Mutação no contexto de Sistema Reativos; 1999; 0 f; Trabalho de Conclusão de Curso; (Graduação em Ciências de Computação) - Universidade de São Paulo; Orientador: Jose Carlos Maldonado;

Luciana F Pailo

Validação e Teste de Sistemas de Operação do CPqD/Telebrás; 1995; 0 f; Trabalho de Conclusão de Curso; (Graduação em Ciências de Computação) - Universidade de São Paulo; Orientador: Jose Carlos Maldonado;

Elisa Y Nakagawa

Projeto e Implementação de um Sistema de Help para a Ferramenta PROTEUM; 1994; 0 f; Trabalho de Conclusão de Curso; (Graduação em Ciências de Computação) - Universidade de São Paulo; Orientador: Jose Carlos Maldonado;

Ana Claudia Rossi

TCS minimum - Ferramenta de Minimização de Massa de Teste; 1993; 0 f; Trabalho de Conclusão de Curso; (Graduação em Ciências de Computação) - Universidade de São Paulo; Orientador: Jose Carlos Maldonado;

Leonardo Guarnieri de Bastiani

Análise de relações e análise temporal em currículos acadêmicos; 2015; Iniciação Científica - Instituto de Ciências Matemáticas e de Computação (USP), Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Carlos Maldonado;

Hamilton Gonçalves Junior

Suporte à Divulgação de Eventos e Projetos do NAPSoL-ICMC usando Ferramentas de Gerenciamento de Conteúdo; 2015; Iniciação Científica; (Graduando em Sistemas de Informação) - Instituto de Ciências Matemáticas e de Computação (USP); Orientador: Jose Carlos Maldonado;

Hamilton Gonçalves Junior

Adequação de Aplicação para Extração de Dados e Geração de Relatórios Baseados em Curriculos Lattes; 2015; Iniciação Científica; (Graduando em Sistemas de Informação) - Instituto de Ciências Matemáticas e de Computação (USP); Orientador: Jose Carlos Maldonado;

Samuel Botter Martins

Investigando a Relação entre Requisitos e Arquiteturas de Referência: Um Estudo de Caso no Domínio de Teste de Software; 2010; Iniciação Científica - Instituto de Ciências Matemáticas e de Computação (USP); Orientador: Jose Carlos Maldonado;

Milena Guesi

Estabelecimento de Mecanismos para a Representação da Visão em Tempo de Execução de Arquiteturas de Referência Orientadas a Aspecto; ; 2010; Iniciação Científica - Instituto de Ciências Matemáticas e de Computação (USP), Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Carlos Maldonado;

João Vitor Tornisiello Trevisan

Apoio ao Desenvolvimento Iterativo de Ferramentas de Teste de Software; 2010; Iniciação Científica - Instituto de Ciências Matemáticas e de Computação (USP); Orientador: Jose Carlos Maldonado;

Fabio Stapait Pedarnig

Apoio ao Desenvolvimento de Módulos de Uma Ferramenta de Teste Baseado em Arquitetura de Referência; 2009; Iniciação Científica - Instituto de Ciências Matemáticas e de Computação (USP); Orientador: Jose Carlos Maldonado;

Ubiratam Leandro Kotuzi

Apoio à Evolução de uma Arquitetura de Referência de Ferramentas de Teste de Software; 2009; Iniciação Científica - Instituto de Ciências Matemáticas e de Computação (USP), Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Carlos Maldonado;

João Vitor Tornisiello Trevisan

Apioi à Condução de Estudos Experimentais em Teste de Software; 2009; Iniciação Científica - Instituto de Ciências Matemáticas e de Computação (USP); Orientador: Jose Carlos Maldonado;

João Vitor Tornisiello Trevisan

Apoio ao Projeto de um Módulo Orientado a Aspecto de Gerência de Confirguração de Teste de Software; 2008; Iniciação Científica - Instituto de Ciências Matemáticas e de Computação (USP), Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Carlos Maldonado;

Mariela Mayumi Franchini Sasaki

Apoio ao Desenvolvimento de um Módulo de Documentação de Teste de Software; 2008; Iniciação Científica - Instituto de Ciências Matemáticas e de Computação (USP); Orientador: Jose Carlos Maldonado;

Kiyoshi de Brito Murata

Projeto, Impelementação e Implantação do Sistema Memória Virtual; 2008; Iniciação Científica - Instituto de Ciências Matemáticas e de Computação (USP), Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Carlos Maldonado;

Rafael Fukase

Apoio ao Desenvolvimento de um Módulo Baseado em Aspectos de Help para Sistemas Web; 2007; Iniciação Científica - Instituto de Ciências Matemáticas e de Computação (USP), Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Carlos Maldonado;

Thiago Bianchi

Apoio ao Projeto e Implementao de um Sistema Web para Gesto de Acervos Histricos; 2005; 0 f; Iniciação Científica; (Graduando em Ciências de Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Carlos Maldonado;

Thiago Bianchi

Projeto e Implementação de um Subsistema Web de Catalogação de Acervos Históricos; 2005; Iniciação Científica - Instituto de Ciências Matemáticas e de Computação (USP), Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Carlos Maldonado;

Sandro Lopes Bianchini

Disponibilização de ferramentas de teste de software via Web; 2004; 0 f; Iniciação Científica; (Graduando em Ciências de Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Jose Carlos Maldonado;

Fabiano Cutigi Ferrari

Desenvolvimento de um ambiente Web livre para suporte ao processo de software; 2004; 0 f; Iniciação Científica; (Graduando em Ciências de Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Jose Carlos Maldonado;

Alessandra Chan

Estudo e aplicação de um processo de reengenharia em sistemas legados; 2004; 0 f; Iniciação Científica; (Graduando em Ciências de Computação) - Universidade de São Paulo; Orientador: Jose Carlos Maldonado;

Daniel Alves Sant'ana

Teste e Validação de Sistemas Reativos; 1996; 0 f; Iniciação Científica; (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Carlos Maldonado;

Marcelo Soares Vilhanueva

Teste e Validação de Sistemas Reativos; 1996; 0 f; Iniciação Científica; (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo; Orientador: Jose Carlos Maldonado;

Rosana Hiromi Hayashi

Uma Ferramenta de Software para Auxílio ao Desenvolvimento de Hiperdocumentos; 1996; 0 f; Iniciação Científica; (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Carlos Maldonado;

Christian Marcus de Lima

Uma Ferramenta de Software para Auxílio ao Desenvolvimento de Hiperdocumentos; 1995; 0 f; Iniciação Científica; (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Carlos Maldonado;

Pábio Yoki Tokura

Estudo e Implementação de Ferramentas de Teste para a Aplicação da Análise de Mutantes na Produção de Software; 1995; 0 f; Iniciação Científica; (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Carlos Maldonado;

Janaina Coffani

Estudo e Implementação de Ferramentas de Teste para a Aplicação da Análise de Mutantes na Produção de Software; 1995; 0 f; Iniciação Científica; (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Carlos Maldonado;

Karina Nogueira Borges

Estudos Empíricos de Critérios de Teste, com Ênfase nos Critérios Potenciais Usos Utilizando a POKE-TOOL versão Clipper; 1995; 0 f; Iniciação Científica; (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Carlos Maldonado;

Luciana F Pailo

Estudos Empíricos de Critérios de Teste, com Ênfase no Critério Análise de Mutantes, na Área de Análise Numérica; 1995; 0 f; Iniciação Científica; (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Carlos Maldonado;

Osnete Ribeiro de Souza

Estudos Empíricos de Critérios de Teste, com Ênfase no Critério de McCabe; 1995; 0 f; Iniciação Científica; (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Carlos Maldonado;

Christian Marcus de Lima

Uma Ferramenta de Software para Auxílio ao Desenvolvimento de Hiperdocumentos; 1995; 0 f; Iniciação Científica; (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Carlos Maldonado;

André Ricardo Campos

Estudo Teórico e Aplicado de Critérios de Teste na Produção de Software; 1994; 0 f; Iniciação Científica; (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Carlos Maldonado;

Cássio Minoru Yrozuya

Estudo Teórico e Aplicado de Critérios de Teste Baseados em Análise de Fluxo de Dados na Produção de Software; 1994; 0 f; Iniciação Científica; (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Carlos Maldonado;

Luciana F Pailo

Estudo Teórico e Aplicado de Critérios de Teste Baseados em Análise de Fluxo de Dados na Produção de Software; 1994; 0 f; Iniciação Científica; (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Carlos Maldonado;

Osnete Ribeiro de Souza

Estudo Teórico e Aplicado de Critérios de Teste Baseados em Análise de Fluxo de Dados na Produção de Software; 1994; 0 f; Iniciação Científica; (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Carlos Maldonado;

Karina Nogueira Borges

Estudo Teórico e Aplicado de Critérios de Teste Baseados em Análise de Fluxo de Dados na Produção de Software; 1994; 0 f; Iniciação Científica; (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Carlos Maldonado;

Márcio Alexandrino

Visualização de Mutantes de Máquinas de Estado Finito Baseada no Ambiente Statsim; 1994; 0 f; Iniciação Científica; (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Jose Carlos Maldonado;

Gilsa Helena Pereira Gregório

Estudo e Implementação de Métricas de Software no Ambiente POKE-TOOL; 1993; 0 f; Iniciação Científica; (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Carlos Maldonado;

Ana Claudia Rossi

Estudo Teórico e Aplicado de Critérios de Teste Baseados em Análise de Fluxo de Dados na Produção de Software; 1993; 0 f; Iniciação Científica; (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo; Orientador: Jose Carlos Maldonado;

Lurdes Akie Kuroki

Estudo Teórico e Aplicado de Critérios de Teste Baseados em Análise de Fluxo de Dados na Produção de Software; 1993; 0 f; Iniciação Científica; (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Carlos Maldonado;

Fernando Santos Ramos

Configuração da Ferramenta de Teste POKE-TOOL para Clipper; 1993; 0 f; Iniciação Científica; (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Jose Carlos Maldonado;

Ana Claudia Rossi

Aplicação e Estudos Comparativos de Critérios Baseados em Análise de Fluxo de Dados; 1992; 0 f; Iniciação Científica; (Graduando em Ciências de Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Carlos Maldonado;

Fernando Santos Ramos

Estudo Teórico e Aplicado de Critérios de Teste Baseados em Análise de Fluxo de Dados na Produção de Software; 1992; 0 f; Iniciação Científica; (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Carlos Maldonado;

Seção coletada automaticamente pelo Escavador

Foi orientado por

Mario Jino

Critérios Potenciais Usos: Uma Contribuição ao Teste Estrutural de Software; 1991; 0 f; Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas,; Orientador: Mario Jino;

Eduardo Whitaker Bergamini

"Sistema de Controle e Supervisão de Bordo para Aplicações em Balões Estratosféricos"; 1983; Dissertação (Mestrado em Eletronica e Telecomunicacoes) - Instituto Nacional de Pesquisas Espaciais,; Orientador: Eduardo Whitaker Bergamini;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • SILVA, VALTEMIR A. ; BITTENCOURT, IG I. ; MALDONADO, JOSE C. . Automatic Question Classifiers: A Systematic Review. IEEE Transactions on Learning Technologies , v. 12, p. 485-502, 2019.

  • EL-FAKIH, KHALED ; SIMÃO, A. S. ; JADOON, NOSHAD ; MALDONADO, J. C. . An Assessment of Extended Finite State Machine Test Selection Criteria. The Journal of Systems and Software , v. NA, p. NA, 2016.

  • ARAÚJO, CLÁUDIO A. ; DELAMARO, MARCIO E. ; MALDONADO, JOSÉ C. ; VINCENZI, AURI M. R. . Correlating automatic static analysis and mutation testing: towards incremental strategies. Journal of Software Engineering Research and Development , v. 4, p. 1-32, 2016.

  • Toda, Armando M. ; VALLE, P. H. D. ; GUESSI, M. ; ROCHA, RAFAELA V. ; MALDONADO, J. C. ; ISOTANI, S. . Plataforma de Recursos Educacionais Abertos: Uma Arquitetura de Referência com Elementos de Gamificação. RENOTE. REVISTA NOVAS TECNOLOGIAS NA EDUCAÇÃO , v. 14, p. 1-10, 2016.

  • FELIZARDO, K. R. ; BARBOSA, E. F. ; MARTINS, R. M. ; VALLE, P. H. D. ; MALDONADO, J. C. . Visual Text Mining: Ensuring the Presence of Relevant Studies in Systematic Literature Reviews. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING , v. 25, p. 909-928, 2015.

  • Ferrari, Fabiano C. ; P. CAFEO, BRUNO B. ; LEVIN, THIAGO G. ; S. LACERDA, JÉSUS T. ; L. LEMOS, OTÁVIO A. ; C. MALDONADO, JOSÉ ; MASIERO, PAULO C. . Testing of aspect-oriented programs: difficulties and lessons learned based on theoretical and practical experience. Journal of the Brazilian Computer Society (Impresso) , v. 21, p. 1-25, 2015.

  • NAKAGAWA, Elisa Yumi ; BIANCHI, T. ; OLIVEIRA, Maria Cristina Ferreira de ; SOUSA, E. P. M. ; ANDERY, G. F. ; MALDONADO, J. C. . Sistema Web Livre para Automatização do Padrão de Descrição da Informação. Revista Digital de Biblioteconomia e Ciência da Informação , v. 12, p. 173-192, 2014.

  • OCTAVIANO, FÁBIO R. ; FELIZARDO, KATIA R. ; MALDONADO, JOSÉ C. ; Fabbri, Sandra C. P. F. . Semi-automatic selection of primary studies in systematic literature reviews: is it reasonable?. Empirical Software Engineering , v. 20, p. 1898-1917, 2014.

  • OLIVEIRA JUNIOR, Edson Alves de ; GIMENES, Itana Maria de Souza ; Maldonado, José Carlos ; MASIERO, P. C. ; BARROCA, L. . Systematic Evaluation of Software Product Line Architectures. JOURNAL OF UNIVERSAL COMPUTER SCIENCE , v. 19, p. 25-52, 2013.

  • NAKAGAWA, Elisa Yumi ; FABBRI, Sandra Camargo Pinto Ferraz ; FELIZARDO, K. R. ; FERRARI, Fabiano Cutigi ; HERNANDES, E. C. M. ; OCTAVIANO, F. R. ; Nakagawa, Elisa Yumi ; MALDONADO, J. C. . Externalising tacit knowledge of the systematic review process. IET Software (Print) , p. 1-10, 2013.

  • FERRARI, Fabiano Cutigi ; RASHID, Awais ; MALDONADO, J. C. . Towards the practical mutation testing of AspectJ programs. Science of Computer Programming (Print) , v. 78, p. 684, 2013.

  • LEMOS, O. A. L. ; FERRARI, Fabiano Cutigi ; ELER, MARCELO MEDEIROS ; MALDONADO, J. C. ; MASIERO, Paulo Cesar . Evaluation studies of software testing research in Brazil and in the world: A survey of two premier software engineering conferences. The Journal of Systems and Software , v. 86, p. 951-969, 2013.

  • DURELLI, Vinícius Humberto Serapilha ; ARAUJO, Rodrigo Fraxino ; SILVA, Marco Aurelio Graciotto ; OLIVEIRA, Rafael Alves Paes de ; MALDONADO, J. C. ; DELAMARO, Marcio Eduardo . A scoping study on the 25 years of research into software testing in Brazil and an outlook on the future of the area. JOURNAL OF SYSTEMS AND SOFTWARE , v. 86, p. 934-950, 2013.

  • DELAMARO, Márcio Eduardo ; ARAÚJO, Rodrigo Fraxino ; Delamaro, Marcio Eduardo ; MALDONADO, J. C. . Functional test data generation for Simulink-like models. Journal of the Brazilian Computer Society (Impresso) , p. 325-339, 2013.

  • FELIZARDO, K. R. ; Maldonado, José Carlos . A Visual Analysis Approach to Validate the Selection Review of Primary Studies in Systematic Reviews. Information and Software Technology , v. 1, p. 1-1, 2012.

  • SOUZA, S. R. S. ; PRADO, M. P. ; BARBOSA, E. F. ; MALDONADO, J. C. . An Experimental Study to Evaluate the Impact of the Programming Paradigm in the Testing Activity. CLEI Electronic Journal , v. 15, p. 1-13, 2012.

  • FELIZARDO, K. R. ; Mendes, E. ; MacDonell, S. G. ; MALDONADO, J. C. . A Systematic Mapping on the use of Visual Data Mining to Support the Conduct of Systematic Literature Reviews. Journal of Software , v. 7, p. 450-461, 2012.

  • NAKAGAWA, Elisa Yumi ; Nakagawa, Elisa Yumi ; ANTONINO, P. O. ; BECKER, M. ; MALDONADO, J. C. ; STORF, H. ; VILLELA, K. B. ; ROMBACH, D. . Relevance and perspectives of AAL in Brazil. The Journal of Systems and Software , p. 1-35, 2012.

  • Petrenko, Alexandre ; SIMÃO, A. S. ; SIMAO, A ; MALDONADO, J. C. . Model-based testing of software and systems: recent advances and challenges. International Journal on Software Tools for Technology Transfer (Print) , v. 14, p. 383-386, 2012.

  • BARBOSA, E. F. ; MALDONADO, J. C. . Towards the establishment of IMA-CID: An integrated modeling approach for developing educational modules. Journal of the Brazilian Computer Society (Impresso) , v. 17, p. 37, 2011.

  • FELIZARDO, K. R. ; ANDERY, Gabriel F. ; Paulovich, Fernando ; MINGHIM, R. ; MALDONADO, J. C. . A Visual Approach to Assist the Selection Review of Primary Studies in Systematic Reviews. Information and Software Technology , v. 1, p. 1-20, 2011.

  • BARBOSA, E. F. ; MALDONADO, J. C. . IMA-CID: an integrated modeling approach for developing educational modules.. Journal of the Brazilian Computer Society (Impresso) , v. 17, p. 207-239, 2011.

  • NAKAGAWA, Elisa Yumi ; Ferrari, Fabiano C. ; SASAKI, M. M. F. ; MALDONADO, J. C. . An Aspect-oriented Reference Architecture for Software Engineering Environments. The Journal of Systems and Software , v. 84, p. 1670-1684, 2011.

  • BARBOSA, E. F. ; MALDONADO, J. C. . $mathcal{IMA}$ - $mathcal{CID}$ : an integrated modeling approach for developing educational modules. Journal of the Brazilian Computer Society (Impresso) , v. 17, p. 207-239, 2011.

  • OLIVEIRA JUNIOR, E. A. ; GIMENES, Itana Maria de Souza ; MALDONADO, J. C. . Systematic Management of Variability in UML-based Software Product Lines. Journal of Universal Computer Science (Print) , v. 16, p. 2374-2393, 2010.

  • MALHEIROS, Viviane ; SEAMAN, Carolyn ; MALDONADO, J. C. . Collaborative and Distributed Software Process Improvement (SPI): Strategies and Infrastructure. INFOCOMP (UFLA. Impresso) , v. Specia, p. 71-79, 2010.

  • SASAKI, M. M. F. ; NAKAGAWA, Elisa Yumi ; MALDONADO, J. C. . Desenvolvimento de uma Ferramenta de Documentacção de Teste de Software: Uma Perspectiva Transversal. REIC. Revista Eletrônica de Iniciação Científica (Online) , v. 1, p. 1-13, 2010.

  • FERRARI, Fabiano Cutigi ; Nakagawa, Elisa Yumi ; RASHID, Awais ; Maldonado, José Carlos . Automating the mutation testing of aspect-oriented Java programs. Automating the mutation testing of aspect-oriented Java programs , v. 1, p. 51-58, 2010.

  • SIMÃO, A. S. ; Simao, A. ; MALDONADO, J. C. ; BIGONHA, R. S. . A transformational language for mutant description. Computer Languages, Systems & Structures , v. 35, p. 322-339, 2009.

  • SIMÃO, A. S. ; Simao, A. ; PETRENKO, A. ; MALDONADO, J. C. . Comparing finite state machine test coverage criteria. IET Software (Print) , v. 3, p. 91-105, 2009.

  • NAKAGAWA, E. Y. ; SOUSA, E. P. M. ; OLIVEIRA, M. C. F. ; Murata, Kyoshi de B. ; NASCIMENTO, E. B. ; FUKASE, R. ; ANDERY, G. F. ; BIANCHI, Thiago ; PAZZOTO, F. S. ; MALDONADO, J. C. . Experiência no Desenvolvimento de um Sistema Web Livre no Contexto de um Projeto de Pesquisa Multi-disciplinar. REIC. Revista Eletrônica de Iniciação Científica , v. VIII, p. 1-16, 2008.

  • NAKAGAWA, E. Y. ; MALDONADO, J. C. . IDEAS04: Architectural requirements as basis to quality of software engineering environments. Revista IEEE América Latina , v. 6, p. 260-266, 2008.

  • BONIFACIO, A ; MOURA, A ; SIMÃO, A. S. ; Simao, A. ; MALDONADO, J. C. . Towards Deriving Test Sequences by Model Checking. Electronic Notes in Theoretical Computer Science , v. 195, p. 21-40, 2008.

  • Nakagawa, Elisa Yumi ; Maldonado, José Carlos . Requisitos Arquiteturais como Base para a Qualidade de Ambientes de Engenharia de Software. Revista IEEE América Latina , v. 6, p. 260-266-266, 2008.

  • CRESPO, A. N. ; JINO, M. ; MALDONADO, J. C. ; PASQUINI, A. . A binomial software reliability model based on coverage of structural testing criteria. Empirical Software Engineering , v. 13, p. 185-209, 2008.

  • CAGNIN, M. I. ; BRAGA, R. T. V. ; GERMANO, F. S. ; PENTEADO, R. D. ; MALDONADO, J. C. . A Version Control Tool for Framework-based Applications. CLEI Electronic Journal , v. 10, p. 7-13, 2007.

  • LEMOS, O. A. L. ; VINCENZI, A. M. R. ; MALDONADO, J. C. ; MASIERO, P. C. . Control and data flow structural testing criteria for aspect-oriented programs. The Journal of Systems and Software , v. 80, p. 862-882, 2007.

  • VERGÍLIO, S. R. ; MALDONADO, J. C. ; JINO, M. ; SOARES, I. W. . Constraint Based Structural Testing Criteria. Journal of Systems and Software , v. 79, n.6, p. 756-771, 2006.

  • VINCENZI, A. M. R. ; SIMÃO, A. S. ; Simão, A. S. ; DELAMARO, M. E. ; MALDONADO, J. C. . Muta-Pro: Towards the definition of a mutation testing process. Journal of the Brazilian Computer Society (Impresso) , v. 12, p. 49-61, 2006.

  • VINCENZI, A. M. R. ; DELAMARO, M. E. ; MALDONADO, J. C. ; WONG, W. E. . Establishing structural testing criteria for Java bytecode. Software, Practice & Experience (Print) , (aceito para publicação), v. 36, p. 1513-1541, 2006.

  • MALDONADO, J. C. ; Carver, Jeff ; Shull, Forrest ; Fabbri, Sandra C. P. F. ; Dória, Emerson S. ; Martimiano, Luciana A. F. ; Mendonça, M. G. ; Basili, Victor R. . Perspective-Based Reading: A Replicated Experiment Focused on Individual Reviewer Effectiveness. Empirical Software Engineering , v. 11, n.1, p. 119-142, 2006.

  • FELIZARDO, K. R. ; FABBRI, Sandra ; DOMINGUES, André ; VISCONTI, Marcello ; MALDONADO, J. C. . COTEST - Code Testing Experiment Supporting Tool. 5th Acm Ieee International Symposium On Empirical Software Engineering, Rio de Janeiro - Brasil, 2006.

  • VERGILIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Infeasible paths in the context of data flow based testing. Journal of the Brazilian Computer Society (Impresso) , v. 1, p. 05, 2006.

  • Travassos, Guilherme H. ; Mendonça, M. G. ; MALDONADO, J. C. . Letter from the Guest Editors. Journal of the Brazilian Computer Society (Impresso) , v. 12, p. 5-6, 2006.

  • WONG, E. W. ; SUGETA, T. ; QI, Y. ; MALDONADO, J. C. . Smart Debugging Software Architectural Design in SDL. Journal of Systems and Software , v. 76, p. 15-28, 2005.

  • VERGÍLIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Experimental Results from Application of Fault-Sensitive Testing Strategies. Revista de Informática Teórica e Aplicada , v. 12, n.1, p. 61-82, 2005.

  • VINCENZI, A. M. R. ; MALDONADO, J. C. ; WONG, W. E. ; DELAMARO, M. E. . Coverage Testing of Java Programs and Components. Science of Computer Programming (Print) , USA, v. 56, n.1-2, p. 211-230, 2005.

  • Shull, Forrest ; Mendonça, M. G. ; Basili, Victor R. ; Carver, Jeff ; MALDONADO, J. C. ; Fabbri, Sandra C. P. F. ; Travassos, Guilherme H. ; Oliveira, Maria Cristina F. de . Knowledge-Sharing Issues in Experimental Software Engineering. Empirical Software Engineering , v. 9, p. 111-137, 2004.

  • CHAIM, Marcos Lordello ; MALDONADO, J. C. ; JINO, Mario . A debugging strategy based on the requirements of testing. Journal of Software Maintenance and Evolution: Research and Practice , v. 16, n.4-5, p. 277-308, 2004.

  • WONG, W. E. ; SUGETA, T. ; MALDONADO, J. C. . Coverage Testing Software Architectural Design in SDL. Computer Networks , v. 42, p. 359-374, 2003.

  • SIMÃO, A. S. ; MALDONADO, J. C. ; VINCENZI, A. M. R. ; SANTANA, A. C. L. . A Language for the Description of Program Instrumentation and Automatic Generation of Instrumenters. CLEI Electronic Journal , v. 6, p. 7, 2003.

  • FELIZARDO, K. R. ; FABBRI, Sandra C P F ; MALDONADO, J. C. . COTEST - Code Testing Experiment Support Tool: Uma ferramenta de apoio à Replicação de experimentos em nível de código fonte. Clei El Centro Latino Americano de Estudios En Informática, TCL 225, v. 1, p. 115-117, 2003.

  • SIMÃO, A. S. ; SUGETA, T. ; MALDONADO, J. C. ; MONARD, M. C. . Prolog & TXL: A Case Study for Prototyping Structural Testing Supporting Tools. Conferência Latino Americana de Informática Eletronic Journal, v. 5, 2002.

  • SIMÃO, A. S. ; MALDONADO, J. C. . MuDeL: a Language and a System for Describing and Generating Mutants. Journal of the Brazilian Computer Society , Porto Alegre, RS, Brasil, v. 8, p. 73-86, 2002.

  • VINCENZI, A. M. R. ; NAKAGAWA, E. Y. ; MALDONADO, J. C. ; DELAMARO, M. E. ; ROMERO, R. A. F. . Bayesian-learning based guidelines to determine equivalent mutants. International Journal of Software Engineering and Knowledge Engineering , Estados Unidos, v. 12, n.6, p. 675-689, 2002.

  • DELAMARO, M. E. ; MALDONADO, J. C. ; MATHUR, A. . Interface Mutation: An Approach for Integration Testing. Ieee Transaction On Software Engineering, v. 27, n.3, p. 228-247, 2001.

  • BARBOSA, E. F. ; MALDONADO, J. C. ; VINCENZI, A. M. R. . Toward the Determination of Sufficient Mutant Operators for C. Software Testing Verification And Reliability Journal, v. 11, n.2, p. 113-136, 2001.

  • DELAMARO, M. E. ; MALDONADO, J. C. ; PASQUINI, A. ; MATHUR, A. . Interface Mutation Test Adequacy Criterion: An Empirical Evaluation. Journal Of Empirical Software Engineering, v. 6, n.2, p. 111-142, 2001.

  • VERGILIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Constraint based Criteria: An Approach for Test Case Selection in the Structural Testing. Journal Of Electronic Testing, v. 17, n.2, p. 175-183, 2001.

  • VINCENZI, A. M. R. ; MALDONADO, J. C. ; BARBOSA, E. F. ; DELAMARO, M. E. . Unit and Integration Testing Strategies for C Programs Using Mutation-Based Criteria. Software Testing, Verification and Reliability , v. 11, n.4, p. 249-268, 2001.

  • BARBOSA, E. F. ; MALDONADO, J. C. ; VINCENZI, A. M. R. . Towards the determination of sufficient mutant operators for C. Software Testing, Verification and Reliability , v. 11, n.2, p. 113-136, 2001.

  • VERGILIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Constraint Based Criteria: An Approach for Teste Case Selection in the Structural Testing. Journal of Electronic Testing , Dorddrech - Alemanha, v. 17, p. 175-183, 2001.

  • SOUZA, S. R. S. S. ; MALDONADO, J. C. ; FABBRI, S. C. F. P. ; SOUZA, V. L. . Mutation Testing Applied to Estelle Specifications. Software Quality Journal, v. 8, n.4, p. 285-301, 2000.

  • SANT'ANA, D. A. ; MALDONADO, J. C. ; FABBRI, S. C. F. P. . Teste e Validação de Sistemas Reativos. Revista de Iniciação Científica do Cetepe Eesc Usp, São Carlos-SP, n.2, p. 7-10, 2000.

  • JINO, M. ; CRESPO, A. N. ; PASQUINI, A. ; MALDONADO, J. C. . Relationship Between Code Coverage of the Potential-Uses Criteria and Software Reliability. Projeções, Universidade de São Francisco, v. 18, n.Especial, p. 21-37, 2000.

  • SOUZA, S. R. S. ; MALDONADO, J. C. ; FABBRI, S. C. P. F. ; SOUSA, W. L. . Mutation Testing Applied to Estelle Specifications. Software Quality Journal , USA, v. 8, n.4, p. 285-301, 1999.

  • VILELA, P. R. ; MALDONADO, J. C. ; JINO, M. . Program Graph Visualization. Software Practice & Experience, v. 27, n.11, p. 1245-1262, 1997.

  • VERGILIO, S. R. ; MALDONADO, J. C. ; JINO, M. . La Influencia Del Número de Predicados En La Ejecutabilidad de Un Camino En El Contexto de Prueba Basada Em Flujo de Datos.. Informacion Tecnologica , La Serena - Chile, v. 8, n.JANEIRO, p. 171-178, 1997.

  • VERGILIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Influencia del Número de Predicados para Predecir la Ejecutabilidad de um Camino en Pruebas de Software. Información Tecnológica , La Serena, Chile, v. 8, n.1, p. 171-177, 1997.

  • FABBRI, S. C. P. F. ; MALDONADO, J. C. . Proteum/FSM Uma Ferramenta de Teste Baseada na Análise de Mutantes para Apoiar a Validação de Especificações em Máquinas de Estados. Multiciência (ASSER) , São Carlos, v. 1, n.1, p. 66-77, 1996.

  • MALDONADO, J. C. ; DELAMARO, M. E. ; CHAIM, M. L. ; JINO, M. . Uma Visão Sobre a Análise de Mutantes e o Ambiente de Teste Proteum. Revista do Instituto de Informática, CAMPINAS - SP, v. 3, n.1, p. 11-23, 1995.

  • CANGUSSU, J. ; PENTEADO, R. A. D. ; MASIERO, P. C. ; MALDONADO, J. C. . Validation of Statecharts Based on Programmed Execution. Journal of Computing and Information , Ontario - Canadá, v. 1, n.2, 1995.

  • MALDONADO, J. C. ; CHAIM, M. L. ; JINO, M. . Poke-Tool - Uma Ferramenta Para Suporte à Aplicação dos Critérios Potenciais Usos Para Teste de Programas. Revista do Instituto de Informática, CAMPINAS - SP, v. 2, n.1, p. 28-39, 1994.

  • CANGUSSU, J. ; MASIERO, P. C. ; MALDONADO, J. C. . Execução Programada de Statecharts. Revista Brasileira de Computação, RIO DE JANEIRO - RJ, p. 3-14, 1994.

  • MASIERO, P. C. ; MALDONADO, J. C. ; BOAVENTURA, I. . A Reachability Tree For Statecharts And Analysis Of Some Properties. Information and Software Technology, v. 36, n.10, p. 615-624, 1994.

  • MALDONADO, J. C. ; CHAIM, Marcos Lordello ; JINO, Mario . POKE-TOOL - Uma ferramenta para suporte à aplicação dos critérios potenciais usos para teste de programas. Revista de Informática da Puccamp , Campinas, SP, v. 2, n.1, p. 28-39, 1991.

  • GIMENES, I. M. S. ; MALDONADO, J. C. . High Integrity Systems and Software Quality. RBC. Revista Brasileira de Computação , Rio de Janeiro-RJ, v. 6, n.1, p. 53-62, 1990.

  • VERGÍLIO, S. ; MALDONADO, J. C. ; JINO, M. . Infeasible paths in the context of data flox based testing. Journal of the Brazilian Computer Society , v. 1, p. 5-5, 2006.

  • LEMOS, O. A. L. ; VINCENZI, A. M. R. ; MASIERO, P. C. ; MALDONADO, J. C. . Control and data flow structural testing criteria for aspect-oriented programs. Journal of Systems and Software , v. 1, p. 1-2, 2006.

Seção coletada automaticamente pelo Escavador

Outras produções

Maldonado, José Carlos . IJSEKE - International Journal of Software Engineering and Knowledge Engineering. 2015.

Maldonado, José Carlos . Membro Titular da Comissão Coordenadora do Programa de Mestrado Profissional em Matemática, Estatística e Computação, Aplicadas à Insdústria (CCP-MECAI). 2013.

MALDONADO, J. C. . Consultour ad hoc da Universidade Estadual de Maringá. 2002.

MALDONADO, J. C. . Membro da Comissão Avaliadora do livro Softwae Engineering for Large-Scale Multi-Agent Systems. 2002.

MALDONADO, J. C. . Orientador Acadêmico do Programa de Mestrado no ICMC-USP, na área de Computação. 2001.

MALDONADO, J. C. . Membro do Projeto FAPESP, Métodos em Engenharia de Software, em Soluções Numéricas em Mecânica dos Fluidos, e em Singularidades e Sistemas Dinâmicos. 2001.

MALDONADO, J. C. . Membro da Comissão Julgadora da CTIC 2001 - Concurso de Trabalhos de Iniciação Científica. 2001.

MALDONADO, J. C. . Membro da Comissão Julgadora da CTD/SBC 2001 - Concurso de Teses e Dissertações. 2001.

MALDONADO, J. C. . Membro do Corpo Editorial da Revista de Eletrônica de Iniciação Científica, do Departamento de Ciências da Computação da Universidade de Lavras. 2001.

MALDONADO, J. C. . Membro do Comitê Assessor Especial Kit-RD/PROTEM do CNPq. 2001.

MALDONADO, J. C. . Avaliador de Trabalhos da FORTE-2001 International Conference on Formal Techniques for Networked and Distributed Systems. 2001.

MALDONADO, J. C. . Membro da Comissão para avaliar a transformação do Curso de Tecnologia em Processamento de Dados, bacharelado, em Curso de Sistemas de Informação, bacharelado, a ser ministrado em Vitória - ES, pela Faculdade Vitoriana de Tecnologia. Portaria no. 080/01 - SESu/MEC - Secretaria da Educação Superior/Ministério da Educação, 03.01.2001. 2001.

MALDONADO, J. C. . Membro da Comissão para avaliar a criação do Curso de Sistemas de Informação, a ser ministrado em Duque de Caxias - RJ, pela Faculdade de Filosofia, Ciências e Letras de Duque de Caxias. Portaria no. 146/01, SESu/MEC - Secretaria da Educação Superior/Ministério da Educação, de 15.01.2001.. 2001.

MALDONADO, J. C. . Membro sub-Comitê de Software, CB-21/SC-10. 2000.

MALDONADO, J. C. . Consultor ad hoc da Universidade Estadual de Maringá. 2000.

MALDONADO, J. C. . Consultor da Pró-Reitoria de Pós-Graduação da USP. 2000.

MALDONADO, J. C. . Coordenador da Comissão para avaliar a criação do Curso de Sistemas de Informação, a ser ministrado em Maringá - PR, pela Faculdades Maringá. Portaria no. 1.528/00 - SESu/MEC - Secretaria da Educação Superior/Ministério da Educação, 14.06.2000.. 2000.

MALDONADO, J. C. . Membro da Comissão para avaliar a criação do Curso de Sistemas de Informação, a ser ministrado em Duque de Caxias - RJ, pela Faculdade de Filosofia, Ciências e Letras de Duque de Caxias. Portaria no. 2.349/00, SESu/MEC - Secretaria da Educação Superior/Ministério da Educação, de 03.09.2000.. 2000.

MALDONADO, J. C. . Membro da Comissão para avaliar a criação do Curso de Tecnologia em Processamento de Dados, a ser ministrado em Juiz de Fora - MG, pelo Centro de Ensino Superior de Juiz de Fora, Juiz de Fora - MG. Portaria no. 2.936.00, SESu/MEC - Secretaria da Educação Superior/Ministério da Educação, de 16.10.2000.. 2000.

MALDONADO, J. C. . Coordenador da Comissão para avaliar a transformação do Curso de Tecnologia em Processamento de Dados em Bacharelado em Informática, ministrado em Curitiba, PR, pelo Instituto de Ciências do Paraná. Portaria n082/99, SESu/MEC- Secretaria da Educação Superior/Ministério da Educação. 1999.

MALDONADO, J. C. . Coordenador da Comissão para avaliar a criação do Curso de Engenharia da Computação a ser ministradoi em Brasília, DF, pela Faculdade Planalto de Ciência da Computação. Portaria n 510/99, SESu/MEC- Secretaria da Educação Superior/Ministério da Educação. 1999.

MALDONADO, J. C. . Coordenador da Comissão para avaliar a transformação do Curso Superior de Tecnologia em Processamento de Dados para Bacharelado em Sistemas de Informação, ministrado em Juiz de Fora, MG, pelo Centro de Ensino Superior de Juiz de Fora. Portaria no. 1.042/99 - SESu/MEC - Secretaria da Educação Superior/Ministério da Educação, de 19.07.99.. 1999.

MALDONADO, J. C. . Consultor-SABE - Sistema de Acompanhamento e Avaliação do Programa de Bolsas no Exterior, CNPq Ref. Processo 200258/98-2. 1998.

MALDONADO, J. C. . Coordenador da Comissão para avaliar a criação do Curso de Ciência da Computação a ser ministrado em Caraguatatuba, SP, pelas Faculdades Módulos. Portaria n 1946/99, SESu/MEC- Secretaria da Educação Superior/Ministério da Educação. 1998.

MALDONADO, J. C. . Revisor no processo de seleção de artigos científicos para o 8 Simpósio Brasileiro de Informática na Educação. 1997.

MALDONADO, J. C. . Coordenador da Comissão para avaliar a criação do Curso de Ciências da Computação a ser ministrado em Aracruz, ES, pela Faculdade de Ciências Humanas de Aracruz. Portaria n 395/99, SESu/MEC- Secretaria da Educação Superior/Ministério da Educação. 1997.

MALDONADO, J. C. . Coordenador da Comissão para avaliar a criação do Curso de Análise de Sistemas a ser ministrado em Leme, SP, pelas Faculdades Integradas Anhaguera. Portaria n 911/99, SESu/MEC- Secretaria da Educação Superior/Ministério da Educação. 1997.

MALDONADO, J. C. . Membro titular junto à Comissão de Pós-graduação - CPG do ICMC-USP. 1997.

MALDONADO, J. C. . Consultor do SESu/MEC - Secretaria da Educação Superior/Ministério da Educação, da Comissão de Especialistas de Ensino. 1996.

MALDONADO, J. C. . Membro do Conselho Editorial da Revista Multiciência, ASSER-Associação de Escolas Reunidas. 1996.

MALDONADO, J. C. . Membro do Corpo Editorial da Revista Acta Scientiarum (Ex-revista UNIMAR). 1996.

MALDONADO, J. C. . Membro do Quadro de Assessoria Científica da Pró-Reitoria de Pesquisa e Pós-Graduação da Universidade Estadual de Maringá. 1996.

MALDONADO, J. C. . Revisor do Caderno de Ferramentas, IX SBES - Simpósio Brasileiro de Engenharia de Software. 1995.

MALDONADO, J. C. . Orientador Acadêmico do Programa de Mestrado no ICMC-USP, na área de Computação. 1995.

MALDONADO, J. C. . Assessor ad hoc da FAPESP. 1994.

MALDONADO, J. C. . Consultor ad hoc da CCInt - Comissão de Cooperação Internacional. 1994.

MALDONADO, J. C. . Consultor do CTI. 1994.

MALDONADO, J. C. . Consultor ad hoc do PROTEM-CC/CNPq. 1994.

MALDONADO, J. C. . Avaliador de Trabalhos do XXI SEMISH - Seminário Intergrado de Software e Hardware. 1994.

MALDONADO, J. C. . Revisor de proposta na fase de preparação da VII EBAi - Escola Brasileira-Argentina de Informática. 1994.

MALDONADO, J. C. . Revisor de livro para a Makron Books do Brasil Editora Ltda. 1994.

MALDONADO, J. C. . Representante suplente da categoria de Professor Doutor junto ao Conselho do Departamento de Ciências da Computação e Estatística do ICMSC-USP. 1993.

MALDONADO, J. C. . Membro do Conselho Editorial da Revista do Instituto de Informática da PUC-Campinas. 1992.

MALDONADO, J. C. . Membro da Comissão da Secretaria Nacional de Educação Superior do Ministério da Educação para reconhecimento de Curso de Ciências de Computação. 1992.

MALDONADO, J. C. . Membro titular junto à Comissão de Cultura e Extensão Universitária do ICMSC-USP. 1992.

MALDONADO, J. C. . Orientador Acadêmico do Programa de Mestrado no ICMC-USP, na área de Computação. 1992.

MALDONADO, J. C. . Membro titular da Comissão de Graduação do ICMSC-USP. 1991.

MALDONADO, J. C. . Membro do IEEE Standard for Software Quality Assurance Plans. 1989.

MALDONADO, J. C. . Representante da categoria de Professor Assistente junto à Congregação do ICMSC-USP como membro titular. 1989.

MALDONADO, J. C. . Representante da categoria de Professor Assistente junto ao Conselho do Departamento de Ciências da Computação e Estatística como membro titular. 1988.

DOMINGUES, A. L. S. ; MALDONADO, J. C. . EvalTool: Um Ambiente de Apoio à Avaliação e Seleção de Ferramentas de Teste para Programas Orientado a Objetos. 2002.

SIMÃO, A. S. ; MALDONADO, J. C. . Proteum-RS/PN - Um ferramenta para validação de redes de petri baseada na Análise de Mutantes. 2000.

SUGETA, T. ; MALDONADO, J. C. . Proteum-RS/ST: Uma Ferramenta para Apoiar a Validação de Especificações Statecharts baseada na Análise de Mutantes. 1999.

DELAMARO, M. E. ; MALDONADO, J. C. . Proteum/IM- Uma ferramenta de teste baseada no Mutação de Interface. 1997.

VILELA, P. R. ; MALDONADO, J. C. ; JINO, M. . Viewgraph: Visualizing Program Graph. 1996.

NAKAZATO, K. K. ; MALDONADO, J. C. ; FABBRI, Sandra .C P. F. ; MASIERO, P. C. . Mgaset - Módulo de Geração de Seqüências de Teste. 1995.

BORGES, K. N. ; RAMOS, F. S. ; MALDONADO, J. C. ; JINO, M. ; CHAIM, M. L. . Poketool Versão Clipper - Uma Ferramenta Para Suporte Ao Teste Estrutural Baseado Em Análise de Fluxo de Dados. 1995.

FABBRI, Sandra .C P. F. ; MALDONADO, J. C. . Proteum/Fsm: Uma Ferramenta Para Apoiar A Validação de Máquinas de Estado Finito Pelo Critério Análise de Mutantes. 1995.

DELAMARO, M. E. ; MALDONADO, J. C. . Proteum: Uma Ferramenta de Teste Baseada Na Analise de Mutantes. 1993.

S, L. J. P. ; MALDONADO, J. C. ; JINO, M. ; CHAIM, M. L. . Poke-Tool - Versao Cobol - Uma Ferramenta Para Suporte Ao Teste Estrutural de Programas Cobol Baseado Em Analise de Fluxo de Dados. 1992.

MALDONADO, J. C. . Poketool: Uma Ferramenta Para Suporte Ao Teste Estrutural de Programas Baseado Em Análise de Fluxo de Dados. 1991.

CEREDA, R. L. D. ; MALDONADO, J. C. . S-Micro: Sistema Para Simulação de Unidade de Controle Microprogramada. 1984.

MALDONADO, J. C. ; BERGAMINI, E. W. . Um Sistema de Controle e Supervisão de Bordo Para Aplicações Em (Multi) Missões Espaciais. 1983.

DUTRA, L. S. V. ; MALDONADO, J. C. . O Sistema Mt Inpe. 1983.

MALDONADO, J. C. ; MENDES, R. A. . Um Sistema de Supervisão de Bordo Para Aplicações Em Missões Espaciais. 1981.

MALDONADO, J. C. . Membro do comitê de programa do XXIII Simpósio Brasileiro de Engenharia de Software (SBES). 2009.

MALDONADO, J. C. . Member of program committee of the Twenty-First International Conference on Software Engineering and Knowledge Engineering (SEKE). 2009.

MALDONADO, J. C. . Publicity Chair of IEEE International Conference on Software Testing, Verification and Validation (ICST). 2009.

MALDONADO, J. C. . Membro do comite de programa do VIII Simpósio Brasileiro de Qualidade de Software (SBQS). 2009.

MALDONADO, J. C. . Member of program committee of the 3rd International Symposium on Empirical Software Engineering and Measurement (ESEM). 2009.

MALDONADO, J. C. . Member of program committee of the 9th International Conference on Quality Software (QSIC). 2009.

MALDONADO, J. C. . Member of program committee of the 21st IFIP Int. Conference on Testing of Communicating Systems (TestCom/FATES' 09). 2009.

MALDONADO, J. C. . Membro do Comitê de programa XII Conferencia Iberoamericana de Ingenería de Requisitos y Ambientes de Software (IDEAS). 2009.

MALDONADO, J. C. . Member of Technical Program Committee of the IEEE International Conference on Software Testing, Verification and Validation (ICST). 2009.

MALDONADO, J. C. . Membro do comitê de programa do 3rd Brazilian Workshop on Systematic and Automated Software Testing (SAST). 2009.

MALDONADO, J. C. . Member of program committee of the 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009). 2009.

MALDONADO, J. C. . South America Liasion of SEKE2009 - Twenty-First International Conference on Software Engineering and Knowledge Engineering. 2009.

MALDONADO, J. C. . Member of program committee of the SBES 2009 Tools Session. 2009.

MALDONADO, J. C. . Member of the Technical Program Committee for SBES 2009 Tutorials. 2009.

MALDONADO, J. C. . Member of the technical program committee of the 4th Latin-american Symposium on Dependable Computing (LADC). 2009.

MALDONADO, J. C. . Member of the Technical Program Committee for SBCARS 2009. 2009.

MALDONADO, J. C. . Member of program committee of the Workshops to the 2009 SBBD and SBES Symposia. 2009.

MALDONADO, J. C. . Coordenador do Comitê do Programa XXXV Conferencia Latino-americana de Informática (XXXV CLEI). 2009.

MALDONADO, J. C. . Member of the Program Committee of the CISIS 2010 track on ?Software Engineering for Distributed Systems?. 2009.

MALDONADO, J. C. . Member of Technical Program Committee of the Technical Program Committee of the 33rd Annual IEEE Software Engineering Workshop. 2009.

MALDONADO, J. C. . Member of the program committee for the 3rd Latin-American Workshop on Aspect-Oriented Software Development (LA-WASP.09). 2009.

MALDONADO, J. C. . Member of program committee of the Software Engineering (SE) Track - 23rd Annual ACM Symposium on Applied Computing (SAC). 2008.

MALDONADO, J. C. . Member of program committee of the Eighth International Conference on Quality Software (QSIC). 2008.

MALDONADO, J. C. . Member of program committee of the International Symposium on Empirical Software Engineering and Measurement (ESEM). 2008.

MALDONADO, J. C. . Member of the Program Committee of the 20th International Conference on Software Engineering and Knowledge Engineering (SEKE). 2008.

MALDONADO, J. C. . Member of program committee of the 20th IFIP Int. Conference on Testing Communication Systems (TestCom). 2008.

MALDONADO, J. C. . Member of program committee of the 8th Int. Workshop on Formal Approaches to Testing of Software (FATES). 2008.

MALDONADO, J. C. . Member of program committee of the 28th IFIP WG 6.1 conference on Formal Techniques for Networked and Distributed Systems (FORTE). 2008.

MALDONADO, J. C. . Member of program committee of the XI Workshop Iberoamericano de Ingeniería de Requisitos y Ambientes de Software (IDEAS). 2008.

MALDONADO, J. C. . Member of program committee of the First IEEE International Conference on Software Testing, Verification and Validation (ICST). 2008.

MALDONADO, J. C. . Membro do comitê de programa do XXXIV Conferencia Latinoamericana de Informática - CLEI. 2008.

MALDONADO, J. C. . Comitê Gestor do Congresso XXVIII Congresso da Sociedade Brasileira de Computação (CSBC). 2008.

MALDONADO, J. C. . Membro da Comissão Organizadora da XI Oktobertech. 2002.

MALDONADO, J. C. . Membro da Comissão Organizadora da Fealtec. 2002.

MALDONADO, J. C. . Revisor da IEEE - Transaction on Software Engineering. 2002.

MALDONADO, J. C. . Membro da Comissão Julgadora do Processo Seletivo para Contratação de Docentes, junto ao Departamento de Ciências de Computação e Estatística do ICMC-USP. 2002.

SIMÃO, A. S. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . Software product instrumentation description. 2002.

MALDONADO, J. C. . Responsável pela colaboração do LABES com o Center for Empirically based Software Engeneering, CeBASE, patrocinado pela NSF - National Science Foundations.. 2001.

MALDONADO, J. C. . Membro do Comissão de Educação da SBC - Sociedade Brasileira de Computação. 2001.

MALDONADO, J. C. ; SUGETA, T. . Coleta de Dados sobre os Programas de Pós-Graduação na Área de Ciência de Computação no Brasil - 2000. Compilação de Dados realizada no Departamento de Ciências de computação e Estatística. 2001.

MALDONADO, J. C. . Avaliador ad hoc do Programa de Bolsas de Iniciação Científica do CNPq - PIBIC. 2001.

MALDONADO, J. C. . Avaliador de Trabalhos do SCTF2001 - IX Brazilian Symposium on Fault-Tolerant Computing. 2001.

MALDONADO, J. C. . Coordenador do Seminários de Computação. 2001.

MALDONADO, J. C. . Membro da Comissão encarregada de estudar e propor modificações ao curso de Bacharelado em Informática, SCE-ICMC-USP. 2001.

MALDONADO, J. C. . Membro Suplente da Comissão Julgadora do Processo Seletivo para Contratação de dois Docentes, junto ao Departamento de Ciências de Computação e Estatística do ICMC-USP. 2001.

MALDONADO, J. C. . Membro da Comissão encarregada de apresentar sugestões de medidas que adequarão o consumo de energia elétrica do ICMC-USP frente ao racionamento estabelecido pelo governo Federal a partir de 01/06/2001. 2001.

MALDONADO, J. C. . Membro da Comissão encarregada de discutir e propor encaminhamentos para os trabalhos a serem desenvolvidos no II Congresso do Departamento. 2001.

MALDONADO, J. C. . Membro da Comissão encarregada de preparar o Plano Diretor de Obras do ICMC/USP. 2001.

MALDONADO, J. C. . Membro da Comissão de Especialistas para julgar a proposta de Tese de Doutorado - Área de Ciências de Computação e Matemática Computacional - do aluno Ernesto Massaropi Junior. 2001.

MALDONADO, J. C. . Membro Suplente da Comissão de Pesquisa - CPq, do ICMC-USP. 2001.

DELAMARO, M. E. ; PEZZÉ, M. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . Mutation Testing to Multi-Threaded JAVA Programs. 2001.

MALDONADO, J. C. . Grupo de Trabalho responsável da SBC - Sociedade Brasileira de Computação. 2000.

MALDONADO, J. C. . Membro do Conselho - ICMC-Junior. 2000.

MALDONADO, J. C. . Coordenador da Comissão Especial de Engenharia de Software da SBC. 2000.

MALDONADO, J. C. . Coordenador do Forum de Coordenadores da SBC. 2000.

MALDONADO, J. C. . Chefe do Departamento de Ciências de Computação e Estatística do ICMC-USP/São Carlos. 2000.

MALDONADO, J. C. . Membro do Grupo de Trabalho de P&D do Programa SocInfo/MCT. 2000.

MALDONADO, J. C. . Suplente do Coordenador do Programa de Pós-Graduação da Área Ciências de Computação e Matemática Computacional. 2000.

MALDONADO, J. C. . Membro do Conselho Editorial da SBC. 2000.

MALDONADO, J. C. . Coordenador do Projeto CNPq, Teste de Mutação: Análise e definição de Estratégias de Teste e Validação de Software. 2000.

MALDONADO, J. C. . Membro do Projeto CNPq, Pesquisa em Métodos e Ferramentas de Engenharia de Software. 2000.

MALDONADO, J. C. . Avaliador de Trabalhos do XI CITS:QS - Conferência Internacional de Tecnologia de Software: Qualidade de Software. 2000.

MALDONADO, J. C. . Avaliador de Trabalhos do VIII WEI - Workshop sobre Educação na Informática do XIX SBC - Congresso Nacional da Sociedade Brasileira de Computação. 2000.

MALDONADO, J. C. . Avaliador de Trabalhos do VI ISSAT - International Conference on Reliability and Quality in Design. 2000.

MALDONADO, J. C. . Avaliador de Trabalhos do WQS'2000 - Workshop de Qualidade de Software. 2000.

MALDONADO, J. C. . Avaliador de Trabalhos do Mutation 2000 Symposium. 2000.

MALDONADO, J. C. . Membro da Comissão Encarregada de organizar homenagem póstuma ao Prof. Nelson Onuchic, do ICMC-USP. 2000.

MALDONADO, J. C. . Membro da Comissão para elaborar proposta de ocupação temporária dos blocos 1, 2, 3 e 4, do ICMC-USP. 2000.

MALDONADO, J. C. . Membro da Comissão Responsável pela Trilha Graduação-Mestrado do ICMC - Instituto de Ciências Matemáticas e de Computação - USP. 2000.

MALDONADO, J. C. . Membro Titular na Congregação do ICMC-USP - Chefe do Departamento de Ciências Matemáticas e de Computação. 2000.

MALDONADO, J. C. . Membro Titular no CTA - Conselho Técnico Administrativo do ICMC-USP - Chefe do Departamento de Ciências Matemáticas e de Computação. 2000.

MALDONADO, J. C. . Membro Titular na Comissão de Informática do ICMC-USP - Chefe do Departamento de Ciências Matemáticas e de Computação. 2000.

MALDONADO, J. C. . Avaliador de Trabalhos do XXVI SEMISH - Seminário Intergrado de Software e Hardware. 1999.

MALDONADO, J. C. . Avaliador de Trabalhos do X CITS - Conferência Internacional de Tecnologia de Software: Qualidade de Software. 1999.

MALDONADO, J. C. . Avaliador de Trabalhos do VII WEI - Workshop sobre Educação na Informática do XVIII SBC - Congresso Nacional da Sociedade Brasileira de Computação. 1999.

MALDONADO, J. C. . Avaliador de Trabalhos do V ISSAT - International Conference on Reliability and Quality in Design. 1999.

MALDONADO, J. C. . Avaliador de Trabalhos do 10th ISSRE - International Symposium on Software Reliability Engineering. 1999.

MALDONADO, J. C. . Avaliador de Trabalhos do XIX SCCC - International Conference of the Chilean Computer Science Society. 1999.

MALDONADO, J. C. . Avaliador do II Concurso de Monografias em Qualidade e Produtividade de Software. 1999.

MALDONADO, J. C. . Avaliador de Trabalhos do X Simpósio Brasileiro de Informática na Educação. 1999.

MALDONADO, J. C. . Membro do Conselho da SBC - Sociedade Brasileira de Computação. 1999.

MALDONADO, J. C. . Membro do Comitê Organizador da Olímpiada Brasileira de Informática da SBC - Sociedade Brasileira de Computação. 1999.

MALDONADO, J. C. . Coordenador do Projeto CNPq - Teste de Mutação: Análise e Definição de Estratégias de Teste e Validação de Software. 1999.

MALDONADO, J. C. . Membro Suplente da Comissão Julgadora do Processo Seletivo para Contratação de Docente junto ao Departamento de Ciências da Computação e Estatística do ICMC-USP. 1999.

MALDONADO, J. C. . Presidente da Mesa Eleitoral para Representação Discente da Pós-graduação junto ao Conselho Universitário e Conselhos Centrais da USP. 1999.

MALDONADO, J. C. . Membro da Comissão encarregada de organizar homenagem póstuma aos ex-Diretores do ICMC-USP. 1999.

MALDONADO, J. C. . Suplente do Delegado da categoria de Associado do ICMC para constituir o Colégio Eleitoral para eleger os representantes da referida categoria no Conselho Universitário. 1999.

MALDONADO, J. C. . Membro da Comissão de Educação da SBC. 1999.

MALDONADO, J. C. . Coordenador Local do Projeto - NSF-CNPq Readers Project: A Collaborative Research to Develop, Validate and Package Reading Techniques for Software Defect Detection. 1999.

MALDONADO, J. C. . Avaliador de Trabalhos do XII SBES - Simpósio Brasileiro de Engenharia de Software. 1998.

MALDONADO, J. C. . Avaliador de Trabalhos do IX CITS - Conferência Internacional de Tecnologia de Software: Qualidade de Software. 1998.

MALDONADO, J. C. . Avaliador de Trabalhos do VI WEI - Workshop sobre Educação na Informática do XVIII SBC - Congresso Nacional da Sociedade Brasileira de Computação. 1998.

MALDONADO, J. C. . Avaliador de Trabalhos do 11th IWTCs - International Workshop on Testing of Communicating Systems. 1998.

MALDONADO, J. C. . Avaliador de Trabalhos do WQS'98 - Workshop de Qualidade de Software. 1998.

MALDONADO, J. C. . Membro do Comitê da SBC- Sociedade Brasileira de Computação, para seleção de jovens para a IFIP - International Federation for Information Precessing, para o I Encontro Mundial de Jovens. 1998.

MALDONADO, J. C. . Membro do Projeto Integrado CNPq - Pesquisas em Métodos e Ferramentas de Engenharia de Software com Ênfase em Sistemas Reativos. 1998.

MALDONADO, J. C. . Coordenador Local do Projeto SQUAD - Software Quality Across Different Regions, Comunidade Européia INCO-DC. 1998.

MALDONADO, J. C. . Coordenador Local do Projeto FAPESP - Sapiens. 1998.

MALDONADO, J. C. . Suplente de Coordenador da Pós-Graduação da área de Ciências da Computação e Matemática Computacional do ICMC-USP. 1998.

MALDONADO, J. C. . Coordenador da Pós-Graduação da área de Ciências da Computação e Matemática Computacional do ICMC-USP. 1998.

MALDONADO, J. C. . Suplente do Chefe do Departamento de Ciências da Computação e Estatística do ICMC-USP. 1998.

MALDONADO, J. C. . Membro da Comissão de instauração de Processo Administrativo Disciplinar, ICMC-USP. 1998.

MALDONADO, J. C. . Membro da Comissão encarregada de organizar a participação do ICMC na Oktobertech'98 - ICMC-USP. 1998.

MALDONADO, J. C. . Membro da Comissão encarregada de apresentar proposta de Implantação do Curso Noturno no ICMC-USP. 1998.

MALDONADO, J. C. . Presidente da Comissão Interna de Gestão da Qualidade e Produtividade do ICMC-USP. 1998.

MALDONADO, J. C. . Membro titular junto à Comissão de Pós-graduação do ICMC-USP. 1998.

MALDONADO, J. C. . Membro titular da categoria de Professor Associado junto ao Conselho do Departamento de Ciências da Computação e Estatística do ICMC-USP. 1998.

MALDONADO, J. C. . Membro titular na Congregação do ICMC-USP - Representante do Professores Associados do ICMC. 1998.

MALDONADO, J. C. . Ouvidor (ombudsperson) do ICMC-USP. 1998.

MALDONADO, J. C. . Membro Suplente da Comissão de Pesquisa - CPq, do ICMC-USP. 1998.

MALDONADO, J. C. ; VINCENZI, A. M. R. ; BARBOSA, E. F. ; SOUZA, S. R. S. S. ; DELAMARO, M. E. . Aspectos Teóricos e Empíricos de Teste de Cobertura de Software. 1998.

MALDONADO, J. C. . Consultor da Sociedade Brasileira para Promoção da Exportação de Software SOFTEX, Avaliação de Planos de Negócio, CNS'97/SOFTEX (Parecer Técnico). 1997.

MALDONADO, J. C. . Coordenação de Avaliação de Produtos de Software, I CNS - Chamada Nacional de Software, SOFTEX (Parecer Técnico). 1997.

MALDONADO, J. C. . Avaliador de Trabalhos do XXIV SEMISH - Seminário Intergrado de Software e Hardware. 1997.

MALDONADO, J. C. . Avaliador de Trabalhos do VIII CITS - Conferência Internacional de Tecnologia de Software. 1997.

MALDONADO, J. C. . Avaliador de Trabalhos do SBRC - Simpósio Brasileiro de Redes de Computadores. 1997.

MALDONADO, J. C. . Avaliador de Trabalhos do 8th ISSRE - International Symposium on Software Reliability Engineering. 1997.

MALDONADO, J. C. . Diretor de Educação da SBC - Sociedade Brasileira de Computação. 1997.

MALDONADO, J. C. . Responsável pelo Exame Classificatório de alunos da Pós-graduação para obtenção de bolsas para o ano de 1997. 1997.

MALDONADO, J. C. . Membro Titular da Comissão Coordenadora do Seminários em Computação. 1997.

MALDONADO, J. C. . Membro da Comissão Interna de Gestão de Qualidade e Produtividade, ICMSC-USP. 1997.

MALDONADO, J. C. . Membro Titular da Comissão para Ocupação do Bloco de Pesquisa, ICMSC-USP. 1997.

MALDONADO, J. C. . Membro da Comissão para Preenchimento de vaga de Técnico Contábil, ICMSC-USP. 1997.

MALDONADO, J. C. . Avaliador de Trabalhos do VII CITS - Conferência Internacional de Tecnologia de Software: Qualidade de Software. 1996.

MALDONADO, J. C. . Coordenador da Comissão Especial de Engenharia de Software da SBC - Sociedade Brasileira de Computação. 1996.

MALDONADO, J. C. . Coordenador do Projeto Integrado CNPq - Pequisas em Engenharia de Software com Ênfase em Métodos e Ferramentas de Especificação, Testes e Manutenção. 1996.

MALDONADO, J. C. . Membro do Projeto FAPESP - Métodos e Ferramentas para Apoio ao Desenvolvimento de Software. 1996.

MALDONADO, J. C. . Avaliador de Trabalhos do IX SBES - Simpósio Brasileiro de Engenharia de Software. 1995.

MALDONADO, J. C. . Avaliador de Trabalhos do XXII SEMISH - Seminário Intergrado de Software e Hardware. 1995.

MALDONADO, J. C. . Avaliador de Trabalhos do Workshop de Qualidade de Software. 1995.

MALDONADO, J. C. . Coordenador da Comissão Especial da SBC - Engenharia de Software. 1995.

MALDONADO, J. C. . Avaliador de Trabalhos do VIII SBES - Simpósio Brasileiro de Engenharia de Software. 1994.

MALDONADO, J. C. . Membro do Projeto RHAE - CNPq- Plano de Viabilização de um Grupo de Pequisa em CIM (Manufatura Integrada por Computador). 1994.

MALDONADO, J. C. . Coordenador do Projeto CNPq - Estudo e Implementação de Ferramentas de Teste para a Aplicação da Análise de Mutantes na Produção de Software. 1994.

MALDONADO, J. C. . Coordenador do Projeto Integrado CNPq - Projeto TAQS - Tecnologias para Avaliação de Qualidade de Software. 1994.

MALDONADO, J. C. . Coordenador do PNUD BRA/92/019 - articulação/TELEBRÁS/UNICAMP/USP. Projeto Validação e Teste de Sistemas de Operação (PVTSO). 1994.

MALDONADO, J. C. . Coordenador da Pós-Graduação da área de Ciências da Computação e Matemática Computacional do ICMSC-USP. 1994.

MALDONADO, J. C. . Suplente de Coordenador da Pós-Graduação da área de Ciências da Computação e Matemática Computacional do ICMSC-USP. 1994.

MALDONADO, J. C. . Coordenador local do Projeto PROTEM/CNPq, Projeto TAQS - Tecnologias para Avaliação de Qualidade de Software. 1994.

MALDONADO, J. C. . Avaliador de Trabalhos do VII SBES - Simpósio Brasileiro de Engenharia de Software. 1993.

MALDONADO, J. C. . Vice-Coordenador do Convênio USP/Folha de São Paulo. 1993.

MALDONADO, J. C. . Diretor do Laboratório de Engenharia de Software - ICMC/USP. 1993.

MALDONADO, J. C. . Membro titular junto à Comissão de Graduação do Instituto de Física e Química de São Carlos - USP. 1993.

MALDONADO, J. C. . Membro titular da Comissão de Graduação do ICMSC-USP. 1993.

MALDONADO, J. C. . Membro titular junto à Comissão de Pós-graduação do ICMSC-USP. 1993.

MALDONADO, J. C. . Avaliador de Trabalhos do VI SBES - Simpósio Brasileiro de Engenharia de Software. 1992.

MALDONADO, J. C. . Avaliador de Trabalhos do XIX SEMISH - Seminário Intergrado de Software e Hardware. 1992.

MALDONADO, J. C. . Coordenador do Projeto Integrado CNPq - Estudo Teórcio e Aplicado de Critérios de Teste Baseados em Análise de Fluxo de Dados na Produção de Software. 1992.

MALDONADO, J. C. . Coordenador do Convêncio USP/Folha de São Paulo. 1992.

MALDONADO, J. C. . Membro da Comissão Examinadora do Exame de Proficiência em língua estrangeira(Inglês) do programa de mestrado do ICMSC-USP. 1992.

MALDONADO, J. C. ; et al. . Programa de Qualidade e Produtividade em Software do Centro Tecnológico para Informática - PQPS/CTI. 1992.

MALDONADO, J. C. . Revisor da IEEE - Transaction on Software Engineering. 1991.

MALDONADO, J. C. . Avaliador de Trabalhos do V SBES - Simpósio Brasileiro de Engenharia de Software. 1991.

MALDONADO, J. C. . Membro do Projeto Protem/CC. 1991.

MALDONADO, J. C. . Representante da categoria de Professor Doutor junto à Comissão de Graduação da Escola de Engenharia de São Carlos como membro suplente. 1991.

MALDONADO, J. C. . Avaliador de Trabalhos do IV SBES - Simpósio Brasileiro de Engenharia de Software. 1990.

MALDONADO, J. C. . Avaliador de Trabalhos do XVII SEMISH - Seminário Intergrado de Software e Hardware. 1990.

MALDONADO, J. C. . Membro responsável pela aplicação de prova de habilitação aos candidatos à transferência ao Curso de Bacharelado em Ciências da Computação, ICMSC-USP. 1990.

MALDONADO, J. C. . Representante da categoria de Professor Assistente junto à Congregação do ICMSC-USP como membro suplente. 1989.

MALDONADO, J. C. . Membro da comissão responsável pela seleção dos candidatos à ênfase em Computação Eletrônica oferecida pelo SCE-ICMSC/USP. 1988.

MALDONADO, J. C. . Membro da comissão encarregada da abertura do Convite de Preços referente à aquisição de materiais e equipamentos para o Laboratório de Sistemas Digitais - SCE-ICMSC/USP. 1988.

MALDONADO, J. C. . Representante dos Professores do ICMSC-USP junto ao Conselho do Campus de São Carlos. 1988.

MALDONADO, J. C. . Membro da comissão responsável pela seleção dos candidatos à ênfase em Computação Eletrônica oferecida pelo SCE-ICMC/USP. 1987.

MALDONADO, J. C. . Membro da comissão responsável pela seleção dos candidatos ao Curso de Especialização em Computação, ICMC-USP. 1987.

MALDONADO, J. C. . Membro da comissão encarregada da abertura do Convite de Preços referente à aquisição de materiais e equipamentos para o Laboratóriode Sistemas Digitais do SCE-ICMC. 1987.

MALDONADO, J. C. . Membro da comissão encarregada da abertura do Convite de Preços referente à aquisição de materiais e equipamentos para o laboratório do SCE-ICMSC. 1987.

MALDONADO, J. C. . Membro da comissão responsável pela seleção dos candidatos ao Curso de Extensão Universitária - Área de Computação, ICMSC-USP. 1987.

MALDONADO, J. C. . Representante da categoria de Professor Assistente junto à Congregação do ICMSC como membro suplente. 1987.

MALDONADO, J. C. . Membro da Comissão de Avaliação da Carreira de Técnico Especializado de Apoio ao Ensina à distância, ICMC-USP. 1986.

MALDONADO, J. C. . Membro da comissão encarregada da abertura do Convite de Preços, referente à aquisição de materiais e equipamentos para o laboratório do SCE-ICMSC/USP. 1986.

MALDONADO, J. C. . Membro Suplente da Comissão Assessora para o funcionamento da Laboratório de Computação. 1986.

MALDONADO, J. C. . Membro da comissão de distribuição de carga didática do SCE-ICMSC/USP. 1986.

MALDONADO, J. C. . Representante da categoria de Professor Assistente junto ao Conselho do Departamento de Ciências da Computação e Estatística como membro suplente. 1986.

MALDONADO, J. C. . Membro da Comissão responsável pela seleção dos candidatos à ênfase em Computação Eletrônica oferecida pelo SCE-ICMSC. 1985.

MALDONADO, J. C. . Membro da Comissão responsável pela seleção dos candidatos ao Curso de Especialização em Computação, SCE-ICMSC. 1985.

MALDONADO, J. C. . Membro da Comissão responsável pela atualização do programa de ênfase em Computação Eletrônica e do Curso de Especialização em Computação do SCE-ICMSC. 1985.

MALDONADO, J. C. . Membro do grupo de Interface do Segmento Espacial da MECB/SS - Coleta de Dados - INPE. 1984.

MALDONADO, J. C. . Chefe do Departamento de Engenharia de Computação em Aplicações Espaciais - INPE. 1984.

MALDONADO, J. C. . Responsável interino pelo Projeto 'Supervisão de Bordo (SUBORD)'no segmento Espacial do INPE. 1984.

MALDONADO, J. C. . Membro da Comissão encarregada de elaborar testes para candidatos a técnicos em eletrônica. 1983.

MALDONADO, J. C. . Membro do grupo de Interface do Segmento Espacial da MECB/SS - Coleta de Dados - INPE. 1983.

MALDONADO, J. C. . Membro representante do Corpo Discente junto à Comissão encarregada de exercer as funções de Conselho do Departamento de Engenharia de Sistemas, EESC-USP. 1977.

MALDONADO, J. C. . Membro da Comissão encarregada do estudo do planejamento orçamentário da EESC-USP, filosofia dos cursos, construção de laboratórios, salas de aula, criação ou extinção de cursos, propostas para a Comissão de Reforma do Estatuto e Regimento Geral da USP e do levantamento da carga horária dos professores. 1976.

MALDONADO, J. C. . Representante do Corpo Discente junto à Congregação da Escola de Engenharia de São Carlos. 1976.

ENDO, A. T. ; BERTOLINO, A. ; MALDONADO, J. C. ; DELAMARO, M. E. . Guest editorial foreword for the special issue on automated software testing: trends and evidence. 2018. (Editoração/Periódico).

Maldonado, J.C. ; Ferrari, Fabiano C. . Anais do CBSOF/SBES 2017. 2017. (Editoração/Anais).

MALDONADO, J. C. ; VITERBO, J. ; DELAMARO, M. E. ; MARCZAK, S. . Jornadas de Atualização em Informática 2016- JAI. 1. ed. 2016. (Editoração/Coletânea).

Maldonado, José Carlos . International Journal of Software Engineering and knoledge Engineering - SEKE. 2014. (Editoração/Outra).

Maldonado, José Carlos . Revista Eletrônica CLEI. 2011. (Editoração/Outra).

VINCENZI, A. M. R. ; DELAMARO, M. E. ; HÖHN, Erika Nina ; MALDONADO, J. C. . Control and Data Flow, and Mutation Testing: Theory and Practice. 2007. (Curso de curta duração ministrado/Outra).

WONG, E. ; MALDONADO, J. C. . Tutorial: Testing and Maintaining Your Software in a More Cost-Effective Way - 8th ASSE. 2007. (Curso de curta duração ministrado/Outra).

MASIERO, P. C. ; LEMOS, O. A. L. ; FERRARI, Fabiano Cutigi ; MALDONADO, J. C. . Teste de Software Orientado a Objetos e a Aspectos: Teoria e Prática. 2006. (Curso de curta duração ministrado/Outra).

MALDONADO, J. C. ; BARBOSA, E. F. ; SIMÃO, A. S. ; MASIERO, P. C. ; LEMOS, O. A. L. ; FABBRI, S. C. F. P. . Mini-tutorial Data-Flow and Mutation Based Testing. 2005. (Curso de curta duração ministrado/Outra).

BARBOSA, E. F. ; VINCENZI, A. M. R. ; DELAMARO, M. E. ; MALDONADO, J. C. . Teste Estrutural e de Mutação no Contexto de Programas OO. 2005. (Curso de curta duração ministrado/Outra).

MALDONADO, J. C. ; BARBOSA, E. F. ; VINCENZI, A. M. R. ; DELAMARO, M. E. ; SOUZA, S. R. S. S. ; JINO, M. . Introdução ao Teste de Software. 2004. (Desenvolvimento de material didático ou instrucional - Nota Didática).

MALDONADO, J. C. ; BARBOSA, E. F. ; VINCENZI, A. M. R. ; DELAMARO, M. E. ; SOUZA, S. R. S. S. ; JINO, M. . Teste de Software: Teoria e Prática. 2003. (Desenvolvimento de material didático ou instrucional - Nota Didática).

MALDONADO, J. C. ; MASIERO, P. C. ; GERMANO, F. S. R. . Engenharia de Software. 2002. (Revisão Técnica de Livros).

DELAMARO, M. E. ; PEZZÉ, M. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . Applying Mutation Testing to Multi-Threaded Java Programs. 2001. (Desenvolvimento de material didático ou instrucional - Relatório Técnico).

BARBOSA, E. F. ; MALDONADO, J. C. ; et al. . Introdução ao Teste de software. 2000. (Curso de curta duração ministrado/Extensão).

BARBOSA, E. F. ; MALDONADO, J. C. ; VINCENZI, A. M. R. ; DELAMARO, M. E. ; SOUZA, S. R. S. S. ; JINO, M. . Introdução ao Teste de Software. 2000. (Desenvolvimento de material didático ou instrucional - Nota Didática).

MALDONADO, J. C. . Aspectos Teóricos e Empíricos de Teste de Cobertura de Software. 1999. (Curso de curta duração ministrado/Extensão).

MALDONADO, J. C. . Data Flow and Mutation based Testing: An Overview. 1999. (Curso de curta duração ministrado/Extensão).

SUGETA, T. ; MALDONADO, J. C. ; FABBRI, Sandra .C P. F. . Proteum-RS/ST: Manual do Usuário. 1999. (Desenvolvimento de material didático ou instrucional - Manual de Usuário).

COLANZI, T. E. ; MASIERO, P. C. ; MALDONADO, J. C. . Especificação do SAPES com o ProDeS/UML. 1999. (Desenvolvimento de material didático ou instrucional - Relatório Técnico).

CARVALHO, R. A. ; FABBRI, Sandra .C P. F. ; MALDONADO, J. C. ; NASSIF, P. N. . Determinação de um Conjunto Essencial de Operadores de Mutação para Máquinas de Estados Finitos. 1999. (Desenvolvimento de material didático ou instrucional - Relatório Técnico).

SUGETA, T. ; MALDONADO, J. C. ; FABBRI, Sandra .C P. F. ; MASIERO, P. C. . Introdução a Statecharts: Conceitos Básicos, Teste e Validação, Extensões e Ferramentas de apoio. 1999. (Desenvolvimento de material didático ou instrucional - Nota Didática).

MALDONADO, J. C. . Aspectos Técnicos e Empíricos de Teste de Cobertura de Software. 1998. (Curso de curta duração ministrado/Extensão).

MALDONADO, J. C. . Teste de Software Orientado a Objetos. 1998. (Curso de curta duração ministrado/Extensão).

MALDONADO, J. C. ; VINCENZI, A. M. R. ; BARBOSA, E. F. ; SOUZA, S. R. S. ; DELAMARO, M. E. . Aspectos Teóricos e Empíricos de Teste de Cobertura de Software. 1998. (Desenvolvimento de material didático ou instrucional - Nota Didática).

DELAMARO, M. E. ; MALDONADO, J. C. ; PASQUINI, A. ; MATHUR, A. P. . Interface Mutation test Adequacy Criterion: an Empirical Evaluation. 1998. (Desenvolvimento de material didático ou instrucional - Relatório Técnico).

MALDONADO, J. C. ; MASIERO, P. C. . Special Issue on Software Engineering Journal of the Brazilian Computer Society. 1998. (Editoração/Outra).

MALDONADO, J. C. . Teste de Confiabilidade de Software. 1997. (Curso de curta duração ministrado/Extensão).

MALDONADO, J. C. . Software Testing and Reliability. 1997. (Curso de curta duração ministrado/Extensão).

MALDONADO, J. C. ; NAKAGAWA, E. Y. . Anais do WPVTSO - Workshop do Projeto Validação e Teste de Sistemas de Operação. 1997. (Editoração/Anais).

MALDONADO, J. C. ; DIPPOLITO, E. . Anais do VIII CTIS - Conferência Internacional de Tecnologia de Software - Qualidade de Software. 1997. (Editoração/Anais).

DELAMARO, M. E. ; MALDONADO, J. C. . PROTEUM - A Tool for the Assesment of the Adequacy for C Programs: User's Guide. 1996. (Desenvolvimento de material didático ou instrucional - Manual de Usuário).

VILELA, P. R. ; MALDONADO, J. C. ; JINO, M. . Program Graph Visualization an Approach Without Replacement. 1996. (Desenvolvimento de material didático ou instrucional - Relatório Técnico).

DELAMARO, M. E. ; MALDONADO, J. C. ; MATHUR, A. P. . Integration Testing Using Interface Mutations. 1996. (Desenvolvimento de material didático ou instrucional - Relatório Técnico).

MALDONADO, J. C. ; MASIERO, P. C. . Anais do X SBES - Simpósio Brasileiro de Engenharia de Software. 1996. (Editoração/Anais).

DELAMARO, M. E. ; MALDONADO, J. C. . A Mutation Testing Tool For C Programs. 1996. (Relatório de pesquisa).

MALDONADO, J. C. ; MATHUR, A. P. . Software Testing Reliability. 1995. (Curso de curta duração ministrado/Extensão).

TURINE, M. A. S. ; MALDONADO, J. C. ; SANCHES, R. . Descobrindo o Ambiente do Fortran (Versão 5.1). 1995. (Desenvolvimento de material didático ou instrucional - Nota Didática).

TURINE, M. A. S. ; MALDONADO, J. C. ; SANCHES, R. . Descobrindo o Ambiente do Turbo Pascal (Versão 7.0). 1995. (Desenvolvimento de material didático ou instrucional - Nota Didática).

MALDONADO, J. C. . Caderno de Ferramentas do IX SBES - Simpósio Brasileiro de Engenharia de Software. 1995. (Editoração/Anais).

MALDONADO, J. C. ; MASIERO, P. C. ; SANCHES, R. . Engenharia de Software. 1995. (Revisão Técnica de Livros).

MALDONADO, J. C. . Teste de Software. 1994. (Curso de curta duração ministrado/Extensão).

DELAMARO, M. E. ; MALDONADO, J. C. . Proteum - Manual do Usuário Versão 1.1-C. 1994. (Desenvolvimento de material didático ou instrucional - Manual de Usuário).

NAKAZATO, K. K. ; MALDONADO, J. C. ; FABBRI, S. C. P. F. ; MASIERO, P. C. . Aspectos Teóricos e de Implementação de Critérios de Geração de Seqüências de Teste Baseados em Máquinas de Estado Finito. 1994. (Desenvolvimento de material didático ou instrucional - Relatório Técnico).

NAKAZATO, K. K. ; MALDONADO, J. C. ; FABBRI, Sandra .C P. F. ; MASIERO, P. C. . Propriedades de Máquinas de Estado Finito Relevantes Para Critérios de Geração de Seqüências de Teste. 1994. (Desenvolvimento de material didático ou instrucional - Relatório Técnico).

NAKAZATO, K. K. ; MALDONADO, J. C. ; FABBRI, Sandra .C P. F. ; MASIERO, P. C. . Seqüências Básicas de Máquinas de Estado Finito: Aspectos Teóricos e de Implementação. 1994. (Desenvolvimento de material didático ou instrucional - Relatório Técnico).

MALDONADO, J. C. ; CHAIM, M. L. ; JINO, M. ; ROPER, M. ; HUNTER, M. ; WOOD, R. M. . A Brief View of Potential Uses Criteria and Poke-Tool Testing Tool. 1994. (Relatório de pesquisa).

MALDONADO, J. C. . Conselho Acadêmico do Programa CATS - Programa de CapacitaçÃo Avançada em Tecnologia de Software. 1993. (Curso de curta duração ministrado/Outra).

MALDONADO, J. C. . Técnicas de Teste de Software. 1993. (Curso de curta duração ministrado/Extensão).

DELAMARO, M. E. ; MALDONADO, J. C. . Uma Visão sobre a Aplicação da Análise de Mutantes. 1993. (Desenvolvimento de material didático ou instrucional - Nota Didática).

MALDONADO, J. C. . Caderno de Ferramentas do VII SBES- Simpósio Brasileiro de Engenharia de Software. 1993. (Editoração/Anais).

MALDONADO, J. C. . Teste de Software. 1991. (Curso de curta duração ministrado/Extensão).

MALDONADO, J. C. . Engenharia de Requisitos e Teste de Software. 1991. (Curso de curta duração ministrado/Outra).

MALDONADO, J. C. . Teste de Software. 1991. (Curso de curta duração ministrado/Outra).

MALDONADO, J. C. . Atividades de Teste e Validação na Produção de Software. 1989. (Curso de curta duração ministrado/Extensão).

MALDONADO, J. C. ; CHAIM, M. L. ; JINO, M. . Feasible Potential Uses Criteria Analysis. 1989. (Relatório de pesquisa).

MALDONADO, J. C. ; CHAIM, M. L. ; JINO, M. . Resultados do Estudo de Uma Família de Critérios de Seleção de Casos de Testes Baseada Em Fluxo de Dados. 1988. (Relatório de pesquisa).

MALDONADO, J. C. . Curso de Especialização em Computação. 1987. (Curso de curta duração ministrado/Especialização).

MALDONADO, J. C. . Curso de Especialização em Computação. 1986. (Curso de curta duração ministrado/Especialização).

BIANCHI NETO, ; MALDONADO, J. C. ; MISSAWA, M. ; MENDES, R. A. . Documenção Técnica do Hardware da Plataforma de Coleta de Dados PPCD/ERI. 1986. (Relatório de pesquisa).

MALDONADO, J. C. ; SANTANA, M. J. ; SANTANA, R. H. C. ; PENTEADO, R. A. D. . Introdução à Programação Estruturada com Basic e Fortran. 1985. (Desenvolvimento de material didático ou instrucional - Publicação Interna).

MALDONADO, J. C. ; CEREDA, R. L. D. . INTE - Interface de Testes Estáticos. 1985. (Relatório de pesquisa).

MALDONADO, J. C. ; CEREDA, R. L. D. . Aspectos da Integração do Monitor de Testes para Sistemas de Supervisão de Bordo - MTSB em um Banco de Testes. 1985. (Relatório de pesquisa).

MALDONADO, J. C. ; MISSAWA, M. ; MENDES, R. A. . Aspectos Relevantes do Hardware que Visam a Elaboboração do Software da Plataforma de Coleta de Dados PPCD/ERI-Nov/85. 1985. (Relatório de pesquisa).

MALDONADO, J. C. ; et al. . BPISB - Padronização de um Barramento para Microcomputadores. 1984. (Relatório de pesquisa).

MALDONADO, J. C. . A Comparative Study of Link Protocols for the Spar on Board Modular Microcomputer. 1984. (Relatório de pesquisa).

PAULA, A. R. ; MALDONADO, J. C. ; et al. . Síntese do Padrão INPE de Supervisão de Bordo (PISB) Aplicada à MECB1:Estado Geral do Projeto em Setembro de 1983. 1984. (Relatório de pesquisa).

BERGAMINI, E. W. ; MALDONADO, J. C. ; et al. . Relatório de Atividades do Programa Sistemas Digitais e Analógicos PSDA (DCA/INPE), Período 07/81-12/82. 1984. (Relatório de pesquisa).

CEREDA, R. L. D. ; MALDONADO, J. C. . S-Micro - Sistema para Simulação de Unidade de Controle Microprogramada. 1984. (Relatório de pesquisa).

RIOS, A. N. ; MALDONADO, J. C. ; et al. . Análise de Problemas de Interface e Descrição Atualizada do Segmento Espacial da MECB/Coleta de Dados. 1983. (Relatório de pesquisa).

DUTRA, L. S. V. ; MALDONADO, J. C. . O Sistema MT INPE. 1983. (Relatório de pesquisa).

MALDONADO, J. C. ; BERGAMINI, E. W. . Um Sistema de Controle e Supervisão de Bordo para Aplicações em (Multi) Missões Espaciais. 1983. (Relatório de pesquisa).

MENDES, R. A. ; MALDONADO, J. C. ; et al. . Missão Peroba I. 1982. (Relatório de pesquisa).

MALDONADO, J. C. ; MENDES, R. A. . Manual de Operação do Programa Operacional Integrado (Poi) Para Comunicação entre Computadores Utilizados na Supervisão de Bordo da Missão Peroba I. 1981. (Desenvolvimento de material didático ou instrucional - DESENVOLVIMENTO OU GERACAO DE PRODUTO COM OU SEM PATENTE OBTIDA).

MALDONADO, J. C. ; MENDES, R. A. . Um Sistema de Supervisão de Bordo para Aplicações em Missões Espaciais. 1981. (Relatório de pesquisa).

Seção coletada automaticamente pelo Escavador

Projetos de pesquisa

  • 2016 - Atual

    Estabelecimento de Acordo de Dupla Titulação, Projeto certificado pelo(a) coordenador(a) Elisa Yumi Nakagawa em 09/06/2016., Descrição: Projeto para realização de visita como professor visitante da Universidad Rey Juan Carlos, Madrid, Madrid, Espanha, Programa de Mobilidade Docente, Edital: 496/2016, Período: abril/2016 a dezembro/2016.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Jose Carlos Maldonado - Integrante / Elisa Y Nakagawa - Coordenador.

  • 2015 - 2015

    Dynamic Variability Approaches for the Development of Systems-of-Systems Software Architectures, Projeto certificado pelo(a) coordenador(a) Elisa Yumi Nakagawa em 09/06/2016., Descrição: Vinda do Prof. Dr. Rafael Capilla (Universidad Rey Juan Carlos Madrid - URJC, Espanha) como professor visitante ao ICMC/USP.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Jose Carlos Maldonado - Integrante / Elisa Yumi Nakagawa - Coordenador / Rafael Capilla - Integrante.

  • 2014 - Atual

    PROCAD/CAPES/MEC - Pesquisa, Integração e Capacitação de Recursos Humanos em Tecnologias Educacionais e Engenharia de Software, Descrição: Este projeto de cooperação acadêmica tem como principal objetivo fomentar a pesquisa, a integração e a capacitação de recursos humanos de alto nível nas áreas de Tecnologias Educacionais e Engenharia de Software. A integração das duas áreas de pesquisa acontece à medida que processos, métodos e ferramentas de Engenharia de Software são investigados e aplicados na produção e evolução de Tecnologias Educacionais. O projeto envolve três equipes de pesquisadores (ICMC/USP, UFAL e UEM) que já possuem trabalhos de investigação conjuntos nessas áreas de pesquisa, o que potencializa os resultados esperados do projeto (Valor aprox. R$ 800.000,00).. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (30) / Mestrado acadêmico: (18) / Doutorado: (6) . , Integrantes: Jose Carlos Maldonado - Coordenador / Ellen Francine Barbosa - Integrante / Rosana Teresinha Vaccare Braga - Integrante / Seiji Isotani - Integrante / Alan Pedro da Silva - Integrante / IG Ibert Bittencourt - Integrante / Patrick Brito - Integrante / Aydano Pamponet Machado - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.

  • 2014 - Atual

    SASoS: Supporting Development of Software Architectures for Software-intensive Systems-of-Systems, Projeto certificado pelo(a) coordenador(a) Elisa Yumi Nakagawa em 09/06/2016., Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Doutorado: (5) . , Integrantes: Jose Carlos Maldonado - Integrante / Elisa Y Nakagawa - Coordenador / Thiago Bianchi - Integrante / Flavio Oquendo - Integrante / Lucas Bueno Ruas de Oliveira - Integrante / Milena Guessi - Integrante / Jó Ueyama - Integrante / Marcelo Benites Gonçalves - Integrante / Frank José Affonso - Integrante / Rodrigo Fernandes Mello - Integrante / Daniel Soares Santos - Integrante / Valdemar Vicente Graciano Neto - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.

  • 2013 - 2013

    Elaborating a new paradigm for establishing the architecture of systems-of-systems in networked embedded systems, Projeto certificado pelo(a) coordenador(a) Elisa Yumi Nakagawa em 09/06/2016., Descrição: Vinda do Prof. Dr. Flavio Oquendo (Université de Bretagne Sud, França) como professor visitante ao ICMC/USP, FAPESP, Processo N.: 2012/22425-0, Período: 28/04/2013 a 27/07/2013.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Jose Carlos Maldonado - Integrante / Elisa Y Nakagawa - Coordenador / Flavio Oquendo - Integrante.

  • 2012 - 2015

    Architecting Critical Embedded Systems (ACES), Projeto certificado pelo(a) coordenador(a) Elisa Yumi Nakagawa em 09/06/2016., Descrição: Vinda do Prof. Dr. Paris Avgeriou (University of Groningen, Holanda) como professor visitante ao ICMC/USP.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Jose Carlos Maldonado - Integrante / Elisa Y Nakagawa - Coordenador / Paris Avgeriou - Integrante.

  • 2012 - 2014

    ProSA-RAES: Subsídios para o Estabelecimento de Arquiteturas de Referência para Sistemas Embarcados, Projeto certificado pelo(a) coordenador(a) Elisa Yumi Nakagawa em 09/06/2016., Descrição: Projeto de pesquisa reagular, FAPESP Processo N. 2011/23316-8.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (3) / Doutorado: (3) . , Integrantes: Jose Carlos Maldonado - Integrante / Elisa Y Nakagawa - Coordenador / Pablo Oliveira Antonino - Integrante / Martin Becker - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.

  • 2012 - 2014

    Uma Contribuição ao Estabelecimento e Avaliação de Arquiteturas de Referência para Sistemas Embarcados, Projeto certificado pelo(a) coordenador(a) Elisa Yumi Nakagawa em 09/06/2016., Descrição: Edital MCT/CNPq 14/2011 - Universal, Processo: 474720/2011-0.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (3) / Doutorado: (3) . , Integrantes: Jose Carlos Maldonado - Integrante / Elisa Y Nakagawa - Coordenador / Pablo Oliveira Antonino - Integrante / Martin Becker - Integrante / Flavio Oquendo - Integrante.

  • 2012 - 2012

    Software Architecture: Formulation and Formalization of Systems-of-Systems Architectures - From Reference Architectures to Adaptive Service Compositions in Critical Systems-of-Systems, Descrição: Vinda do Prof. Dr. Flavio Oquendo (Université de Bretagne Sud, França) como professor visitante ao ICMC/USP, Programa de Cátedras Lévi-Strauss - USP/Embaixada da França, Processo: 2012.1.6388.1.2, Período: 28/05/2012 a 28/08/2012.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Jose Carlos Maldonado - Coordenador / Elisa Y Nakagawa - Integrante / Flavio Oquendo - Integrante.

  • 2012 - Atual

    Empirical Software Engineering for Critical Embedded Systems, Projeto certificado pelo(a) coordenador(a) Elisa Yumi Nakagawa em 09/06/2016., Descrição: Capes/Nuffic, Processo: 034/12.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (3) . , Integrantes: Jose Carlos Maldonado - Integrante / Elisa Y Nakagawa - Coordenador / Martin Becker - Integrante / Sandra Camargo Pinto Ferraz Fabbri - Integrante / Flavio Oquendo - Integrante / Paris Avgeriou - Integrante / Fernando Santos Osório - Integrante / Dênis Leonardo Zaniro - Integrante / Vinicius Humberto Serapilha Durelli - Integrante / Lina Maria Garcés Rodríguez - Integrante / Brauner Roberto do Nascimento Oliveira - Integrante.

  • 2011 - 2015

    Núcleo de Excelência em Desenvolvimento de Sistemas Embarcados para Veículos Aéreos Não-Tripulados e Robôs Táticos Móveis, Descrição: Este Núcleo de Excelência visa a pesquisa e desenvolvimento de novos métodos, técnicas e ferramentas para a construção de sistemas embarcados críticos que usem veículos robóticos de aplicação crítica (VRACs) em situações onde aspectos de segurança e disponibilidade são fundamentais. A proposta é que os sistemas sejam construídos com máxima garantia de corretude. Exemplos de VRACs incluem Veículos Aéreos Não-Tripulados (VANTs), Robôs Táticos Móveis (RTMs) e Veículos Autônomos Submergíveis (VAS). Um maior nível de autonomia são atingidos quando for incorporado a eles a capacidade de percepção (sensores e sistemas que conseguem interpretar o ambiente onde ele atua), capacidade de agir (atuadores, motores e sistemas de controle capazes de produzir ações, tais como o deslocamento do robô no ambiente), robustez e inteligência (capacidade de lidar com as mais diversas situações, de modo a resolver e executar tarefas por mais complexas que sejam). Os VRACs possuem as aplicações das mais variadas, desde aplicações ambientais (inspeção de reservas ambientais e gasodutos, desastres ecológicos, monitoramento de animais, pesquisas climáticas), quanto aplicações de segurança (reconhecimento e localização de alvos). Independente de suas especificidades com respeito à mobilidade (aéreo, terrestre aquático, etc), os VRACs possuem restrições críticas de segurança, disponibilidade e tolerância a falhas em todos os seus principais subsistemas: i) o veículo propriamente dito; ii) o subsistema de comando e supervisão; iii) o subsistema de comunicação, todos inseridos no domínio dos sistemas embarcados críticos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (12) / Mestrado acadêmico: (10) / Doutorado: (6) . , Integrantes: Jose Carlos Maldonado - Coordenador / Raimundo da Silva Barreto - Integrante / Ruiter Braga Caldas - Integrante / José Luiz de Souza Pio - Integrante / Paulo Romero Martins Maciel - Integrante / Horácio Antonio Braga Fernandes Oliveira - Integrante / Tayana Uchôa Conte - Integrante / Arilo Cláudio Dias Neto - Integrante / Eulanda Miranda Santos - Integrante / Jordan Lima Caetano - Integrante / Jó Oliveira Vidal - Integrante / Marcos Paulo Siqueira Farias - Integrante., Financiador(es): Fundação de Amparo a Pesquisa do Estado do Amazonas - Auxílio financeiro.

  • 2011 - Atual

    NAP-SoL (Núcleo de Apoio à Pesquisa em Software Livre), Descrição: : O NAP-SoL atua de forma articulada com o CCSL-USP - Centro de Competência em Software Livre, o qual abriga dois centros: CCSLIME e CCSL-ICMC, e desenvolve ações de pesquisa e desenvolvimento em software livre centradas em: I) pesquisas em métodos e ferramentas open source de desenvolvimento de software; ii) conteúdos abertos, envolvendo REAs (Recursos Educacionais Abertos) e MOOCs; desenvolvimento de aplicações open source em diversos domínios de aplicação; e atividades de divulgação científica. No site do NAP-SoL (napsol.icmc.usp.br) podem ser observados diversos projetos e ações, com elevado impacto científico e tecnológico e social. O domínio e a disseminação do conceitual de Software Livre, envolvendo desde aspectos técnico-científicos como aspectos sociais, são de relevância para o Ecossistema de Inovação e Empreendedorismo, motivando e favorecendo o desenvolvimento e a transferência de tecnologia em diversos domínios de aplicação. A investigação de processos, métodos, ferramentas e ambientes open source, com materiais abertos de ensino e treinamento associados, certamente favorece tanto a formação de recursos humanos como a indústria de produção de soluções de software, como por exemplo em veículos autônomos, jogos, robótica, gestão pública, entre outros.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Jose Carlos Maldonado - Coordenador / Ellen Francine Barbosa - Integrante / Márcio Eduardo Delamaro - Integrante / Seiji Isotani - Integrante / Francisco José Monaco - Integrante., Financiador(es): Pró-Reitoria de Pesquisa - USP - Auxílio financeiro. - Auxílio financeiro.

  • 2010 - 2012

    Processo para Estabelecimento e Avaliação de Arquiteturas de Referência Orientadas a Serviço, Projeto certificado pelo(a) coordenador(a) Elisa Yumi Nakagawa em 09/06/2016., Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Jose Carlos Maldonado - Integrante / Elisa Y Nakagawa - Coordenador / Ellen Francine Barbosa - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.

  • 2008 - 2012

    Projeto de cooperação acadêmica ? ICMC-USP - USO ? UEM, PUC-RS: Integrando e aprimorando atividades de pesquisa, ensino/treinamento e transferência tecnológica em teste e validação de software, Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Jose Carlos Maldonado - Coordenador., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.

  • 2008 - 2011

    Técnicas Baseadas em Modelos para Teste de Software em Sistemas Dinâmicos, Descrição: O objetivo principal deste projeto é definir, implementar e avaliar técnicas de geração automática de dados de teste para modelos de sistemas dinâmicos como Simulink e Scicos. Nesta primeira etapa será explorada principalmente a técnica de teste funcional.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Jose Carlos Maldonado - Integrante / Márcio Eduardo Delamaro - Coordenador / Rodrigo Fraxino Araújo - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

  • 2008 - 2009

    Definição e Estabelecimento de Mecanismos de Apoio ao Desenvolvimento Aberto, Cooperativo e Distribuído de Módulos Educacionais, Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Jose Carlos Maldonado - Integrante / M.A.S. TURINE - Integrante / Ellen Francine Barbosa - Coordenador / Elisa Yumi Nakagawa - Integrante / D M B Paiva - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.

  • 2008 - 2009

    INCT de Sistemas Embarcados Críticos, Descrição: A criação de um Instituto de Sistemas Embarcados Críticos é proposta neste projeto. O objetivo geral desse instituto é elevar o nível de conhecimento, competência e qualidade no país sobre o desenvolvimento desse tipo de sistema, considerando que se trata de tecnologia importante para apoiar o desenvolvimento de áreas estratégicas do país, como a do meio ambiente, a de segurança e defesa e a de agricultura. O projeto é abrangente e envolve grupos de pesquisadores de nove universidades brasileiras e sete empresas. Os principais objetivos mais específicos são o desenvolvimento de pesquisas para a construção de sistemas embarcados críticos com ênfase para veículos autônomos móveis e a construção de pelo menos dois protótipos de veículo, um aéreo e um terrestre, com o objetivo de serem transferidos para as empresas associadas, visando a possível fabricação e comercialização. Outros objetivos relevantes são a produção de uma metodologia que documente esse conhecimento e possa ser usada para o treinamento de pessoal formado na área; a produção de mestres e doutores e produção intelectual na forma de artigos científicos apresentados e publicados em conferências e periódicos de boa qualidade, bem como de patentes.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Jose Carlos Maldonado - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2008 - 2009

    Uma Contribuição ao Desenvolvimento Aberto, Cooperativo e Distribuído de Módulos Educacionais, Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Jose Carlos Maldonado - Integrante / M.A.S. TURINE - Integrante / Ellen Francine Barbosa - Coordenador / Elisa Yumi Nakagawa - Integrante / D M B Paiva - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2007 - 2010

    Estudo e Utilização de Teste Estrutural para Programa Java em Dispositivos Móveis, Descrição: O objetivo deste projeto é dar continuidade ao projeto de pesquisa sobre teste de programas para dispositivos móveis (Processo 478001/04-5) focando, principalmente, na condução de estudos experimentais visando a avaliar a adequação dos critérios de teste estruturais definidos e a ferramenta de teste JaBUTi/ME.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Jose Carlos Maldonado - Integrante / Márcio Eduardo Delamaro - Integrante / Auri Marcelo Rizzo Vincenzi - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

  • 2007 - 2009

    Subsídios para atividades de VV&T no desenvolvimento de softwareSubsídios para atividades de VV&T no desenvolvimento de software, Descrição: A definição de estratégias e técnicas de VV&T (Verificação, Validação e Teste) ao longo de todo processo de desenvolvimento de software é um ponto fundamental para a geração de produtos de software de maior qualidade. A diversidade de domínios de aplicação e a proposição de novos paradigmas de desenvolvimento de software requerem que sejam exploradas atividades de teste e inspeção nesses contextos para que a qualidade dos produtos elaborados possa ser devidamente tratada. Atualmente, é indispensável a avaliação do custo e benefícios dessas estratégias, técnicas e métodos por meio de estudos experimentais, conforme preconizado pela comunidade de Engenharia de Software Experimental. A maioria dos critérios de teste existente foi proposta para o paradigma de desenvolvimento procedimental e várias pesquisas têm sido conduzidas para estabelecer estratégias e novos critérios que sejam mais adequados e efetivos em outros paradigmas de desenvolvimento. O mesmo acontece com as técnicas de leitura que dão apoio às atividades de inspeção, pois para cada tipo de artefato a ser avaliado, as técnicas de leitura devem ser adequadas. Neste sentido, este projeto visa a agregar um grupo de pesquisa com o objetivo de explorar técnicas e critérios para as atividades de VV\&T instanciados para diferentes paradigmas de desenvolvimento mais recentes (Orientação a Objetos, Aspectos, Processos Ágeis, etc.) e para diferentes domínios de aplicação (Sistemas de Informação, Aplicações concorrentes, Sistemas de Tempo Real etc.). Estudos experimentais serão desenvolvidos com o intuito de avaliar as estratégias definidas. Tais experimentos devem ser considerados tanto no ambiente acadêmico como industrial, e estratégias e material para transferência da tecnologia estudada devem ser elaborados visando a contribuir com a qualidade na produção de software.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Jose Carlos Maldonado - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2007 - 2009

    Ambiente para Co-Projeto de Hardware/Software em Plataformas de FPGAs com Aplicação em Robótica Móvel - Parte 2, Descrição: Este projeto pretende fornecer um Ambiente para Co-Projeto de Hardware/Software em Plataformas de FPGAs com Aplicação em Robótica Móvel. A partir de um algoritmo de aplicação em robótica móvel, escrito em linguagem C e/ou Java, o sistema gerará automaticamente um SoC (System-on-a-chip) para acelerar a aplicação. Este SoC será implementado em circuitos reprogramáveis do tipo FPGA (Field Programmable Gate Array) de última geração dos fabricantes Altera e Xilinx. Será utilizada a linguagem Java, com extensões, para a programação do sistema. A arquitetura alvo será constituída por um microprocessador de Bytecodes Java, executando em paralelo com o softcore Processor NIOS II da Altera, e ambos associados a várias unidades de processamento reconfiguráveis (RPUs) desenvolvidas especialmente para a área de robótica. A metodologia para a construção do ambiente utilizará técnicas estado-da-arte em compiladores para computação reconfigurável. Esta metodologia permitirá a pesquisadores e projetistas na área da robótica móvel testar seus algoritmos em sistemas de capacidade de desempenho elevada e, deste modo, explorar novas soluções destes sistemas para uso em tempo-real; um requisito cada vez mais presente na robótica móvel embutida. O projeto incluirá também a pesquisa de novas técnicas de compilação mais apropriadas para o tipo de sistemas em causa. A metodologia proposta será suportada por ferramentas pré-existentes e por novas investigações que serão pesquisadas e desenvolvidas no âmbito deste projeto. Os testes de validação do sitema gerado serão realizados com um robô Pioneer 3DX. Este projeto teve início em Abril de 2005 através do convênio CNPq/Grices.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Jose Carlos Maldonado - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2007 - 2009

    CNPq-Prosul, Latin-America Research Network on Aspect-Oriented Software Development, Descrição: Colaboração entre grupos de pesquisas sul-americanos com interesse em programação orientada a aspectos.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Jose Carlos Maldonado - Integrante / Paulo Cesar Masiero - Integrante / Carlos José Pereira de Lucena - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2006 - 2010

    QualiPSo - Quality Platform for Open Source Software, Descrição: Definição e implementação de tecnologias, procedimentos e políticas que apóiem o desenvolvimento de software livre.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Jose Carlos Maldonado - Coordenador., Financiador(es): União Européia - Information Society Technologies - Auxílio financeiro.

  • 2006 - 2009

    VV&T de Software em Sistemas Espaciais e Reengenharia de Software, Descrição: Este Plano de Pesquisa prioriza as atividades definidas no escopo do Projeto PLAVIS. A proposta de trabalho é do Projeto PLAVIS é apresentada na Parte 1 deste documento. O projeto PLAVIS deu origem a uma proposição ao COFFECUB/CAPES de um projeto conjunto com pesquisadores franceses. Uma outra linha de pesquisa investiga processos de reengenharia baseado em linguagens de padrão e em frameworks. No período anterior, no escopo de um doutorado, foi definido um processo de reengenharia denominado PARFAIT e uma estratégia de reuso de teste e evolução de frameworks. Pretendemos também dar ênfase nessa linha de pesquisa.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Jose Carlos Maldonado - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

  • 2005 - 2008

    Utilização de Teste Estrutural para Programa Java em Dispositivos Móveis, Descrição: Nos últimos anos, o crescimento de processadores voltados a dispositivos móveis tem sido enorme. Com ele, surge a necessidade da produção de software para tais dispositivos, o que, por sua vez, leva à preocupação com a qualidade, através do desenvolvimento de metodologias específicas para o desenvolvimento de tais softwares. Neste cenário de dispositivos móveis, uma tecnologia que se destaca é J2ME. Ela permite que a linguagem Java seja utilizada no desenvolvimento de software para tais dispositivos, com uma série de vantagens. Entre elas, a habilidade de executar em diferentes plataformas Se, por um lado, novas tecnologias na área de computação trazem benefícios para quem as usa, por outro lado, introduzem novos desafios para desenvolvedores de software e cientistas ligados à Engenharia de Software. Em particular, àqueles envolvidos com a atividade de teste. Esse projeto propõe-se a contribuir com o desenvolvimento de software para dispositivos móveis, baseados na tecnologia Java, através do desenvolvimento de uma ferramenta que permita a aplicação de critérios de teste estruturais nesse ambiente. Dadas as limitações de memória, armazenamento persistente, disponibilidade de conexão de rede, entre outras, os programas para plataformas móveis são desenvolvidos cross platform, em geral, num ambiente desktop. O teste de programas para dispositivos móveis se dá, em geral, em duas etapas distintas, uma no desktop através de sua execução em simuladores ou emuladores e a outra no próprio dispositivo, dado que os simuladores não podem garantir total compatibilidade com o dispositivo alvo. Devido a estas mesmas limitações, é inviável que ferramentas de teste como a JaBUTi sejam executadas no dispositivo móvel. Portanto, a solução que se propõe é a criação de um ambiente em que o teste possa ser executado cross platform.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Jose Carlos Maldonado - Integrante / Márcio Eduardo Delamaro - Integrante / Auri Marcelo Rizzo Vincenzi - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2005 - 2008

    Uso de Programação Orientada a Aspectos para o Desenvolvimento de Frameworks e Apoio ao Teste de Programas, Descrição: Aproveitando experiências anteriores do grupo na área de teste de programas, pretende-se investigar como apoiar o teste estrutural de programs orientados a ospectos, com foco na linguagen AspectJ. Esta pequisa proporá novos critérios de teste estrutural baseados no conceito de aspectos e tambem o teste de integração. Pretende-se também investigar como a POA pode apoiar o teste de programas orientados a objetos, com ênfase no teste funcional. Critérios estruturais baseados em modelos de falhas de AspectJ e uma ferramenta de apoio ao teste funcional serão desenvolvidas. Ouotros assuntos relacionados são critérios de modularização de projetos orientados a aspectos e frameworks orientados a aspectos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (6) Doutorado: (3) . , Integrantes: Jose Carlos Maldonado - Integrante / Paulo Cesar Masiero - Coordenador / Reginaldo Ré - Integrante / Antonielly Garcia Rodrigues - Integrante / Marcelo Medeiros Eler - Integrante / Otávio A. L. Lemos - Integrante / Ivan Gustavo Franchin - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.

  • 2005 - 2007

    Architect+: Ambiente para Co-Projeto de Hardware/Software em Plataformas de FPGAs com Aplicação em Robótica Móvel, Descrição: Este projeto pretende fornecer um Ambiente para Co-Projeto de Hardware/Software em Plataformas de FPGAs com Aplicação em Robótica Móvel. A partir de um algoritmo de aplicação em robótica móvel, escrito em linguagem C e/ou Java, o sistema gerará automaticamente um SoC (System-on-a-chip) para acelerar a aplicação. Este SoC será implementado em circuitos reprogramáveis do tipo FPGA (Field Programmable Gate Array) de última geração dos fabricantes Altera e Xilinx. Será utilizada a linguagem Java, com extensões, para a programação do sistema. A arquitetura alvo será constituída por um microprocessador de Bytecodes Java, executando em paralelo com o softcore Processor NIOS II da Altera, e ambos associados a várias unidades de processamento reconfiguráveis (RPUs) desenvolvidas especialmente para a área de robótica. A metodologia para a construção do ambiente utilizará técnicas estado-da-arte em compiladores para computação reconfigurável. Esta metodologia permitirá a pesquisadores e projetistas na área da robótica móvel testar seus algoritmos em sistemas de capacidade de desempenho elevada e, deste modo, explorar novas soluções destes sistemas para uso em tempo-real; um requisito cada vez mais presente na robótica móvel embutida. O projeto incluirá também a pesquisa de novas técnicas de compilação mais apropriadas para o tipo de sistemas em causa. A metodologia proposta será suportada por ferramentas pré-existentes e por novas investigações que serão pesquisadas e desenvolvidas no âmbito deste projeto.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Jose Carlos Maldonado - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2005 - 2006

    PLAVIS: Platform for software validation & integration on space systems, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Jose Carlos Maldonado - Coordenador., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.

  • 2004 - 2008

    Memória Virtual de São Carlos, Descrição: Projeto Memória Virtual de São Carlos tem como objetivo principal a informatização dos acervos históricos do município de São Carlos e região, possibilitando acessibilidade, organização e preservação do patrimônio histórico e cultural das fazendas e museus da região de São Carlos, integrando e disponibilizando assim, acervos do município dispersos fisicamente por meio da utilização de ferramentas de software livre para a implementação e implantação do sistema de software. Observa-se que o município de São Carlos e região apresentam uma diversidade de acervos de inestimável valor histórico. Esses acervos contêm elementos de caráter diversificado de extrema relevância para o resgate da história do município e inclusive relacionados à própria história do Brasil. Atualmente, esses acervos, bem como grande parte dos acervos brasileiros, encontram-se, muitas vezes, em estado precário de conservação e outros ainda, desconhecidos até mesmo por pesquisadores da área. Verifica-se nos últimos dois anos diversos esforços isolados, tanto público quanto privado, no sentido de organizar os acervos e disponibilizá-los aos interessados. Para isso, no contexto deste projeto será desenvolvido um sistema Web para a gestão integrada de acervos históricos utilizando um ambiente livre de desenvolvimento. Além disso, normas nacionais e internacionais de definição de conjunto de atributos para representação da informação na base de dados serão utilizadas. Esse sistema possibilitará também promover a conscientização sobre a importância de preservar a grande diversidade de acervos históricos. Vale ressaltar que um sistema como o proposto não é encontrado nem como software livre, nem como software proprietário; aqueles identificados possuem funcionalidades ou bases de dados limitadas, o que não está em consonância com os objetivos do projeto. Isso vem reforçar a relevância da disponibilização de sistema desse domínio de aplicação como software livre.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (15) . , Integrantes: Jose Carlos Maldonado - Coordenador / Elisa Yumi Nakagawa - Integrante / Maria Cristina Ferreira de Oliveira - Integrante / Gláucia Maria Saia Cristianini - Integrante / Juliana de Souza Moraes - Integrante / Lourdes de Souza Moraes - Integrante / Anja Pratschke - Integrante / Juliana Geraldi - Integrante / Luzia Sigoli Fernandes Costa - Integrante / Ana Lúcia Cerávolo - Integrante / Francisco de Sá Neto - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.

  • 2004 - 2006

    PARFAIT - Investigação e Definição de um Processo de Reengenharia Orientada a Objetos Visando ao Apoio por Computador, Descrição: Este projeto de pesquisa tem como objetivo definir um processo de reengenharia baseado em framework e todo um arcabouço de apoio que: a) reduza o tempo da reengenharia, fornecendo alguma forma de reuso nas fases de engenharia reversa (por exemplo, linguagem de padrões organizacional, linguagem de padrões de análise, frameworks, etc) e de engenharia avante (por exemplo, frameworks, requisitos de teste associados aos padrões da linguagem de padrões, etc), e apoio computacional para a maioria das atividades do processo; e b) garanta a qualidade do produto resultante a fim de satisfazer as necessidades dos usuários.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Jose Carlos Maldonado - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

  • 2004 - 2006

    Projeto SAFE (Software Engineering Available for Everyone), Descrição: Desenvolvimento de um framework que integre ferramentas de software livre de apoio às atividadesde engenharia de software.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Jose Carlos Maldonado - Integrante / M.A.S. TURINE - Integrante / Renata P M Fortes - Coordenador / R T V Braga - Integrante / D M B Paiva - Integrante / Marco Aurélio Graciotto Silva - Integrante / Andre Pimenta Freire - Integrante / Alexandre Michetti Manduca - Integrante / Daniel Carnio Junqueira - Integrante / Alexandre Arakaki - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Cooperação.

  • 2004 - 2005

    Orientação a Objeto: Definição e Análise de Recursos de Teste e Validação, Descrição: Este projeto visa a identificar recursos de teste e validação que possam ser empregados no teste de programas Orientado a Objetos (OO). O foco principal tem sido a investigação e o desenvolvimento de critérios e ferramentas, baseados em critérios estrutural e de mutação, para o teste de unidade (intra-método).. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (1) . , Integrantes: Jose Carlos Maldonado - Integrante / Márcio Eduardo Delamaro - Integrante / Auri Marcelo Rizzo Vincenzi - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.

  • 2003 - 2005

    PLAVIS: Plataforma para Validação e Integração de Software em Sistemas Espaciais, Descrição: O objetivo global do projeto PLAVIS é validar a aplicabilidade dos métodos, técnicas e ferramentas desenvolvidos para Testes de Software ( geração, seleção, execução e análise automatizada de testes) em aplicações espaciais. Além disso, será também enfocada a qualidade dos testes, tanto do ponto de vista da cobertura (seja do código, seja da especificação), quanto do ponto de vista da eficácia para encontrar falhas. Os objetivos específicos são: a) Adaptação e aplicação de ferramentas existentes, desenvolvidas em meio acadêmico pelos grupos envolvidos, em estudos de casos reais da área espacial fornecidos pelo INPE; b) Transferência de tecnologia 1. Criação de plataforma integrada no INPE contendo as ferramentas de modelagem, testes e análise de desempenho citadas em (a) . 2. Capacitação da equipe de Engenharia Espacial do INPE no uso das ferramentas. 3. Avaliação dos resultados obtidos com o uso das ferramentas em casos reais. c) Disseminação de resultados 1. Publicação em veículos de qualidade (congressos e periódicos); 2. Teses, dissertações e trabalhos de iniciação científica. 3. Mini-cursos e workshops anuais. Ao final, ter-se-á um conjunto de ferramentas disponíveis no INPE para uso em projetos reais de aplicações espaciais pelos desenvolvedores de sistemas no INPE. Em longo prazo, planeja-se que outras empresas e instituições acadêmicas utilizem a plataforma.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Jose Carlos Maldonado - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2003 - 2004

    Orientação a Objeto: Definição e Análise de Recursos de Teste e Validação, Descrição: Este projeto visa a identificar recursos de teste e validação que possam ser empregados no teste de programas Orientado a Objetos (OO). O foco principal tem sido a investigação e o desenvolvimento de critérios e ferramentas, baseados em critérios estruturia e de mutação, para o teste de unidade (intra-método).. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (1) . , Integrantes: Jose Carlos Maldonado - Coordenador / Márcio Eduardo Delamaro - Integrante / Auri Marcelo Rizzo Vincenzi - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2001 - 2007

    PBQP - Programa Brasileiro da Qualidade e Produtividade, Descrição: Desenvolvimento de mecanismos de apoio ao ensino e treinamento de conceitos pertinentes ao domínio de teste de software.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Jose Carlos Maldonado - Coordenador.

  • 2001 - 2003

    Readers II - Collaborative research to develop, validate and package reading techniques for software defect detection, Descrição: Definição de uma família de tecnologias de análise de software que deverão ser validadas empiricamente em experimentos controlados e posteriormente empacotadas em pacotes de laboratório de engenharia de software adaptáveis e reusáveis.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Jose Carlos Maldonado - Integrante / Sandra Camargo Pinto Ferraz Fabbri - Integrante / Manoel Gomes de Mendonça Neto - Integrante / G. H. Travassos - Integrante / V. R. Basili - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2001 - 2002

    Orientação a Objeto: Definição e Análise de Recursos de Teste e Validação, Descrição: : Projeto desenvolvido dentro do Projeto Brasileiro de Qualidade de Software (PBQS) do MCT.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Jose Carlos Maldonado - Integrante / Márcio Eduardo Delamaro - Coordenador / Auri Marcelo Rizzo Vincenzi - Integrante., Financiador(es): Ministério da Ciência, Tecnologia, Inovações e Comunicações - Cooperação / Universidade de São Paulo - Cooperação.

  • 1999 - 2001

    Métodos em Engenharia de Software, em Soluções Numéricas e Mecânica dos Fluidos e em Singularidades e Sistemas Dinâmicos, Descrição: Projeto de Equipamento Multiusuário. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Jose Carlos Maldonado - Integrante / Paulo Cesar Masiero - Coordenador / José Alberto Cuminato - Integrante / Maria Aparecida Soares Ruas - Integrante / Alexandre Nolasco de Carvalho - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.

  • 1996 - 1998

    Métodos e Ferramentas para Apoio ao Desenvolvimento de Software, Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (3) . , Integrantes: Jose Carlos Maldonado - Coordenador / Paulo Cesar Masiero - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

Seção coletada automaticamente pelo Escavador

Prêmios

2020

Professor Emérito, Universidade de São Paulo - Instituto de Ciências Matemáticas e de Computação.

2013

SEKE 2013 Best Paper Awards - Second Place, XXV International Conference on Software Engineering & Knowledge Engineering., SEKE.

2008

Premio Jabuti de Ciências Exatas, Ciências e Tecnologia (terceiro lugar) pelo livro Introdução ao Teste de Software, Câmara Brasileira do Livro.

2007

Destaque Academico 2007, ABDI - Agência Brasileira de Desenvolvimento Industrial.

2004

Artigo reconhecido como um dos 6 melhores trabalhos do SBES - 2004 (de 133 submetidos e 18 selecionados), SBC - XVIII SBES - Simpósio Brasileiro de Engenharia de Software.

2002

Primeiro Lugar - Prêmio de Ferramentas: mudelgen: A Tool for Processing Mutant Operator Descriptions (co-autor), SBC - XVI SBES - Simpósio Brasileiro de Engenharia de Software.

2001

Segundo Lugar - Prêmio de Ferramentas: Uma Ferramenta para Apoiar o Teste e Validação de Especificação Baseadas em Máquinas de Estado Finito (co-autor), SBC - XV SBES - Simpósio Brasileiro de Engenharia de Software.

2001

Selecionado entre os três melhores e indicado para o Journal of Brazilian Computer Society: MuDEL - A Language and System for Describing and Generating Mutants (co-autor), SBC - XV SBES - Simpósio Brasileiro de Engenharia de Software.

2000

Primeiro Lugar - Prêmio de Ferramentas: PROTEUM-RS/PN: UMA FERRAMENTA PARA APOIAR A EDIÇÃO, SIMULAÇÃO E VALIDAÇÃO DE REDES DE PETRI BASEADA NO TESTE DE MUTAÇÃO (co-autor), XIV SBES - Simpósio Brasileiro de Engenharia de Software.

1999

Menção Honrosa - Iniciação Científica, Universidade de São Paulo.

1993

Segundo Lugar - Prêmio de Ferramentar: PROTEUM:UMA FERRAMENTA DE TESTE BASEADA NA ANALISE DE MUTANTES, VII SBES-Simpósio Brasileiro de Engenharia de Software.

1991

IV PREMIO NACIONAL DE INFORMATICA PELO TRABALHO, SEI, MODDATA S/A, FUNDACAO ROBERTO MARINHO.

Histórico profissional

Seção coletada automaticamente pelo Escavador

Endereço profissional

  • Universidade de São Paulo, Instituto de Ciências Matemáticas e de Computação, Departamento de Ciências da Computação. , Av. Trabalhador São-carlense, 400 - Caixa Postal 668, Centro, 13560970 - São Carlos, SP - Brasil - Caixa-postal: 668, Telefone: (16) 33739669, Fax: (16) 33739751, URL da Homepage:

Seção coletada automaticamente pelo Escavador

Experiência profissional

2018 - Atual

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro Comissão Assessora CPq

Outras informações:
Representante do Departamento de Sistemas de Computação na Comissão Assessora CPq - Comissão de Pesquisa.

2016 - Atual

Universidade de São Paulo

Vínculo: Docente Aposentado, Enquadramento Funcional: Professor Sênior - colaborador

2016 - 2018

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro da Congregação ICMC

Outras informações:
Membro Suplente da Categoria de Professor Titular.

2016 - 2017

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro Com. Cultura e Extensão Universitária

Outras informações:
Representante da Congregação.

2015 - 2017

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Vice-Diretor do CCSL

Outras informações:
CCSL - Centro de Competência em Software Livre.

2013 - 2017

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro Fundação Apoio à Química e à Física

2006 - 2017

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro Conselho Depto. Sist. de Computação

Outras informações:
Representante dos Professores Titulares no Conselho do Departamento de Sistemas de Computação.

2016 - 2016

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro Coord. Planejamento Atividade Acadêmic

Outras informações:
Membro da Coordenadoria de Planejamento de Atividades Acadêmicas.

2015 - 2016

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro Com. Coord. Mestrado Profissional

Outras informações:
Membro Suplente - Comissão Coordenadora do Programa de Mestrado Profissional em Matemática, Estatística e Computação Aplicadas à Indústria.

2014 - 2016

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Com. de Cultura e Extensão Universitária

Outras informações:
Suplente Representante da Congregação na Comissão de Cultura e Extensão Universitária.

2014 - 2016

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Presidente Com. Relações Internacionais ICMC

Outras informações:
Presidente da Comissão de Relações Internacionais do ICMC.

2014 - 2016

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro Com. Relações Internacionais do ICMC

Outras informações:
Titular

2014 - 2016

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro da Congregação do ICMC

Outras informações:
Representante Titular.

2002 - 2016

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Professor Titular Aposentado, Carga horária: 40

2013 - 2015

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro Com. Coord. Mestrado Profissional

Outras informações:
Membro da Comissão Coordenadora do programa de Mestrado Profissional em Matemática, Estatística e Computação Aplicadas à Indústria.

2014 - 2014

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro Com. Relações Internacionais ICMC

Outras informações:
Titular.

2013 - 2014

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Presidente Cons. Gestro do Campus São Carlos

Outras informações:
Presidente do Conselho Gestor do Campus São Carlos.

2010 - 2014

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro da congregação do ICMC

Outras informações:
Diretor do ICMC.

2010 - 2014

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro do Conselho Técnico Administrativo

Outras informações:
Diretor do ICMC

2010 - 2014

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro do Conselho Universitário ICMC

Outras informações:
Diretor do ICMC.

2010 - 2014

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro Conselho Gestor do Campus São Carlos

Outras informações:
Diretor do ICMC.

2006 - 2014

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro titular do CTA

Outras informações:
CTA - Conselho Técnico-Administrativo membro titular ? vice-diretor

2011 - 2013

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro CEMEAI

Outras informações:
Membro Suplente Representante do Departamento de Sistemas de Computação.

2009 - 2012

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro da Comissão Permanente de Avaliação

2009 - 2012

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Diretor do Centro de Competência em Software

Outras informações:
Diretor - Centro de Competência em Software Livre.

2008 - 2011

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Presidente da Comissão CDCT

Outras informações:
Presidente da comissão para distribuição de cargos de professor titular (CDCT) do ICMC-USP. Portaria 073/2008 de 28.08.08.

2007 - 2011

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro do CPA/USP

Outras informações:
CPA/USP (Comissão Permanente de Avaliação)

2006 - 2011

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Vice-Diretor do ICMC/USP

2009 - 2010

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Conselho Gestro do Campus USP São Carlos

Outras informações:
Representante Docente.

2006 - 2010

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro do Conselho Técnico Administrativo

Outras informações:
Vice-Diretor do ICMC.

2006 - 2010

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro da Congregação do ICMC

Outras informações:
Vice-Diretor do ICMC.

2006 - 2010

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro Conselho Gestro do Campus São Carlos

Outras informações:
Membro.

2006 - 2010

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro do Conselho Universitário da USP

Outras informações:
Membro.

2006 - 2009

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro da Comissão Permanente de Avaliação

2006 - 2009

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro da Comissão de Pesquisa

Outras informações:
Titular

2006 - 2008

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro titular do Conselho Departamental SSC

Outras informações:
Representante dos Professores Titulares.

2006 - 2007

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Presidente da Comissão de Biblioteca ICMC

Outras informações:
Presidente.

2006 - 2007

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro Comissãod e Estágios

Outras informações:
Titular.

2005 - 2007

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro da Comissão de Biblioteca

Outras informações:
Titular.

2004 - 2006

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro da Comissão de Estágios

Outras informações:
Titular.

2004 - 2006

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro da Comissão de Estágios

Outras informações:
Titular

2002 - 2006

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro da CERT

Outras informações:
CERT-Comissão Especial de Regimes de Trabalho

2002 - 2004

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro da Comissão de Informática

Outras informações:
Chefe do SCE.

2002 - 2004

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro da Congregação do ICMC

Outras informações:
Suplente Chefe do SCE.

2001 - 2004

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro da Comissão de Pesquisa

Outras informações:
Suplente Presidente.

2001 - 2003

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro da Comissão de Pós-Graduação

2001 - 2003

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro da Comissão de Pós-Graduação

Outras informações:
Suplente do Presidente.

2000 - 2002

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro da Congregação do ICMC

Outras informações:
Chefe do SCE.

2000 - 2002

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro do Conselho Técnico Administrativo

Outras informações:
Chefe do SCE.

2000 - 2002

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro da Comissão de Informática do ICMC

Outras informações:
Chefe do SCE.

2000 - 2002

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro Cons. Depto. Ciências de Computação

Outras informações:
Chefe do SCE.

1997 - 2002

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Professor Livre Docente, Carga horária: 40, Regime: Dedicação exclusiva.

2001 - 2001

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro Com. Apoio do Departamento

Outras informações:
Comissão de Apoio ao Departamento para Normatizar Orientações / Atividades Docentes em Instituições Externas.

2001 - 2001

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro Programação de Doações da USP

2001 - 2001

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro Computação júnior e Ex-Alunos

2001 - 2001

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro Comissão para Programas Institucionais

2001 - 2001

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro Comissãoo Programas de Pós-Graduação

2001 - 2001

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro Com. Infraestrutura e Serviços a Comun

Outras informações:
Comissão de Infraestrutura e Serviços à Comunidade / Extensão.

2001 - 2001

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Com. Congresso Departamento SCE.

Outras informações:
Comissão Organizadora e Responsável pelo II Congresso do Departamento de Ciências de Computação e Estatística.

2001 - 2001

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Com. Modificações Curso Bacharelado em Inform

Outras informações:
Revisor da Comissão Encarregada de Estudar e Propor Modificações ao Curso de Bacharelado em Informática.

2001 - 2001

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Comissão de Seminários de Computação

Outras informações:
Coordenador da Comissão Coordenadora dos Seminários de Computação.

1998 - 2001

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro da Comissão de Pós-Graduação

Outras informações:
Titular

1998 - 2001

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro da Comissão de Pesquisa do ICMC

Outras informações:
Suplente

1998 - 2000

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro da Congregação do ICMC

Outras informações:
Representante Professores Associados.

1998 - 2000

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro do Conselho Técnico Administrativo

Outras informações:
Chefe do SCE.

1997 - 1998

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro da Comissão de Pós-Graduação ICMC

Outras informações:
Suplente

1994 - 1997

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro da Comissão de Pós-Graduação ICMC

Outras informações:
Titular

1991 - 1997

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Professor Doutor, Carga horária: 40, Regime: Dedicação exclusiva.

1993 - 1996

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro da Comissão de Graduação do ICMC

Outras informações:
Titular.

1992 - 1994

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro Com. Cultura e Extensão Universitária

Outras informações:
CCEX - Representante Professores Doutores

1991 - 1993

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Membro da Comissão de Graduação

Outras informações:
Titular.

1985 - 1991

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Professor Assistente, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

  • 01/1988

    Ensino, Ciência da Computação Icmc São Carlos, Nível: Pós-Graduação,Disciplinas ministradas, Engenharia de Software, Seminários Avançados em Engenharia de Software, Tópicos de Engenharia de Software (Padrões e Frameworks de Software), Tópicos de Engenharia de Software I, Seminários Avançados em Engenharia de Software I

  • 03/1985

    Pesquisa e desenvolvimento , Instituto de Ciências Matemáticas e de Computação, Departamento de Ciências da Computação.,Linhas de pesquisa

  • 01/1985

    Ensino, Ciências de Computação, Nível: Graduação,Disciplinas ministradas, Introdução à Ciência da Computação, Teoria dos Grafos Aplicada à Computação, Introdução aos Sistemas de Informação, Introdução à Programação Sistemática, Linguagens de Programação, Tópicos de Ciências de Computação, Linguagens e Técnicas de Programação e Aplicações, Macros e Linguagens de Montagem, Computadores e Sociedade, Programação Sistemática II, Laboratório de Programação II, Microprocessadores e Microcomputadores, Engenharia de Software, Linguagens Montadoras I, Tópicos Especiais em Engenharia de Software, Engenharia de Software apoiada por Computador, Introdução à Computação, Introdução à Programação de Computadores, VV&T Verificação Validação e Teste de Software

  • 01/2000 - 01/2002

    Direção e administração, Instituto de Ciências Matemáticas e de Computação, Departamento de Ciências da Computação.,Cargo ou função, Chefe de Departamento.

2019 - Atual

Loggi Tecnologia

Vínculo: Celetista, Enquadramento Funcional: Coordenador Relação com Academia., Carga horária: 44

2015 - 2018

Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq

Vínculo: Colaborador, Enquadramento Funcional: membro do CA-CC

2007 - 2009

Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq

Vínculo: Colaborador, Enquadramento Funcional: Membro do CA-CC/CNPq

2011 - Atual

Sociedade Brasileira de Computação

Vínculo: Colaborador, Enquadramento Funcional: Membro do Conselho

2007 - 2011

Sociedade Brasileira de Computação

Vínculo: Colaborador, Enquadramento Funcional: Presidente

2005 - 2007

Sociedade Brasileira de Computação

Vínculo: Colaborador, Enquadramento Funcional: Vice-Presidente

2003 - 2005

Sociedade Brasileira de Computação

Vínculo: Colaborador, Enquadramento Funcional: Vice-Presidente

1999 - 2003

Sociedade Brasileira de Computação

Vínculo: Colaborador, Enquadramento Funcional: Membro do Conselho

1997 - 1999

Sociedade Brasileira de Computação

Vínculo: Colaborador, Enquadramento Funcional: Diretor de Educação, Carga horária: 0

Atividades

  • 06/2003 - 06/2007

    Direção e administração, Sociedade Brasileira de Computação, .,Cargo ou função, Vice-presidente.

  • 01/1999 - 01/2003

    Conselhos, Comissões e Consultoria, Sociedade Brasileira de Computação, .,Cargo ou função, Membro de conselho.

  • 01/1997 - 01/1999

    Conselhos, Comissões e Consultoria, Sociedade Brasileira de Computação, .,Cargo ou função, Diretor Executivo.

2007 - 2013

Fundação de Amparo à Pesquisa do Estado de São Paulo

Vínculo: Colaborador, Enquadramento Funcional: Membro da Coordenação da Área

Outras informações:
Membro da Coordenação da Área Ciência e Engenharia de Computação

2018 - Atual

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

Vínculo: Colaborador, Enquadramento Funcional: Adjunto de Área

2008 - 2011

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

Vínculo: Colaborador, Enquadramento Funcional: Adjunto de Área

2005 - 2007

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

Vínculo: Colaborador, Enquadramento Funcional: Membro do Comitê de Área, Carga horária: 0

Atividades

  • 01/2000

    Conselhos, Comissões e Consultoria, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, .,Cargo ou função, Membro de comitê assessor.

2007 - 2010

Sociedade Brasileira para o Progresso da Ciência - São Paulo

Vínculo: Colaborador, Enquadramento Funcional: Membro do Conselho das Sociedades Científicas

2007 - Atual

Instituto de Estudos Avançados/USP-São Carlos

Vínculo: Colaborador, Enquadramento Funcional: Coordenador do grupo de TI do IEA/São Carlos

2007 - 2013

Instituto de Pesquisas Eldorado - Brasília

Vínculo: Colaborador, Enquadramento Funcional: Membro do Conselho Técnico-Científico

Outras informações:
Membro do Conselho Técnico-Científico

1979 - 1985

Instituto Nacional de Pesquisas Espaciais

Vínculo: Servidor público ou celetista, Enquadramento Funcional: PESQUISADOR, Carga horária: 40

Atividades

  • 01/1979 - 03/1985

    Pesquisa e desenvolvimento , Coordenação Geral de Engenharia e Tecnologia Espacial, Divisão de Eletrônica Aeroespacial.,Linhas de pesquisa

  • 03/1979

    Outras atividades técnico-científicas , Coordenação Geral de Engenharia e Tecnologia Espacial, Coordenação Geral de Engenharia e Tecnologia Espacial.,Atividade realizada, Mestrado.

1984 - 1984

Spar Aerospace Limited

Vínculo: Colaborador, Enquadramento Funcional: Pesquisador, Carga horária: 0

Atividades

  • 03/1984 - 09/1984

    Pesquisa e desenvolvimento , Spar Aerospace Limited, .,Linhas de pesquisa

1994 - 1994

Strathclyde University

Vínculo: Professor Visitante, Enquadramento Funcional: Pesquisador, Carga horária: 0

Atividades

  • 02/1994 - 02/1994

    Pesquisa e desenvolvimento , Strathclyde University, .

1990 - 1990

Technical University of Denmark

Vínculo: Professor Visitante, Enquadramento Funcional: PROFESSOR VISITANTE

Atividades

  • 01/1990 - 04/1990

    Pesquisa e desenvolvimento , Technical University of Denmark, .,Linhas de pesquisa

2012 - Atual

Fundação de Apoio Institucional ao Desenvolvimento Científico e Tecnológico

Vínculo: Membro do Conselho Deliberativ, Enquadramento Funcional: Membro do Conselho Deliberativo

2010 - 2014

Instituto de Ciências Matemáticas e de Computação (USP)

Vínculo: Servidor Público, Enquadramento Funcional: Diretor, Carga horária: 40, Regime: Dedicação exclusiva.

2004 - 2011

International Software Engineering Research Network

Vínculo: Colaborador, Enquadramento Funcional: Membro da rede de pesquisa

1992 - 1992

Universidade Estadual de Campinas

Vínculo: Professor Visitante, Enquadramento Funcional: Professor Visitante, Carga horária: 0

Atividades

  • 01/1992 - 02/1992

    Pesquisa e desenvolvimento , Faculdade de Engenharia Elétrica e de Computação da UNICAMP, Departamento de Engenharia de Computação e Automação Industrial da FEEC.,Linhas de pesquisa

Propriedade Intelectual

Patentes (1)

Tipo Título Data depósito
INVENTOR Barramento padrão para sistemas de supervisão de bordo. 21/05/1985