SE-WS 2016
Software Engineering Workshops 2016

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