skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Engenharia De Software remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Models for the modern power grid
Models for the modern power grid
Material Type:
Artigo 		Adicionar ao Meu Espaço

Models for the modern power grid

Cardieri, Paulo, 1964- Universidade Estadual de Campinas (Unicamp); Universidade Estadual De Campinas

https://repositorio.unicamp.br/acervo/detalhe/1191204

2014

Acesso online

2
Manual de uso viewcvs
Manual de uso viewcvs
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Manual de uso viewcvs

Sandra Regina Quadros Moraes da Silva João Carlos Vieira Ignácio Junior; Renata Pontin de Mattos Fortes

São Carlos ICMC-USP 2004

Localização: ICMC - Inst. Ciên. Mat. Computação    (RT SCE n.245 S586m e.1 ) e outros locais(Acessar)

3
Proceedings of the 22nd IFIP International Conference on Testing Software and Systems short papers
Proceedings of the 22nd IFIP International Conference on Testing Software and Systems short papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Proceedings of the 22nd IFIP International Conference on Testing Software and Systems short papers

Alexandre Petrenko Adenilso da Silva Simão; José Carlos Maldonado

Porto Alegre SBC 2010

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2138153 ) e outros locais(Acessar)

4
PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes.
PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes.
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes.

Simão, Adenilso Da Silva

Biblioteca 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-17

Acesso online. A biblioteca também possui exemplares impressos.

5
Estudo de teste de mutação para a linguagem standard ML
Estudo de teste de mutação para a linguagem standard ML
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Estudo de teste de mutação para a linguagem standard ML

Thaise Yano Adenilso da Silva Simão; José Carlos Maldonado; Conferencia Latinoamericana en Informática (2004 Arequipa)

CLEI 2004 Arequipa, 2004

Arequipa 2004

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-1402011 ) e outros locais(Acessar)

6
Using denotational semantics in the validation of the compiler for a mutation-oriented language
Using denotational semantics in the validation of the compiler for a mutation-oriented language
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Using denotational semantics in the validation of the compiler for a mutation-oriented language

Adenilso da Silva Simão José Carlos Maldonado; Roberto da Silva Bigonha; Workshop on Formal Methods (5. 2002 Gramado)

Proceedings Porto Alegre : Instituto de Informática da UFRGS, 2002

Porto Alegre Instituto de Informática da UFRGS 2002

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-1275840 ) e outros locais(Acessar)

7
Model-driven development of learning objects
Model-driven development of learning objects
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Model-driven development of learning objects

Marco Aurélio Graciotto Silva Ellen Francine Barbosa; José Carlos Maldonado; Frontiers in Education Conference - FIE (41. 2011 Rapid City, South Dakota)

Proceedings Piscataway : IEEE, 2011

Piscataway IEEE 2011

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2239476 ) e outros locais(Acessar)

8
Criterio da analise de mutantes na validacao de sistemas reativos
Criterio da analise de mutantes na validacao de sistemas reativos
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Criterio da analise de mutantes na validacao de sistemas reativos

F T Yoiti F L V Silva; José Carlos Maldonado; S C P F Fabbri; Simposio de Iniciacao Cientifica da Universidade de São Paulo (4. 1996 São Carlos)

Simposio de Iniciacao Cientifica da Universidade de Sao Paulo, 4 Sao Carlos : Icmsc-Usp, 1996 [Resumos]

Sao Carlos Icmsc-Usp 1996

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-911917 ) e outros locais(Acessar)

9
Integrated teaching of programming foundations and software testing
Integrated teaching of programming foundations and software testing
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Integrated teaching of programming foundations and software testing

Ellen Francine Barbosa Marco A. G Silva (Marco Aurélio Gracioto Silva); Camila K. D Corte (Camila Kozlowski Della Corte); José Carlos Maldonado; IEEE International Symposium on Software Reliability Engineering (17. 2006 Raleigh)

Raleigh, 2006

Santiago 2006

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-1563282 ) e outros locais(Acessar)

10
Proteum/sml uma ferramenta de apoio ao teste de mutação para a linguagem standard ml
Proteum/sml uma ferramenta de apoio ao teste de mutação para a linguagem standard ml
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Proteum/sml uma ferramenta de apoio ao teste de mutação para a linguagem standard ml

Thaise 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,2003

Manaus Editora da UFA 2003

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-1338914 ) e outros locais(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (8)
  2. Disponível na Biblioteca (61)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (54)
  2. Livros  (5)
  3. Produções Acadêmicas  (2)
  4. Produções Técnicas  (2)
  5. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.