skip to main content
Idioma:
Refinado por: assunto: Software remover assunto: Testen remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Empirical Methods and Studies in Software Engineering: Experiences from ESERNET
Empirical Methods and Studies in Software Engineering: Experiences from ESERNET
Material Type:
Livro 		Adicionar ao Meu Espaço

Empirical Methods and Studies in Software Engineering: Experiences from ESERNET

Conradi, Reidar ; Wang, Alf Inge Conradi, Reidar ; Wang, Alf Inge

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Texto completo disponível

Citações Citado por
2
Empirical Software Engineering and Verification: International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
Empirical Software Engineering and Verification: International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Empirical Software Engineering and Verification: International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures

Meyer, Bertrand ; Nordio, Martin Meyer, Bertrand ; Nordio, Martin

Netherlands: Springer Nature 2012

Texto completo disponível

Citações Citado por
3
FME 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings
FME 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

FME 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings

Araki, Keijiro ; Gnesi, Stefania ; Mandrioli, Dino Gnesi, Stefania ; Araki, Keijiro ; Mandrioli, Dino

Berlin, Heidelberg: Springer Berlin Heidelberg 2003

Texto completo disponível

Citações Citado por
4
Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Revised Papers
Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Revised Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Revised Papers

Petrenko, Alexandre ; Ulrich, Andreas Petrenko, Alexandre ; Ulrich, Andreas

Berlin, Heidelberg: Springer Berlin Heidelberg 2004

Texto completo disponível

Citações Citado por
5
Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers
Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers

FATES 2004 (2004 Linz, Austria) Jens Grabowski; Brian Nielsen Ph. D

Berlin Springer New York 2005

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

6
Formal approaches to software testing 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 revised selected papers
Formal approaches to software testing 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal approaches to software testing 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 revised selected papers

FATES 2005 (2005 Edinburgh, Scotland) Wolfgang Grieskamp 1960; Carsten Weise

Berlin Springer New York c2006

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.3997 ) e outros locais(Acessar)

7
Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings
Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings

Dong, Jin Song ; Woodcock, Jim Dong, Jin Song ; Woodcock, Jim

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Texto completo disponível

Citações Citado por
8
Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings
Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings

Hunt, Warren A. Jr ; Johnson, Steven D Johnson, Steven D. ; Hunt, Warren A.

Berlin, Heidelberg: Springer Berlin / Heidelberg 2000

Texto completo disponível

Citações Citado por
9
Formal techniques for networked and distributed systems -FORTE 2002: 22nd IFIP WG 6.1 international conference, Houston, Texas, USA November 11-14, 2002 : proceedings
Formal techniques for networked and distributed systems -FORTE 2002: 22nd IFIP WG 6.1 international conference, Houston, Texas, USA November 11-14, 2002 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal techniques for networked and distributed systems -FORTE 2002: 22nd IFIP WG 6.1 international conference, Houston, Texas, USA November 11-14, 2002 : proceedings

Peled, Doron A ; Vardi, Moshe Y

Springer 2003

Texto completo disponível

Citações Citado por
10
Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International Conference Berlin, Germany, September 29 – October 2, 2003 Proceedings
Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International Conference Berlin, Germany, September 29 – October 2, 2003 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International Conference Berlin, Germany, September 29 – October 2, 2003 Proceedings

König, Hartmut ; Heiner, Monika ; Wolisz, Adam Wolisz, Adam ; König, Hartmut ; Heiner, Monika

Berlin, Heidelberg: Springer Berlin Heidelberg 2003

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de2000  (6)
  2. 2000Até2002  (6)
  3. 2003Até2005  (15)
  4. 2006Até2009  (13)
  5. Após 2009  (11)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Sampaio, A
  2. International Conference on the Quality of Software Architectures
  3. Borba, P
  4. Weise, C
  5. PSSE

Neste Assunto:

  1. Software
  2. Testen
  3. Software
  4. Testen
  5. Computer Science

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

Buscando em bases de dados remotas. Favor aguardar.