skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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)

2
This volume contains the papers presented at SBMF 2010... [Prefácio]
This volume contains the papers presented at SBMF 2010... [Prefácio]
Material Type:
Livro 		Adicionar ao Meu Espaço

This volume contains the papers presented at SBMF 2010... [Prefácio]

Jim Davies Leila Silva; Adenilso da Silva Simão; Brazilian Symposium on Formal Methods - SBMF (13. 2010 Natal)

Proceedings Heidelberg : Springer

Heidelberg Springer 2011

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

3
Formal methods foundations and applications
Formal methods foundations and applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods foundations and applications

Jim Davies Leila Silva; Adenilso da Silva Simão; Brazilian Symposium on Formal Methods - SBMF (13. 2010 Natal)

Proceedings Heidelberg : Springer

Heidelberg Springer 2011

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

4
Seleção de teste de regressão com dados históricos relato de experiência
Seleção de teste de regressão com dados históricos relato de experiência
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Seleção de teste de regressão com dados históricos relato de experiência

Camila Socolowski de Almeida Mário Jino; Marcelo Fantinato; Brazilian Workshop on Systematic and Automated Software Testing - SAST (4. 2010 Natal, RN); International Conference on Testing Software and Systems - ICTSS (22. 2010 Natal, RN); Brazilian Symposium on Formal Methods - SBMF (13. 2010 Natal, RN)

Proceedings Natal : SBC, 2010

Porto Alegre SBC 2010

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

5
Geração de dados de teste a partir de modelos de sistemas embarcados uma revisão sistemática
Geração de dados de teste a partir de modelos de sistemas embarcados uma revisão sistemática
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Geração de dados de teste a partir de modelos de sistemas embarcados uma revisão sistemática

Rodrigo Fraxino Araujo Vinícius Serapilha Durelli; Márcio Eduardo Delamaro; José Carlos Maldonado; Brazilian Symposium on Formal Methods - SBMF (2009 Gramado); Brazilian Workshop on Systematic and Automated Software Testing - SAST (3. 2009 Gramado)

Proceedings Porto Alegre : SBC, 2009

Porto Alegre SBC 2009

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

6
Exploring the OFIm framework to support the test of programs with GUIs
Exploring the OFIm framework to support the test of programs with GUIs
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Exploring the OFIm framework to support the test of programs with GUIs

Rafael Alves Paes de Oliveira Márcio Eduardo Delamaro; Fatima de Lourdes dos Santos Nunes Marques; Brazilian Workshop on Systematic and Automated Software Testing - SAST (4. 2010 Natal, RN); International Conference on Testing Software and Systems -ICTSS (22. 2010 Natal, RN); Brazilian Symposium on Formal Methods - SBMF (13. 2010 Natal, RN)

Anais Porto alegre : SBC, 2010

Porto Alegre SBC 2010

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

7
To test or not to test that is a formal question
To test or not to test that is a formal question
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

To test or not to test that is a formal question

Adenilso da Silva Simão Brazilian Symposium on Formal Methods - SBMF (18. 2015 Belo Horizonte, MG)

Lecture Notes in Computer Science Cham : Springer v. 9526, p. XIV-XV, 2015

Cham Springer 2015

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

8
Concurrent Softwre testing a systematic review
Concurrent Softwre testing a systematic review
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Concurrent Softwre testing a systematic review

Maria A. S. Brito Katia R Felizardo; Paulo Sérgio Lopes de Souza; Simone do Rocio Senger de Souza; Brazilian Workshop on Systematic and Automated Software Testing - SAST (4. 2010 Natal, RN); International Conference on Testing Software and Systems : short papers - ICTSS (22. 2010 Natal, RN); Brazilian Symposium on Formal Methods - SBMF (13. 2010 Natal, RN)

Anais Porto alegre : SBC, 2010

Porto Alegre SBC 2010

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

9
Toward the revision of CTL models through Kripke modal transition systems
Toward the revision of CTL models through Kripke modal transition systems
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Toward the revision of CTL models through Kripke modal transition systems

Paulo T Guerra Aline Andrade; Renata Wassermann; Brazilian Symposium on Formal Methods - SBMF (16. (2013 Brasilia, Brazil)

Proceedings Berlin : Springer, 2013

Berlin Springer 2013

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

10
PiStache implementing π-calculus in scala
PiStache implementing π-calculus in scala
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

PiStache implementing π-calculus in scala

Pedro Matiello Ana Cristina Vieira de Melo; Brazilian Symposium on Formal Methods - SBMF (14. 2011 São Paulo, Brasil)

Proceedings Berlin : Springer, 2011

Berlin Springer 2011

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

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

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (11)
  2. Livros  (2)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2009  (1)
  2. 2009Até2009  (2)
  3. 2010Até2010  (3)
  4. 2011Até2013  (4)
  5. Após 2013  (3)
  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.