Software Engineering 2013 - Workshopband

Gesellschaft für Informatik, Bonn
2013

Contents

Articles

• Jens Knoop, Janis Voigtländer
  Vorwort zur 6. Arbeitstagung Programmiersprachen (ATPS 2013)
  Pages: 17-20... Full Text
• Jürgen Giesl
  Automated termination analysis: from term rewriting to programming languages
  Pages: 21-22... Full Text
• Wolf Zimmermann
  Modell-basierte Programmgenerierung und Methoden des Übersetzerbaus - Zwei Seiten derselben Medaille?
  Pages: 23-26... Full Text
• Till Berger, David Sabel
  Parallelizing DPLL in Haskell
  Pages: 27-42... Full Text
• Gergö Barany
  Static and dynamic method unboxing for python
  Pages: 43-58... Full Text
• Dennis Klassen
  Vice-UPSLA: A visual high level language for accurate simulation of interlocked pipelined processors
  Pages: 59-74... Full Text
• Roland Lezuo, Gergö Barany, Andreas Krall
  CASM: Implementing an Abstract State Machine based Programming Language
  Pages: 75-90... Full Text
• Henning Heitkötter, Tim A. Majchrzak, Herbert Kuchen
  MD -DSL - eine domänenspezifische Sprache zur Beschreibung und Generierung mobiler Anwendungen
  Pages: 91-106... Full Text
• Steven Arzt, Kevin Falzon, Andreas Follner, Siegfried Rasthofer, Eric Bodden, Volker Stolz
  How useful are existing monitoring languages for securing android apps?
  Pages: 107-122... Full Text
• Jürgen Graf, Martin Hecker, Martin Mohr
  Using JOANA for information flow control in Java programs - A practical guide
  Pages: 123-138... Full Text
• Reiner Jung, Christian Schneider, Wilhelm Hasselbring
  Type systems for domain-specific languages
  Pages: 139-154... Full Text
• Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
  From software architecture structure and behavior modeling to implementations of cyber-physical systems
  Pages: 155-170... Full Text
• Baltasar Trancón Y. Widemann, Markus Lepper
  Paisley: A pattern matching library for arbitrary object models
  Pages: 171-186... Full Text
• Marvin Grieger, Stefan Sauer
  Wiederverwendbarkeit von Migrationswissen durch Techniken der modellgetriebenen Softwareentwicklung
  Pages: 189-200... Full Text
• Sascha Roth, Florian Matthes
  Future Research Topics in Enterprise Architectures Evolution Analysis
  Pages: 201-206... Full Text
• Simon Giesecke, Niels Streekmann
  Evolution wiederverwendbarer Schnittstellen in der Produktentwicklung
  Pages: 207-208... Full Text
• Jasminka Matevska
  ISS columbus module on board software maintenance
  Pages: 209-214... Full Text
• Klaus Schmid, Rainer Koschke, Christian Kröher, Dierk Lüdemann
  Towards Identifying Evolution Smells in Software Product Lines
  Pages: 215-220... Full Text
• Henning Schwentner, Jens Barthel
  Die Objektorientierte Hülle - Erweiterbarkeit imperativ prozeduraler Altsysteme durch Verschalung
  Pages: 221-222... Full Text
• Wolfgang Böhm, Andreas Vogelsang
  An artifact-oriented framework for the seamless development of embedded systems
  Pages: 225-234... Full Text
• Bastian Tenbergen, Philipp Bohn, Thorsten Weyer
  Ein strukturierter Ansatz zur Ableitung methodenspezifischer UML/SysML-Profile am Beispiel des SPES 2020 Requirements
  Pages: 235-244... Full Text
• Matthias Büker, Stefan Henkler, Stefanie Schlegel, Eike Thaden
  A design space exploration framework for model-based software-intensive embedded system development
  Pages: 245-250... Full Text
• Martin Große-Rhode, Peter Manhart, Ralf Mauersberger, Sebastian Schröck, Michael Schulze, Thorsten Weyer
  Anforderungen von Leitbranchen der deutschen Industrie an Variantenmanagement und Wiederverwendung und daraus resultierende Forschungsfragestellungen
  Pages: 251-260... Full Text
• Thomas Holm, Sebastian Schröck, Alexander Fay, Tobias Jäger, Ulrich Löwen
  Engineering von "Mechatronik und Software" in automatisierten Anlagen: Anforderungen und Stand der Technik
  Pages: 261-272... Full Text
• Christian Manz, Manfred Reichert
  Herausforderungen an ein durchgängiges Variantenmanagement in Software-Produktlinien und die daraus resultierende Entwicklungsprozessadaption
  Pages: 273-282... Full Text
• Peter Manhart, Pedram Mir Seyed Nazari, Bernhard Rumpe, Ina Schaefer, Christoph Schulze
  Konzepte zur Erweiterung des SPES Meta-Modells um Aspekte der Variabilitäts- und Deltamodellierung
  Pages: 283-292... Full Text
• Marian Daun, Jennifer Brings, Jens Höfflinger, Thorsten Weyer
  Funktionsgetriebene Entwicklung Software-intensiver eingebetteter Systeme in der Automobilindustrie - Stand der Wissenschaft und Forschungsfragestellungen
  Pages: 293-302... Full Text
• Roelof Kemp, Nicholas Palmer, Thilo Kielmann, Henri Bal, Bastiaan Aarts, Anwar Ghuloum
  Using renderscript and RCUDA for compute intensive tasks on mobile devices: a case study
  Pages: 305-318... Full Text
• Stephan Krusche, Tobias Konsek
  Mobile Scrum
  Pages: 319-326... Full Text
• Sooman Jeong, Kisung Lee, Jungwoo Hwang, Seongjin Lee, Youjip Won
  AndroStep: Android Storage Performance Analysis Tool
  Pages: 327-340... Full Text
• Daniel Bader, Dennis Pagano
  Towards automated detection of mobile usability issues
  Pages: 341-354... Full Text
• Christopher Ruff, Uwe Laufs, Moritz Müller, Jan Zibuschka
  Saving Energy in Production Using Mobile Services
  Pages: 355-362... Full Text
• Andreas Sommer, Stephan Krusche
  Evaluation of cross-platform frameworks for mobile applications
  Pages: 363-376... Full Text
• Christoph Hausmann, Patrick Blitz, Uwe Baumgarten
  Debugging Cross-Platform Mobile Apps without Tool Break
  Pages: 377-390... Full Text
• Marlo Häring
  Platform architecture portfolio comparisn of 3 platforms (Android, ios, mobile ubuntu)
  Pages: 391-394... Full Text
• Martin Ott
  Develop and scale mobile services in cloud computing scenarios
  Pages: 395-399... Full Text
• Marco Kuhrmann, Daniel Méndez Fernández, Oliver Linssen, Alexander Knapp
  Modellierung von Vorgehensmodellen - Paradigmen, Sprachen, Tools
  Pages: 403-404... Full Text
• Michael Striewe, Michael Goedicke
  Modellierung und Enactment mit ESSENCE
  Pages: 405-414... Full Text
• Mark Kibanov, Dominik J. Erdmann, Martin Atzmueller
  How to select a suitable tool for a software development project: three case studies and the lessons learned
  Pages: 415-424... Full Text
• Michael Spijkerman
  Ein pragmatischer Ansatz zur Entwicklung situationsgerechter Entwicklungsmethoden
  Pages: 425-434... Full Text
• Masud Fazal-Baqaie, Markus Luckey, Gregor Engels
  Assembly-based method engineering with method patterns
  Pages: 435-444... Full Text
• Andreas Ditze
  Data Lineage Goes Traceability - oder was Requirements Engineering von Business Intelligence lernen kann
  Pages: 447-452... Full Text
• Thomas Beyhl, Regina Hebig, Holger Giese
  A model management framework for maintaining traceability links
  Pages: 453-458... Full Text
• Alexander Delater, Barbara Paech
  UNICASE trace client: A CASE tool integrating requirements engineering, project management and code implementation
  Pages: 459-463... Full Text
• Michael Wasilewski, Wilhelm Hasselbring, Dirk Nowotka
  Defining requirements on domain-specific languages in model-driven software engineering of safety-critical systems
  Pages: 467-482... Full Text
• Hardi Hungar, Marc Behrens
  Opening up the verification and validation of safety-critical software
  Pages: 483-492... Full Text
• Maged Khalil
  Pattern-based methods for model-based safety-critical software architecture design: A phd thesis proposal
  Pages: 493-500... Full Text
• Asim Abdulkhaleq, Stefan Wagner
  Integrating state machine analysis with system-theoretic process analysis
  Pages: 501-514... Full Text
• Sebastian Saal, Dennis Klar, Markus Seemann, Michaela Huhn
  Zur Risikobestimmung bei Security-Analysen in der Eisenbahnsignaltechnik.
  Pages: 515-528... Full Text
• Andre Rein, Carsten Rudolph, Jose Fran. Ruiz
  Building secure systems using a security engineering process and security building blocks
  Pages: 529-544... Full Text
• Jean-Pascal Schwinn, Rasmus Adler, Sören Kemmann
  Combining safety engineering and product line engineering
  Pages: 545-554... Full Text
• Horst Lichter, Kurt Schneider
  Vorwort zum Doktorandensymposium 2013
  Pages: 557-558... Full Text
• Philipp Merkle
  Guiding transaction design through architecture-level performance and data consistency prediction
  Pages: 559-564... Full Text
• Christin Zahner
  Erweiterung von domänenspezifischen Sprachen um benutzerdefinierte Werttypen
  Pages: 565-570... Full Text
• Hagen Schink
  Multi-language refactoring with dimensions of semantics-preservation
  Pages: 571-576... Full Text
• Frederik Deckwerth
  Generating monitors for usage control
  Pages: 577-582... Full Text
• Michael Thomas Hitz
  Eine Multikanal-Architektur für adaptive, webbasierte Frontendsysteme und deren Erweiterbarkeit durch Variantenbildung
  Pages: 583-590... Full Text
• Andreas Scharf
  Scribble - A framework for integrating intelligent input methods into graphical diagram editors
  Pages: 591-596... Full Text

Gesellschaft für Informatik, Bonn
ISBN 978-3-88579-609-1