skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Book Chapters remover Base de dados/Biblioteca: Springer Nature - Springer Lecture Notes in Computer Science eBooks remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A HOL Conversion for Translating Linear Time Temporal Logic to ω-Automata
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

A HOL Conversion for Translating Linear Time Temporal Logic to ω-Automata

Bertot, Yves ; Dowek, Gilles ; Hirschowitz, Andre ; Paulin, Christine ; Thery, Laurent

Lecture notes in computer science, 1999, Vol.1690, p.255-272 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

2
Valiant's Universal Circuit is Practical
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Valiant's Universal Circuit is Practical

Fischlin, Marc ; Coron, Jean-Sébastien

Advances in Cryptology - EUROCRYPT 2016, 2016, Vol.9665, p.699-728 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

3
How Artifacts Support and Impede Requirements Communication
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

How Artifacts Support and Impede Requirements Communication

Fricker, Samuel A ; Schneider, Kurt

Requirements Engineering: Foundation for Software Quality, 2015, Vol.9013, p.132-147 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

4
Towards Crowd-Based Requirements Engineering A Research Preview
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Towards Crowd-Based Requirements Engineering A Research Preview

Fricker, Samuel A ; Schneider, Kurt

Requirements Engineering: Foundation for Software Quality, 2015, Vol.9013, p.247-253 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

5
A Systematic Literature Review of Requirements Prioritization Criteria
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

A Systematic Literature Review of Requirements Prioritization Criteria

Fricker, Samuel A ; Schneider, Kurt

Requirements Engineering: Foundation for Software Quality, 2015, Vol.9013, p.300-317 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

6
The Emerging Requirement for Digital Addiction Labels
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

The Emerging Requirement for Digital Addiction Labels

Fricker, Samuel A ; Schneider, Kurt

Requirements Engineering: Foundation for Software Quality, 2015, Vol.9013, p.198-213 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

7
Modeling and Reasoning About Information Quality Requirements
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Modeling and Reasoning About Information Quality Requirements

Fricker, Samuel A ; Schneider, Kurt

Requirements Engineering: Foundation for Software Quality, 2015, Vol.9013, p.49-64 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

8
Embedding Stakeholder Values in the Requirements Engineering Process
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Embedding Stakeholder Values in the Requirements Engineering Process

Fricker, Samuel A ; Schneider, Kurt

Requirements Engineering: Foundation for Software Quality, 2015, Vol.9013, p.318-332 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

9
From Stakeholder Requirements to Formal Specifications Through Refinement
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

From Stakeholder Requirements to Formal Specifications Through Refinement

Fricker, Samuel A ; Schneider, Kurt

Requirements Engineering: Foundation for Software Quality, 2015, Vol.9013, p.164-180 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

10
Consonance Between Economic and IT Services: Finding the Balance Between Conflicting Requirements
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Consonance Between Economic and IT Services: Finding the Balance Between Conflicting Requirements

Fricker, Samuel A ; Schneider, Kurt

Requirements Engineering: Foundation for Software Quality, 2015, Vol.9013, p.148-163 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (84)
  2. Revistas revisadas por pares (251)

Data de Publicação 

De até
  1. Antes de2001  (7)
  2. 2001Até2012  (14)
  3. 2013Até2016  (67)
  4. 2017Até2021  (84)
  5. Após 2021  (96)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.