![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Software Engineering 2015: Dresden, Germany - Workshops
- Wolf Zimmermann, Wolfgang Böhm, Clemens Grelck, Robert Heinrich, Reiner Jung, Marco Konersmann, Alexander Schlaefer, Eric Schmieders, Sibylle Schupp, Baltasar Trancón y Widemann, Thorsten Weyer:
Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Dresden, Germany, 17.-18. März 2015. CEUR Workshop Proceedings 1337, CEUR-WS.org 2015 - André Stollenwerk, Jan Kühn, Marian Walter, Christian Brendle, Nabil Wardeh, Rolf Rossaint, Steffen Leonhardt, Stefan Kowalewski, Rüdiger Kopp:
Software-based Prediction of Cannula Occlusion During Extracorporeal Blood Circulation Through Networked Medical Data. 1-6 - Kevin Schulz, Christoph Otte, Gereon Hüttmann, Alexander Schlaefer:
A Concept for Fail Safe Robotic Needle Insertion in Soft Tissue. 7-10 - Martin Leucker, Malte Schmitz:
Secured SOA for the Safe Interconnection of Medical Devices (Position Paper). 11-14 - Sven-Thomas Antoni, Jonas Rinast, Sibylle Schupp, Alexander Schlaefer:
Comparing Model-free Motion Prediction and On-line Model Checking for Respiratory Motion Management. 15-18 - Jan Kühn, Pierre Schoonbrood, André Stollenwerk, Christian Brendle, Nabil Wardeh, Marian Walter, Rolf Rossaint, Steffen Leonhardt, Stefan Kowalewski, Rüdiger Kopp:
Safety Conflict Analysis in Medical Cyber-Physical Systems Using an SMT-Solver. 19-23 - Jörg-Uwe Meyer:
Open Software Platform for Cyber-Physical Medical Systems. 24-30
Fünfter Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme (ENVISION 2020)
- Marian Daun
, Andrea Salmon, Thorsten Weyer:
Using dedicated Review Diagrams to detect Defective Functional Interplay in Function-Centered Engineering. 31-40 - Suryo Buono, Viktor Ramich, Bernhard Kaiser, Justyna Zander:
An Industry Case Study on Semi-automated Generation of Component Fault Trees from Simulink-Models. 41-50 - Alexander Prohaska:
Integration von Markov Modellen in Fehlerbäume. 51-60 - André Heuer, Tobias Kaufmann, Mihail Constantinescu-Fomino:
On the Explicit Consideration of Context Variability in the SPES Modeling Framework. 61-70 - Michael Schulze, Robert Hellebrand:
Variability Exchange Language - A Generic Exchange Format for Variability Data. 71-80 - Maike Rosinger, Matthias Büker, Raphael Weber:
A Concept to Guide the System Engineer During the Design Space Exploration Process. 81-90 - Alarico Campetelli, Maximilian Junker, Birthe Böhm, Maria Davidich, Vasileios Koutsoumpas, Xiuna Zhu, Jan Christoph Wehrstedt:
A Model-Based Approach to Formal Verification in Early Development Phases: A Desalination Plant Case Study. 91-100
2nd Collaborative Workshop on Evolution and Maintenance of Long-Living Software Systems (EMLS)
- Azadeh Alebrahim, Nazila Gol Mohammadi, Maritta Heisel:
Challenges in Rendering and Maintaining Trustworthiness for Long-Living Software Systems. 103-105 - Kiana Rostami:
Domain-spanning Maintainability Analysis for Software-intensive Systems. 106-108 - Kai Niklas, Stefan Gärtner, Kurt Schneider
:
Konsistenzprüfung von Architekturbeschreibungen mit Anforderungen mittels linguistischer Analyse. 109-111 - Mahdi Derakhshanmanesh, Marvin Grieger:
On Enabling Technologies for Longevity in Software. 112-114 - Marian Daun
, Bastian Tenbergen, Jennifer Brings, Thorsten Weyer:
Documenting Assumptions About the Operational Context of Long-Living Collaborative Embedded Systems. 115-117 - Michael Striewe, Björn Zurmaar, Michael Goedicke:
Evolution of the E-Assessment Framework JACK. 118-120
8. Arbeitstagung Programmiersprachen
- Clemens Grelck, Baltasar Trancón y Widemann:
Vorwort zur 8. Arbeitstagung Programmiersprachen (ATPS 2015). 121-122 - Sebastian Buchwald, Manuel Mohr, Andreas Zwinkau:
Malleable Invasive Applications. 123-126 - Andreas Stadelmeier, Martin Plümicke:
Adding overloading to Java type inference. 127-132 - Beate Ritterbach, Axel Schmolitzky:
Equality, Identity, and a Modified Contract. 133-139 - Martin Mohr, Jürgen Graf, Martin Hecker:
JoDroid: Adding Android Support to a Static Information Flow Control Tool. 140-145 - Evgenij Belikov, Hans-Wolfgang Loidl, Greg J. Michaelson:
Towards a Characterisation of Parallel Functional Applications. 146-153 - Martin Trapp, Mathias Hedenborg, Jonas Lundberg, Welf Löwe:
Capturing and Manipulating Context-sensitive Program Information. 154-163 - Marcus Ermler, Berthold Hoffmann, Christian John, Christopher Nottrodt, Carsten Pfeffer:
Entwurf und Implementierung einer Programmiersprache im studentischen Projekt Monty's Coconut. 164-170
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.