SC Harvester Papers Database Interface

Detecting and classifying patterns of requirements clarifications

E. Knauss, Daniela E. Damian, Germán Poo-Caamaño, J. Cleland-Huang. In: 2012 20th IEEE International Requirements Engineering Conference (RE). 2012

Automatic Inference of Bounds on Resource Consumption

E. Albert, Diego Esteban Alonso-Blas, P. Arenas, J. Fernández, Antonio Flores-Montoya et al. In: . 2012

Managing requirements uncertainty with partial models

Rick Salay, M. Chechik, J. Horkoff, Alessio Di Sandro. In: Requirements Engineering. 2012

Lifting the Veil of Morality: Choice Blindness and Attitude Reversals on a Self-Transforming Survey

Lars Hall, Petter Johansson, Thomas Strandberg. In: PLoS ONE. 2012

Abstract: Every day, thousands of polls, surveys, and rating scales are employed to elicit the attitudes of humankind. Given the ubiquitous use of these instruments, it seems we ought to have firm answers to what is measured by them, but unfortunately we do not. To help remedy this situation, we present a novel approach to investigate the nature of attitudes. We created a self-transforming paper survey of m...

Guided Search for Deadlocks in Actor-Based Models

Steinar Hugi Sigurdarson, M. Sirjani, Y. Björnsson, A. Reynisson. In: . 2012

Perspectives on Code Forking and Sustainability in Open Source Software

Linus Nyman, T. Mikkonen, Juho Lindman, M. Fougère. In: . 2012

Making Data Meaningful: The Business Intelligence Model and Its Formal Semantics in Description Logics

J. Horkoff, Alexander Borgida, J. Mylopoulos, D. Barone, Lei Jiang et al. In: . 2012

Toward Model-Based Trade-off Analysis of Non-functional Requirements

Mehrdad Saadatmand, A. Cicchetti, Mikael Sjödin. In: 2012 38th Euromicro Conference on Software Engineering and Advanced Applications. 2012

Climbing the "Stairway to Heaven" -- A Mulitiple-Case Study Exploring Barriers in the Transition from Agile Development towards Continuous Deployment of Software

H. Olsson, Hiva Allahyari, J. Bosch. In: 2012 38th Euromicro Conference on Software Engineering and Advanced Applications. 2012

Towards Automatic Synthesis of Hardware-Specific Code in Component-Based Embedded Systems

Luka Lednicki, I. Crnkovic, M. Zagar. In: 2012 38th Euromicro Conference on Software Engineering and Advanced Applications. 2012

A Model-Driven Dependability Analysis Method for Component-Based Architectures

B. Gallina, M. Javed, Faiz ul Muram, S. Punnekkat. In: 2012 38th Euromicro Conference on Software Engineering and Advanced Applications. 2012

CHESS: a model-driven engineering tool environment for aiding the development of complex industrial systems

A. Cicchetti, Federico Ciccozzi, S. Mazzini, Stefano Puri, Marco Panunzio et al. In: 2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering. 2012

A Decentralized Multi-agent Algorithm for the Set Partitioning Problem

Gerrit Anders, F. Siefert, J. Steghöfer, W. Reif. In: . 2012

Quality of Testing in Test Driven Development

Adnan Causevic, S. Punnekkat, Daniel Sundmark. In: 2012 Eighth International Conference on the Quality of Information and Communications Technology. 2012

Light-weight tool support for staged product derivation

Christoph Elsner. In: . 2012

Abstract: Tool support that checks for configuration errors and generates product parts from configurations can significantly improve on product derivation in product line engineering. Up to now, however, derivation tools commonly disregard the staged derivation process. They do not restrict configuration consistency checks to process entities such as configuration stages, stakeholders, or build tasks. As a...