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