skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: tipo de recurso: Artigos remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Generation of Java programs properties from test purposes
Generation of Java programs properties from test purposes
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Generation of Java programs properties from test purposes

Simone Hanazumi Ana Cristina Vieira de Melo; International Symposium on Software Testing and Analysis - ISSTA (2013 Lugano, Switzerland)

Proceedings New York : ACM, 2013

New York ACM 2013

Localização: IME - Inst. Matemática e Estatística    (PROD-3010309 )(Acessar)

2
Space-time and power-knowledge: a new epistéme?; Espaço-tempo e poder-saber. Uma nova epistéme? (Foucault e Bachelard)
Space-time and power-knowledge: a new epistéme?; Espaço-tempo e poder-saber. Uma nova epistéme? (Foucault e Bachelard)
Material Type:
Artigo 		Adicionar ao Meu Espaço

Space-time and power-knowledge: a new epistéme?; Espaço-tempo e poder-saber. Uma nova epistéme? (Foucault e Bachelard)

Barbosa, Elyana

Tempo Social; v. 7 n. 1/2 (1995); 111-120

Universidade de São Paulo. Faculdade de Filosofia, Letras e Ciências Humanas 1995-12-01

Acesso online

3
A formal approach to implement java exceptions in cooperative systems
A formal approach to implement java exceptions in cooperative systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

A formal approach to implement java exceptions in cooperative systems

Simone Hanazumi Ana Cristina Vieira de Melo

Journal of Systems and Software New York v. 131, p. 475-490, 2017

New York 2017

Localização: IME - Inst. Matemática e Estatística    (PROD-2864424 )(Acessar)

4
Quantification in data streams initial results
Quantification in data streams initial results
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Quantification in data streams initial results

André G Maletzke Denis M. dos Reis; Gustavo Enrique de Almeida Prado Alves Batista; Brazilian Conference on Intelligent Systems - BRACIS (6. 2017 Uberlândia)

Proceedings Piscataway : IEEE, 2017 978153862407

Piscataway IEEE 2017

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2867027 )(Acessar)

5
From test purposes to formal JPF properties
From test purposes to formal JPF properties
Material Type:
Artigo 		Adicionar ao Meu Espaço

From test purposes to formal JPF properties

Simone Hanazumi Ana Cristina Vieira de Melo; Corina S Pasareanu

Software Engineering Notes New York v. 40, n. 1, [5 p.], jan. 2015

New York 2015

Localização: IME - Inst. Matemática e Estatística    (PROD-2673807 )(Acessar)

6
Verification and accuracy comparison of commercial CFD codes using hydrodynamic instability
Verification and accuracy comparison of commercial CFD codes using hydrodynamic instability
Material Type:
Artigo 		Adicionar ao Meu Espaço

Verification and accuracy comparison of commercial CFD codes using hydrodynamic instability

Elmer Mateus Gennaro Leandro Guilherme Crenite Simões; Vinicius Malatesta; Danillo Cafaldo dos Reis; Marcello Augusto Faraco de Medeiros

Journal of the Brazilian Society of Mechanical Sciences and Engineering Heidelberg v. 36, n. 1, p. 59-68, Jan. 2014

Heidelberg 2014

Item não circula. Consulte sua biblioteca.(Acessar)

7
Direct numerical simulation code validation for compressible shear flows using linear stability theory
Direct numerical simulation code validation for compressible shear flows using linear stability theory
Material Type:
Artigo 		Adicionar ao Meu Espaço

Direct numerical simulation code validation for compressible shear flows using linear stability theory

Jônatas Ferreira Lacerda Leandro Franco de Souza; Josuel Kruppa Rogenski; Márcio Teixeira de Mendonça

Journal of Aerospace Technology and Management São José dos Campos, SP : Instituto de Aeronáutica e Espaço - Departamento de Ciência e Tecnologia Aeroespacial - DCTA (Scielo) v. 10, p. e2318-1-13, 2018

São Jose dos Campos, SP 2018

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2887468 )(Acessar)

8
Towards verification and testing of Java programs
Towards verification and testing of Java programs
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Towards verification and testing of Java programs

Ana Cristina Vieira de Melo Paulo Roberto de Araújo França Nunes; Kleber da Silva Xavier; Symposium on Applied Computing - SAC (2008 Fortaleza, Brasil)

Proceedings New York : ACM, 2008

New York ACM 2008

Localização: IME - Inst. Matemática e Estatística    (PROD-3010663 )(Acessar)

9
Model checking merged program traces
Model checking merged program traces
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Model checking merged program traces

Paulo Salem da Silva Ana Cristina Vieira de Melo; Brazilian Symposium on Formal Methods - SBMF (11. 2008 Salvador, Brasil)

Electronic Notes in Theoretical Computer Science Amsterdam v. 240, p. 97-112, 2009

Amsterdam Elsevier 2009

Localização: IME - Inst. Matemática e Estatística    (PROD-3010468 )(Acessar)

10
Reusing hardware components with single-state processes
Reusing hardware components with single-state processes
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Reusing hardware components with single-state processes

Ana Cristina Vieira de Melo Symposium on Integrated Circuits and Systems Design - SBCCI (12. 1999 Natal, Brasil)

Proceedings Piscataway : IEEE, 1999

Piscataway IEEE 1999

Localização: IME - Inst. Matemática e Estatística    (PROD-3011113 )(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 (37.389)
  2. Revistas revisadas por pares (32.223)
  3. Disponível na Biblioteca (15)

Data de Publicação 

De até
Refinar
  1. Antes de1966  (28)
  2. 1966Até1979  (254)
  3. 1980Até1993  (1.588)
  4. 1994Até2008  (7.488)
  5. Após 2008  (34.030)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (41.566)
  2. Japonês  (3.217)
  3. Chinês  (941)
  4. Espanhol  (206)
  5. Alemão  (188)
  6. Russo  (159)
  7. Francês  (137)
  8. Português  (135)
  9. Ndongo  (80)
  10. Coreano  (52)
  11. Polonês  (47)
  12. Croatian  (31)
  13. Árabe  (19)
  14. Tcheco  (18)
  15. Ucraniano  (16)
  16. Italiano  (13)
  17. Norueguês  (12)
  18. Indonésio  (12)
  19. Eslovaco  (11)
  20. Catalão  (10)
  21. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Melo, A
  2. Hanazumi, S
  3. Reis, D
  4. Batista, G
  5. Maletzke, A

Neste Assunto:

  1. Science & Technology
  2. Verification
  3. Technology
  4. Computer Science
  5. Engineering

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

Buscando em bases de dados remotas. Favor aguardar.