CV Lattes
Universidade Federal de São Carlos (UFSCAR). Centro de Ciências Exatas e de Tecnologia (CCET) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Possui graduação em Tecnologia em Processamento de Dados pela Universidade Federal de São Carlos (UFSCar - 1979), mestrado em Administração, com ênfase em Sistemas de Informação, pela Universidade Federal do Rio de Janeiro (COPPEAD - 1983) e doutorado em Administração, com ênfase em Métodos Quantitativos/Sistemas de Informação, pela Universidade de São Paulo (FEA - 1990). De 1993 a 1995, realizou pós-doutorado no Center for Software and Systems Engineering da Universidade do Colorado, em Colorado Springs, Estados Unidos, desenvolvendo estudos sobre Engenharia de Requisitos de Sistemas de Tempo Real. Atualmente é professora da Universidade Federal de Itajubá, onde atua em cursos de graduação e de pós-graduação. Tem experiência na área de Computação, com ênfase em Sistemas de Informação e Engenharia de Software, atuando principalmente nos seguintes temas: engenharia de requisitos, métodos e técnicas de desenvolvimento de software, qualidade de software, e desenvolvimento de aplicações educacionais. Atua também na avaliação de processos e produtos de software, incluindo avaliação de sistemas de realidade virtual e aumentada. (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) |
O projeto enfoca a especificação e validação de Sistemas de Tempo Real (STR), visando o desenvolvimento de um ambiente de software que possibilite: (1) Especificação baseada em uma representação canônica de múltiplas visões de requisitos, integrando métodos orientados para STR, como rede de Petri, análise estruturada, orientação a objetos, etc.; e (2) Validação, baseada na análise de requ…
Este projeto prevê a definição e detalhamento de processos e técnicas que visam facilitar o desenvolvimento de ambientes virtuais, proposto com base nos conceitos de engenharia de software e nas peculiaridades das aplicações de realidade virtual. As etapas, atividades e técnicas do processo proposto serão definidas e ilustradas através de um estudo de caso de um ambiente virtual do tipo w…
Este projeto enfoca a etapa de engenharia de requisitos de software, visando a produção de especificações de alta qualidade. Neste contexto, é explorado o método SCR (Software Cost Reduction), que é um método formal para a especificação e validação de sistemas complexos. O principal resultado pretendido é uma ferramenta que apóie os engenheiros de software na utilização do SCR. (AU)
O projeto enfoca a especificação de Sistemas de Tempo Real (STR), visando o desenvolvimento de uma abordagem que possibilite a representação de múltiplas visões dos requisitos do sistema, criadas a partir do uso de diferentes métodos ou técnicas. Os tópicos principais do projeto são: (1) Estudo de métodos para especificação de STR; (2) Desenvolvimento de um metamodelo que apóie especifica…
Pretende-se estudar o processo de especificação de software, particularmente o de sistemas críticos de tempo Real (HRTS). Isto incluirá a análise de métodos, técnicas e ferramentas existentes; estudo detalhado da abordagem canônica para especificação de requisitos (CR) e da ferramenta TINA (propostas por Alan M. Davis, da UCCS) e extensão e adaptação de CR e TINA, visando o atendimento de…