Ph.D. Theses

Aachener Informatik-Berichte, Software Engineering, Ph.D. Theses

  1. [Kir23]
    J. C. Kirchhof:
    Model-Driven Development, Deployment, and Analysis of Internet of Things Applications.
    Aachener Informatik-Berichte, Software Engineering, Band 54, ISBN 978-3-8440-8960-8, Shaker Verlag, Feb. 2023.
  1. [But23]
    A. Butting:
    Systematic Composition of Language Components in MontiCore.
    Aachener Informatik-Berichte, Software Engineering, Band 53, ISBN 978-3-8440-8936-3, Shaker Verlag, Feb. 2023.
  1. [Mar22]
    M. Markthaler:
    Modellbasierte Methode für die automatisierte Testfallerstellung in der Automobilindustrie auf der Grundlage eines durchgängigen Systems Engineering Ansatzes.
    Aachener Informatik-Berichte, Software Engineering, Band 52, ISBN 978-3-8440-8845-8, Shaker Verlag, Nov. 2022.
  1. [Kue22]
    S. Kühnel:
    Eine agile Methode zur simulativen Qualitätssicherung von Aktiven Sicherheitssystemen.
    Aachener Informatik-Berichte, Software Engineering, Band 51, ISBN 978-3-8440-8427-6, Shaker Verlag, Mar. 2022.
  1. [Wor21]
    A. Wortmann:
    Model-Driven Architecture and Behavior of Cyber-Physical Systems.
    Aachener Informatik-Berichte, Software Engineering, Band 50, ISBN 978-3-8440-8345-3, Shaker Verlag, Oct. 2021.
  1. [Kus21]
    E. Kusmenko:
    Model-Driven Development Methodology and Domain-Specific Languages for the Design of Artificial Intelligence in Cyber-Physical Systems.
    Aachener Informatik-Berichte, Software Engineering, Band 49, ISBN 978-3-8440-8286-9, Shaker Verlag, Nov. 2021.
  1. [Foe21]
    K. A. Fögen:
    Combinatorial Robustness Testing based on Error-Constraints.
    Aachener Informatik-Berichte, Software Engineering, Band 47, ISBN 978-3-8440-7929-6, Shaker Verlag, Apr. 2021.
  1. [Kau21]
    O. Kautz:
    Model Analyses Based on Semantic Differencing and Automatic Model Repair.
    Aachener Informatik-Berichte, Software Engineering, Band 46, ISBN 978-3-8440-7926-5, Shaker Verlag, Apr. 2021.
  1. [Wen20]
    M. von Wenckstern:
    Verification of Structural and Extra Functional Properties in Component and Connector Models for Embedded and Cyber Physical Systems.
    Aachener Informatik-Berichte, Software Engineering, Band 44, ISBN 978-3-8440-7239-6, Shaker Verlag, Mar. 2020.
  1. [Hac19]
    S. Hacks:
    Improving the Quality of Enterprise Architecture Models.
    Aachener Informatik-Berichte, Software Engineering, Band 43, ISBN 978-3-8440-6977-8, Shaker Verlag, Oct. 2019.
  1. [Gre19]
    T. Greifenberg:
    Artefaktbasierte Analyse modellgetriebener Softwareentwicklungsprojekte.
    Aachener Informatik-Berichte, Software Engineering, Band 42, ISBN 978-3-8440-6879-5, Shaker Verlag, Aug. 2019.
  1. [Her19]
    L. Hermerschmidt:
    Agile Modellgetriebene Entwicklung von Software Security & Privacy.
    Aachener Informatik-Berichte, Software Engineering, Band 41, ISBN 978-3-8440-6707-1, Shaker Verlag, Jun. 2019.
  1. [Sch19]
    C. Schulze:
    Agile Software-Produktlinienentwicklung im Kontext heterogener Projektlandschaften.
    Aachener Informatik-Berichte, Software Engineering, Band 40, ISBN 978-3-8440-6683-8, Shaker Verlag, May 2019.
  1. [Blu19]
    I. Blundell:
    Algorithmic Solver Selection for Systems of Differential Equations in Human Brain Cell Models for the Domain Specifc Language NESTML.
    Aachener Informatik-Berichte, Software Engineering, Band 39, ISBN 978-3-8440-6632-6, Shaker Verlag, May 2019.
  1. [Mat19]
    D. Matheson:
    SAMEM: A Methodology for the Elicitation and Specification of Requirements for Agile Model-driven Engineering of Large Software Solutions.
    Aachener Informatik-Berichte, Software Engineering, Band 38, ISBN 978-3-8440-6518-3, Shaker Verlag, Feb. 2019.
  1. [Nic18]
    A.- M.- C. N. Nicolaescu:
    Behavior-Based Architecture Conformance Checking.
    Aachener Informatik-Berichte, Software Engineering, Band 37, ISBN 978-3-8440-6415-5, Shaker Verlag, Dec. 2018.
  1. [Hoe18]
    K. Hölldobler:
    MontiTrans: Agile, modellgetriebene Entwicklung von und mit domänenspezifischen, kompositionalen Transformationssprachen.
    Aachener Informatik-Berichte, Software Engineering, Band 36, ISBN 978-3-8440-6322-6, Shaker Verlag, Dec. 2018.
  1. [Mul18]
    K. Mueller:
    Modellbasierte Unterstützung der Software Evolution im industriellen Kontext.
    Aachener Informatik-Berichte, Software Engineering, Band 35, ISBN 978-3-8440-6034-8, Shaker Verlag, Jul. 2018.
  1. [Plo18]
    D. Plotnikov:
    NESTML - die domänenspezifische Sprache für den NEST-Simulator neuronaler Netzwerke im Human Brain Project.
    Aachener Informatik-Berichte, Software Engineering, Band 33, ISBN 978-3-8440-5779-9, Shaker Verlag, Feb. 2018.
  1. [Rot17]
    A. Roth:
    Adaptable Code Generation of Consistent and Customizable Data Centric Applications with MontiDex.
    Aachener Informatik-Berichte, Software Engineering, Band 31, ISBN 978-3-8440-5688-4, Shaker Verlag, Dec. 2017.
  1. [Naz17]
    P. Mir Seyed Nazari:
    MontiCore: Efficient Development of Composed Modeling Language Essentials.
    Aachener Informatik-Berichte, Software Engineering, Band 29, ISBN 978-3-8440-5320-3, Shaker Verlag, Jun. 2017.
  1. [Loo17]
    M. Look:
    Modellgetriebene, agile Entwicklung und Evolution mehrbenutzerfähiger Enterprise Applikationen mit MontiEE.
    Aachener Informatik-Berichte, Software Engineering, Band 27, ISBN 978-3-8440-5131-5, Shaker Verlag, Mar. 2017.
  1. [Via17]
    M. Vianden:
    Systematic Metric Systems Engineering: Reference Architecture and Process Model.
    Aachener Informatik-Berichte, Software Engineering, Band 26, Shaker Verlag, Apr. 2017.
  1. [Wor16]
    A. Wortmann:
    An Extensible Component & Connector Architecture Description Infrastructure for Multi-Platform Modeling.
    Aachener Informatik-Berichte, Software Engineering, Band 25, Shaker Verlag, Nov. 2016.
  1. [Hab16]
    A. Haber:
    MontiArc - Architectural Modeling and Simulation of Interactive Distributed Systems.
    Aachener Informatik-Berichte, Software Engineering, Band 24, Shaker Verlag, Sep. 2016.
  1. [Ren16]
    H. Rendel:
    Praktische Ansätze zur Etablierung einer Software-Produktlinie in eine bestehende Mehr-Produkt-Entwicklung.
    Aachener Informatik-Berichte, Software Engineering, Band 23, Shaker Verlag, Jul. 2016.
  1. [Rei16]
    D. Reiß:
    Modellgetriebene generative Entwicklung von Web-Informationssystemen.
    Aachener Informatik-Berichte, Software Engineering, Band 22, ISBN 978-3-8440-4446-1, Shaker Verlag, May 2016.
  1. [Jen15]
    S. C. Jeners:
    Model-supported Process Adoption and Assessment in the Context of Multiple Practice Repositories.
    Aachener Informatik-Berichte, Software Engineering, Band 21, ISBN 978-3-8440-3481-3, Shaker Verlag, Mar. 2015.
  1. [Rin14]
    J. O. Ringert:
    Analysis and Synthesis of Interactive Component and Connector Systems.
    Aachener Informatik-Berichte, Software Engineering, Band 19, ISBN 978-3-8440-3120-1, Shaker Verlag, Aachen, Germany, Dec. 2014.
  1. [Gue14]
    T. Gülke:
    Erweiterung des Anforderungsmanagement-Fokus.
    Aachener Informatik-Berichte, Software Engineering, Band 18, ISBN 978-3-8440-3118-8, Shaker Verlag, Oktober. 2014.
  1. [Pin14]
    C. Pinkernell:
    Energie Navigator: Software-gestützte Optimierung der Energieeffizienz von Gebäuden und technischen Anlagen.
    Aachener Informatik-Berichte, Software Engineering, Band 17, ISBN 978-3-8440-2876-8, Shaker Verlag, 2014.
  1. [Her14]
    C. Herrmann:
    Integrierte Software Engineering Services zur effizienten Unterstützung von Entwicklungsprozessen.
    Aachener Informatik-Berichte, Software Engineering, Band 16, Shaker Verlag, 2014.
  1. [Hof13]
    V. Hoffmann:
    Rapid Prototyping in der Use-Case-zentrierten Anforderungsanalyse.
    Aachener Informatik-Berichte, Software Engineering, Band 15, ISBN 978-3-8440-2291-9, Shaker Verlag, Oct. 2013.
  1. [Men12]
    C. Mengi:
    Automotive Software - Prozesse, Modelle und Variabilität.
    In: Aachener Informatik-Berichte, Software Engineering Band 13, ISBN 978-3-8440-1262-1, Shaker Verlag, 2012.
  1. [Wei12]
    I. Weisemöller:
    Generierung domänenspezifischer Transformationssprachen.
    Aachener Informatik-Berichte, Software Engineering, Band 12, ISBN 978-3-8440-1191-3, Shaker Verlag, 2012.
  1. [Sch12]
    M. Schindler:
    Eine Werkzeuginfrastruktur zur agilen Entwicklung mit der UML/P.
    Aachener Informatik-Berichte, Software Engineering, Band 11, ISBN 978-3-8440-0864-7, Shaker Verlag, 2012.
  1. [Hee11]
    T. Heer:
    Controlling Development Processes.
    In: Aachener Informatik-Berichte, Software Engineering Band 10, ISBN ISBN 978-3-8440-0509-7, Shaker Verlag, 2011.
  1. [Voe11]
    S. Völkel:
    Kompositionale Entwicklung domänenspezifischer Sprachen.
    Aachener Informatik-Berichte, Software Engineering, Band 9, ISBN 978-3-8440-0328-4, Shaker Verlag, 2011.
  1. [Wei11]
    E. H. Weinell:
    Ein Rahmenwerk für operationale Spezifikationssprachen.
    In: Aachener Informatik-Berichte, Software Engineering Band 8, ISBN 978-3-8440-0313-0, Shaker Verlag, 2011.
  1. [Sch10]
    H. Schackmann:
    Metrik-basierte Auswertung von Software-Entwicklungsarchiven zur Prozessbewertung.
    Aachener Informatik-Berichte, Software Engineering, Band 7, ISBN 978-3-8322-9405-2, Shaker Verlag, Oktober. 2010.
  1. [Ber10]
    C. Berger:
    Automating Acceptance Tests for Sensor- and Actuator-based Systems on the Example of Autonomous Vehicles.
    Aachener Informatik-Berichte, Software Engineering, Band 6, ISBN 978-3-8322-9378-9, Shaker Verlag, 2010.
  1. [Arm10]
    I. Armaç:
    Personalisierte eHomes: Mobilität, Privatsphäre und Sicherheit.
    In: Aachener Informatik-Berichte, Software Engineering Band 5, ISBN 978-3-642-12330-6, Shaker Verlag, 2010.
  1. [Gro10]
    H. Grönniger:
    Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten.
    In: Aachener Informatik-Berichte, Software Engineering Band 4, ISBN 978-3-8322-9286-7, Shaker Verlag, 2010.
  1. [Ret10]
    D. Retkowitz:
    Softwareunterstützung für adaptive eHome-Systeme.
    In: Aachener Informatik-Berichte, Software Engineering Band 3, ISBN 978-3-8322-9246-1, Shaker Verlag, 2010.
  1. [Woe10]
    R. Wörzberger:
    Management dynamischer Geschäftsprozesse auf Basis statischer Prozessmanagementsysteme.
    In: Aachener Informatik-Berichte, Software Engineering Band 2, ISBN 978-3-8322-8949-2, Shaker Verlag, 2010.
  1. [Kra10]
    H. Krahn:
    MontiCore: Agile Entwicklung von domänenspezifischen Sprachen im Software-Engineering.
    Aachener Informatik-Berichte, Software Engineering, Band 1, ISBN 978-3-8322-8948-5, Shaker Verlag, März. 2010.
  1. [Koe09]
    A.- T. Körtgen:
    Modeling and Realization of Consistency Maintaining Tools for Simultaneous Document Development.
    In: Dissertation Thesis, pp. 289, Shaker Verlag, RWTH Aachen, 2009.