Systemvalidierung ist der Bereich, der sich mit den Grundlagen der Systemkommunikation und Informationsverarbeitung beschäftigt. Sie ermÜglicht eine automatisierte Analyse auf der Grundlage von Verhaltensmodellen eines Systems, um festzustellen, ob ein System korrekt funktioniert. Wir wollen garantieren, dass das System genau das tut, was es tun soll.



Systemvalidierung (4): Modellierung von Software, Protokollen und anderem Verhalten

Dozent: Jan Friso Groote
4.686 bereits angemeldet
Bei enthalten
(13Â Bewertungen)
Wichtige Details

Zu Ihrem LinkedIn-Profil hinzufĂźgen
2 Aufgaben
Erfahren Sie, wie Mitarbeiter fĂźhrender Unternehmen gefragte Kompetenzen erwerben.


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.

In diesem Kurs gibt es 2 Module
Wir zeigen, wie das Verhalten von einfachen Programmen und Kommunikationsprotokollen modelliert und analysiert werden kann. AuĂerdem fĂźhren wir den Begriff des linearen Prozesses ein: eine einfache Normalform, auf die jedes Verhalten reduziert werden kann. Diese Normalform ist das Arbeitspferd, wenn es um die Analyse von Verhalten geht.
Das ist alles enthalten
8 Videos1 LektĂźre1 Aufgabe
In dieser Vorlesung lernen Sie verschiedene Modellierungstechniken kennen, mit denen Sie den Zustandsraum Ihrer Modelle klein halten kĂśnnen.
Das ist alles enthalten
5 Videos1 Aufgabe
Dozent

von
Mehr von Softwareentwicklung entdecken
EIT Digital
University of Colorado Boulder
Warum entscheiden sich Menschen fĂźr Coursera fĂźr ihre Karriere?





Neue KarrieremĂśglichkeiten mit Coursera Plus
Unbegrenzter Zugang zu 10,000+ Weltklasse-Kursen, praktischen Projekten und berufsqualifizierenden Zertifikatsprogrammen - 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
Der Zugang zu Vorlesungen und Aufgaben hängt von der Art Ihrer Einschreibung ab. Wenn Sie einen Kurs im Prßfungsmodus belegen, kÜnnen Sie die meisten Kursmaterialien kostenlos einsehen. Um auf benotete Aufgaben zuzugreifen und ein Zertifikat zu erwerben, mßssen Sie die Zertifikatserfahrung während oder nach Ihrer Prßfung erwerben. Wenn Sie die Prßfungsoption nicht sehen:
Der Kurs bietet mĂśglicherweise keine PrĂźfungsoption. Sie kĂśnnen stattdessen eine kostenlose Testversion ausprobieren oder finanzielle UnterstĂźtzung beantragen.
Der Kurs bietet mÜglicherweise stattdessen die Option 'Vollständiger Kurs, kein Zertifikat'. Mit dieser Option kÜnnen Sie alle Kursmaterialien einsehen, die erforderlichen Bewertungen abgeben und eine Abschlussnote erhalten. Dies bedeutet auch, dass Sie kein Zertifikat erwerben kÜnnen.
Wenn Sie sich fĂźr den Kurs einschreiben, erhalten Sie Zugang zu allen Kursen der Specializations, und Sie erhalten ein Zertifikat, wenn Sie die Arbeit abgeschlossen haben. Ihr elektronisches Zertifikat wird Ihrer Erfolgsseite hinzugefĂźgt - von dort aus kĂśnnen Sie Ihr Zertifikat ausdrucken oder zu Ihrem LinkedIn-Profil hinzufĂźgen. Wenn Sie die Kursinhalte nur lesen und ansehen mĂśchten, kĂśnnen Sie den Kurs kostenlos besuchen.
Wenn Sie ein Abonnement abgeschlossen haben, erhalten Sie eine kostenlose 7-tägige Testphase, in der Sie kostenlos kßndigen kÜnnen. Danach gewähren wir keine Rßckerstattung, aber Sie kÜnnen Ihr Abonnement jederzeit kßndigen. Siehe unsere vollständigen Rßckerstattungsbedingungen.
Weitere Fragen
Finanzielle UnterstĂźtzung verfĂźgbar,