1 - 10 de 53 para null
- Disponível na Biblioteca (34)
- Recursos Online (3)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo de Congresso
|
|
MuDeL a language and a system for descibing and generating mutantsAdenilso da Silva Simão José Carlos Maldonado; Simposio Brasileiro de Engenharia de Software (15 2001 Rio de Janeiro)Anais Rio de Janeiro: UFRJ, 2001Rio de Janeiro UFRJ 2001Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1214530 ) e outros locais(Acessar) |
| 2 |
Material Type: Dissertação de Mestrado
|
|
Definição de Mecanismos para Avaliação de Qualidade de Produtos de SoftwareSimão, Vangrei FonsecaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2001-09-10Acesso online. A biblioteca também possui exemplares impressos. |
| 3 |
Material Type: Artigo de Congresso
|
|
O ambiente MASENV e seu uso no projeto NALAMASJaime S. Sichman (Jaime Simão) 1962- Workshop do Projeto Nalamas (2. 1997 Porto Alegre)Anais Porto Alegre : PUCRS, 1997Porto Alegre PUCRS 1997Item não circula. Consulte sua biblioteca.(Acessar) |
| 4 |
Material Type: Artigo de Congresso
|
|
Expansão rápida da maxila no tratamento da atresia maxilar relato de um caso clínicoT. M. Simão Fausto Silva Bramante; Renato Rodrigues de Almeida; José Fernando Castanha Henriques; Jornada Acadêmica de Araçatuba (22. 2002 Araçatuba, SP)Anais Araçatuba : FOA-UNESP, 2002Araçatuba FOA-UNESP 2002Item não circula. Consulte sua biblioteca.(Acessar) |
| 5 |
Material Type: Artigo de Congresso
|
|
A family of coverage testing criteria for coloured petri netsAdenilso da Silva Simão Simone do Rocio Senger de Souza; José Carlos Maldonado; Simpósio Brasileiro de Engenharia de Software (17. 2003 Manaus)Anais Manaus: Editora da UFA, 2003Manaus Editora da UFA 2003Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1338895 ) e outros locais(Acessar) |
| 6 |
Material Type: Artigo de Congresso
|
|
Experimental evaluation of coverage criteria for FSM-based testingAdenilso da Silva Simão Alexandre Petrenko; José Carlos Maldonado; Simpósio Brasileiro de Engenharia de Software 21 2007 João PessoaAnais [s.l.s.n.], 2007s.l. s.n. 2007Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1626460 ) e outros locais(Acessar) |
| 7 |
Material Type: Artigo de Congresso
|
|
MGASet - uma ferramenta para apoiar o teste e validação de especificações baseadas em máquinas de estado finitoMarco Arthur Pereira Candolo Adenilso da Silva Simão; José Carlos Maldonado; Simposio Brasileiro de Engenharia de Software (15 2001 Rio de Janeiro)Anais Rio de Janeiro: COPPE/UFRJ, 2001Rio de Janeiro COPPE/UFRJ 2001Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1223889 ) e outros locais(Acessar) |
| 8 |
Material Type: Artigo de Congresso
|
|
Proteum/sml uma ferramenta de apoio ao teste de mutação para a linguagem standard mlThaise Yano Adenilso da Silva Simão; José Carlos Maldonado; Simpósio Brasileiro de Engenharia de Software (17. 2003 Manaus); Sessão de Ferramentas (10. 2003 Manaus)Anais Manaus: Editora da UFA,2003Manaus Editora da UFA 2003Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1338914 ) e outros locais(Acessar) |
| 9 |
Material Type: Artigo de Congresso
|
|
Definição de mecanismos para avaliação de qualidade de produtos de softwareVangrei Fonseca Simão José Carlos Maldonado; Workshop de Teses e Dissertações em Andamento do ICMC/USP (4. 1999 São Carlos)Anais São Carlos : ICMC-USP, 1999São Carlos ICMC-USP 1999Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1040341 ) e outros locais(Acessar) |
| 10 |
Material Type: Artigo de Congresso
|
|
EvalTool um ambiente de apoio à avaliação e seleção de ferramentas de teste para programas orientados a objetosAndré Luís dos Santos Domingues Adenilso da Silva Simão; Auri Marcelo Rizzo Vincenzi; José Carlos Maldonado; Simpósio Brasileiro de Engenharia de Software (16. 2002 Gramado)Anais Porto Alegre: Instituto de Informática da UFRGS, 2002Porto Alegre Instituto de Informática da UFRGS 2002Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1275907 ) e outros locais(Acessar) |
1 - 10 de 53 para null
Personalize Seus Resultados
Refine Search Results
Mostrar Somente
- Disponível na Biblioteca (34)
- Recursos Online (3)
Refinar Meus Resultados
Assunto
- Engenharia De Software (21)
- Inteligência Artificial (6)
- Sistemas De Informação (5)
- Neoplasias (3)
- Sistemas Multiagentes (3)
- Enzimas (Produção) (2)
- Maxilar (2)
- Resíduos Agrícolas (1)
- Expansão Rápida Da Maxila (1)
- Redes De Petri (1)
- Not Available (1)
- Computação Aplicada (1)
- Maloclusão De Angle Classe Ii (1)
- PROFISSIONAIS DA SAÚDE (PERCEPÇÃO) (1)
- Análise De Mutantes (1)
- Oftalmoscopia (1)
- Bovinocultura (1)
- Software Engineering (1)
- Malária (1)
- Cuidados Integrais De Saúde (1)
-
Mais opções
Autor/Criador
- Simão, A (23)
- Maldonado, J (21)
- Simpósio Brasileiro de Engenharia de Software (11)
- Sichman, J (11)
- Cutigi, J (5)
- Simão, T (5)
- Henriques, J (4)
- Evangelista, A (3)
- Encontro Nacional de Inteligência Artificial (3)
- Jornada Odontológica de Bauru (3)
- Vincenzi, A (3)
- Sessão de Ferramentas (3)
- Simposio Brasileiro de Engenharia de Software (3)
- Ribeiro, P (3)
- Simão, V (3)
- Workshop deTeses e Dissertações em Andamento - ICMC/USP (2)
- Masiero, P (2)
- Simpósio Brasileiro de Métodos Formais - SBMF (2)
- Simpósio de Teses e Dissertações (2)
- Workshop Brasileiro de Teste de Software Sistemático - SAST (2)
-
Mais opções
Data de Publicação
- Antes de2000 (12)
- 2000Até2003 (20)
- 2004Até2009 (8)
- 2010Até2019 (8)
- Após 2019 (5)
-
Mais opções
Biblioteca
Idioma
- Português (38)
- Inglês (15)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 