Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
A HOL Conversion for Translating Linear Time Temporal Logic to ω-AutomataBertot, Yves ; Dowek, Gilles ; Hirschowitz, Andre ; Paulin, Christine ; Thery, LaurentLecture notes in computer science, 1999, Vol.1690, p.255-272 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
2 |
Material Type: Capítulo de Livro
|
Valiant's Universal Circuit is PracticalFischlin, Marc ; Coron, Jean-SébastienAdvances in Cryptology - EUROCRYPT 2016, 2016, Vol.9665, p.699-728 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
3 |
Material Type: Capítulo de Livro
|
How Artifacts Support and Impede Requirements CommunicationFricker, Samuel A ; Schneider, KurtRequirements Engineering: Foundation for Software Quality, 2015, Vol.9013, p.132-147 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
|
4 |
Material Type: Capítulo de Livro
|
Towards Crowd-Based Requirements Engineering A Research PreviewFricker, Samuel A ; Schneider, KurtRequirements Engineering: Foundation for Software Quality, 2015, Vol.9013, p.247-253 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
|
5 |
Material Type: Capítulo de Livro
|
A Systematic Literature Review of Requirements Prioritization CriteriaFricker, Samuel A ; Schneider, KurtRequirements Engineering: Foundation for Software Quality, 2015, Vol.9013, p.300-317 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
|
6 |
Material Type: Capítulo de Livro
|
The Emerging Requirement for Digital Addiction LabelsFricker, Samuel A ; Schneider, KurtRequirements Engineering: Foundation for Software Quality, 2015, Vol.9013, p.198-213 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
|
7 |
Material Type: Capítulo de Livro
|
Modeling and Reasoning About Information Quality RequirementsFricker, Samuel A ; Schneider, KurtRequirements Engineering: Foundation for Software Quality, 2015, Vol.9013, p.49-64 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
|
8 |
Material Type: Capítulo de Livro
|
Embedding Stakeholder Values in the Requirements Engineering ProcessFricker, Samuel A ; Schneider, KurtRequirements Engineering: Foundation for Software Quality, 2015, Vol.9013, p.318-332 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
|
9 |
Material Type: Capítulo de Livro
|
From Stakeholder Requirements to Formal Specifications Through RefinementFricker, Samuel A ; Schneider, KurtRequirements Engineering: Foundation for Software Quality, 2015, Vol.9013, p.164-180 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
|
10 |
Material Type: Capítulo de Livro
|
Consonance Between Economic and IT Services: Finding the Balance Between Conflicting RequirementsFricker, Samuel A ; Schneider, KurtRequirements Engineering: Foundation for Software Quality, 2015, Vol.9013, p.148-163 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |