skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Biblioteca: IME - Inst. Matemática e Estatística remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A study on the potential active names of π-agents
A study on the potential active names of π-agents
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A study on the potential active names of π-agents

Ana Cristina Vieira de Melo Brazilian Workshop on Formal Methods - WMF (2003 Campina Grande)

Electronic Notes in Theoretical Computer Science Amsterdam v. 95, p. 269-286, 2004

Amsterdam 2004

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

2
From active names to π-calculus rewriting rules
From active names to π-calculus rewriting rules
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

From active names to π-calculus rewriting rules

Ana Cristina Vieira de Melo Brazilian Symposium on Formal Methods - SBMF (2004 Recife)

Electronic Notes in Theoretical Computer Science Amsterdam v. 130, p. 169-185, 2005

Amsterdam 2005

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

3
Princípios de linguagens de programação
Princípios de linguagens de programação
Material Type:
Livro 		Adicionar ao Meu Espaço

Princípios de linguagens de programação

Ana Cristina Vieira de Melo Flávio Soares Corrêa da Silva

São Paulo Edgard Blucher 2003

Localização: IME - Inst. Matemática e Estatística    (QA724 M528p ) e outros locais(Acessar)

4
Integração de verificadores formais para agentes móveis
Integração de verificadores formais para agentes móveis
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Integração de verificadores formais para agentes móveis

Andrade, André Gustavo

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

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

5
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.

6
Uso de redes bayesianas no gerenciamento de manutenção de software
Uso de redes bayesianas no gerenciamento de manutenção de software
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Uso de redes bayesianas no gerenciamento de manutenção de software

Sanchez, Adilson De Jesus

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

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

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
Um método para a implementação de regras de negócio à partir da semântica SBVR
Um método para a implementação de regras de negócio à partir da semântica SBVR
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Um método para a implementação de regras de negócio à partir da semântica SBVR

Jesus, Jandisson Soares De

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

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

9
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.

10
Um modelo para a estimação da dívida técnica baseado em produtividade
Um modelo para a estimação da dívida técnica baseado em produtividade
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Um modelo para a estimação da dívida técnica baseado em produtividade

Jesus, Jandisson Soares De

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

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (7)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (93)
  2. Produções Acadêmicas  (32)
  3. Livros  (16)
  4. Produções Técnicas  (14)
  5. Outros  (1)
  6. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1998  (10)
  2. 1998Até2003  (25)
  3. 2004Até2009  (32)
  4. 2010Até2016  (51)
  5. Após 2016  (39)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (99)
  2. Português  (60)
  3. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Melo, A
  2. Silva, F
  3. Silva, P
  4. Melo, C
  5. Alencar, A

Neste Assunto:

  1. Engenharia De Software
  2. Java
  3. Inteligência Artificial
  4. Engenharia De Programas
  5. Desenvolvimento De Software

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

Buscando em bases de dados remotas. Favor aguardar.