Resultados de 1 a 10 de 21 para Busca Geral
Ordenado por:
Ordenado por:
Data mais antigaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
Refinado por:
autor:
Melo, A
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Dissertação de Mestrado
|
|
Composição de fluxos de controle de frameworks javaMoutinho, Bruno MartinsBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2001-10-22Acesso online. A biblioteca também possui exemplares impressos. |
| 2 |
Material Type: Dissertação de Mestrado
|
|
Um estudo de um protocolo de comunicação para dispositivos móveis usando Distributed Join-CalculusTabuti, Lucy MariBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2002-09-30Acesso online |
| 3 |
Material Type: Dissertação de Mestrado
|
|
Uso de redes bayesianas no gerenciamento de manutenção de softwareSanchez, Adilson De JesusBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2003-03-20Acesso online. A biblioteca também possui exemplares impressos. |
| 4 |
Material Type: Dissertação de Mestrado
|
|
Uma técnica de verificação para `pi¦-calculus baseada em bi-simulação up-to e algoritmos de particionamentoAmorim, Marcelo De MouraBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2003-04-04Acesso online |
| 5 |
Material Type: Dissertação de Mestrado
|
|
Um estudo sobre teste versus verificação formal de programas JavaPrudente, Leandro CésarBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2004-04-14Acesso online |
| 6 |
Material Type: Dissertação de Mestrado
|
|
Classificação semi-automática de componentes JavaMelo, Claudia De OliveiraBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2006-09-29Acesso online |
| 7 |
Material Type: Dissertação de Mestrado
|
|
Integração de verificadores formais para agentes móveisAndrade, André GustavoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2007-03-16Acesso online. A biblioteca também possui exemplares impressos. |
| 8 |
Material Type: Dissertação de Mestrado
|
|
Um framework para coordenação do tratamento de exceções em sistemas tolerantes a falhasPereira, David PauloBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2007-03-09Acesso online. A biblioteca também possui exemplares impressos. |
| 9 |
Material Type: Dissertação de Mestrado
|
|
Classificação e busca de componentes com tratamento de exceçõesTsai, Luciana Setsuko GakiyaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2008-08-12Acesso online. A biblioteca também possui exemplares impressos. |
| 10 |
Material Type: Dissertação de Mestrado
|
|
Geração parcial de código Java a partir de especificações formais Z.Miyazawa, Alvaro HeijiBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2008-10-03Acesso online. A biblioteca também possui exemplares impressos. |
Resultados de 1 a 10 de 21 para Busca Geral
Ordenado por:
Ordenado por:
Data mais antigaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Assunto
- Técnicas De Programação (6)
- Engenharia De Software (5)
- Engenharia De Programas (4)
- Java (4)
- Testes (3)
- Verificação Formal (3)
- Formal Specification (2)
- Softwares (2)
- Formal Methods (2)
- Testing (2)
- Repositório (2)
- Métodos Formais (2)
- Tratamento De Exceções (2)
- Exception Handling (2)
- Formal Verification (2)
- Especificação Formal (2)
- Componentes (2)
- Database (1)
- Produtividade (1)
- Compilação (1)
-
Mais opções
Autor/Criador
- Hanazumi, S (3)
- Martins, A (2)
- Miyazawa, A (1)
- Silva, L (1)
- Tsai, L (1)
- Moutinho, B (1)
- Melo, C (1)
- Sanchez, A (1)
- Xavier, K (1)
- Amorim, M (1)
- Prudente, L (1)
- Andrade, A (1)
- IEEE International Computer Software and Application Conference - COMPSAC (1)
- Pereira, D (1)
- Menezes, E (1)
- Loureiro, C (1)
- Jesus, J (1)
- Stevaux, R (1)
- Tabuti, L (1)
-
Mais opções
Data de Publicação
- Antes de2004 (4)
- 2004Até2007 (4)
- 2008Até2013 (6)
- 2014Até2018 (5)
- Após 2018 (2)
-
Mais opções
Biblioteca
Idioma
- Português (19)
- Inglês (2)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 