skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: SpringerLink Books Lecture Notes in Computer Science Archive remover tipo de recurso: Anais de Congresso remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Using model checking to generate tests from requirements specifications
Using model checking to generate tests from requirements specifications
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Using model checking to generate tests from requirements specifications

Gargantini, Angelo ; Heitmeyer, Constance

Lecture notes in computer science, 1999, p.146-162 [Periódico revisado por pares]

Berlin, Heidelberg: Springer-Verlag

Texto completo disponível

Citações Citado por
2
An efficient relevant slicing method for debugging
An efficient relevant slicing method for debugging
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

An efficient relevant slicing method for debugging

GYIMOTHY, T ; BESZEDES, A ; FORGACS, I

Lecture notes in computer science, 1999, p.303-321 [Periódico revisado por pares]

Berlin, Heidelberg: Springer-Verlag

Texto completo disponível

Citações Citado por
3
Yesterday, my program worked. Today, it does not. Why?
Yesterday, my program worked. Today, it does not. Why?
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Yesterday, my program worked. Today, it does not. Why?

Zeller, Andreas

Lecture notes in computer science, 1999, p.253-267 [Periódico revisado por pares]

Berlin, Heidelberg: Springer-Verlag

Texto completo disponível

Citações Citado por
4
Program development using abstract interpretation (and the ciao system preprocessor)
Program development using abstract interpretation (and the ciao system preprocessor)
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Program development using abstract interpretation (and the ciao system preprocessor)

Hermenegildo, Manuel V. ; Puebla, Germán ; Bueno, Francisco ; López-García, Pedro Cousot, Radhia

Lecture notes in computer science, 2003, p.127-152 [Periódico revisado por pares]

Berlin, Heidelberg: Springer-Verlag

Texto completo disponível

Citações Citado por
5
Components and generative programming (invited paper)
Components and generative programming (invited paper)
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Components and generative programming (invited paper)

Czarnecki, Krzysztof ; Eisenecker, Ulrich W.

Lecture notes in computer science, 1999, p.2-19 [Periódico revisado por pares]

Berlin, Heidelberg: Springer-Verlag

Texto completo disponível

Citações Citado por
6
A framework for classifying and comparing architecture description languages
A framework for classifying and comparing architecture description languages
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A framework for classifying and comparing architecture description languages

Medvidovic, Nenad ; Taylor, Richard N. Schauer, Helmut ; Jazayeri, Mehdi

Foundations of Software Engineering: Proceedings of the 6th European conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering; 22-25 Sept. 1997, 1997, p.60-76 [Periódico revisado por pares]

Berlin, Heidelberg: Springer-Verlag

Texto completo disponível

Citações Citado por
7
Establishing local temporal heap safety properties with applications to compile-time memory management
Establishing local temporal heap safety properties with applications to compile-time memory management
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Establishing local temporal heap safety properties with applications to compile-time memory management

Shaham, Ran ; Yahav, Eran ; Kolodner, Elliot K. ; Sagiv, Mooly Cousot, Radhia

Lecture notes in computer science, 2003, p.483-503 [Periódico revisado por pares]

Berlin, Heidelberg: Springer-Verlag

Texto completo disponível

Citações Citado por
8
Software release management
Software release management
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Software release management

van der Hoek, André ; Hall, Richard S. ; Heimbigner, Dennis ; Wolf, Alexander L. Schauer, Helmut ; Jazayeri, Mehdi

Foundations of Software Engineering: Proceedings of the 6th European conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering : Zurich, Switzerland; 22-25 Sept. 1997, 1997, p.159-175 [Periódico revisado por pares]

Berlin, Heidelberg: Springer-Verlag

Texto completo disponível

Citações Citado por
9
Scheduling parallel tasks onto NUMA multiprocessors with inter-processor communication overhead
Scheduling parallel tasks onto NUMA multiprocessors with inter-processor communication overhead
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Scheduling parallel tasks onto NUMA multiprocessors with inter-processor communication overhead

Lai, Guan-Joe ; Fang, Jywe-Fei ; Sung, Pei-Shan ; Pean, Der-Lin Yang, Laurence Tianruo ; Guo, Minyi

Lecture notes in computer science, 2003, p.65-75 [Periódico revisado por pares]

Berlin, Heidelberg: Springer-Verlag

Texto completo disponível

Citações Citado por
10
Efficient points-to analysis for whole-program analysis
Efficient points-to analysis for whole-program analysis
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Efficient points-to analysis for whole-program analysis

Liang, Donglin ; Harrold, Mary Jean

Lecture notes in computer science, 1999, p.199-215 [Periódico revisado por pares]

Berlin, Heidelberg: Springer-Verlag

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (83)

Data de Publicação 

De até
Refinar
  1. Antes de1997  (1)
  2. 1997Até1998  (26)
  3. 1999Até1999  (34)
  4. 2000Até2001  (14)
  5. Após 2001  (13)
  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.