Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Entrevista concedida a José Albertino Rodrigues (Departamento de Ciências Sociais, UFSCar) e Vera Rita da Costa (Ciência Hoje). Publicada em maio de 1989Azis SimãoCientistas do Brasil: depoimentos São Paulo : SBPC, 1998São Paulo SBPC 1998Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (Simão, A doc 3 ) e outros locais(Acessar) |
2 |
Material Type: Dissertação de Mestrado
|
![]() |
Avaliação de atributos de testabilidade para sistemas de suporte à decisãoGeromini, Marcos FernandoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2016-03-11Acesso online. A biblioteca também possui exemplares impressos. |
3 |
Material Type: Dissertação de Mestrado
|
![]() |
Uma estratégia para a minimização de máquinas de estados finitos parciaisAlberto, Alex Donizeti BetezBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2009-04-22Acesso online. A biblioteca também possui exemplares impressos. |
4 |
Material Type: Dissertação de Mestrado
|
![]() |
Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estadosPinheiro, Arineiza CristinaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2012-06-22Acesso online. A biblioteca também possui exemplares impressos. |
5 |
Material Type: Tese de Doutorado
|
![]() |
Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/SaídaPaiva, Sofia Larissa Da CostaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2016-03-16Acesso online. A biblioteca também possui exemplares impressos. |
6 |
Material Type: Dissertação de Mestrado
|
![]() |
PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes.Simão, Adenilso Da SilvaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2000-03-17Acesso online. A biblioteca também possui exemplares impressos. |
7 |
Material Type: Tese de Doutorado
|
![]() |
Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UMLRocha, Mauricio Rêgo Mota DaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2020-12-17Acesso online |
8 |
Material Type: Relatório Técnico
|
![]() |
Formal testing approaches for service-oriented architectures and web services a systematic reviewAndré Takeshi Endo Adenilso da Silva SimãoSão Carlos ICMC-USP 2010Localização: ICMC - Inst. Ciên. Mat. Computação (RT SSc nº348 E56ft e.1 ) e outros locais(Acessar) |
9 |
Material Type: Relatório Técnico
|
![]() |
Módulo para geração de casos de teste a partir de máquinas de estados finitos parciaisJorge Francisco Cutigi Adenilso da Silva SimãoSão Carlos ICMC-USP 2006Localização: ICMC - Inst. Ciên. Mat. Computação (RT SCE n.286 C988mp e.1 ) e outros locais(Acessar) |
10 |
Material Type: Relatório Técnico
|
![]() |
Um mapeamento sistemático sobre a geração de casos de teste para sistemas de transição com entrada e saídaSofia Larissa da Costa Paiva Adenilso da Silva SimãoSão Carlos ICMC-USP 2014Localização: ICMC - Inst. Ciên. Mat. Computação (RT-SCC nº396 ) e outros locais(Acessar) |