skip to main content
Idioma:
Refinado por: autor: Melo, A remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Classificação e busca de componentes com tratamento de exceções
Classificação e busca de componentes com tratamento de exceções
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Classificação e busca de componentes com tratamento de exceções

Tsai, Luciana Setsuko Gakiya

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2008-08-12

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

2
Composição de fluxo de controle em frameworks Java
Composição de fluxo de controle em frameworks Java
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Composição de fluxo de controle em frameworks Java

Bruno Martins Moutinho Ana Cristina Vieira de Melo; Simpósio Brasileiro de Engenharia de Software - SBES (14. 2000 João Pessoa, PB); Workshop de Teses e Dissertações em Engenharia de Software - WTES (2000 João Pessoa, PB)

Anais Porto Alegre : SBC, 2000

Porto Alegre SBC 2000

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

3
Geração de propriedades sobre programas Java a partir de objetivos de teste
Geração de propriedades sobre programas Java a partir de objetivos de teste
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Geração de propriedades sobre programas Java a partir de objetivos de teste

Hanazumi, Simone

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2015-10-29

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

4
Ambiente de testes utilizando verificação de componentes java com tratamento de exceções
Ambiente de testes utilizando verificação de componentes java com tratamento de exceções
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

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

Xavier, Kleber Da Silva

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2008-04-17

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

5
Coordinating exceptions of Java systems implementation and formal verification
Coordinating exceptions of Java systems implementation and formal verification
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Coordinating exceptions of Java systems implementation and formal verification

Simone Hanazumi Ana Cristina Vieira de Melo; International Conference on the Quality of Information and Communications Technology - QUATIC (8. 2012 Lisbon, Portugal)

Proceedings Piscataway : IEEE, 2012

Piscataway IEEE 2012

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

6
On the composition of Java frameworks control-flows
On the composition of Java frameworks control-flows
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

On the composition of Java frameworks control-flows

Ana Cristina Vieira de Melo Bruno Martins Moutinho; Symposium on Applied Computing - SAC (2003 Melbourne, Florida)

Proceedings New York : ACM, 2003

New York ACM 2003

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

7
Teste e verificação formal do comportamento excepcional de programas Java
Teste e verificação formal do comportamento excepcional de programas Java
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Teste e verificação formal do comportamento excepcional de programas Java

Martins, Alexandre Locci

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2014-06-09

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

8
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)

9
Geração parcial de código Java a partir de especificações formais Z.
Geração parcial de código Java a partir de especificações formais Z.
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Geração parcial de código Java a partir de especificações formais Z.

Miyazawa, Alvaro Heiji

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2008-10-03

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

10
Testing Java exceptions an instrumentation technique
Testing Java exceptions an instrumentation technique
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Testing Java exceptions an instrumentation technique

Alexandre Locci Martins Simone Hanazumi; Ana Cristina Vieira de Melo; IEEE International Computer Software and Application Conference - COMPSAC (38. 2014 Vasteras, Sweden)

IEEE 38th Annual International Computers, Software and Applications Conference Workshops: proceedings Los Alamitos: IEEE, 2014

Los Alamitos IEEE 2014

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (12)
  2. Produções Acadêmicas  (5)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2003  (1)
  2. 2003Até2007  (1)
  3. 2008Até2008  (5)
  4. 2009Até2012  (3)
  5. Após 2012  (7)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.