CV Lattes
ResearcherID
Universidade de São Paulo (USP). Instituto de Ciências Matemáticas e de Computação (ICMC) (Institutional affiliation from the last research proposal) Birthplace: Brazil
bachelor's at Engenharia Elétrica from Universidade de São Paulo (1978), master's at Aerospace Engineering from Instituto Nacional de Pesquisas Espaciais (1983) and doctorate at Engenharia Elétrica - Computação e Automação from Universidade Estadual de Campinas (1991). Has experience in Computer Science, focusing on Software Engeneering, acting on the following subjects: teste de software, análise de mutantes, ferramentas de teste, teste estrutural and teste de especificações de software. (Source: Lattes Curriculum)
| Articles published in Pesquisa FAPESP Magazine about the researcher: |
| News published in Agência FAPESP Newsletter about the researcher |
| More itemsLess items |
| TITULO |
| Articles published in other media outlets ( ): |
| More itemsLess items |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
The focus of this proposal is the transfer of mathematical knowledge to other areas of science, technology and industry, through a structured research center specially tailored for this purpose. All mathematical knowledge is ultimately applicable, if not directly, through other areas of knowledge. In some areas the application of mathematics is almost immediate. However, the practical imp…
Software Engineering is an area in constant evolution and different methods, techniques, criteria and tools are developed constantly aiming to improve the way software products are designed, contributing to improving the quality of software products. Specifically, regarding software testing, agile methodologies with emphasis on unit testing and pair programming, test driven development pr…
The objective of this project is the acquisition of equipment designed to support the monitoring of existing assets are located in buildings where the research laboratories, ICMC-1 and ICMC-6, in order to ensuring the preservation of the patrimony installed there. (AU)
Software architectures play a major role in determining system quality. In particular, reference architectures can be considered an element that aggregates knowledge of a specific domain, promoting the reuse of this knowledge and supporting the software system development. However, processes to establish and evaluate reference architectures are not completely consolidated yet. Thus, based…
(Only some records are available in English at this moment)
Systematic Literature Review (SLR) is a methodology used to aggregate and summarize all relevant evidence of a specific research question. One of the activities associated with the SLR process is the selection of primary studies, which can be arduous, particularly when the researcher faces large volumes of primary studies. Visual Text Mining (VTM) can be used to support different activiti…
Systematic revisions have been adopted in Software Engineering as a way to gather data and information from different experimental studies, allowing the combination of these results to characterise costs and benefits associated with a certain technology or development environment/tool. The process of conducting a systematic revision, although relevant, is costly and, in many situations, s…
| 1 / 1 | Ongoing research grants |
| 15 / 7 | Completed research grants |
| 24 / 3 | Completed scholarships in Brazil |
| 40 / 11 | All research grants and scholarships |
| Associated processes | |