SC Harvester Papers Database Interface

Cost Optimisation in Certification of Software Product Lines

Ricardo J. Rodríguez, S. Punnekkat. In: 2014 IEEE International Symposium on Software Reliability Engineering Workshops. 2014

Aligning innovation ecosystem strategies with internal R&D

P. Bosch-Sijtsema, J. Bosch. In: 2014 IEEE International Conference on Management of Innovation and Technology. 2014

Special issue editorial: Understanding software ecosystems

G. Hanssen, C. Alves, J. Bosch. In: Inf. Softw. Technol.. 2014

Abstract: The term business ecosystem was originally established more than 20 years ago. In the seminal article ‘‘Predators and prey: a new ecology of competition’’ [1], Moore proposes an ecological approach to explain the co-evolution of companies within a business ecosystem by adopting a complex interplay of cooperative and competitive strategies. According to Moore, business ecosystems evolve in four sta...

Evaluating Modeling Languages: An Example from the Requirements Domain

J. Horkoff, Fatma Başak Aydemir, Feng-Lin Li, Tong Li, J. Mylopoulos. In: . 2014

Proceedings of the 8th Nordic Conference on Human-Computer Interaction: Fun, Fast, Foundational

Virpi Roto, Jonna Häkkilä, Kaisa Väänänen-Vainio-Mattila, O. Juhlin, Thomas Olsson et al. In: Proceedings of the 8th Nordic Conference on Human-Computer Interaction: Fun, Fast, Foundational. 2014

Efficient TCTL Model Checking Algorithm for Timed Actors

Ehsan Khamespanah, R. Khosravi, M. Sirjani. In: Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control. 2014

Event-Based Analysis of Timed Rebeca Models using SQL

Brynjar Magnusson, Ehsan Khamespanah, R. Khosravi, M. Sirjani. In: Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control. 2014

Self-Adaptation in Highly Distributed Dynamic Systems

I. Gerostathopoulos, Sebastian Götz, Filip Krikava, Adnan Shahzada, Romina Spalazzese. In: . 2014

Abstract: This breakout group focused on identifying the challenges of performing self-adaptation in highly distributed dynamic systems. This is a pressing issue in self-adaptive systems research, as proposed ``smart" systems are increasingly built out of disparate entities (sensors and actuators) that feature a close connection to the physical world -- so-called cyber-physical systems (CPSs). Examples ar...

Mapping of State Machines to Code: Potentials and Challenges

Mehrdad Saadatmand, Alten Ab, A. Cicchetti. In: . 2014

SWEET - A Tool for WCET Flow Analysis (Extended Abstract)

B. Lisper. In: . 2014

Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions

Aida Čaušević, C. Seceleanu, P. Pettersson. In: . 2014

Consequences of Mispredictions of Software Reliability: A Model and its Industrial Evaluation

M. Staron, Rakesh Rana, Wilhelm Meding, Martin Nilsson. In: 2014 Joint Conference of the International Workshop on Software Measurement and the International Conference on Software Process and Product Measurement. 2014

Defining Technical Risks in Software Development

Vard Antinyan, M. Staron, Wilhelm Meding, Anders Henriksson, J. Hansson et al. In: 2014 Joint Conference of the International Workshop on Software Measurement and the International Conference on Software Process and Product Measurement. 2014

Improving Cloud Service Resilience Using Brownout-Aware Load-Balancing

C. Klein, A. Papadopoulos, Manfred Dellkrantz, J. Durango, M. Maggio et al. In: 2014 IEEE 33rd International Symposium on Reliable Distributed Systems. 2014

Identifying and Managing Complex Modules in Executable Software Design Models-Empirical Assessment of a Large Telecom Software Product

H. Rezaei, Filippa Ebersjo, K. Sandahl, M. Staron. In: 2014 Joint Conference of the International Workshop on Software Measurement and the International Conference on Software Process and Product Measurement. 2014