ReP USP - Resultado da busca

Filtros : "VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE" "ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS" Limpar

Filtros

Dissertação (Mestrado)
Depuração de programas baseada em cobertura de integração (2012)
Souza, Higor Amario de; Chaim, Marcos Lordello (Orientador)
Unidade: EACH
Assuntos: TESTE E AVALIAÇÃO DE SOFTWARE, VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE, ANÁLISE DE ERROS, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS, GERAÇÃO DE CÓDIGO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUZA, Higor Amario de. Depuração de programas baseada em cobertura de integração. 2012. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2012. Disponível em: http://www.teses.usp.br/teses/disponiveis/100/100131/tde-08032013-162246/. Acesso em: 02 dez. 2025.
APA
Souza, H. A. de. (2012). Depuração de programas baseada em cobertura de integração (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/100/100131/tde-08032013-162246/
NLM
Souza HA de. Depuração de programas baseada em cobertura de integração [Internet]. 2012 ;[citado 2025 dez. 02 ] Available from: http://www.teses.usp.br/teses/disponiveis/100/100131/tde-08032013-162246/
Vancouver
Souza HA de. Depuração de programas baseada em cobertura de integração [Internet]. 2012 ;[citado 2025 dez. 02 ] Available from: http://www.teses.usp.br/teses/disponiveis/100/100131/tde-08032013-162246/
Tese (Doutorado)
Um método de refinamento para desenvolvimento de software embarcado: uma abordagem baseada em UML-RT e especificações formais (2007)
Polido, Marcelo Figueiredo; Maruyama, Newton (Orientador)
Unidade: EP
Assuntos: ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS, SISTEMAS DE TEMPO-REAL, SISTEMAS EMBUTIDOS, VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE, UML
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
POLIDO, Marcelo Figueiredo. Um método de refinamento para desenvolvimento de software embarcado: uma abordagem baseada em UML-RT e especificações formais. 2007. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2007. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3132/tde-03082007-181907/. Acesso em: 02 dez. 2025.
APA
Polido, M. F. (2007). Um método de refinamento para desenvolvimento de software embarcado: uma abordagem baseada em UML-RT e especificações formais (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3132/tde-03082007-181907/
NLM
Polido MF. Um método de refinamento para desenvolvimento de software embarcado: uma abordagem baseada em UML-RT e especificações formais [Internet]. 2007 ;[citado 2025 dez. 02 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3132/tde-03082007-181907/
Vancouver
Polido MF. Um método de refinamento para desenvolvimento de software embarcado: uma abordagem baseada em UML-RT e especificações formais [Internet]. 2007 ;[citado 2025 dez. 02 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3132/tde-03082007-181907/

Biblioteca Digital de Produção Intelectual da Universidade de São Paulo 2012 - 2025