| Vol-1129 urn:nbn:de:0074-1129-5 Copyright © 2014 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# SE-WS 2014
Software Engineering Workshops 2014

### Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2014

### 25.-26. Februar 2014 in Kiel, Deutschland.

Herausgegeben von:

### Klaus Schmid, Universität Hildesheim
Wolfgang Böhm, Technische Universität München
Robert Heinrich, Karlsruher Institut für Technologie
Andrea Herrmann, Herrmann & Ehrlich
Anne Hoffmann, Siemens AG
Dieter Landes, Hochschule für Angewandte Wissenschaften Coburg
Marco Konersmann, Universität Duisburg-Essen
Thomas Ruhroth, Universität Dortmund
Oliver Sander, Karlsruher Institut für Technologie
Volker Stolz, Universität Oslo
Baltasar Trancón Widemann, Technische Universität Ilmenau
Rüdiger Weißbach, Hochschule für Angewandte Wissenschaften (HAW) Hamburg

## Inhaltsverzeichnis

- Vorwort 1

### 1st Collaborative Workshop on Evolution and Maintenance of Long-Living Systems (EMLS)

- Behandlung unbekannter Änderungen in automatisierten Produktionsprozessen anhand von Wissensmodellen 2-3
  Christopher Haubeck, Jan Ladiges, Winfried Lamersdorf, Alexander Fay
- Kompetenzverteilung in langlebigen Softwareentwicklungsprojekten 4-5
  Volker Gruhn, Christoph Hannebauer, Sebastian Stünkel
- Zielgerichtete Anpassung von Software nach der Evolution von kontextspezifischem Wissen 6-7
  Stefan Gärtner, Jens Bürger, Kurt Schneider, Jan Jürjens
- Towards Quality-Driven Software Migration 8-9
  Jan Jelschen, Gaurav Pandey, Andreas Winter
- Analyse von Änderungsauswirkungen in langlebigen Automatisierungssystemen 10-11
  Konstantin Kernschmidt, Stefan Feldmann, Birgit Vogel-Heuser
- Variantenmodellierung von Automatisierungssystemen unter Berücksichtigung von Evolution 12-13
  Julia Fuchs, Birgit Vogel-Heuser
- How to Improve Decision Documentation in Software Evolution? 14-15
  Tom-Michael Hesse, Barbara Paech, Tobias Roehm, Bernd Bruegge

### Lehre für Requirements Engineering (LehRE)

- Vorwort zum Workshop "Lehre für Requirements Engineering" (LehRE) 16-17
- "Perfekte Requirements Engineers" – Ansatz einer Kompetenzanalyse zur Bestimmung des Lehrumfangs 18-23
  Martina Müller-Amthor, Georg Hagel
- Blended Learning im Requirements Engineering unter Einsatz des Learn Management Systems Ilias 24-29
  Ulrike Friedrich, Pascal Geis, Carsten Pflug, Chris Rupp
- Projekthafte Entwicklung eines regelbasierten Auswertungstools zur Bestimmung der Qualität von funktionalen Anforderungen 30-36
  Alexander Bartel, Georg Hagel

### Vierter Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme (ENVISION 2020)

- Concepts for Consistent Variant-Management Tool Integrations 37-46
  Maria Papendieck, Michael Schulze
- Supporting Technology Transfer by Providing Recommendations for Writing Structured Guidelines 47-56
  André Heuer, Philipp Diebold, Torsten Bandyszak
- Design Space Exploration and its Visualization in AUTOFOCUS3 57-66
  Sebastian Voss, Johannes Eder, Florian Hölzl
- On the Model-based Documentation of Knowledge Sources in the Engineering of Embedded Systems 67-76
  Marian Daun, Jennifer Brings, Bastian Tenbergen, Thorsten Weyer
- Extending the SPES Modeling Framework for Supporting Role-specific Variant Management in the Engineering Process of Embedded Software 77-86
  Tobias Kaufmann, Christian Manz, Thorsten Weyer
- Konzepte zur Absicherung der Variantenkonfiguration von eingebetteter Fahrzeugsoftware 87-98
  Hannes Holdschick
- Towards Creating Flexible Tool Chains for the Design and Analysis of Multi-Core Systems 99-108
  Philipp Reinkemeier, Heinz Hille, Stefan Henkler

### Arbeitstagung Programmiersprachen (ATPS)

- Vorwort zur 7. Arbeitstagung Programmiersprachen (ATPS 2014) 109
- Towards Model-Driven Software Engineering for Cloud Robots 110
  Uwe Aßmann
- Evaluierung von Möglichkeiten zur Implementierung von Semantischen Analysen für Domänenspezifische Sprachen 111-128
  Christian Berg, Wolf Zimmermann
- Towards Hybrid Array Types in SAC 129-145
  Clemens Grelck, Fangyong Tang
- Functional Interfaces vs. Function Types in Java with Lambdas (extended abstract) 146-147
  Martin Plümicke
- Programming and Reasoning with Infinite Structures Using Copatterns and Sized Types 148-150
  Andreas Abel
- Integration of Finite Domain Constraints in KiCS2 151-170
  Michael Hanus, Björn Peemöller, Jan Rasmus Tikovsky
- A Haskell-Implementation of STM Haskell with Early Conflict Detection 171-190
  David Sabel
- Ein Ansatz zum Erkennen von Schleifen in Graphersetzungssystemen mit Hilfe einer aussagenlogischen Kodierung und seine Anwendung auf Haskell 191-192
  Marcus Ermler
- Fortgeschrittene Syntaxerweiterungen durch virtuelle Operatoren in MOSTflexiPL 193-212
  Christian Heinlein
- pylibjit: A JIT Compiler Library for Python 213-224
  Gergö Barany

2014-02-21: submitted by Klaus Schmid
2014-02-21: published on CEUR-WS.org |valid HTML5|