Suchergebnisse - Kräuter, Tim Oliver | OPAC THWS

1

Formalization and Analysis of BPMN Using Graph Transformation Systems von Kräuter, Tim Oliver, Rutle, Adrian, König, Harald, Lamo, Yngve

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems von Kräuter, Tim Oliver, Rutle, Adrian, König, Harald, Lamo, Yngve

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

The Visual Debugger: Past, Present, and Future von Kräuter, Tim Oliver, Stünkel, Patrick, Rutle, Adrian, Lamo, Yngve

Veröffentlicht in IDE '24: Proceedings of the 1st ACM/IEEE Workshop on Integrated Development Environments

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems von Kräuter, Tim Oliver, Rutle, Adrian, König, Harald, Lamo, Yngve

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Structural Operational Semantics for Heterogeneously Typed Coalgebras von König, Harald, Wolter, Uwe Egbert, Kräuter, Tim Oliver

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Structural Operational Semantics for Heterogeneously Typed Coalgebras von König, Harald, Wolter, Uwe Egbert, Kräuter, Tim Oliver

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Structural Operational Semantics for Heterogeneously Typed Coalgebras von König, Harald, Wolter, Uwe Egbert, Kräuter, Tim Oliver

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models von Kräuter, Tim Oliver, Stünkel, Patrick, Rutle, Adrian, Lamo, Yngve, König, Harald

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models von Kräuter, Tim Oliver, Stünkel, Patrick, Rutle, Adrian, Lamo, Yngve, König, Harald

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

The Visual Debugger Tool von Kräuter, Tim Oliver, König, Harald, Rutle, Adrian, Lamo, Yngve

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Towards behavioral consistency in heterogeneous modeling scenarios von Kräuter, Tim Oliver

Volltext bestellen

Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

The Visual Debugger: Past, Present, and Future von Kräuter, Tim Oliver, Stünkel, Patrick, Rutle, Adrian, Lamo, Yngve

Volltext bestellen

Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Behavioral consistency in multi-modeling von Kräuter, Tim Oliver, König, Harald, Rutle, Adrian, Lamo, Yngve, Stünkel, Patrick

Volltext bestellen

Text Resource

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: