skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Nome da Publicação: Lecture Notes In Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formal Foundations for Software Engineering Methods
Formal Foundations for Software Engineering Methods
Formal Foundations for Software Engineering Methods
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Foundations for Software Engineering Methods

Heinrich Hussmann

Springer Berlin Heidelberg 1997

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

2
Enabling continuous software engineering for embedded systems architectures with virtual prototypes
Enabling continuous software engineering for embedded systems architectures with virtual prototypes
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Enabling continuous software engineering for embedded systems architectures with virtual prototypes

Pablo Oliveira Antonino Matthias Jung; Andreas Morgenstern; Florian Faßnacht; Thomas Bauer; Adam Bachorek; Thomas Kuhn; Elisa Yumi Nakagawa; European Conference on Software Architecture - ECSA 2018 (12. 2018 Madri, Espanha)

Lecture Notes in Computer Science Cham : Springer v. 11048, p. 115-130, 2018

Cham Springer Nature Switzerland AG 2018

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2917108 )(Acessar)

3
VIOLIN: Virtual Internetworking on Overlay Infrastructure
VIOLIN: Virtual Internetworking on Overlay Infrastructure
Material Type:
Artigo 		Adicionar ao Meu Espaço

VIOLIN: Virtual Internetworking on Overlay Infrastructure

Jiang, Xuxian ; Xu, Dongyan

Lecture notes in computer science, 2004-01, p.937-946 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
4
Neurophysiological Impact of Software Design Processes on Software Developers
Neurophysiological Impact of Software Design Processes on Software Developers
Material Type:
Artigo 		Adicionar ao Meu Espaço

Neurophysiological Impact of Software Design Processes on Software Developers

Minas, Randall K. ; Kazman, Rick ; Tempero, Ewan

Augmented Cognition. Enhancing Cognition and Behavior in Complex Human Environments, p.56-64 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
5
Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation
Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation

Bucchiarone, Antonio ; Ehrig, Hartmut ; Ermel, Claudia ; Pelliccione, Patrizio ; Runge, Olga

Lecture notes in computer science, 2015, Vol.8950, p.582-601 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
6
How People Really (Like To) Work: Comparative Process Mining to Unravel Human Behavior
How People Really (Like To) Work: Comparative Process Mining to Unravel Human Behavior
Material Type:
Artigo 		Adicionar ao Meu Espaço

How People Really (Like To) Work: Comparative Process Mining to Unravel Human Behavior

van der Aalst, Wil M. P.

Human-Centered Software Engineering, p.317-321 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
7
Unsupervised Domain Adaptation via Disentangled Representations: Application to Cross-Modality Liver Segmentation
Unsupervised Domain Adaptation via Disentangled Representations: Application to Cross-Modality Liver Segmentation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Unsupervised Domain Adaptation via Disentangled Representations: Application to Cross-Modality Liver Segmentation

Yang, Junlin ; Dvornek, Nicha C. ; Zhang, Fan ; Chapiro, Julius ; Lin, MingDe ; Duncan, James S.

Medical Image Computing and Computer Assisted Intervention – MICCAI 2019, 2019-10, Vol.11765, p.255-263 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
8
To Trust or Not to Trust: Six Recommendations for System Feedback in a Dynamic Environment
To Trust or Not to Trust: Six Recommendations for System Feedback in a Dynamic Environment
Material Type:
Artigo 		Adicionar ao Meu Espaço

To Trust or Not to Trust: Six Recommendations for System Feedback in a Dynamic Environment

Mirnig, Alexander G. ; Troesterer, Sandra ; Beck, Elke ; Tscheligi, Manfred

Human-Centered Software Engineering, p.164-181 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
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
10
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
Resultados 1 2 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  (1.076)
  2. Livros  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1992  (15)
  2. 1992Até2002  (206)
  3. 2003Até2008  (662)
  4. 2009Até2015  (75)
  5. Após 2015  (120)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (1.076)
  2. Japonês  (80)
  3. Russo  (1)
  4. Francês  (1)
  5. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.