SC Harvester Papers Database Interface

Toward Evidence-Based Organizations: Lessons from Embedded Systems, Online Games, and the Internet of Things

J. Bosch, H. Olsson. In: IEEE Software. 2017

Abstract: More and more software-intensive companies are adopting data-driven development. Across domains, companies increasingly collect and use data to support development and decision-making activities. Case studies investigated how companies in three domains transition toward data-driven development practices in which continuous collection and analysis of data inform R&D and management. The companies in...

Session details: Virtual reality and augmented reality

Thomas Olsson. In: Proceedings of the 21st International Academic Mindtrek Conference. 2017

Verifying Event-Based Timing Constraints by Translation into Presburger Formulae

B. Lisper. In: . 2017

Co-Evolution of Meta-Modeling Syntax and Informal Semantics in Domain-Specific Modeling Environments — A Case Study of AUTOSAR

Darko Durisic, Corrado Motta, M. Staron, M. Tichy. In: 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS). 2017

Change is Afoot: Applying Change Management Theories to Self-Organizing Socio-Technical Systems

J. Steghöfer. In: IEEE Technol. Soc. Mag.. 2017

Goal-oriented requirements engineering: an extended systematic mapping study

Jennifer Horkoff, Fatma Başak Aydemir, Evellin C. S. Cardoso, Tong Li, A. Maté et al. In: Requirements Engineering. 2017

Goal-oriented requirements engineering: an extended systematic mapping study

J. Horkoff, Fatma Başak Aydemir, Evellin C. S. Cardoso, Tong Li, A. Maté et al. In: Requirements Engineering. 2017

Abstract: Over the last two decades, much attention has been paid to the area of goal-oriented requirements engineering (GORE), where goals are used as a useful conceptualization to elicit, model, and analyze requirements, capturing alternatives and conflicts. Goal modeling has been adapted and applied to many sub-topics within requirements engineering (RE) and beyond, such as agent orientation, aspect orie...

Arguing on Software-Level Verification Techniques Appropriateness

Carmen Cârlan, B. Gallina, Severin Kacianka, R. Breu. In: . 2017

Assuring Degradation Cascades of Car Platoons via Contracts

Irfan Šljivo, B. Gallina, Bernhard Kaiser. In: . 2017

SafeConcert: A Metamodel for a Concerted Safety Modeling of Socio-Technical Systems

Leonardo Montecchi, B. Gallina. In: . 2017

Characterization of trade-off preferences between non-functional properties

U. Franke, Federico Ciccozzi. In: Inf. Syst.. 2017

Using Search-Based Test Generation to Discover Real Faults in Guava

H. Almulla, Alireza Salahirad, Gregory Gay. In: . 2017

Towards Systematic Compliance Evaluation Using Safety-Oriented Process Lines and Evidence Mapping

T. Varkoi, T. Mäkinen, B. Gallina, F. Cameron, R. Nevalainen. In: . 2017

Towards Increased Efficiency and Confidence in Process Compliance

Julieth Patricia Castellanos Ardila, B. Gallina. In: . 2017

Lightweight Preprocessing for Agent-Based Simulation of Smart Mobility Initiatives

Carlo Castagnari, Jacopo de Berardinis, Giorgio Forcina, Ali Jafari, M. Sirjani. In: . 2017