Departamento de Sistemas de Computação

Jose 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.

  • http://lattes.cnpq.br/8807333466702951 (09062022)
  • Rótulo/Grupo:
  • Bolsa CNPq:
  • Período de análise:
  • Endereço: Universidade de São Paulo. Departamento de Ciências da Computação. Instituto de Ciências Matemáticas e de Computação. Av. Trabalhador São-carlense, 400 - Caixa Postal 668 CEP 13560970 - São Carlos, SP - Brasil
  • Grande área: [sem-grandeArea]
  • Área: [sem-area]
  • Citações: Google Acadêmico

Produção bibliográfica

Produção técnica

Produção artística

Orientações em andamento

Supervisões e orientações concluídas

Projetos de pesquisa

Prêmios e títulos

Participação em eventos

Organização de eventos

Lista de colaborações


Produção bibliográfica

Produção técnica

Produção artística

Orientações em andamento

Supervisões e orientações concluídas

Projetos de pesquisa

  • Total de projetos de pesquisa (38)
    1. 2001-2001. Readers II - Collaborative research to develop, validate and package reading techniques for software defect detection
      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.
      Membro: Jose Carlos Maldonado.
      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
      Membro: Ellen Francine Barbosa.
    2. 2003-2003. PLAVIS: Plataforma para Validação e Integração de Software em Sistemas Espaciais
      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.
      Membro: Jose Carlos Maldonado.
    3. 2004-2004. Projeto SAFE (Software Engineering Available for Everyone)
      Desenvolvimento de um framework que integre ferramentas de software livre de apoio às atividadesde engenharia de software.
      Membro: Jose Carlos Maldonado.
    4. 2005-2005. Architect+: Ambiente para Co-Projeto de Hardware/Software em Plataformas de FPGAs com Aplicação em Robótica Móvel
      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.
      Membro: Jose Carlos Maldonado.
    5. 2006-2006. VV&T de Software em Sistemas Espaciais e Reengenharia de Software
      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.
      Membro: Jose Carlos Maldonado.
    6. 2007-2007. Subsídios para atividades de VV&T no desenvolvimento de softwareSubsídios para atividades de VV&T no desenvolvimento de software
      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.
      Membro: Jose Carlos Maldonado.
    7. 2008-2008. INCT de Sistemas Embarcados Críticos
      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.
      Membro: Jose Carlos Maldonado.
    8. 2005-2005. PLAVIS: Platform for software validation & integration on space systems

      Membro: Jose Carlos Maldonado.
    9. 2009-2009. Desenvolvimento e Evolução de um Sistema Web Livre para o Domínio de Acervos Históricos: Uma Complementação na Formação em Engenharia de Software
      Disciplinas da graduação na área de Engenharia de Software têm por objetivo proporcionar aos alunos conhecimento acerca dos diversos aspectos relacionados ao desenvolvimento de software. Este projeto objetiva então a complementação da formação do aluno de graduação em computação no tocante à área de Engenharia de Software. Para isso, práticas, tecnologias, ferramentas e atividades de Engenharia de Software estudados nessas disciplinas serão aplicadas pelo aluno para o desenvolvimento e evolução de um sistema de software, no caso o Memória Virtual, um sistema web para catalogação e disseminação de informações sobre acervos históricos. Para a condução deste projeto, primeiramente o aluno deverá conduzir um estudo do processo de software adotado no desenvolvimento do Memória Virtual, buscando um entendimento de como as atividades de Engenharia de Software vêm sendo conduzidas. Paralelamente, o aluno deverá ser integrado tanto à equipe de desenvolvedores quanto aos outros pesquisadores. Em seguida, o aluno deverá realizar um estudo aprofundado das ferramentas que compõem o ambiente de desenvolvimento e implantação do Memória Virtual. Com base nas atividades até então realizadas o aluno irá dar apoio à evolução das funcionalidades do Memória Virtual e ao projeto e implementação de novas interfaces web do Memória Virtual. Em seguida, realizará a validação do sistema frente às novas funcionalidades e interfaces web desenvolvidas, por meio da observação da utilização do sistema pelos clientes.
      Membro: Jose Carlos Maldonado.

      Membro: Elisa Yumi Nakagawa.
    10. 2008-2008. 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

      Membro: Jose Carlos Maldonado.
      Projeto de Cooperação Acadêmica (ICMC/UEM/PUC-RS) Edital Procad 01/2007
      Membro: Ellen Francine Barbosa.
    11. 2008-2008. Técnicas Baseadas em Modelos para Teste de Software em Sistemas Dinâmicos
      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.
      Membro: Jose Carlos Maldonado.
    12. 2008-2008. Disseminação de Informações de Acervos Históricos com o Memória Virtual
      São Carlos e região possuem uma diversidade de acervos de inestimável valor histórico. Similar à grande parte dos acervos brasileiros, muitos encontram-se em estado precário de conservação e outros são desconhecidos até por pesquisadores. Nesse contexto, o Projeto Memória Virtual de São Carlos realizou importantes contribuições, inclusive com o desenvolvimento de um sistema web livre chamado Memória Virtual que possibilita a disponibilização de informações de acervos históricos de diversas naturezas, a saber, acervos documentais, bibliográficos, arquitetônicos, naturais, museológicos e imateriais, de forma integrada. Visando a dar continuidade ao uso desse sistema, este projeto objetiva envolver alunos de graduação da área de Computação para as atividades de treinamento e evolução do Memória Virtual para ser utilizado no Patrimônio Cultural Rural Paulista, um projeto de políticas públicas da FAPESP que visa o tratamento dos acervos documentais relativo às fazendas históricas paulistas.
      Membro: Jose Carlos Maldonado.

      Membro: Elisa Yumi Nakagawa.
    13. 2007-2007. Estudo e Utilização de Teste Estrutural para Programa Java em Dispositivos Móveis
      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.
      Membro: Jose Carlos Maldonado.
    14. 2006-2006. QualiPSo - Quality Platform for Open Source Software
      Definição e implementação de tecnologias, procedimentos e políticas que apóiem o desenvolvimento de software livre.
      Membro: Jose Carlos Maldonado.
      Definição e implementação de tecnologias, procedimentos e políticas que apóiem o desenvolvimento de software livre. Apoio Financeiro: Comunidade Européia (IST-FP6-IP-034763)
      Membro: Ellen Francine Barbosa.

      Membro: Elisa Yumi Nakagawa.
    15. 2005-2005. Uso de Programação Orientada a Aspectos para o Desenvolvimento de Frameworks e Apoio ao Teste de Programas
      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.
      Membro: Jose Carlos Maldonado.
    16. 2004-2004. Memória Virtual de São Carlos
      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.
      Membro: Jose Carlos Maldonado.
      O Projeto Memória Virtual de São Carlos teve como objetivo principal estabelecer a infraestrutura computacional necessária para a informatização dos acervos históricos do município de São Carlos e região, de maneira a viabilizar acessibilidade, organização e preservação do patrimônio histórico e cultural das fazendas e museus da região de São Carlos. Os acervos disponíveis abrangem informações e bens de natureza diversa, como os acervos documentais, coleções bibliográficas, objetos museológicos, bens arquitetônicos, bens naturais, além de materiais multimeios, de valor histórico relevante. Dessa forma, foram integrados e disponibilizados acervos do município dispersos fisicamente, utilizando ferramentas de software livre para a implementação e implantação de um sistema Web para acesso a esses acervos.
      Membro: Elisa Yumi Nakagawa.
    17. 2003-2003. Orientação a Objeto: Definição e Análise de Recursos de Teste e Validaçã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).
      Membro: Jose Carlos Maldonado.
    18. 2001-2001. PBQP - Programa Brasileiro da Qualidade e Produtividade
      Desenvolvimento de mecanismos de apoio ao ensino e treinamento de conceitos pertinentes ao domínio de teste de software.
      Membro: Jose Carlos Maldonado.
      Desenvolvimento de mecanismos de apoio ao ensino e treinamento de conceitos pertinentes ao domínio de teste de software
      Membro: Ellen Francine Barbosa.
    19. 2001-2001. Orientação a Objeto: Definição e Análise de Recursos de Teste e Validação
      : Projeto desenvolvido dentro do Projeto Brasileiro de Qualidade de Software (PBQS) do MCT.
      Membro: Jose Carlos Maldonado.
    20. 1999-1999. Métodos em Engenharia de Software, em Soluções Numéricas e Mecânica dos Fluidos e em Singularidades e Sistemas Dinâmicos
      Projeto de Equipamento Multiusuário
      Membro: Jose Carlos Maldonado.
    21. 1996-1996. Métodos e Ferramentas para Apoio ao Desenvolvimento de Software

      Membro: Jose Carlos Maldonado.
    22. 1994-1994. Validação e Teste de Sistemas de Operação
      O Projeto Teste e Validação de Sistemas de Operação (PVTSO) está inserido no contexto dos Projetos de Integração da Coordenação Geral (PICs) do programa de Desenvolvimento Estratégico em Informática (DESI-BR), patrocinado pelo PNUD BRA/92/019 (Programa das Nações Unidas para o Desenvolvimento) e supervisionado pelo CNPq/MCT. Este projeto é desenvolvido pelo CPqD/TELEBRÁS, ICMSC-USP (São Carlos) e pelo FEEC/DCA/UNICAMP. O PVTSO visa a estabelecer uma estratégia de teste e validação de software para os projetos do Departamento de Sistemas de Operação (DSO) do Centro de Pesquisa e Desenvolvimento (CPqD), em concordância com as atividades, objetivos e padrões estabelecidos pela Metodologia Unificada para Sistemas Aplicativos (MUSA). O DSO é o responsável pelo desenvolvimento dos sistemas de operação para as empresas operadores do Sistema TELEBRÁS. Além disso, este projeto tem como meta integrar os esforços e recursos humanos existentes em universidades e no CPqD, promovendo a transferência de conhecimentos técnico-científicos, possibilitando o constante aprimoramento de pessoal e de produtos. Visa também a aproximar o ambiente acadêmico ao ambiente de desenvolvimento e às reais necessidades do mercado, fornecendo assim subsídios fundamentais para que as atividades de pesquisa sejam conduzidas de forma a contribuir para a aceleração da capacitação do parque industrial nacional.
      Membro: Jose Carlos Maldonado.

      Membro: Elisa Yumi Nakagawa.
    23. 2014-2014. PROCAD/CAPES/MEC - Pesquisa, Integração e Capacitação de Recursos Humanos em Tecnologias Educacionais e Engenharia de Software
      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).
      Membro: Jose Carlos Maldonado.
    24. 2011-2011. NAP-SoL (Núcleo de Apoio à Pesquisa em Software Livre)
      : 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.
      Membro: Jose Carlos Maldonado.
      Os objetivos centrais do NAPSoL são: (i) Abordar as limitações do software livre através de duas frentes principais: (ii) A investigação de técnicas, métricas, métodos e outras questões relevantes para o incentivo ao desenvolvimento de software livre de qualidade e à sua adoção; e (iii) A criação de ferramentas livres de interesse para o auxílio ao desenvolvimento e à avaliação do software livre, bem como a exploração de seus resultados. Apoiar o desenvolvimento de ferramentas de software livre para projetos científicos em andamento na USP com vistas a promover a transferência dessas ferramentas para o setor produtivo. Dessa forma, espera-se contribuir para o avanço do conhecimento sobre os fenômenos envolvidos na produção de software livre e contribuir para o desenvolvimento científico e tecnológico do país, impactando positivamente a indústria de software nacional.
      Membro: Elisa Yumi Nakagawa.
    25. 2012-2012. Architecting Critical Embedded Systems (ACES)
      Vinda do Prof. Dr. Paris Avgeriou (University of Groningen, Holanda) como professor visitante ao ICMC/USP.
      Membro: Jose Carlos Maldonado.
    26. 2012-2012. Software Architecture: Formulation and Formalization of Systems-of-Systems Architectures - From Reference Architectures to Adaptive Service Compositions in Critical Systems-of-Systems
      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.
      Membro: Jose Carlos Maldonado.
      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.
      Membro: Elisa Yumi Nakagawa.
    27. 2011-2011. 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
      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.
      Membro: Jose Carlos Maldonado.
    28. 2016-2016. Estabelecimento de Acordo de Dupla Titulaçã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.
      Membro: Jose Carlos Maldonado.
      Projeto para realização de visita como professor visitante na Universiyu Rey Juan Carlos, Madrid, Espanha, Programa de Mobilidade Docente, Edital: 496/2016, Período: abril/2016 a dezembro/2016.
      Membro: Elisa Yumi Nakagawa.
    29. 2015-2015. Dynamic Variability Approaches for the Development of Systems-of-Systems Software Architectures
      Vinda do Prof. Dr. Rafael Capilla (Universidad Rey Juan Carlos Madrid - URJC, Espanha) como professor visitante ao ICMC/USP.
      Membro: Jose Carlos Maldonado.
      The current trend where software-intensive systems become more and more complex and dynamic require of new design and development methods able to address the diversity of changing scenarios, maintenance operations, and handle context-data more efficiently than before. Today, the need to count with good reference architecture suitable to describe the major functional areas of systems-of-systems (a system composed by other systems or sub-systems) is a major challenge for the Systems Engineering discipline. However, the diversity of software that has to be integrated with proprietary middleware and the need to coordinate all these systems for handling critical operations is still hard, as many of the daily maintenance operations must be done manually. In this light, context feature modeling and dynamic variability techniques offer a good choice for: (i) representing the context-data critical software-intensive systems often manage, and (ii) providing means to support the diversity of runtime scenarios required for their daily operations. Consequently, this project focused on investigating how variability modeling approaches can be represented in systems-of-systems reference architectures and which dynamic variability techniques become more suitable to deal with evolution and change scenarios of critical systems-of-systems daily operations.
      Membro: Elisa Yumi Nakagawa.
    30. 2013-2013. Elaborating a new paradigm for establishing the architecture of systems-of-systems in networked embedded systems
      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.
      Membro: Jose Carlos Maldonado.
    31. 2012-2012. Empirical Software Engineering for Critical Embedded Systems
      Capes/Nuffic, Processo: 034/12.
      Membro: Jose Carlos Maldonado.
    32. 2012-2012. ProSA-RAES: Subsídios para o Estabelecimento de Arquiteturas de Referência para Sistemas Embarcados
      Projeto de pesquisa reagular, FAPESP Processo N. 2011/23316-8.
      Membro: Jose Carlos Maldonado.
    33. 2010-2010. Processo para Estabelecimento e Avaliação de Arquiteturas de Referência Orientadas a Serviço

      Membro: Jose Carlos Maldonado.
      Auxílio Regular à Pesquisa - FAPESP (Processo 2009/11135-9)
      Membro: Ellen Francine Barbosa.
    34. 2013-2013. CEPID-CeMEAI: Centro de Pesquisa, Inovação e Difusão do Centro de Ciências Matemáticas Aplicadas à Indústria
      [FAPESP: 2013/07375-0: valor aprox.10 milhões] Com sede no Instituto de Ciências Matemáticas e de Computação (ICMC) da USP São Carlos, é um centro de pesquisa especialmente adaptado e estruturado para promover o uso de ciências matemáticas (em particular matemática aplicada, estatística e ciência da computação) como um recurso industrial. As atividades do Centro serão realizadas dentro de um ambiente interdisciplinar, enfatizando-se a transferência de tecnologia e a educação e difusão do conhecimento para as aplicações industriais e governamentais.
      Membro: Jose Carlos Maldonado.
    35. 2021-2021. Teste de Software Baseado em Mutação com Alta Eficácia e Baixo Débito Técnico: Processo Automatizado e Ambiente de Apoio Livres
      Objetivo: Considerando a relevância da automatização da atividades de teste para a indústria de produção de software e a relevância do teste baseado em mutação a partir de evidências científicas, neste projeto tem-se por objetivo definir um processo de teste baseado em mutação que possa ser executado de forma 100% automatizado por meio de um ambiente de teste de apoio, ambiente este que será especificado, implementado e validado com aplicações industriais e open-source. Métodos: Investigar e automatizar três problemas clássicos do teste de mutação: 1) geração de mutantes; 2)execução dos mutantes; e a 3) análise dos mutantes vivos e equivalentes no processo de teste. Na geração, pretende-se utilizar análise estática e informações de fluxo de controle e de dados para selecionar os pontos em que as mutações serão realizadas, além de selecionar tipos específicos de operadores a serem utilizados em função das características do produto em teste. Na execução dos mutantes, é importante que seja feita uma seleção de bons casos de teste com alta probabilidade de matar mutantes não equivalentes. Para isso, entende-se que devem ser combinados diferentes geradores automáticos de dados de teste e, possivelmente, desenvolvidos novos algoritmos de geração para matar mutantes gerados por operadores de mutação específicos. Na análise dos mutantes vivos e equivalentes serão definidas e avaliadas estratégias, de forma automatizada, para a determinação de mutantes equivalentes, utilizando-se heurísticas, aprendizado Bayesiano, e a frequência de execução dos mutantes pelos casos de teste. Resultados esperados: serão gerados um processo de teste e um ambiente de apoio gratuito, além de dados de experimentação que permitirão a geração de benchmarks de teste para C, Java e Python, viabilizando o desenvolvimento de novas pesquisas relacionadas ao teste de mutação, principalmente no contexto dessas linguagens de programação. Processo e Ambiente serão aplicados e avaliados em parceiros industriais os quais manifestaram apoio e interesse no uso do processo resultante deste projeto de pesquisa. Débito técnico no contexto desta proposta caracteriza os riscos associados à produção e à liberação de produtos de software, tendo como base o critério deteste baseado em mutação. Conclusões: Pretende-se viabilizar a aplicação do teste de mutação como um importante mecanismo de garantia da qualidade de produtos de software de forma totalmente automatizada, favorecendo a transferência tecnológica e aplicação do teste de mutação para a indústria, com a consequente evolução da capacidade de produção de software da indústria brasileira.
      Membro: Jose Carlos Maldonado.
    36. 2019-2019. Estudo e desenvolvimento de técnicas de teste de software e suas aplicações
      Este projeto de pesquisa visa contribuir com a área de teste de software por meio da proposição de novas estratégias, técnicas e critérios para apoiar o desenvolvimento de produtos de software modernos. A tecnologia de desenvolvimento de software evolui de forma cada vez mais rápida, abrangendo novos ambientes, novos domínios de aplicação e novas arquiteturas. Com a necessidade cada vez maior de garantir qualidade no produto de software, é necessário desenvolver e adaptar técnicas de teste que acompanhem essa evolução. Em particular, sistemas de Realidade Virtual, software concorrente, robôs móveis, requisitos não funcionais e controle de acesso são temas que serão abordados no presente projeto. Além do desenvolvimento de técnicas de teste nesses contextos, estudos experimentais serão realizados visando avaliar as novas propostas de modo a construir um corpo de conhecimento sobre avaliação de técnicas, critérios e ferramentas de teste de software. Ainda, material de ensino e treinamento sobre as abordagens estudadas devem ser preparados com o propósito de transferir as novas abordagens produzidas para estudantes e profissionais de Engenharia de Software. Sobretudo, a oportunidade de colaboração entre as equipes, ambas especialistas na área de teste de software, deverá produzir resultados de extremo impacto social e econômico, dada a importância que a Computação e o desenvolvimento de software, com qualidade, têm na vida das pessoas e na economia dos países.
      Membro: Jose Carlos Maldonado.
    37. 2020-2020. Treinamento e Capacitação em Técnicas de Verificação, Validação e Teste de Software
      A atividade de garantida da qualidade de software é de fundamental importância para a geração de produtos de qualidade e que atendam às necessidades dos usuários. Entretanto, grande parte dos profissionais que estão no mercado de trabalho, atuando no desenvolvimento de software, possuem pouca qualificação na área de verificação, validação e teste de software. Desse modo, a oferta de treinamento e capacitação em técnicas, critérios e ferramentas de automatização de atividades de verificação, validação e testes é de fundamental importância para a melhoria da qualidade de software desenvolvido
      Membro: Jose Carlos Maldonado.
    38. 2004-2004. Orientação a Objeto: Definição e Análise de Recursos de Teste e Validaçã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).
      Membro: Jose Carlos Maldonado.

Prêmios e títulos

  • Total de prêmios e títulos (1)
    1. Finalita (3 melhores teses) no Concurso Alexandre Direne de Teses, Dissertações e TCCs - Categoria Doutorado - Bruno Penteado, CEIE. Sociedade Brasileira de Computação (SBC). 2021.
      Membro: Jose Carlos Maldonado.

Participação em eventos

  • Total de participação em eventos (2)
    1. Desafios da Computação. 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)
    2. Analysing the use of graphs to represent the results of Systematic Reviews in Software Engineering. II Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2011)

Organização de eventos

  • Total de organização de eventos (156)
    1. . 8th ISSRE - International Symposium on Software Reliability Engineering, IEEE Computing Society. IEEE Computing Society. 1997. Organizacao
    2. . 11th IWTCS - International Workshop on Testing of Comunicating Systems. IFIP. 1998. Organizacao
    3. . V ISSAT - International Conference on Reliability and Quality in Design. . 1999. Organizacao
    4. . XIX SCCC - International Conference of the Chilean. IEEE Computer Science Society. 1999. Organizacao
    5. . ISSRE - International Symposium on Software Reliability Systems. IEEE Computer Science Society. 1999. Organizacao
    6. . 6th ISSAT - International Conference on Reliability and Quality in Design. . 2000. Organizacao
    7. . IV CICTE-Congresso de Iniciação Científica e Tecnológica em Engenharia. Escola de Engenharia de São Carlos. 1985. Organizacao
    8. . IV SBES - Simpósio Brasileiro de Engenharia de Software. Sociedade Brasileira de Computação. 1990. Organizacao
    9. . Workshop em Programação Concorrente, Sistemas Distribuídos e Engenharia de Software. ICMC-USP. 1991. Organizacao
    10. . VI SBES - Simpósio Brasileiro de Engenharia de Software. Sociedade Brasileira de Computação. 1992. Organizacao
    11. . VII SBES - Simpósio Brasileiro de Engenharia de Software. Sociedade Brasileira de Computação. 1993. Organizacao
    12. . VIII SBES - Simpósio Brasileiro de Engenharia de Software. Sociedade Brasileira de Computação. 1994. Organizacao
    13. . VI CTIS - Conferência Internacional de Tecnologia de Software. CTIS. 1995. Organizacao
    14. . IX SBES - Simpósio Brasileiro de Engenharia de Software. Sociedade Brasileira de Computação. 1995. Organizacao
    15. . VII CTIS - Conferência Internacional de Tecnologia de Software. CTIS. 1996. Organizacao
    16. . X SBES - Simpósio Brasileiro de Engenharia de Software e XI SBBD - Simpósio Brasileiro de Banco de Dados. Sociedade Brasileira de Computação. 1996. Organizacao
    17. . WPVTSO - Workshop do Projeto Validação e Teste de Sistemas de Operação. ICMC-USP. 1997. Organizacao
    18. . 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. ICMC-USP. 1997. Organizacao
    19. . XXIV SEMISH - Seminário Integrado de Software e Hardware. . 1997. Organizacao
    20. . VIII CITS - Conferência Internacional de Tecnologia de Software. CTIS. 1997. Organizacao
    21. . XI SBES - Simpósio Brasileiro de Engenharia de Software. Sociedade Brasileira de Computação. 1997. Organizacao
    22. . III Simpósio de Teses e Dissertações. ICMC-USP. 1998. Organizacao
    23. . IX CITS - Conferência Internacional de Tecnologia de Software. CTIS. 1998. Organizacao
    24. . VI WEI - Workshop sobre Educação na Informática do XVIII SBC - Congresso Nacional da Sociedade Brasileira de Computação. Sociedade Brasileira de Computação. 1998. Organizacao
    25. . WQS'98 - Workshop de Qualidade de Software. Sociedade Brasileira de Computação. 1998. Organizacao
    26. . XII SBES - Simpósio Brasileiro de Engenharia de Software. Sociedade Brasileira de Computação. 1998. Organizacao
    27. . X CITS - Conferência Internacional de Tecnologia de Software. CTIS. 1999. Organizacao
    28. . IV Simpósio de Teses e Dissertações do ICMC-USP. ICMC-USP. 1999. Organizacao
    29. . VII WEI - Workshop sobre Educação na Informática do XIX SBC - Congresso Nacional da Sociedade Brasileira de Computação. Sociedade Brasileira de Computação. 1999. Organizacao
    30. . XIII SBES - Simpósio Brasileiro de Engenharia de Software. Sociedade Brasileira de Computação. 1999. Organizacao
    31. . Olimpíada Brasileira de Informática da SBC - Sociedade Brasileira de Computação. Sociedade Brasileira de Computação. 1999. Organizacao
    32. . CLEI'2000 - XXVI Conferencia Latinoamericana de Informática. . 2000. Organizacao
    33. . Mutation 2000 - A Symposium On Mutation in the Twentieth and the Twenty First Centuries. . 2000. Organizacao
    34. . 1a Jornadas Iberoamericanas de Ingeniería del Software e Ingeniería del Conocimiento. . 2001. Organizacao
    35. . South America - The Thirteenth International Conference on Software Engineering & Knowledge Engineering. . 2001. Organizacao
    36. . CLEI'2001 - XXVII Conferencia Latinoamericana de Informática. . 2001. Organizacao
    37. . ASSE 2001 - Second Argentine Symposium on Software Engineering. . 2001. Organizacao
    38. . Tenth International Conference on Computer Communications and Networks - ICCCN2001. . 2001. Organizacao
    39. . ISSRE 2001 - 12th International Symposium on Software Reliability Engineering. . 2001. Organizacao
    40. . TestCom'2002 - IFIP TC6/WG6.1 - 14th International conference on Testing of Communicating Systems. . 2002. Organizacao
    41. . 2a. JIISIC - Jornada Ibero-Americana de Engenharia de Software de Conhecimento. . 2002. Organizacao
    42. . Workshop Qualidade e Produtividade em Software do IX SBES - Simpósio Brasileiro de Engenharia de Software. SBC. 1995. Organizacao
    43. . XI SBBD - Simpósio Brasileiro de Banco de Dados. SBC. 1996. Organizacao
    44. . V Simpósio de Teses e Dissertações do ICMC-USP. . 2000. Organizacao
    45. . XI CITS:QS - XI Conferência Internacional de Tecnologia de Software: Qualidade de Software. . 2000. Nao_informado
    46. . II Workshop de Testes e Tolerância a Falhas - II WTF. . 2000. Organizacao
    47. . WQS'2000 - Workshop de Qualidade de Software. . 2000. Nao_informado
    48. . VIII WEI - Workshop sobre Educação na Informática do XIX SBC - Congresso Nacional da Sociedade Brasileira de Computação. SBC. 2000. Organizacao
    49. . XIV SBES - Simpósio Brasileiro de Engenharia de Software. SBC. 2000. Organizacao
    50. . V WTES - Workshop on Software Engineering Thesis and Dissertations do XIV SBES´2000. SBC. 2000. Organizacao
    51. . SCTF 2001 - IX Brazilian Symposium on Fault-Tolerant Computing. . 2001. Organizacao
    52. . VI Escola Regional de Informática de São Paulo da Sociedade Brasileira de Computação. SBC. 2001. Organizacao
    53. . VI Simpósio de Teses e Dissertações do ICMC-USP. ICMC-USP. 2001. Organizacao
    54. . XII CITS:QS - Conferência Internacional de Tecnologia de Software: Qualidade de Software. CITS. 2001. Organizacao
    55. . IX WEI - Workshop sobre Educação na Informática do XX SBC - Congresso Nacional da Sociedade Brasileira de Computação. SBC. 2001. Organizacao
    56. . VI Workshop de Teses em de Engenharia de Software do XV SBES'2001. SBC. 2001. Organizacao
    57. . International Conference on Software Engineering. . 2003. Organizacao
    58. . Twelfth International Conference on Computer Communications and Networks - ICCCN'03. . 2003. Organizacao
    59. . VI SBAI - Simpósio Brasileiro de Automação Inteligente. SBA - Sociedade Brasileira de Automática. 2003. Organizacao
    60. . The First Workshop on Verification and Validation of Enterprise Information Systems - VVEIS'03. . 2003. Organizacao
    61. . First Latin-American Symposium on Dependable Computing - LADC'03. University of São Paulo - Polytechnic School. 2003. Organizacao
    62. . II Workshop de Desenvolvimento Baseado em Componentes - WDBC'02. Universidade Federal do Rio de Janeiro e Universidade Federal de Juiz de Fora. 2002. Organizacao
    63. . I Simpósio Brasileiro de Qualidade de Sofware - SBQS'02. SBC - Sociedade Brasileira de Computação. 2002. Organizacao
    64. . XVI Simpósio Brasileiro de Engenharia de Software - SBES'02. SBC - Sociedade Brasileira de Computação. 2002. Organizacao
    65. . Eleventh International Conference on Computer Communications and Networks - ICCCN'02. . 2002. Organizacao
    66. . International Conference on Computer Science, Software Engineering, Information Technology, e-Business and Applications - CSITeA'02. . 2002. Organizacao
    67. . Sixth International Symposium on Autonomous Decentralized Systems with an Emphasis on Advanced Distributed Transportation Systems - ISADS'03. . 2003. Organizacao
    68. . Workshop on Software Quality - WoSQ'02. International Conference on Softwae Engineering - ICSE. 2002. Organizacao
    69. . Experimental Software Engineering session of ICECCS 2008 (Thirteenth IEEE International Conference on Engineering of Complex Computer Systems). co-located with ECBS 2008 and EASe 2008. 2008. Organizacao
    70. . Organizing committee of WCGE - 1st Workshop on Computing Applied to Eletronic Government (general co-chair). SBC. 2009. Organizacao
    71. . Technical Programm Committee - 25th Brazilian Symposium on Software Engineering (SBES). SBC - Sociedade Brasileira de Computação. 2010. Organizacao
    72. . ESELAW 2010 - Technical Program Committee. UFAM. 2010. Organizacao
    73. . 6th International Workshop on Mutation Testing 2011 - Technical Programme Committee. . 2011. Organizacao
    74. . CIbSE 2011-XIV Conferência Iberoamericana em "Software Engineering" - Program Committee. PUC-Rio: Pontifícia Universidade Católica do Rio de Janeiro. 2011. Organizacao
    75. . SBQS 2011-10th Brazilian Symposium on Software Quality. UFPA - Universidade Federal do Pará. 2011. Organizacao
    76. . XII WSL-Workshop de Software Livre. FISL-Fórum Internacional de Software Livre. 2011. Organizacao
    77. . SEKE 2011-23rd International Conference on Software Engineering and Knowledge Engineering - Technical Program Committee. Knowledge Systems Institute. 2011. Organizacao
    78. . CBSoft 2011-5th Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS) - Technical Program Committee. SBC - Sociedade Brasileira de Computação. 2011. Organizacao
    79. . 5th Latin-American Workshop on Aspect-Oriented Software Development (LA-WASP 2011) - Program Committee. . 2011. Organizacao
    80. . CBSoft 2011-Workshops SAST 2011. SBC-Sociedade Brasileira de Computação. 2011. Organizacao
    81. . SEKE 2012 - Organization of the core. . 2011. Organizacao
    82. . ESELAW 2012 - Experimental Software Engineering Latin American Workshop. SBC - Sociedade Brasileira de Computação. 2011. Organizacao
    83. . XIII WSL 2012 - Workshop Internacional de Software Livre. SBC - Sociedade Brasileira de Computação. 2011. Organizacao
    84. . SBQS 2012 - Simpósio Brasileiro de Qualidade de Software. SBC - Sociedade Brasileira de Computação. 2012. Organizacao
    85. . CBSoft 2012 - 26th SBES: Simpósio Brasileiro de Engenharia de Software. SBC - Sociedade Brasileira de Computação. 2012. Organizacao
    86. . SERENE 2012 - 4th International Workshop on Software Engineering for Resilient Systems. . 2012. Organizacao
    87. . CBSoft 2012 - 6th Brazilian Symposium on Software Components, Architectures and Reuse. UFRN. 2012. Organizacao
    88. . CLEI 2012 - Conferência Latinoamericana en Informática. CLEI - Centro Latinoamericano de Estudios en Informática. 2012. Organizacao
    89. . CSBC 2012 - DesafIE! Workshop de Desafios da Computação Aplicada à Educação.. SBC - Sociedade Brasileira de Computação. 2012. Organizacao
    90. . SEW-35: 35th Annual IEEE Software Engineering Workshop. EASST; Universität Potsdam; TechnischeUniversität Dortmund. 2012. Organizacao
    91. . 6th Brazilian Workshop on Systematic and Automated Software Testing. UFRN; UFAM. 2012. Organizacao
    92. . III Workshop de Sistemas Embarcados. SBC - Sociedade Brasileira de Computação. 2012. Organizacao
    93. . ICST 2013: 6th International Conference on Software Testing, Verification and Validation. IEEE. 2012. Organizacao
    94. . 3rd Brazilian Workshop on Agile Methods. . 2012. Organizacao
    95. . SBES 2012-XXVI Brazilian Symposium on Software Engineering SPECIAL TRACK: "Grand Challenges in Software/System Engineering". SBC - Sociedade Brasileira de Computação. 2012. Organizacao
    96. . ICTS 2013 - 6th IEEE International Conference on Software Testing, Verification and Validation. IEEE. 2012. Organizacao
    97. . CBSEC 2012: II Conferência Brasileira em Sistemas Embaracados Críticos. INCT-SEC / SBC. 2012. Organizacao
    98. . 23ºSimpósio Brasileiro de Informátia na Computação. SBC - Sociedade Brasileira de Computação. 2012. Organizacao
    99. . ICM-International Congress of Mathematicians and IMU-General Assembly of the International Mathematical Union - 2018. SBM. 2012. Organizacao
    100. . 64ª Reunião Anual da SBPC. SBPC - Sociedade Brasileira para o Progresso da Ciência. 2012. Organizacao
    101. . 25th International Conference on Software Engineering and Knowledge Engineering (SEKE2013). DBLP, INSPEC, Compendex, Library of Congress, AllConferences.com. 2012. Organizacao
    102. . ASSE 2013 - Argentine Symposium on Software Engineering. ISISTAN-CONICET. 2012. Organizacao
    103. . ECSA 2013 - 7th European Conference on Software Architecture. Université Montpellier. 2012. Organizacao
    104. . CLEI 2013 - XXXIX Conferencia Latinoamericana en Informática. Centro Latinoamericano de Estudios en Informática. 2013. Organizacao
    105. . SBSI 2013 - Simpósio Brasileiro de Sistemas de Informação. SBC - Sociedade Brasileira de Computação. 2013. Organizacao
    106. . WBMA 2013 - 4th Brazilian Workshop on Agile Methods. Evento promovido por especialistas em agilidade de diversas partes do Brasil. 2013. Organizacao
    107. . 65ª Reunião Anual da SBPC. SBPC - Sociedade Brasileira para o Progresso da Ciência. 2013. Organizacao
    108. . SESoS 2013 - International Workshop on Software Engineering for Systems-of-Systems. ACM SIGSOFT and ACM SIGPLAN. 2013. Organizacao
    109. . Simpósio Brasileiro de Engenharia de Software (SBES) ? TRILHA ESPECIAL. SBC - Sociedade Brasileira de Computação. 2013. Organizacao
    110. . Simpósio Brasileiro de Engenharia de Software (SBES) ? TRILHA ESPECIAL. SBC - Sociedade Brasileira de Computação. 2013. Organizacao
    111. . SEKE 2014 - 26th International Conference on Software Engineering and Knowledge Engineering. KSI.edu. 2013. Organizacao
    112. . 24º CBIE - Congresso Brasileiro de Informática na Educação. SBC - Sociedade Brasileira de Computação. 2013. Organizacao
    113. . Mutation 2014 - 9th International Workshop on Mutation Analysis / ICST 2014 : International Conference on Software Testing, Verification, and Validation. Computer Society - C, IEEE. 2013. Organizacao
    114. . 8th European Conference on Software Architecture - ECSA 2014. UNIVIE - University of Vienna. 2013. Organizacao
    115. . WETICE/AROSA 2014 - International track on Adaptive and Reconfigurable Service-oriented and component-based Applications and Architectures. RED e CAD. 2014. Organizacao
    116. . SBSI 2014 - Simpósio Brasileiro de Sistemas de Informação. UEL - Universidade Estadual de Londrina. 2014. Organizacao
    117. . WSL 2014 - International Free Software Workshop. Free Software activists in Porto Alegre, Brazil. 2014. Organizacao
    118. . SBESC 2013 - Simpósio Brasileiro de Engenharia de Software. UFAL - Universidade Federal de Alagoas. 2013. Organizacao
    119. . CLEI 2014 - Conferencia Latinoamericana en Informática. Centro Latinoamericano de Estudios en Informática. 2014. Organizacao
    120. . SERE 2014 - 8th IEEE International Conference on Software Security and Reliability. IEEE - Computer Society - C. 2014. Organizacao
    121. . XIII SIMPÓSIO BRASILEIRO DE QUALIDADE DE SOFTWARE (SBQS 2014). Sociedade Brasileira de Computação (SBC), Universidade do Vale do Itajaí (Univali) e Universidade Regional de Blumenau (FURB).. 2014. Organizacao
    122. . WBMA 2014 - 5th Brazilian Workshop on Agile Methods. Agile Alliance. 2014. Organizacao
    123. . WDES - 8th Workshop em Desenvolvimento Distribuído de Software, Ecossistemas de Software e Sistemas de Sistemas. SBC - Sociedade Brasileira de Computação. 2014. Organizacao
    124. . SAC 2015 - 30th Symposium On Applied Computing. SIGAPP - Special Interest Group on Applied Computing. 2014. Organizacao
    125. . 20º Workshop de Informática na Escola (WIE) / 3º Congresso Brasileiro de Informática na Educação. SBC - Sociedade Brasileira de Computação. 2014. Organizacao
    126. . ESELAW 2015 - 12th Workshop on Experimental Software Engineering. SBC - Sociedade Brasileira de Computação. 2014. Organizacao
    127. . 3º Seminário dos Grandes Desafios em Computação Ênfase em Grandes Desafios do Mercado e do Governo Fase 2. SBC - Sociedade Brasileira de Computação. 2014. Organizacao
    128. . 25°SBIE:Simpósio Brasileiro de Informática na Educação - CBIE 2014: Congresso Brasileiro de Informática na Educação. SBC - Sociedade Brasileira de Computação. 2014. Organizacao
    129. . SBESC 2014 - Simpósio Brasileiro de Engenharia de Software. SBC - Sociedade Brasileira de Computação. 2014. Organizacao
    130. . Mutation 2015 - The 10th International Workshop on Mutation Analysis / ICST 2015. IEEE Computer Society. 2014. Organizacao
    131. . SEKE 2015 - Software Engineering and Knowledge Engineering. IEEE Computer Society. 2014. Organizacao
    132. . ECSA 2015 - 9th European Conference on Software Architecture. . 2014. Organizacao
    133. . SESoS 2015 - 3rd International Workshop on Software Engineering for Systems-of-Systems. ACM SIGSOFT and ACM SIGPLAN. 2014. Organizacao
    134. . WETICE / AROSA 2015 - International track on Adaptive and Reconfigurable Service-oriented and component-based Applications and Architectures. ReDCAD Reserach Unit / LAAS-CNRS / Institut Carnot. 2015. Organizacao
    135. . JoCICI 2015 - II Jornadas Costarricenses de Investigación en Computación e Informática 2015. CITIC - Centro de Investigación en Tecnologías de la Información y Comunicación, Universidad de Costa Rica. 2015. Organizacao
    136. . SBSI 2015: Simpósio Brasileiro de Sistemas de Informação - Main Track. SBC e UFG. 2015. Organizacao
    137. . SBSI 2015: Simpósio Brasileiro de Sistemas de Informação - Special Track 2 - IS Applications and Tools. SBC e UFG. 2015. Organizacao
    138. . WICSA 2015 - CobRA - 1st International Workshop on Exploring Component-based Techniques for Constructing Reference Architectures. . 2015. Organizacao
    139. . SLISW-CLEI 2015 - Software Engineering Track of CLEI Symposium. Centro Latinoamericano de Estudios en Informática. 2015. Organizacao
    140. . CBSoft 2015 - Technical Program Committee for CBSoft 2015 - SAST. SBC - Sociedade Brasileira de Computação. 2015. Organizacao
    141. . SAC/2016: 31st ACM Symposium On Applied Computing. ACM - Association for Computing Machinery. 2015. Organizacao
    142. . WETICE/AROSA 2016 - International track on Adaptive and Reconfigurable Service-oriented and component-based Applications and Architectures. ReDCAD Research Unit - Department of Computer Science. 2016. Organizacao
    143. . SBSI 2016-Simpósio Brasileiro de Sistemas de Informação. SBC - Sociedade Brasileira de Computação. 2016. Organizacao
    144. . CLEI 2016 - SLISW. Pontificia Universidad Católica de Valparaíso (PUCV.cl) and Universidad Técnica Federico Santa María (UTFSM.cl).. 2016. Organizacao
    145. . WAMPS 2016 - XII Workshop Anual do MPS. Softex. 2016. Organizacao
    146. . WDES 2016 - Workshop on Dependability in Evolving Systems. Universidad del Cauca & Universidad de San Buenaventura. 2016. Organizacao
    147. . 35º JAI - Jornada de Atualização em Informática. Pontifícia Universidade Católica do Rio Grande do Sul. 2016. Organizacao
    148. . SiSoS 2017 - 32th ACM Symposium on Applied Computing (SAC). ACM Special Interest Group on Applied Computing (SIGAPP). 2016. Organizacao
    149. . SBQS. SBC. 2016. Nao_informado
    150. . ASOCA 2016. . 2016. Nao_informado
    151. . CIbSE 2017. ACM/IEEE. 2016. Nao_informado
    152. . CBSOFT 2015. SBC. 2015. Organizacao
    153. . CBSOFT 2016. SBC. 2016. Organizacao
    154. . CBSOFT 2017. SBC. 2017. Organizacao
    155. . CBSOFT 2018. SBC. 2018. Organizacao
    156. . 22° WIE - Workshop de Informática na Escola. SBC. 2016. Nao_informado

Lista de colaborações



(*) Relatório criado com produções desde 1970 até 2023
Data de processamento: 08/03/2023 08:58:44