Ergebnisse des Zentralprojektes

ZP AP1: Initiale Modellierungsthoerie, Judith Thyssen, TUM-SSE, download

ZP AP1: Modeling Theory, Alexander Harhurin et al., TUM SSE, download

ZP AP1: Towards an Integrated Modeling Theory, Alexander Harhurin et al., TUM SSE, download

ZP AP1: Literature Survey, Martin Feilkas et al., TUM SSE, download

ZP AP1: Änderungswünsche zur Modellierungstheorie, Alexander Harhurin und Judith Thyssen, TUM SSE, download

ZP AP1: Modeling Theorie: Open Issues and Way Forward, Manfred Broy et al., TUM SSE, download

ZP AP1: Initiales System an Abstraktionsebenen, Judith Thyssen, TUM SSE, download

ZP AP1: Abstraction Layers, Martin Feilkas et al., TUM SSE, download

ZP AP1: A System of Abstraction Layers for the Seamless Development of Embedded Software Systems, Daniel Ratiu et al., TUM SSE, download

ZP AP1: Specifiation Techniques, Alarico Campetelli et al., TUM SSE, download

ZP AP1: Umfassendes Architekturmodell - Durchgängige Modellierung verschiedener Aspekte eines Systems, Alexander Harhurin und Judith Thyssen, TUM SSE, download

ZP AP1: Property-Driven Scenario Integration, Jewgenij Botaschanjan und Alexander Harhurin, TUM SSE, download

ZP AP1: On the Correlation between Functional and Logical Architecture, Markus Herrmannsdörfer et al., TUM SSE, download

ZP AP1: SPES Metamodel, Alexander Harhurin et al., TUM SSE, download

ZP AP1: Managing the Complexity of Interfaces, Daniel Ratiu et al., TUM SSE, download

ZP AP1: Domain Modelling, Daniel Ratiu und Thomas Kofler, TUM SSE, download

ZP AP1: Situation Awareness: Modelling of an Avionic Case Study, Andreas Vogelsang et al., TUM SSE, download

ZP AP1: Addressing Challenges of Avionic Interfaces in SPES, Andreas Vogelsang et al., TUM SSE, download

ZP AP1: Einführung in Analysetechniken, Judith Thyssen, TUM SSE, download

ZP AP1: Analysis Techniques: State of the Art in Industry and Research, Alarico Campetelli, TUM SSE, download

ZP AP1: Analysis Techniques suitable for SPES project, Alarico Campetelli, TUM SSE, download

ZP AP1: Analysis Techniques: SWM Case Study and AutoFocus 3 Model Checking support, Alarico Campetelli, TUM SSE, download

ZP AP1: Modellbasiertes Debugging, Sascha Schwind, TUM SSE, download

ZP AP1: Concurrency Analysis and Transformation, Wolfgang Schwitzer, TUM SSE, download

ZP AP1: Concept and Implementation of a Jitter-Robustness-Analysis of Software for Reactive Embedded Systems, Vlad Popa, TUM SSE, download

ZP AP1: Conception and Implementation of Parallelism Analyses in MATLAB/SIMULINK Models for programming Embedded Multicore-Systems, Dominik Chessa, TUM SSE, download

ZP AP1: Conception and Implementation of Parallelism Analyses in MATLAB/SIMULINK Models for programming Embedded Multicore-Systems, Dominik Chessa, TUM SSE, download

ZP AP1: Formal Foundations of Metamodeling: Abstract Words, Abstract Languages, and Edge Algebra, Stefano Merenda et al., TUM SSE, download

ZP AP1: Metamodel Layers, Stefano Merenda et al., TUM SSE, download

ZP AP1: Metamodel for the Abstraction Layers, Thomas Kofler et al., TUM SSE, download

ZP AP1: Comparing State- and Operation-based Change Tracking on Models, Maximilian Koegel et al., TUM SSE, download

ZP AP1: Verteilte Entwicklung, TUM SSE, download

ZP AP1: Distributed Modeling in Context of the Functional and Logical View, Markus Herrmannsdörfer und Thomas Kofler, TUM SSE, download

ZP AP1: Grundlegende Beiträge zum Thema Metamodellierung, Judith Thyssen, TUM SSE, download

ZP AP1: Result of the Tool Questionnaire, Markus Herrmannsdoerfer und Stefano Merenda, TUM SSE, download

ZP AP1: Concepts for an Integrated Tool Architecture, Martin Feilkas et al., TUM SSE, download

ZP AP1: Language Evolution in Practice: The History of GMF, Markus Herrmannsdoerfer et al., TUM SSE, download

ZP AP1: Limitations of Automating Model Migration in Response to Metamodel Adaptation, Markus Herrmannsdoerfer und Daniel Ratiu, TUM SSE, download

ZP AP1: Modulare Werkzeugarchitektur, TUM SSE, download

ZP AP1: Metamodel Usage Analysis for Identifying Metamodel Improvements, Markus Herrmannsdoerfer et al., TUM SSE, download

ZP AP1: AutoFOCUS 3: The Picture Book, Florian Hoelzl et al., TUM SSE, download

ZP AP1: Using Protocol Buffers for Resource-Constrained Distributed Embedded Systems, Wolfgang Schwitzer und Vlad Popa, TUM SSE, download

ZP AP1: Prototypische Werkzeugunterstützung, Judith Thyssen, TUM SSE, download

ZP AP1: SmartGrid_Demonstrator_Video, TUM SSE, download

ZP AP1: SPES Beispiel Automotive: Motorsteuerung, Florian Hölzl, TUM SSE, download

ZP AP1: Seamless Modeling of an Automation Example Using the SPES Methodology, Sebastian Eder et al., TUM SSE, download

ZP AP1: Model-based Development, Alarico Campetelli et al., TUM SSE, download

ZP AP2: SysML Profil für Enterprise Architect zur Modellierung modellbasierter Anforderungen im SPESRequirements View, Bastian Tenbergen et al., UniDuE, download

ZP AP2: Leitfaden und Projektschablonenbeschreibung für die modellbasierte Dokumentation von Anforderungen und Entwurf für Embedded Systems über mehrere Abstraktionsstufen hinweg mittels eines kommerziellen Modellierungswerkzeugs, Bastian Tenbergen et al., UniDuE, download

ZP AP2: SysML-Profil und MDG-Plug-In für Enterprise Architect zur Modellierung von lösungsorientierten Anforderungen auf Basis von SysML, Bastian Tenbergen et al., UniDuE, download

ZP AP2: UML/SysML-Profil und MDG-Plug-In für Enterprise Architect zur Modellierung von KAOS-Zieldiagrammen auf Basis von UML/SysML, Bastian Tenbergen et al., UniDuE, download

ZP AP2: SysML-Profil und MDG-Plug-In für Enterprise Architect zur Szenariomodellierung auf Basis von SysML, Bastian Tenbergen et al., UniDuE, download

ZP AP2: Evaluation des Ansatzes für die integrierte, modellbasierte Dokumentation von Anforderungen und Entwurf, Andre Heuer und Bastian Tenbergen, UniDuE, download

ZP AP2: Fallbeispiel Luftsystem, Bastian Tenbergen und Marian Daun, UniDuE, download

ZP AP3: Specification of an Architecture Meta-Model, Raphael Weber et al., OFFIS, download

ZP AP3: A Refinement Checking Technique for Contract-Based Architecture Designs, Raphael Weber et al., OFFIS, download

ZP AP3: View-specific Analyses, Matthias Büker et al., OFFIS, download

ZP AP3: Extended Analysis based on the SPES Architecture Meta-Model, Eike Thaden, OFFIS, download

ZP AP3: Operational Semantics, Philipp Reinkemeier, OFFIS, download

ZP AP3: Kosimulation im Kontext von SPES, Tayfun Gezgin, OFFIS, download

ZP AP3: Architecture Modeling, Andreas Baumgart et al., OFFIS, download

ZP AP5: Konzept für die Erweiterung bestehender paralleler Programmiermodelle um Determinismus in Echtzeitsystemen, Tobias Schüle, FHG FIRST, download

ZP AP5: Konzept für die Erweiterung bestehender paralleler Programmiermodelle um Determinismus in Echtzeitsystemen Teil 2, Andreas Schramm, FHG FIRST, download

ZP AP5: Prerequisites for model-based deployment, Robert Hilbrich und Hartmut Lackner, FHG FIRST, download

ZP AP5: Umsetzung von Strategien zum modellbasierten Deployment, Tobias Schüle und Andreas Schramm, FHG FIRST, download

ZP AP5: Konzept für minimalinvasive Debugging-Tools, Hartmut Lackner, FHG FIRST, download

ZP AP5: Werkzeugprototyp für minimalinvasives Debugging, Hartmut Lackner, FHG FIRST, download

ZP AP6: Umfrage SPES2020: Relevanz, Zukunft und Stellenwert modellbasierter Softwareentwicklung, Constanza Lampasona, FHG IESE, download