Abstract is missing.
- Vorwort zur 6. Arbeitstagung Programmiersprachen (ATPS 2013)Jens Knoop, Janis Voigtländer. 17-20
- Automated Termination Analysis: From Term Rewriting to Programming LanguagesJürgen Giesl. 21-22
- Modell-basierte Programmgenerierung und Methoden des Übersetzerbaus - Zwei Seiten derselben Medaille?Wolf Zimmermann. 23-25
- Parallelizing DPLL in HaskellTill Berger, David Sabel. 27-42
- Static and Dynamic Method Unboxing for PythonGergö Barany. 43-57
- ViCE-UPSLA: A Visual High Level Language for Accurate Simulation of Interlocked Pipelined ProcessorsDennis Klassen. 59-74
- CASM: Implementing an Abstract State Machine based Programming LanguageRoland Lezuo, Gergö Barany, Andreas Krall. 75-90
- MD-DSL - eine domänenspezifische Sprache zur Beschreibung und Generierung mobiler AnwendungenHenning Heitkötter, Tim A. Majchrzak, Herbert Kuchen. 91-106
- How Useful Are Existing Monitoring Languages for Securing Android Apps? Steven Arzt, Kevin Falzon, Andreas Follner, Siegfried Rasthofer, Eric Bodden, Volker Stolz. 107-122
- Using JOANA for Information Flow Control in Java Programs - A Practical GuideJürgen Graf, Martin Hecker, Martin Mohr. 123-138
- Type Systems for Domain-specific LanguagesReiner Jung, Christian Schneider, Wilhelm Hasselbring. 139-154
- From Software Architecture Structure and Behavior Modeling to Implementations of Cyber-Physical SystemsJan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann. 155-170
- Paisley: A Pattern Matching Library for Arbitrary Object ModelsBaltasar Trancón-y-Widemann, Markus Lepper. 171-186
- Wiederverwendbarkeit von Migrationswissen durch Techniken der modellgetriebenen SoftwareentwicklungMarvin Grieger, Stefan Sauer. 189-200
- Future Research Topics in Enterprise Architectures Evolution AnalysisSascha Roth, Florian Matthes. 201-206
- Evolution wiederverwendbarer Schnittstellen in der ProduktentwicklungSimon Giesecke, Niels Streekmann. 207-208
- ISS Columbus Module On-Board Software MaintenanceJasminka Matevska. 209-214
- Towards Identifying Evolution Smells in Software Product LinesKlaus Schmid, Rainer Koschke, Christian Kröher, Dierk Lüdemann. 215-219
- Die Objektorientierte Hülle - Erweiterbarkeit imperativ-prozeduraler Altsysteme durch VerschalungHenning Schwentner, Jens Barthel. 221-222
- An Artifact-Oriented Framework for the Seamless Development of Embedded SystemsWolfgang Böhm, Andreas Vogelsang. 225-234
- Ein strukturierter Ansatz zur Ableitung methodenspezifischer UML/SysML-Profile am Beispiel des SPES 2020 Requirements ViewpointsBastian Tenbergen, Philipp Bohn, Thorsten Weyer. 235-244
- A Design Space Exploration Framework for Model-Based Software-Intensive Embedded System DevelopmentMatthias Büker, Stefan Henkler, Stefanie Schlegel, Eike Thaden. 245-249
- Anforderungen von Leitbranchen der deutschen Industrie an Variantenmanagement und Wiederverwendung und daraus resultierende ForschungsfragestellungenMartin Große-Rhode, Peter Manhart, Ralf Mauersberger, Sebastian Schröck, Michael Schulze, Thorsten Weyer. 251-260
- Engineering von "Mechatronik und Software" in automatisierten Anlagen: Anforderungen und Stand der TechnikThomas Holm, Sebastian Schröck, Alexander Fay, Tobias Jäger, Ulrich Löwen. 261-272
- Herausforderungen an ein durchgängiges Variantenmanagement in Software-Produktlinien und die daraus resultierende EntwicklungsprozessadaptionChristian Manz, Manfred Reichert. 273-282
- Konzepte zur Erweiterung des SPES Meta-Modells um Aspekte der Variabilitäts- und DeltamodellierungPeter Manhart, Pedram Mir Seyed Nazari, Bernhard Rumpe, Ina Schaefer, Christoph Schulze. 283-292
- Funktionsgetriebene Entwicklung Software-intensiver eingebetteter Systeme in der Automobilindustrie - Stand der Wissenschaft und ForschungsfragestellungenMarian Daun, Jennifer Brings, Jens Höfflinger, Thorsten Weyer. 293-302
- Using RenderScript and RCUDA for Compute Intensive Tasks on Mobile Devices: a Case StudyRoelof Kemp, Nicholas Palmer, Thilo Kielmann, Henri E. Bal, Bastiaan Aarts, Anwar M. Ghuloum. 305-318
- Mobile ScrumStephan Krusche, Tobias Konsek. 319-325
- AndroStep: Android Storage Performance Analysis ToolSooman Jeong, Kisung Lee, Jungwoo Hwang, Seongjin Lee, Youjip Won. 327-340
- Towards Automated Detection of Mobile Usability IssuesDaniel Bader, Dennis Pagano. 341-354
- Saving Energy in Production Using Mobile ServicesChristopher Ruff, Uwe Laufs, Moritz Müller, Jan Zibuschka. 355-361
- Evaluation of Cross-Platform Frameworks for Mobile ApplicationsAndreas Sommer, Stephan Krusche. 363-376
- Debugging Cross-Platform Mobile Apps without Tool BreakChristoph Hausmann, Patrick Blitz, Uwe Baumgarten. 377-390
- Platform Architecture Portfolio: Comparisn of 3 Platforms (Android, iOS, mobile Ubuntu)Marlo Häring. 391-394
- Develop and Scale Mobile Services in Cloud Computing ScenariosMartin Ott. 395-399
- Modellierung von Vorgehensmodellen - Paradigmen, Sprachen, ToolsMarco Kuhrmann, Daniel Méndez Fernández, Oliver Linssen, Alexander Knapp. 403-404
- Modellierung und Enactment mit ESSENCEMichael Striewe, Michael Goedicke. 405-414
- How to Select a Suitable Tool for a Software Development Project: Three Case Studies and the Lessons LearnedMark Kibanov, Dominik J. Erdmann, Martin Atzmueller. 415-424
- Ein pragmatischer Ansatz zur Entwicklung situationsgerechter EntwicklungsmethodenMichael Spijkerman. 425-434
- Assembly-Based Method Engineering with Method PatternsMasud Fazal-Baqaie, Markus Luckey, Gregor Engels. 435-444
- Data Lineage Goes Traceability - oder was Requirements Engineering von Business Intelligence lernen kannAndreas Ditze. 447-452
- A Model Management Framework for Maintaining Traceability LinksThomas Beyhl, Regina Hebig, Holger Giese. 453-457
- UNICASE Trace Client: A CASE Tool Integrating Requirements Engineering, Project Management and Code ImplementationAlexander Delater, Barbara Paech. 459-463
- Defining Requirements on Domain-Specific Languages in Model-Driven Software Engineering of Safety-Critical SystemsMichael Wasilewski, Wilhelm Hasselbring, Dirk Nowotka. 467-482
- Opening up the Verification and Validation of Safety-Critical SoftwareHardi Hungar, Marc Behrens. 483-491
- Pattern-Based Methods for Model-Based Safety-Critical Software Architecture Design: A PhD Thesis ProposalMaged Khalil. 493-499
- Integrating State Machine Analysis with System-Theoretic Process AnalysisAsim Abdulkhaleq, Stefan Wagner. 501-514
- Zur Risikobestimmung bei Security-Analysen in der EisenbahnsignaltechnikSebastian Saal, Dennis Klar, Markus Seemann, Michaela Huhn. 515-528
- Building Secure Systems Using a Security Engineering Process and Security Building BlocksAndre Rein, Carsten Rudolph, Jose Fran. Ruiz. 529-544
- Combining Safety Engineering and Product Line EngineeringJean-Pascal Schwinn, Rasmus Adler, Sören Kemmann. 545-554
- Vorwort zum Doktorandensymposium 2013Horst Lichter, Kurt Schneider. 557
- Guiding Transaction Design through Architecture-Level Performance and Data Consistency PredictionPhilipp Merkle. 559-564
- Erweiterung von domänenspezifischen Sprachen um benutzerdefinierte WerttypenChristin Zahner. 565-570
- Multi-Language Refactoring with Dimensions of Semantics-PreservationHagen Schink. 571-576
- Generating Monitors for Usage ControlFrederik Deckwerth. 577-582
- Eine Multikanal-Architektur für adaptive, webbasierte Frontendsysteme und deren Erweiterbarkeit durch VariantenbildungMichael Thomas Hitz. 583-589
- Scribble - A Framework for Integrating Intelligent Input Methods into Graphical Diagram EditorsAndreas Scharf. 591-596