Software-engineering and management 2015

Gesellschaft für Informatik, Bonn
2015

Contents

Articles

• Lars Hamann, Martin Gogolla
  Endogene metamodellierung der semantik von neueren UML 2 sprachmitteln
  Pages: 31-32... Full Text
• Samuel Kounev, Fabian Brosig, Nikolaus Huber
  The Descartes modeling language for self-aware performance and resource management
  Pages: 33-34... Full Text
• Harald Störrle
  On the impact of layout quality to understanding UML diagrams: not just pretty pictures
  Pages: 35-36... Full Text
• Grischa Liebel, Nadja Marko, Matthias Tichy, Andrea Leitner, Jörgen Hansson
  Industrielle praxis modellbasierter entwicklung im bereich eingebetteter systeme
  Pages: 37-38... Full Text
• Tihomir Gvero, Viktor Kuncak, Ivan Kuraj, Ruzica Piskac
  Insynth: A system for code completion using types and weights
  Pages: 39-40... Full Text
• Heather Miller, Philipp Haller
  A type-based foundation for closure-passing in the age of concurrency and distribution
  Pages: 41-42... Full Text
• Zvonimir Pavlinovic, Tim King, Thomas Wies
  Finding minimum type error sources
  Pages: 43-44... Full Text
• Luminous Fennell, Peter Thiemann
  Gradual typing for annotated type systems
  Pages: 45-46... Full Text
• Static Analysismichael Pressler, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel
  Fast software performance evaluation for embedded hardware in componentbased embedded systems
  Pages: 47-48... Full Text
• Alexander Von Rhein, Sven Apel
  Strategies for analyzing configurable systems
  Pages: 49-50... Full Text
• Antonio Filieri, Corina Păsăreanu, Willem Visser, Jaco Geldenhuys
  Statistical symbolic execution with informed sampling
  Pages: 51-52... Full Text
• René Just, Michael D. Ernst, Gordon Fraser
  Mutation analysis for the real world: effectiveness, efficiency, and proper tool support
  Pages: 53-54... Full Text
• Mahdi Derakhshanmanesh, Jürgen Ebert, Thomas Iguchi, Gregor Engels
  Model-integrating software components
  Pages: 55-56... Full Text
• Thomas Thüm, Sven Apel, Christian Kästner, Ina Schaefer, Gunter Saake
  Analysis strategies for software product lines: A classification and survey
  Pages: 57-58... Full Text
• Clemens Dubslaff
  Advances in quantitative software product line analysis
  Pages: 59-60... Full Text
• Matthias Kowal, Ina Schaefer, Mirco Tribastone
  Family-based performance analysis of variant-rich software systems
  Pages: 61-62... Full Text
• Janet Siegmund, Sven Apel, Christian Kästner, Chris Parnin, Anja Bethmann, Gunter Saake, Thomas Leich, André Brechmann
  Measuring program comprehension with functional magnetic resonance imaging
  Pages: 63-64... Full Text
• Walid Maalej, Rebecca Tiarks, Tobias Röhm, Rainer Koschke
  On the comprehension of program comprehension
  Pages: 65-66... Full Text
• Franz Zieris, Lutz Prechelt
  On knowledge transfer skill in pair programming
  Pages: 67-68... Full Text
• Sebastian Baltes, Stephan Diehl
  Sketches and diagrams in practice
  Pages: 69-70... Full Text
• Stephan Arlt, Sergio Feo Arenis, Andreas Podelski, Martin Wehrle
  System testing and program verification
  Pages: 71-72... Full Text
• Dirk Beyer, Stefan Löwe
  Interpolation for value analysis
  Pages: 73-74... Full Text
• Dennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer, Mattias Ulbrich
  Automating regression verification
  Pages: 75-76... Full Text
• René Just, Michael D. Ernst, Suzanne Millstein
  Collaborative verification of information flow for a high-assurance app store
  Pages: 77-77... Full Text
• Tanja Mayerhofer, Philip Langer, Gerti Kappel
  Semantic model differencing based on execution traces
  Pages: 78-79... Full Text
• Thorsten Berger, Sarah Nadi
  Variability models in large-scale systems: A study and a reverse-engineering technique
  Pages: 80-81... Full Text
• Sandro Schulze, Ina Schaefer
  Refactoring delta-oriented software product lines
  Pages: 82-82... Full Text
• Stefan Gärtner, Thomas Ruhroth, Jens Bürger, Kurt Schneider, Jan Jürjens
  Towards maintaining long-living information systems by incorporating security knowledge
  Pages: 83-84... Full Text
• Ingo Scholtes, Marcelo Serrano Zanetti, Claudio Juan Tessone, Frank Schweitzer
  Automated software remodularization based on move refactoring - A complex systems approach
  Pages: 85-86... Full Text
• Johannes Neubauer
  Higher-order process engineering in the context of active continuous quality control
  Pages: 87-88... Full Text
• Boris Duedder, Moritz Martens, Jakob Rehof
  Staged composition synthesis
  Pages: 89-90... Full Text
• Joel Greenyer, Christian Brenner, Maxime Cordy, Patrick Heymans, Erika Gressi
  Incrementally synthesizing controllers from scenario-based product line specifications
  Pages: 91-92... Full Text
• Sebastian Erdweg, Tijs Van Der Storm, Yi Dai
  Capture-avoiding program transformations with name-fix
  Pages: 93-94... Full Text
• Anthony Anjorin, Karsten Saller, Malte Lochau, Andy Schürr
  On modularizing triple graph grammars with rule refinement
  Pages: 95-96... Full Text
• Daniel Strüber, Gabriele Taentzer
  Starting model development in distributed teams with incremental model splitting.
  Pages: 97-98... Full Text
• Christian Krause, Matthias Tichy, Holger Giese
  Implementing graph transformations in the bulk synchronous parallel model
  Pages: 99-100... Full Text
• Alexander Bergmayr, Michael Grossniklaus, Manuel Wimmer, Gerti Kappel
  UML profile generation for annotation-based modeling
  Pages: 101-102... Full Text
• Kim Herzig, Sascha Just, Andreas Zeller
  It's not a bug, it's a feature: how misclassification impacts bug prediction
  Pages: 103-104... Full Text
• Kim Herzig, Nachiappan Nagappan
  The impact of test ownership and team structure on the reliability, effectivenessof quality test runs
  Pages: 105-106... Full Text
• Michael Pradel, Markus Huggler, Thomas Gross
  Performance regression testing of concurrent classes
  Pages: 107-107... Full Text
• Michael Felderer, Armin Beer
  Requirements-based testing with defect taxonomies
  Pages: 108-109... Full Text
• Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
  Verifying component and connector models against crosscutting structural views
  Pages: 110-111... Full Text
• Antonio Filieri, Henr Hoffmann, Martina Maggio
  Automated design of self-adaptive software with control-theoretical formal guarantees
  Pages: 112-113... Full Text
• Klaus-Benedikt Schultis, Christoph Elsner, Daniel Lohmann
  Architecture challenges for internal software ecosystems: A large-scale industry case study
  Pages: 114-115... Full Text
• Reinhard Von Hanxleden, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Steven Smyth, Michael Mendler, Joaquń Aguado, Stephen Loftus-Mercer, Owen O'brien
  Sequential constructiveness, sccharts for safety-critical applications
  Pages: 116-117... Full Text
• Anna Lanzaro, Roberto Natella, Stefan Winter, Domenico Cotroneo, Neeraj Suri
  Error models for the representative injection of software defects
  Pages: 118-119... Full Text
• Patrick Rempel, Patrick Mäder, Tobias Kuschke, Jane Cleland-Huang
  Traceability gap analysis for assessing the conformance of software traceabilityto relevant guidelines
  Pages: 120-121... Full Text
• Dominik Renzel, Ralf Klamma, Matthias Jarke
  Requirements bazaar: experiences, added-value and acceptance of requirementsnegotiation between end-users and open source software developers
  Pages: 122-123... Full Text
• Walid Maalej, Swapneel Sheth
  Us and them: A study of privacy requirements across north America, Asia, and Europe
  Pages: 124-124... Full Text
• Andreas Vogelsang, Steffen Fuhrmann
  Why feature dependencies challenge the requirements engineering of automotive systems: an empirical study
  Pages: 125-126... Full Text
• Walter Binder, Yudi Zheng, Lubomir Bulej, Haiyang Sun, Petr Tuma
  Comprehensive multi-platform dynamic program analysis for the Java and dalvik virtual machines
  Pages: 127-128... Full Text
• Antonio Carzaniga, Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Nicolò Perino, Mauro Pezzè, Paolo Tonella
  Intrinsic software redundancy for self-healing software systems, automated oracle generation
  Pages: 129-130... Full Text
• Michael Pradel, Parker Schuh, George Necula, Koushik Sen
  Eventbreak: analyzing the responsiveness of user interfaces through performance-guided test generation
  Pages: 131-131... Full Text
• Andrea Arcuri, Gordon Fraser, Juan Pablo Galeotti
  Automatische erzeugung von unit tests für klassen mit umgebungs-abhängigkeiten.
  Pages: 132-132... Full Text
• Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis
  Residual investigation: predictive and precise bug detection
  Pages: 133-134... Full Text
• Georg Püschel, Christian Piechnick, Uwe Aßmann
  Generative und simulative softwaretests für selbst-adaptive, cyber-physikalische systeme
  Pages: 135-135... Full Text
• Marcel Böhme, Soumya Paul
  Über die effizienz des automatischen testens
  Pages: 136-137... Full Text
• Sören Frey, Florian Fittkau, Wilhelm Hasselbring
  Optimizing the deployment of software in the cloud
  Pages: 138-139... Full Text
• Emitza Guzman, Walid Maalej
  Do users like this feature? A fine grained sentiment analysis of app reviews
  Pages: 140-140... Full Text
• Jons-Tobias Wamhoff, Stephan Diestelhort, Christoph Fetzer, Patrick Marlier, Pascal Felber, Dave Dice
  The TURBO diaries: application-controlled frequency scaling explained
  Pages: 141-142... Full Text
• Martin Franz, Andreas Holzer, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith
  Compilation for secure two-party computations
  Pages: 143-144... Full Text
• Eric Schmieders, Andreas Metzger, Klaus Pohl
  Ein laufzeitmodel-basierter ansatz zur datenschutz-prüfung von cloud-systemen
  Pages: 145-146... Full Text
• Irina Todoran, Norbert Seyff, Martin Glinz
  How do cloud providers elicit consumer requirements?
  Pages: 147-147... Full Text
• David Georg Reichelt, Johannes Schmidt
  Performanzanalyse von softwaresystemversionen: methode und erste ergebnisse
  Pages: 153-158... Full Text
• Walter F. Tichy, Mathias Landhäußer, Sven J. Körner
  Nlrpbench: A benchmark for natural language requirements processing
  Pages: 159-164... Full Text
• Andreas Kaufmann, Dirk Riehle
  Improving traceability of requirements through qualitative data analysis
  Pages: 165-170... Full Text
• Johannes Meißner, Frederik Schulz, Wilhelm Rossak
  Analyse der sozialen teamstruktur in softwareprojekten
  Pages: 171-176... Full Text
• Florian Lautenschlager, Andreas Kumlehn, Josef Adersberger, Michael Philippsen
  Rahmenwerk zur ausreißererkennung in zeitreihen von software-laufzeitdaten
  Pages: 177-182... Full Text
• Wolfgang Golubski, Gerrit Beine
  Der software-architekt und sein unwissen
  Pages: 183-188... Full Text
• Alexander Wachtel, Sebastian Weigelt, Philipp Voigt, Walter F. Tichy
  Prototyp einer natürlichsprachlichen schnittstelle für tabellenkalkulation
  Pages: 189-194... Full Text
• Christian Klauß
  Towards API usability engineering as a software engineering paradigm
  Pages: 195-200... Full Text
• Patrik Feth, Thomas Bauer, Thomas Kuhn
  Virtual validation of cyber physical systems
  Pages: 201-206... Full Text
• Margit Fries, Herbert Dietrich
  Integration der normen zur funktionalen sicherheit in ein organisationsspezifischangepasstes V-modell XT und die projektpraxis
  Pages: 211-214... Full Text
• Schlomo Schapiro
  Test driven infrastructure
  Pages: 215-218... Full Text
• Tobias Baum
  Leveraging pre-commit hooks for context-sensitive checklists: a case study
  Pages: 219-222... Full Text
• Edward Fischer
  Kompakte anforderungsverfolgung in modellen - ein praxisbericht
  Pages: 223-226... Full Text
• Wolfgang Böhm, Maximilian Junker
  Siemens rail - industrial case study: model-based development of a train guardmt function
  Pages: 231-231... Full Text
• Vincent Aravantinos, Kenji Miyamoto, Zaur Molotnikov, Nikolaus Regnat, Bernhard Schätz
  Textual model-based software/system architecture documentation using MPS
  Pages: 232-237... Full Text
• Michael Felderer, Armin Beer
  Mutual knowledge transfer between industry and academia to improve testing withdefect taxonomies
  Pages: 238-242... Full Text
• Timm Bußhaus, Stefan Fischer, Franziska Kühn, Martin Leucker, Alexander
  Mildner, malte schmitzvom forschungsprototypen zur industriellen nutzung einer qualitätsgesicherten me-dizinischen softwarekomponente - technologietransfer im CMSSE
  Pages: 243-248... Full Text
• Eugen Reiswich, Heinz Züllighoven
  Geneal - von einer leitstandarchitektur zu innovativen interaktionsformen
  Pages: 249-254... Full Text
• Benjamin Nagel, Klaus Schröder, Steffen Becker, Stefan Sauer, Gregor Engels
  Kooperative methoden- und werkzeugentwicklung zur cloudmigration von proprietärenanwendungskomponenten
  Pages: 255-260... Full Text
• August-Wilhelm Scheer
  Keynote: tipps für start-ups in der industrie 4.0
  Pages: 263-263... Full Text
• Michael Würtenberger
  Keynote: changing automotive industrie
  Pages: 264-264... Full Text
• Robert Heinrich, Reiner Jung, Marco Konersmann, Eric Schmieders
  2nd collaborative workshop on evolution and maintenance of long-living $Systems(EML)$
  Pages: 267-267... Full Text
• Alexander Schlaefer, Sibylle Schupp
  Fail safety in medical cyber-physical systems (FS-MCPS)
  Pages: 268-268... Full Text
• Clemens Grelck, Baltasar Trancón Widemann
  8. Arbeitstagung programmiersprachen (ATPS 2015)
  Pages: 269-270... Full Text
• Ottmar Bender, Wolfgang Böhm, Frank Houdek, Stefan Henkler, Andreas Vogelsang, Thorsten Weyer
  Fünfter workshop zur zukunft der entwicklung softwareintensiver eingebetteter systeme (ENVISION2020)
  Pages: 271-272... Full Text
• Ronald Scholz, Lars Martin
  Eclipse Internet of things (Eclipse iot)
  Pages: 273-274... Full Text
• Antonio Barresi, Mathias Payer, Thomas Gross
  Control-flow integrity
  Pages: 277-277... Full Text
• Markku Lammerz, Dennis Michielse
  C# durch die brille des software-entwicklers
  Pages: 278-278... Full Text
• Harry Sneed
  Migrating to a service-oriented architecture
  Pages: 279-279... Full Text
• Stefan Oehm, Moritz Eysholdt
  Xtext - werkzeugunterstützung für bestehende sowie eigene sprachen einfachentwickeln
  Pages: 280-281... Full Text
• Felix Willnecker
  Optimization of component allocations in middleware platforms using performance models
  Pages: 287-290... Full Text
• Axel Busch
  Automated decision support for recurring design decisions considering non-functional requirements
  Pages: 291-294... Full Text
• Mustafa Al-Hajjaji
  Scalable sampling and prioritization for product-line testing
  Pages: 295-298... Full Text
• Oliver Norkus
  Ein ansatz zur standardisierung von business intelligence in der cloud
  Pages: 299-302... Full Text
• Andreas Spillner
  Keynote: pair - requirements engineering
  Pages: 305-306... Full Text
• Ursula Schmitt-Wagner, Alexander Van Der Vekens
  Evolutionäre entwicklung einer web-anwendung im kirchlichen umfeld
  Pages: 307-318... Full Text
• Jens Nerche
  Ausführbare spezifikationen im projektalltag - ein erfahrungsbericht
  Pages: 319-333... Full Text
• Roman Roelofsen, Stephan Wilczek
  Markup-basiertes spezifikations- und anforderungsmanagement in agilen softwareprojekten
  Pages: 334-345... Full Text
• Jan Düttmann, Stephan Kleuker
  Gegenseitige beeinflussungen von testautomatisierung, testmanagement und entwicklung
  Pages: 346-361... Full Text
• Anne Göthlich, Karin Eisenblätter, Michael Kroll, Johannes Schad, Heike Vocke
  Ein generativer ansatz für den automatisierten software-test
  Pages: 362-377... Full Text
• Maximilian Azimi, Jens-Rainer Felske, Sebastian Lauber, Jan-Henrich Mattfeld, Pascal Schneider, Krischan Stapelfeldt, Timm Suhl, Nils Techau, Karin Vosseberg
  Testautomatisierung gute qualität fällt nicht vom himmel
  Pages: 378-385... Full Text
• Harry M. Sneed
  Aufwandsschätzung der softwarewartung und -evolution
  Pages: 386-402... Full Text
• Thomas Wolfenstetter, Jonas Zitzelsberger, Markus Böhm, Helmut Krcmar
  Traceability von anforderungen und tests in agilen softwareentwicklungsprojekten
  Pages: 403-418... Full Text
• Jens Nerche
  Erfahrungsbericht datenbankbasierte metrikverarbeitung für clean code development in brownfieldprojekten
  Pages: 419-432... Full Text
• Meik Teßmer
  Literate programming zur dokumentation in der systemadministration
  Pages: 433-445... Full Text
• Gunnar Auth
  Prozessorientierte anforderungsanalyse für die einführung integrierter campus-management-systeme
  Pages: 446-461... Full Text
• Ivonne Erfurth, Christian Erfurth
  Requirements engineering aus sicht von hochschulrechenzentren - analyse und entwurf von IT-diensten an hochschulen
  Pages: 462-469... Full Text
• Ronny Kaiser, Georg Püschel, Sebastian Götz, Katrin Kahle, Uwe Aßmann
  Von der software-dissertation zum lean startup
  Pages: 470-483... Full Text
• Harry M. Sneed
  Test-driven requirements management
  Pages: 484-484... Full Text
• Jens Nerche
  Ausführbare spezifikationen mit der language workbench MPS
  Pages: 485-485... Full Text

Gesellschaft für Informatik, Bonn
ISBN 978-3-88579-633-6