SC Harvester Papers Database Interface

Constraint Checking in Distributed Product Configuration of Multi Product Lines

G. Holl, P. Grünbacher, Christoph Elsner, Thomas Klambauer, Michael Vierhauser. In: 2013 20th Asia-Pacific Software Engineering Conference (APSEC). 2013

Abstract: Large-scale software-intensive systems are often considered as systems of systems (SoS) comprising multiple heterogeneous but interrelated systems. The engineering of SoS often involves the derivation of system variants from multiple interrelated product lines to meet the overall requirements. If multiple teams and experts are involved in the configuration of these individual systems, their indivi...

Experiences During Extraction of Variability Models for Warehouse Management Systems

Miao Fang, G. Leyh, Christoph Elsner, Jörg Dörr. In: 2013 20th Asia-Pacific Software Engineering Conference (APSEC). 2013

Abstract: Warehouse management systems (WMS) play a critical role in supply chains and large production processes. WMS pose two crucial challenges for variability modeling and management: Firstly, the physical configuration of each warehouse differs significantly. Numerous different electronic devices like controllers, sensors, and motors are used to automate warehouses. Secondly, the processes running in a...

Handling Multiple Mode Switch Scenarios in Component-Based Multi-mode Systems

Y. Hang, H. Hansson. In: 2013 20th Asia-Pacific Software Engineering Conference (APSEC). 2013

Improving Reliability of Real-Time Systems through Value and Time Voting

Hüseyin Aysan, I. Bate, P. Graydon, S. Punnekkat. In: 2013 IEEE 19th Pacific Rim International Symposium on Dependable Computing. 2013

Towards Data-Driven Product Development: A Multiple Case Study on Post-deployment Data Usage in Software-Intensive Embedded Systems

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

Software product lines (SPLC 2010)

J. Bosch, Jaejoon Lee. In: Sci. Comput. Program.. 2013

The Early Stage Software Startup Development Model: A Framework for Operationalizing Lean Principles in Software Startups

J. Bosch, H. Olsson, Jens Björk, Jens Ljungblad. In: . 2013

Identifying Code of Individual Features in Client-Side Web Applications

J. Maras, M. Stula, Jan Carlson, I. Crnkovic. In: IEEE Transactions on Software Engineering. 2013

A methodology for formal analysis and verification of EAST-ADL models

E. Kang, Eduard Paul Enoiu, R. Marinescu, C. Seceleanu, Pierre-Yves Schobbens et al. In: Reliab. Eng. Syst. Saf.. 2013

A general control-theoretical methodology for runtime resource allocation in computing systems

A. Leva, A. Papadopoulos, M. Maggio. In: 52nd IEEE Conference on Decision and Control. 2013

Automatic partitioning and simulation of weakly coupled systems

A. Papadopoulos, J. Åkesson, F. Casella, A. Leva. In: 52nd IEEE Conference on Decision and Control. 2013

Model-Based Trade-off Analysis of Non-Functional Requirements: An Automated UML-Based Approach

Mehrdad Saadatmand, A. Cicchetti, Mikael Sjödin. In: International journal of advanced computer science. 2013

The Black Pearl: An Autonomous Underwater Vehicle

Carl Ahlberg, L. Asplund, G. Campeanu, Federico Ciccozzi, Fredrik Ekstrand et al. In: . 2013

Using Logic Coverage to Improve Testing Function Block Diagrams

Eduard Paul Enoiu, Daniel Sundmark, P. Pettersson. In: . 2013

Embedded Systems Software Architecture

I. Crnkovic, J. Stafford. In: J. Syst. Archit.. 2013