| Vol-1559 urn:nbn:de:0074-1559-9 Copyright © 2016 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 2016
Software Engineering Workshops 2016

### Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016)

### Wien, 23.-26. Februar 2016.

Herausgegeben von

### Wolf Zimmermann, Martin-Luther-Universität Halle-Wittenberg
Lukas Alperowitz, Technische Universität München
Bernd Brügge, Technische Universität München
Jörn Fahsel, Friedrich-Alexander-Universität Erlangen-Nürnberg
Andrea Herrmann, Herrmann & Ehrlich
Anne Hoffmann, Siemens AG
Andreas Krall, Technische Universität Wien
Dieter Landes, Hochschule für angewandte Wissenschaften Coburg
Horst Lichter, RWTH Aachen University
Dirk Riehle, Friedrich-Alexander-Universität Erlangen-Nürnberg
Ina Schaefer, Technische Universität Braunschweig
Constantin Scheuermann, Technische Universität München
Alexander Schlaefer, Technische Universität Hamburg-Harburg
Sibylle Schupp, Technische Universität Hamburg-Harburg
Andreas Seitz, Technische Universität München
Andreas Steffens, RWTH Aachen University
André Stollenwerk, RWTH Aachen University
Rüdiger Weißbach, Hochschule für Angewandte Wissenschaften (HAW) Hamburg

## Inhaltsverzeichnis

- Vorwort

### 9. Arbeitstagung Programmiersprachen

- Vorwort zur 9. Arbeitstagung Programmiersprachen (ATPS 2016) 1-2
  Andreas Krall, Ina Schaefer
- A Parser Generator System for Level-based Programming Languages 3-24
  Michael Hanus, Jan Rasmus Tikovsky
- Higher-Order Causal Stream Functions in Sig from First Principles 25-39
  Baltasar Trancón Widemann, Markus Lepper
- Parametric DeltaJ 1.5: Propagating Feature Attributes into Implementation Artifacts 40-54
  Tim Winkelmann, Jonathan Koscielny, Christoph Seidl, Sven Schuster, Ferruccio Damiani, Ina Schaefer
- Graph-Walk-based Selective Regression Testing of Web Applications Created with Google Web Toolkit 55-69
  Matthias Hirzel, Herbert Klaeren
- A Call-by-Need Lambda Calculus with Scoped Work Decorations 70-90
  David Sabel, Manfred Schmidt-Schauß
- Towards Meta-Level Engineering and Tooling for Complex Concurrent Systems 91-95
  Stefan Marr, Elisa Gonzalez Boix, Hanspeter Mössenböck
- Compilezeit-Prüfung von Spring-Konfigurationen 96-108
  Vincent von Hof, Konrad Fögen, Herbert Kuchen
- Structural Type Inference in Java-like Languages 109-113
  Martin Plümicke

### International Workshop on Cyber-Physical Systems in the Context of Smart Cities

- CPSSC - 1st International Workshop on Cyber-Physical Systems in the Context of Smart Cities 114-115
  Constantin Scheuermann, Andreas Seitz
- Campuses as Living & Lived-in Laboratories for Smart City Development 116-117
  Volker Hartkopf
- Scenario-based Specification of Car-to-X systems 118-123
  Joel Greenyer, Daniel Gritzner, Nils Glade, Timo Gutjahr, Florian König
- Effective Visualization and Control of the Indoor Environmental Quality in Smart Buildings 124-129
  Nadine von Frankenberg und Ludwigsdorff, Sebastian Peters, Bernd Brügge, Vivian Loftness, Azizan Aziz
- Urban Energy Computing: a Multi-Layered Approach 130-135
  Ardeshir Mahdavi, Stefan Glawischnig, Neda Ghiassi

### Workshop on Continuous Software Engineering

- Workshop on Continuous Software Engineering 136-137
  Horst Lichter, Bernd Brügge, Dirk Riehle
- Achieving Cloud Scalability with Microservices and DevOps in the Connected Car Domain 138-141
  Tobias Schneider
- Model-Integrating Microservices: A Vision Paper 142-147
  Mahdi Derakhshanmanesh, Marvin Grieger
- Experience Report: A Comparison between Commercial and Open Source Reference Implementations for the Rugby Process Model 148-155
  Sajjad Taheritanjani, Stephan Krusche, Bernd Brügge
- Toward Integrating a System Theoretic Safety Analysis in an Agile Development Process 156-159
  Yang Wang, Stefan Wagner
- Designing an Android Continuous Delivery pipeline 160-163
  Milena Zachow
- On Optimization of Test Parallelization with Constraints 164-171
  Masoumeh Parsa, Adnan Ashraf, Dragos Truscan, Ivan Porres

### 2nd Workshop on Fail Safety in Medical Cyber-Physical Systems

- 2nd Workshop on Fail Safety in Medical Cyber-Physical Systems (FS-MCPS) 172-173
  Alexander Schlaefer, Sibylle Schupp, André Stollenwerk
- Evaluating Hand Disinfection with Alcohol-Based Hand Sanitizers Using Thermal Imaging 174-181
  Manfred Smieschek, André Stollenwerk, Patrick Jüptner, Stefan Kowalewski, Thorsten Orlikowsky, Mark Schoberer
- Reducing False Discovery Rates for On-line Model Checking Based Detection of Respiratory Motion Artifacts 182-186
  Sven-Thomas Antoni, Xintao Ma, Sibylle Schupp, Alexander Schlaefer
- Sensor Supervision and Control Value Limitations in Networked Intensive Care 187-194
  Jan Kühn, André Stollenwerk, Christian Brendle, Thorsten Janisch, Marian Walter, Rolf Rossaint, Steffen Leonhardt, Stefan Kowalewski, Rüdger Kopp
- Der Weg zur Modellbasierten Evolution und Adaption medizinischer Leitlinien 195-200
  Michael Czaplik, Pedram Mir Seyed Nazari, Alexander Roth, Bernhard Rumpe, Verena Voigt, Michael von Wenckstern, Andreas Wortmann

### 2. Workshop Lehre für Requirements Engineering

- 2. Workshop Lehre für Requirements Engineering (LehRE) 201-202
  Rüdiger Weißbach, Jörn Fahsel, Andrea Herrmann, Anne Hoffmann, Dieter Landes
- Kompetenzorientierte Requirements Engineering Ausbildung im Rahmen eines SE-Moduls 203-208
  Thomas Lehmann, Bettina Buth
- Agile Lehre - Erfahrungsberichte 209-219
  Jörn Fahsel, Vera Kraus, Tabea Kurreck, Kea Rahmann

2016-02-16: submitted by Wolf Zimmermann, metadata incl. bibliographic data published under Creative Commons CC0
2016-02-17: published on CEUR-WS.org |valid HTML5|