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
previous page 1 2 Resultados 3 4 5 next page
Refinado por: Nome da Publicação: Lecture Notes in Computer Science remover assunto: Software Engineering remover
Result Number Material Type Add to My Shelf Action Record Details and Options
21
Extending OCL for secure database development
Extending OCL for secure database development
Material Type:
Artigo 		Adicionar ao Meu Espaço

Extending OCL for secure database development

FERNANDEZ-MEDINA, Eduardo ; PIATTINI, Mario

Lecture notes in computer science, 2004, p.380-394 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
22
The Reflective Practitioner Perspective in eXtreme Programming
The Reflective Practitioner Perspective in eXtreme Programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Reflective Practitioner Perspective in eXtreme Programming

Hazzan, Orit ; Tomayko, Jim Maurer, Frank ; Wells, Don

Extreme Programming and Agile Methods - XP/Agile Universe 2003, 2003, p.51-61 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
23
Product Line Potential Analysis
Product Line Potential Analysis
Material Type:
Artigo 		Adicionar ao Meu Espaço

Product Line Potential Analysis

FRITSCH, Claudia ; HAHN, Ralf

Lecture notes in computer science, 2004, p.228-237 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
24
Efficient Path Finding with the Sweep-Line Method Using External Storage
Efficient Path Finding with the Sweep-Line Method Using External Storage
Material Type:
Artigo 		Adicionar ao Meu Espaço

Efficient Path Finding with the Sweep-Line Method Using External Storage

Kristensen, Lars Michael ; Mailund, Thomas Dong, Jin Song ; Woodcock, Jim

Formal Methods and Software Engineering, 2003, p.319-337 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
25
Unifying recursive and co-recursive definitions in sheaf categories
Unifying recursive and co-recursive definitions in sheaf categories
Material Type:
Artigo 		Adicionar ao Meu Espaço

Unifying recursive and co-recursive definitions in sheaf categories

DI GIANANTONIO, Pietro ; MICULAN, Marino

Lecture notes in computer science, 2004, p.136-150 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
26
Using Formal Methods to Serialize Synchronization Events
Using Formal Methods to Serialize Synchronization Events
Material Type:
Artigo 		Adicionar ao Meu Espaço

Using Formal Methods to Serialize Synchronization Events

Chen, Jessica Dong, Jin Song ; Woodcock, Jim

Formal Methods and Software Engineering, 2003, p.34-47 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
27
Automatic generation of program families by model restrictions
Automatic generation of program families by model restrictions
Material Type:
Artigo 		Adicionar ao Meu Espaço

Automatic generation of program families by model restrictions

WASOWSKI, Andrzej

Lecture notes in computer science, 2004, p.73-89 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
28
Modal abstractions in μCRL
Modal abstractions in μCRL
Material Type:
Artigo 		Adicionar ao Meu Espaço

Modal abstractions in μCRL

VAN DE POL, Jaco ; ESPADA, Miguel Valero

Lecture notes in computer science, 2004, p.409-425 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
29
Towards a Workflow Model of Real-Time Cooperative Systems
Towards a Workflow Model of Real-Time Cooperative Systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Towards a Workflow Model of Real-Time Cooperative Systems

Du, Yuyue ; Jiang, Changjun Dong, Jin Song ; Woodcock, Jim

Formal Methods and Software Engineering, 2003, p.452-470 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
30
Defining a quality model for mail servers
Defining a quality model for mail servers
Material Type:
Artigo 		Adicionar ao Meu Espaço

Defining a quality model for mail servers

CARVALLO, Juan Pablo ; FRANCH, Xavier ; QUER, Carme

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

Berlin: Springer

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de1997  (1)
  2. 1997Até1999  (1)
  3. 2000Até2000  (7)
  4. 2001Até2002  (19)
  5. Após 2002  (134)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Hussmann, H

Neste Assunto:

  1. Software Engineering
  2. Software Engineering
  3. Computer Science
  4. Science & Technology
  5. Technology

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

Buscando em bases de dados remotas. Favor aguardar.