SC Harvester Papers Database Interface

Regression verification of AADL models through slicing of system dependence graphs

Andreas Johnsen, K. Lundqvist, P. Pettersson, Kaj Hänninen. In: . 2014

Session details: Architecture analysis II

I. Crnkovic. In: Proceedings of the 10th international ACM Sigsoft conference on Quality of software architectures. 2014

Session details: Keynote address

I. Crnkovic. In: Proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering. 2014

Dealing with Security Requirements for Socio-Technical Systems: A Holistic Approach

Tong Li, J. Horkoff. In: . 2014

ESAO: A Holistic Ecosystem-Driven Analysis Model

J. Bosch, P. Bosch-Sijtsema. In: . 2014

Orchestrate Your Platform: Architectural Challenges for Different Types of Ecosystems for Mobile Devices

H. Hartmann, J. Bosch. In: . 2014

Automated User Interaction Analysis for Workflow-Based Web Portals

E. Backlund, M. Bolle, M. Tichy, H. Olsson, J. Bosch. In: . 2014

Ecosystem-Driven Software Development: A Case Study on the Emerging Challenges in Inter-organizational R&D

H. Olsson, J. Bosch. In: . 2014

Proceedings of the Second International Workshop on Rapid Continuous Software Engineering

M. Tichy, J. Bosch, M. Goedicke, Brian Fitzgerald. In: . 2014

Moving the goalposts: coverage satisfaction is not enough

Gregory Gay, Matthew Staats, M. Whalen, M. Heimdahl. In: . 2014

Architecture for embedded open software ecosystems

Ulrik Eklund, J. Bosch. In: J. Syst. Softw.. 2014

Abstract: Software is prevalent in embedded products and may be critical for the success of the products, but manufacturers may view software as a necessary evil rather than as a key strategic opportunity and business differentiator. One of the reasons for this can be extensive supplier and subcontractor relationships and the cost, effort or unpredictability of the deliverables from the subcontractors are e...

Automated specification and verification of functional safety in heavy-vehicles: The VeriSpec approach

G. Rodríguez-Navas, C. Seceleanu, H. Hansson, M. Nyberg, Oscar Ljungkrantz et al. In: 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC). 2014

Automated software integration flows in industry: a multiple-case study

Daniel Ståhl, J. Bosch. In: Companion Proceedings of the 36th International Conference on Software Engineering. 2014

Steering model-based oracles to admit real program behaviors

Gregory Gay, Sanjai Rayadurgam, M. Heimdahl. In: Companion Proceedings of the 36th International Conference on Software Engineering. 2014

Taking goal models downstream: A systematic roadmap

J. Horkoff, Tong Li, Feng-Lin Li, Mattia Salnitri, Evellin C. S. Cardoso et al. In: 2014 IEEE Eighth International Conference on Research Challenges in Information Science (RCIS). 2014