Výsledky vyhledávání - "programas Java"

Ambiente de testes utilizando verificação de componentes java com tratamento de exceções

Test environment using property checking of Java components with exception handling

Autoři: Xavier, Kleber da Silva

Thesis Advisors: Melo, Ana Cristina Vieira de

Témata: exception handling, Java programs, Object-oriented testing, programas Java, testes, testing, tratamento de exceções, verificação formal

Popis souboru: application/pdf

Dostupnost: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082008-134008/

Ambiente de testes utilizando verificação de componentes java com tratamento de exceções

Test environment using property checking of Java components with exception handling

Autoři: Kleber da Silva Xavier

Thesis Advisors: Ana Cristina Vieira de Melo, Patricia Duarte de Lima Machado, Francisco Carlos da Rocha Reverbel

Zdroj: Biblioteca Digital de Teses e Dissertações da USPUniversidade de São PauloUSP.

Témata: programas Java, testes, tratamento de exceções, verificação formal, exception handling, Java programs, Object-oriented testing, testing

Dostupnost: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082008-134008/

Ambiente de testes utilizando verificação de componentes java com tratamento de exceções ; Test environment using property checking of Java components with exception handling

Autoři: Xavier, Kleber da Silva Melo, Ana Cristina Vieira de

Přispěvatelé: Xavier, Kleber da Silva Melo, Ana Cristina Vieira de

Témata: programas Java, testes, tratamento de exceções, verificação formal, exception handling, Java programs, Object-oriented testing, testing

Popis souboru: application/pdf

Dostupnost: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082008-134008/
https://doi.org/10.11606/D.45.2008.tde-11082008-134008