CV Lattes
Ministério da Defesa (Brasil). Departamento de Ciência e Tecnologia Aeroespacial (DCTA). Instituto de Aeronáutica e Espaço (IAE) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Possui doutorado em Computação Aplicada pelo Instituto Nacional de Pesquisas Espaciais (1999) e pós-doutorado na área de verificação e validação de sistemas aeroespaciais na Naval Postgraduate School (NPS), Monterey, USA. Pesquisadora no Instituto de Aeronáutica e Espaço pertencente ao Comando Geral de Tecnologia Aeroespacial, em São José dos Campos. Principal área de atuação: verificação e validação de sistemas críticos de tempo real. Experiência com o desenvolvimento de sistemas aeronáuticos e espaciais desde 1995. Atualmente, atua mais intensamente em sistemas de missão crítica no segmento espacial e de solo. (Fonte: Currículo Lattes)
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
A necessidade de especificações melhores e abordagens de verificação mais apropriadas para sistemas de software de missão crítica têm crescido exponencialmente nos últimos anos. Os sistemas desenvolvidos pela indústria e pelo governo crescem em tamanho e complexidade, exigindo que o desenvolvedor e o cliente tenham completa segurança de que o projeto do produto está correto e que ele aten…
| 1 | Bolsas no exterior concluídas |
| Processos vinculados | |