default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware Engineering 2013: Aachen, Germany - Workshops
- Stefan Wagner, Horst Lichter:
Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 1. März 2013 in Aachen. LNI P-215, GI 2013, ISBN 978-3-88579-609-1
ATPS 2013 - 6. Arbeitstagung Programmiersprachen
- Jens Knoop, Janis Voigtländer:
Vorwort zur 6. Arbeitstagung Programmiersprachen (ATPS 2013). 17-20 - Jürgen Giesl:
Automated Termination Analysis: From Term Rewriting to Programming Languages. 21-22 - Wolf Zimmermann:
Modell-basierte Programmgenerierung und Methoden des Übersetzerbaus - Zwei Seiten derselben Medaille? 23-25 - Till Berger, David Sabel:
Parallelizing DPLL in Haskell. 27-42 - Gergö Barany:
Static and Dynamic Method Unboxing for Python. 43-57 - Dennis Klassen:
ViCE-UPSLA: A Visual High Level Language for Accurate Simulation of Interlocked Pipelined Processors. 59-74 - Roland Lezuo, Gergö Barany, Andreas Krall:
CASM: Implementing an Abstract State Machine based Programming Language. 75-90 - Henning Heitkötter, Tim A. Majchrzak, Herbert Kuchen:
MD-DSL - eine domänenspezifische Sprache zur Beschreibung und Generierung mobiler Anwendungen. 91-106 - Steven Arzt, Kevin Falzon, Andreas Follner, Siegfried Rasthofer, Eric Bodden, Volker Stolz:
How Useful Are Existing Monitoring Languages for Securing Android Apps? 107-122 - Jürgen Graf, Martin Hecker, Martin Mohr:
Using JOANA for Information Flow Control in Java Programs - A Practical Guide. 123-138 - Reiner Jung, Christian Schneider, Wilhelm Hasselbring:
Type Systems for Domain-specific Languages. 139-154 - Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann:
From Software Architecture Structure and Behavior Modeling to Implementations of Cyber-Physical Systems. 155-170 - Baltasar Trancón y Widemann, Markus Lepper:
Paisley: A Pattern Matching Library for Arbitrary Object Models. 171-186
DFF - Design for Future 2013, Software Engineering für langlebige Systeme
- Marvin Grieger, Stefan Sauer:
Wiederverwendbarkeit von Migrationswissen durch Techniken der modellgetriebenen Softwareentwicklung. 189-200 - Sascha Roth, Florian Matthes:
Future Research Topics in Enterprise Architectures Evolution Analysis. 201-206 - Simon Giesecke, Niels Streekmann:
Evolution wiederverwendbarer Schnittstellen in der Produktentwicklung. 207-208 - Jasminka Matevska:
ISS Columbus Module On-Board Software Maintenance. 209-214 - Klaus Schmid, Rainer Koschke, Christian Kröher, Dierk Lüdemann:
Towards Identifying Evolution Smells in Software Product Lines. 215-219 - Henning Schwentner, Jens Barthel:
Die Objektorientierte Hülle - Erweiterbarkeit imperativ-prozeduraler Altsysteme durch Verschalung. 221-222
ENVISION2020 - 3. Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme
- Wolfgang Böhm, Andreas Vogelsang:
An Artifact-Oriented Framework for the Seamless Development of Embedded Systems. 225-234 - Bastian Tenbergen, Philipp Bohn, Thorsten Weyer:
Ein strukturierter Ansatz zur Ableitung methodenspezifischer UML/SysML-Profile am Beispiel des SPES 2020 Requirements Viewpoints. 235-244 - Matthias Büker, Stefan Henkler, Stefanie Schlegel, Eike Thaden:
A Design Space Exploration Framework for Model-Based Software-Intensive Embedded System Development. 245-249 - 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. 251-260 - 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. 261-272 - Christian Manz, Manfred Reichert:
Herausforderungen an ein durchgängiges Variantenmanagement in Software-Produktlinien und die daraus resultierende Entwicklungsprozessadaption. 273-282 - 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. 283-292 - Marian Daun, Jennifer Brings, Jens Höfflinger, Thorsten Weyer:
Funktionsgetriebene Entwicklung Software-intensiver eingebetteter Systeme in der Automobilindustrie - Stand der Wissenschaft und Forschungsfragestellungen. 293-302
ME'13 - First European Workshop on Mobile Engineering
- Roelof Kemp, Nicholas Palmer, Thilo Kielmann, Henri E. Bal, Bastiaan Aarts, Anwar M. Ghuloum:
Using RenderScript and RCUDA for Compute Intensive Tasks on Mobile Devices: a Case Study. 305-318 - Stephan Krusche, Tobias Konsek:
Mobile Scrum. 319-325 - Sooman Jeong, Kisung Lee, Jungwoo Hwang, Seongjin Lee, Youjip Won:
AndroStep: Android Storage Performance Analysis Tool. 327-340 - Daniel Bader, Dennis Pagano:
Towards Automated Detection of Mobile Usability Issues. 341-354 - Christopher Ruff, Uwe Laufs, Moritz Müller, Jan Zibuschka:
Saving Energy in Production Using Mobile Services. 355-361 - Andreas Sommer, Stephan Krusche:
Evaluation of Cross-Platform Frameworks for Mobile Applications. 363-376 - Christoph Hausmann, Patrick Blitz, Uwe Baumgarten:
Debugging Cross-Platform Mobile Apps without Tool Break. 377-390 - Marlo Häring:
Platform Architecture Portfolio: Comparisn of 3 Platforms (Android, iOS, mobile Ubuntu). 391-394 - Martin Ott:
Develop and Scale Mobile Services in Cloud Computing Scenarios. 395-399
Modellierung von Vorgehensmodellen - Paradigmen, Sprachen, Tools
- Marco Kuhrmann, Daniel Méndez Fernández, Oliver Linssen, Alexander Knapp:
Modellierung von Vorgehensmodellen - Paradigmen, Sprachen, Tools. 403-404 - Michael Striewe, Michael Goedicke:
Modellierung und Enactment mit ESSENCE. 405-414 - 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. 415-424 - Michael Spijkerman:
Ein pragmatischer Ansatz zur Entwicklung situationsgerechter Entwicklungsmethoden. 425-434 - Masud Fazal-Baqaie, Markus Luckey, Gregor Engels:
Assembly-Based Method Engineering with Method Patterns. 435-444
Traceability - Nutzung und Nutzen
- Andreas Ditze:
Data Lineage Goes Traceability - oder was Requirements Engineering von Business Intelligence lernen kann. 447-452 - Thomas Beyhl, Regina Hebig, Holger Giese:
A Model Management Framework for Maintaining Traceability Links. 453-457 - Alexander Delater, Barbara Paech:
UNICASE Trace Client: A CASE Tool Integrating Requirements Engineering, Project Management and Code Implementation. 459-463
ZeMoSS - Zertifizierung und modellgetriebene Entwicklung sicherer Software
- Michael Wasilewski, Wilhelm Hasselbring, Dirk Nowotka:
Defining Requirements on Domain-Specific Languages in Model-Driven Software Engineering of Safety-Critical Systems. 467-482 - Hardi Hungar, Marc Behrens:
Opening up the Verification and Validation of Safety-Critical Software. 483-491 - Maged Khalil:
Pattern-Based Methods for Model-Based Safety-Critical Software Architecture Design: A PhD Thesis Proposal. 493-499 - Asim Abdulkhaleq, Stefan Wagner:
Integrating State Machine Analysis with System-Theoretic Process Analysis. 501-514 - Sebastian Saal, Dennis Klar, Markus Seemann, Michaela Huhn:
Zur Risikobestimmung bei Security-Analysen in der Eisenbahnsignaltechnik. 515-528 - Andre Rein, Carsten Rudolph, José Fran. Ruiz:
Building Secure Systems Using a Security Engineering Process and Security Building Blocks. 529-544 - Jean-Pascal Schwinn, Rasmus Adler, Sören Kemmann:
Combining Safety Engineering and Product Line Engineering. 545-554
Doktorandensymposium
- Horst Lichter, Kurt Schneider
:
Vorwort zum Doktorandensymposium 2013. 557 - Philipp Merkle:
Guiding Transaction Design through Architecture-Level Performance and Data Consistency Prediction. 559-564 - Christin Zahner:
Erweiterung von domänenspezifischen Sprachen um benutzerdefinierte Werttypen. 565-570 - Hagen Schink:
Multi-Language Refactoring with Dimensions of Semantics-Preservation. 571-576 - Frederik Deckwerth:
Generating Monitors for Usage Control. 577-582 - Michael Hitz:
Eine Multikanal-Architektur für adaptive, webbasierte Frontendsysteme und deren Erweiterbarkeit durch Variantenbildung. 583-589 - Andreas Scharf:
Scribble - A Framework for Integrating Intelligent Input Methods into Graphical Diagram Editors. 591-596
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 2025-11-28 12:41 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:
