EIT Digital
Systemvalidierung (3): Anforderungen durch modale Formeln
EIT Digital

Systemvalidierung (3): Anforderungen durch modale Formeln

3.569 bereits angemeldet

Enthalten inCoursera Plus

Verschaffen Sie sich einen Einblick in ein Thema und lernen Sie die Grundlagen.
4.5

(13 Bewertungen)

Stufe Fortgeschritten
Für Personen mit Branchenerfahrung konzipiert
Es dauert 3 Stunden
3 Wochen bei 1 Stunde pro Woche
Flexibler Zeitplan
In Ihrem eigenen Lerntempo lernen
Verschaffen Sie sich einen Einblick in ein Thema und lernen Sie die Grundlagen.
4.5

(13 Bewertungen)

Stufe Fortgeschritten
Für Personen mit Branchenerfahrung konzipiert
Es dauert 3 Stunden
3 Wochen bei 1 Stunde pro Woche
Flexibler Zeitplan
In Ihrem eigenen Lerntempo lernen

Wichtige Details

Erwerben Sie ein Karrierezertifikat.

Zu Ihrem LinkedIn-Profil hinzufügen

Bewertungen

2 Aufgaben

Unterrichtet in Englisch

Erfahren Sie, wie Mitarbeiter führender Unternehmen gefragte Kompetenzen erwerben.

Platzhalter
Platzhalter

Erwerben Sie ein Karrierezertifikat.

Fügen Sie diese Qualifikation zur Ihrem LinkedIn-Profil oder Ihrem Lebenslauf hinzu.

Teilen Sie es in den sozialen Medien und in Ihrer Leistungsbeurteilung.

Platzhalter

In diesem Kurs gibt es 2 Module

In diesem Modul lernen Sie, wie Sie Anforderungen an das Verhalten festlegen. Zunächst wird die Hennessy-Milner-Logik erklärt, die anschließend um Fixpunkte erweitert wird. Mit Hilfe dieser Logik werden Sie in der Lage sein, praktisch jede Verhaltenseigenschaft für das Verhalten von Software formal zu charakterisieren. Das reicht von einfachen Eigenschaften wie der, dass ein System frei von Deadlocks ist, bis hin zu komplexen Eigenschaften wie "in einem Lagerhaus werden die Controller alle Roboter so instruieren, dass mein bestellter Artikel mit Sicherheit innerhalb einer endlichen Zeit am Ausgang erscheint".

Das ist alles enthalten

6 Videos2 Lektüren1 Aufgabe

Dieses Modul befasst sich mit modalen Formeln. Es zeigt, wie Sie Daten in den Formeln verwenden können, was die Modellierung komplexer Eigenschaften erheblich erleichtert. Außerdem wird gezeigt, wie Fairness-Eigenschaften im Rahmen von verschachtelten Festpunktoperatoren modelliert werden können. In den letzten Vorlesungen werden parametrisierte boolesche Gleichungssysteme und boolesche Gleichungssysteme als wichtige Technik eingeführt, um festzustellen, dass eine modale Formel für ein bestimmtes spezifiziertes Verhalten gültig ist.

Das ist alles enthalten

5 Videos1 Lektüre1 Aufgabe

Dozent

Jan Friso Groote
EIT Digital
4 Kurse15.269 Lernende

von

EIT Digital

Warum entscheiden sich Menschen für Coursera für ihre Karriere?

Felipe M.
Lernender seit 2018
„Es ist eine großartige Erfahrung, in meinem eigenen Tempo zu lernen. Ich kann lernen, wenn ich Zeit und Nerven dazu habe.“
Jennifer J.
Lernender seit 2020
„Bei einem spannenden neuen Projekt konnte ich die neuen Kenntnisse und Kompetenzen aus den Kursen direkt bei der Arbeit anwenden.“
Larry W.
Lernender seit 2021
„Wenn mir Kurse zu Themen fehlen, die meine Universität nicht anbietet, ist Coursera mit die beste Alternative.“
Chaitanya A.
„Man lernt nicht nur, um bei der Arbeit besser zu werden. Es geht noch um viel mehr. Bei Coursera kann ich ohne Grenzen lernen.“
Platzhalter

Neue Karrieremöglichkeiten mit Coursera Plus

Unbegrenzter Zugang zu über 7.000 erstklassigen Kursen, praktischen Projekten und Zertifikatsprogrammen, die Sie auf den Beruf vorbereiten – alles in Ihrem Abonnement enthalten

Bringen Sie Ihre Karriere mit einem Online-Abschluss voran.

Erwerben Sie einen Abschluss von erstklassigen Universitäten – 100 % online

Schließen Sie sich mehr als 3.400 Unternehmen in aller Welt an, die sich für Coursera for Business entschieden haben.

Schulen Sie Ihre Mitarbeiter*innen, um sich in der digitalen Wirtschaft zu behaupten.

Häufig gestellte Fragen