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
Resultados 1 2 3 4 5 next page
Refinado por: assunto: Software remover Lecture Notes in Computer Science remover assunto: Software Engineering remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A Lesson for Software Engineering from Knowledge Engineering
A Lesson for Software Engineering from Knowledge Engineering
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Lesson for Software Engineering from Knowledge Engineering

Debenham, John Mařík, Vladimír ; Štěpánková, Olga ; Retschitzegger, Werner

Database and Expert Systems Applications, 2003, p.569-578 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
2
Service-Based Systems Engineering: Consistent Combination of Services
Service-Based Systems Engineering: Consistent Combination of Services
Material Type:
Artigo 		Adicionar ao Meu Espaço

Service-Based Systems Engineering: Consistent Combination of Services

Schätz, Bernhard ; Salzmann, Christian Dong, Jin Song ; Woodcock, Jim

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

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
3
Applying system families concepts to requirements engineering process definition
Applying system families concepts to requirements engineering process definition
Material Type:
Artigo 		Adicionar ao Meu Espaço

Applying system families concepts to requirements engineering process definition

DURAN, Amador ; BENAVIDES, David ; BERMEJO, Jesus

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

Berlin: Springer

Texto completo disponível

Citações Citado por
4
Defining and Supporting Concurrent Engineering Policies in SCM
Defining and Supporting Concurrent Engineering Policies in SCM
Material Type:
Artigo 		Adicionar ao Meu Espaço

Defining and Supporting Concurrent Engineering Policies in SCM

Estublier, Jacky ; García, Sergio ; Vega, Germán van der Hoek, André ; Westfechtel, Bernhard

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

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
5
Verification of Java Programs using symbolic execution and invariant generation
Verification of Java Programs using symbolic execution and invariant generation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Verification of Java Programs using symbolic execution and invariant generation

PASAREANU, Corina S ; VISSER, Willem

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

Berlin: Springer

Texto completo disponível

Citações Citado por
6
The Maude LTL model checker and its implementation
The Maude LTL model checker and its implementation
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Maude LTL model checker and its implementation

EKER, Steven ; MESEGUER, José ; SRIDHARANARAYANAN, Ambarish

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

Berlin: Springer

Texto completo disponível

Citações Citado por
7
The Role of Reflective Middleware in Supporting the Engineering of Dynamic Applications
The Role of Reflective Middleware in Supporting the Engineering of Dynamic Applications
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Role of Reflective Middleware in Supporting the Engineering of Dynamic Applications

Costa, Fábio M. ; Duran, Hector A. ; Parlavantzas, Nikos ; Saikoski, Katia B. ; Blair, Gordon ; Coulson, Geoff Tisato, Francesco ; Stroud, Robert J. ; Cazzola, Walter

Lecture notes in computer science, 2000, p.79-98 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
8
Time-optimal real-time test case generation using UPPAAL
Time-optimal real-time test case generation using UPPAAL
Material Type:
Artigo 		Adicionar ao Meu Espaço

Time-optimal real-time test case generation using UPPAAL

HESSEL, Anders ; LARSEN, Kim G ; NIELSEN, Brian ; PETTERSSON, Paul ; SKOU, Arne

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

Berlin: Springer

Texto completo disponível

Citações Citado por
9
A Relational Model for Formal Object-Oriented Requirement Analysis in UML
A Relational Model for Formal Object-Oriented Requirement Analysis in UML
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Relational Model for Formal Object-Oriented Requirement Analysis in UML

Liu, Zhiming ; Jifeng, He ; Li, Xiaoshan ; Chen, Yifeng Dong, Jin Song ; Woodcock, Jim

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

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
Applying OO metrics to assess UML meta-models
Applying OO metrics to assess UML meta-models
Material Type:
Artigo 		Adicionar ao Meu Espaço

Applying OO metrics to assess UML meta-models

HAOHAI MA ; WEIZHONG SHAO ; LU ZHANG ; ZHIYI MA ; YANBING JIANG

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

Berlin: Springer

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.   

Data de Publicação 

De até
Refinar
  1. Antes de2000  (1)
  2. 2000Até2000  (6)
  3. 2001Até2001  (3)
  4. 2002Até2003  (105)
  5. Após 2003  (38)
  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.