default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware Engineering 2016: Wien, Austria
- Jens Knoop, Uwe Zdun:
Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik, 23.-26. Februar 2016, Wien, Österreich. LNI P-252, GI 2016, ISBN 978-388579-646-6
Testing
- Lei Ma, Cyrille Valentin Artho, Cheng Zhang, Hiroyuki Sato, Johannes Gmeiner, Rudolf Ramler:
Guiding random test generation with program analysis. 15-16 - Mike Czech, Marie-Christine Jakobs, Heike Wehrheim:
Just test what you cannot verify! 17-18 - Michael Felderer, Andrea Herrmann:
A controlled experiment on manual test case derivation from UML activity diagrams and state machines. 19
Software Construction 1
- Yudi Zheng, Lubomír Bulej, Walter Binder
:
Accurate profiling in the presence of dynamic compilation. 21-22 - Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann:
Transparent object proxies for javascript. 23-24 - Sebastian Proksch, Johannes Lerch, Mira Mezini:
Intelligent code completion with Bayesian networks. 25-26
Performance Modelling and Analysis 1
- Axel Busch, Qais Noorshams, Samuel Kounev, Anne Koziolek, Ralf H. Reussner, Erich Amrehn:
Automated workload characterization for I/O performance analysis in virtualized environments. 27-28 - Norbert Siegmund, Alexander Grebhahn, Sven Apel, Christian Kästner:
Performance-Influence Models. 29-31 - Matthias Kowal, Max Tschaikowski, Mirco Tribastone, Ina Schaefer:
Scaling size and parameter spaces in variability-aware software performance models. 33-34
Requirements Engineering
- Daniel Méndez Fernández, Stefan Wagner:
Naming the pain in requirements engineering: A survey design and German results. 35-36 - Patrick Rempel, Patrick Mäder:
A quality model for the systematic assessment of requirements traceability. 37-38 - Eya Ben Charrada, Anne Koziolek, Martin Glinz:
Supporting requirements update during software evolution. 39
Software Construction 2
- Florian Rademacher, Martin Peters, Sabine Sachweh:
Design of a domain-specific language based on a technology-independent web service framework. 41-42 - David Pfaff, Sebastian Hack, Christian Hammer:
Learning how to prevent return-oriented programming efficiently. 43-44 - Stefan Winter, Oliver Schwahn, Roberto Natella, Neeraj Suri, Domenico Cotroneo:
No PAIN, no gain? the utility of parallel fault injections. 45-46
Performance Modelling and Analysis 2
- Samuel Kounev, Fabian Brosig, Philipp Meier, Steffen Becker, Anne Koziolek, Heiko Koziolek, Piotr Rygielski:
Analysis of the trade-offs in different modeling approaches for performance prediction of software systems. 47-48 - Florian Zuleger, Ivan Radicek, Sumit Gulwani:
Feedback generation for performance problems in introductory programming assignments. 49-50 - Robert Heinrich, Philipp Merkle, Jörg Henß, Barbara Paech:
Integrating business process simulation and information system simulation for performance prediction. 51-52
Empirical Software Engineering 1
- Ingo Scholtes, Pavlin Mavrodiev, Frank Schweitzer:
From aristotle to ringelmann: A large-scale analysis of team productivity and coordination in open source software projects. 53-54 - Marco Kuhrmann, Claudia Konopka, Peter Nellemann, Philipp Diebold, Jürgen Münch:
Software process improvement: where is the evidence? 55-56 - Harald Störrle:
Cost-effective evolution of research prototypes into end-user tools: the Mach case study. 57-58
Software Construction 3
- Ben Hermann, Michael Reif, Michael Eichberg, Mira Mezini:
Getting to know you: towards a capability model for Java. 59-60 - Krishna Narasimhan, Christoph Reichenbach:
Copy and paste redeemed. 61-62 - Michael Eichberg, Ben Hermann, Mira Mezini, Leonid Glanz:
Hidden Truths in Dead Software Paths. 63-64
Empirical Software Engineering 2
- Michael Klaes:
Effekte modellbasierter Test- und Analyseverfahren in Unternehmen - Ergebnisse einer großangelegten empirischen Evaluation mittels industrieller Fallstudien. 65-66 - Yulia Demyanova, Thomas Pani, Helmut Veith, Florian Zuleger:
Empirical software metrics for benchmarking of verification tools. 67-68 - Guido Salvaneschi, Sven Amann, Sebastian Proksch, Mira Mezini:
An empirical study on program comprehension with reactive programming. 69-70
Business Process Engineering
- Henrik Leopold, Jan Mendling, Artem Polyvyanyy:
Supporting Process Model Validation through Natural Language Generation. 71-72 - Kathrin Figl, Ralf Laue:
Kognitive Belastung als lokales Komplexitätsmaß in Geschäftsprozessmodellen. 73-74 - Fabian Pittke, Henrik Leopold, Jan Mendling:
Automatic detection and resolution of lexical ambiguity in process models. 75-76
Product Lines
- Jan Schroeder, Daniela Holzner, Christian Berger, Carl-Johan Hoel, Leo Laine, Anders Magnusson:
Design and evaluation of a customizable multi-domain reference architecture on top of product lines of self-driving heavy vehicles - an industrial case study. 77-78 - Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, Martin Leucker:
Counterexample guided abstraction refinement of product-line behavioural models. 79-80 - Malte Lochau, Johannes Bürdek, Stefan Bauregger, Andreas Holzer, Alexander von Rhein, Sven Apel, Dirk Beyer:
On facilitating reuse in multi-goal test-suite generation for software product lines. 81-82
Empirical Software Engineering 3
- Janet Siegmund, Norbert Siegmund, Sven Apel:
How reviewers think about internal and external validity in empirical software engineering. 83-84 - Ulrike Abelein, Barbara Paech:
Understanding the influence of user participation and involvement on system success - a systematic mapping study. 85-86 - Florian Fittkau, Alexander Krause, Wilhelm Hasselbring:
Hierarchical software landscape visualization for system comprehension: A controlled experiment. 87-88
Modelling, Model-Driven Development
- Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille:
Extracting frame conditions from operation contracts. 89-90 - Sven Wenzel, Daniel Poggenpohl, Jan Jürjens, Martín Ochoa:
Umlchange - specifying model changes to support security verification of potential evolution. 91-92 - Michael Vierhauser, Rick Rabiser, Paul Grünbacher, Alexander Egyed:
A DSL-based approach for event-based monitoring of systems of systems. 93-94
Variability and Evaluation 1
- Stefan Fischer, Lukas Linsbauer, Roberto E. Lopez-Herrejon, Alexander Egyed:
Enhancing clone-and-own with systematic reuse for developing software variants. 95-96 - Jörg Liebig, Sven Apel, Andreas Janker, Florian Garbe, Sebastian Oster:
Morpheus: variability-aware refactoring in the wild. 97-98 - Steffen Vaupel, Gabriele Taentzer, René Gerlach, Michael Guckert:
Model-driven development of platform-independent mobile applications supporting role-based app variability. 99-100
Software Verification
- Moritz Sinn, Florian Zuleger, Helmut Veith:
A simple and scalable static analysis for bound analysis and amortized complexity analysis. 101-102 - Shahar Maoz, Jan Oliver Ringert:
GR(1) synthesis for LTL specification patterns. 103-104 - Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Andreas Stahlbauer:
Witness validation and stepwise testification across software verifiers. 105-106
Variability and Evaluation 1
- Birgit Vogel-Heuser, Alexander Fay, Ina Schaefer, Matthias Tichy:
Evolution of software in automated production systems: challenges and research directions. 107-108 - Patrick Mäder, Alexander Egyed:
Do developers benefit from requirements traceability when evolving and maintaining a software system? 109-110 - Joachim Schramm, Patrick Dohrmann, Marco Kuhrmann:
Development of flexible software process lines with variability operations: A longitudinal case study. 111-112
Keynotes
- Wilhelm Hasselbring:
Continuous Software Engineering. 113-114 - Uwe Aßmann:
Working with robots in smart homes and smart factories - robotic co-working. 115
Workshops
- Michael Felderer, Wilhelm Hasselbring:
SE FIT: software engineering forum der IT transferinstitute. 117 - Andreas Krall, Ina Schaefer:
ATPS 2016: 9. Arbeitstagung Programmiersprachen. 119-120 - Constantin Scheuermann, Andreas Seitz:
CPSSC: 1st international workshop on cyber-physical systems in the context of smart cities. 121-122 - Horst Lichter, Bernd Brügge, Dirk Riehle:
CSE 2016: workshop on continuous software engineering. 123-124 - Robert Heinrich, Reiner Jung, Marco Konersmann, Eric Schmieders:
EMLS16: 3rd collaborative workshop on evolution and maintenance of long-living software systems. 125-126 - Alexander Schlaefer, Sibylle Schupp, André Stollenwerk:
FS-MCPS: 2nd workshop on fail safety in medical cyber-physical systems. 127-128 - Rüdiger Weißbach, Jörn Fahsel, Andrea Herrmann, Anne Hoffmann, Dieter Landes:
LehRE: 2. Workshop "Lehre für Requirements Engineering". 129-130
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.
last updated on 2024-11-11 21:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
