CV Lattes
Universidade de São Paulo (USP). Escola Politécnica (EP) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Possui graduação em Engenharia Eletrônica pela Universidade Federal do Rio de Janeiro (1973), mestrado em Engenharia Elétrica pela Universidade de São Paulo (1992) e doutorado em Engenharia Elétrica pela Universidade de São Paulo (1998). Atualmente é professor doutor aposentado da Universidade de São Paulo, professor do Mestrado Profissional do Instituto de Pesquisas Tecnológicas do Estado de São Paulo e Professor do Programa de Educação Continuada (PECE) da Escola Politécnica da Universidade de São Paulo. Tem larga experiência na área da Engenharia da Computação e Ciência da Computação, atuando principalmente nas áreas: requisitos de sistemas de software e ciberfísicos, especificações formais de software e ciberfísicos, verificação e validação formais de sistemas computacionais críticos seguros, projeto (design), arquitetura, testes e implementação de softwares de larga escala. Ampla experiência em gestão técnica de projetos (projects) de software de média e larga escala. (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 análise do processo de negócio é uma atividade que permite o entendimento do contexto da empresa antes da definição dos requisitos de um software. Apesar de as metas e os requisitos do software estarem diretamente ligados ao processo de negócio, não há uma transformação ou um mapeamento detalhado que permita obtê-los a partir do processo modelado. Nesse quadro, o objetivo deste projeto …
| 1 | Bolsas no país concluídas |
| Processos vinculados | |