Validierung, Verifikation und Analyse & Modelle in der Informatik

Update: 2014-10-21

Description

Comments

In Channel

BPMN & Prozessmodellierung mit t.BPM

2015-02-0301:20:03

Zusammengesetztes Verhalten & Geschäftsprozesse

2015-01-2701:31:15

Nebenläufige Zustände & Zusammengesetztes Verhalten

2015-01-2101:24:49

Petri-Netze

2015-01-2001:32:14

Ereignisbegriff & Petri-Netze

2015-01-1301:26:29

UML Zustandsdiagramme, Analyse von Verhaltensmodellen & Nebenläufiges Verhalten

2015-01-0701:29:24

Endliche- & Erweiterte Automaten

2015-01-0601:29:17

Ablaufmodellierung & Endliche Automaten

2014-12-1601:25:33

Grundlagen der Verhaltensmodellierung

2014-12-0901:31:28

Modellierung

2014-12-0301:24:17

FMC Aufbaustrukturdiagramme

2014-12-0201:29:04

Objektorientierte Modellierung & Funktions- und Strukturmodellierung

2014-11-2501:30:23

ER-Modellierung & Klassendiagramme und Objektdiagramme

2014-11-1901:27:51

Vorgehen bei der ER-Modellierung & Kardinalitäten

2014-11-1801:27:29

Daten- und Objektmodellierung

2014-11-1101:30:06

Graphen und Bäume

2014-11-0501:32:21

Relationen und Funktionen & Graphen und Bäume

2014-11-0401:30:53

Modelle in der Sprache der Mathematik

2014-10-2801:31:26

Grundlagen der Modelltheorie

2014-10-2201:30:41

Validierung, Verifikation und Analyse & Modelle in der Informatik

2014-10-2101:28:14

00:00

Validierung, Verifikation und Analyse & Modelle in der Informatik

#box-pro-ellipsis-176223159771828{-webkit-line-clamp:2;}Validierung, Verifikation und Analyse & Modelle in der Informatik

Validierung, Verifikation und Analyse & Modelle in der Informatik

Prof. Dr. Mathias Weske

Validierung, Verifikation und Analyse & Modelle in der Informatik