SE-WS 2014
Software Engineering Workshops 2014

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