Lecture2Go
Videokatalog
F.6 - Mathematik, Informatik, Naturwissenschaften
Informatik
Modellbasierte Softwareentwicklung

Videokatalog

Lizenz: UHH-L2G

1130 Aufrufe

26.11.2020

Informatik

4.5 Ausführbare Spezifikation vs. Grafiken

Prof. Dr. Matthias Riebisch

Inhalte

Die Komplexität der heute entwickelten Softwaresysteme nimmt stetig zu. Die Entwicklung wird dadurch immer aufwändiger und fehleranfälliger.
Die Entstehung von Fehlern bei Problembeschreibung und bei Lösungsumsetzung können weitgehend vermieden werden, wenn das angestrebte Systemverhalten auf abstrakter Ebene – als Modell – beschrieben und durch sukzessive Verfeinerungen bis zur Implementierungsebene konkretisiert wird. Der Themenbereich Modellbasierte Softwareentwicklung bezeichnet sämtliche softwaretechnischen Ansätze, die diese modellbasierte Vorgehensweise unterstützen, um
- durch Modelle komplexe Zusammenhänge für den Entwickler besser erfassbar zu machen - beispielsweise für Weitergabe und Konservierung von Wissen,
- werkzeuggestützte Verifikation und Validation zu ermöglichen – beispielsweise zur Fehlervermeidung und zur formalen Überprüfung von Konsistenzeigenschaften, sowie
- durch Automatisierung von Tätigkeiten – beispielsweise für Testfallgenerierung, Codegenerierung - den Aufwand zu verringern und die geforderten Eigenschaften von Systemen zu erreichen.
Im Rahmen dieses Moduls werden unterschiedliche modellbasierte Methoden, Modellierungssprachen, Techniken und Werkzeuge zur Unterstützung des gesamten Softwarelebenszyklus behandelt. Besonderes Gewicht haben Modelle der Softwaretechnik, insbesondere UML, SysML und Techniken der Modelltransformation sowie Domain Specific Languages (DSL). Darüber hinaus werden Querbezüge zu Modellierungstechniken für Informationssysteme, Verteilte Systeme, Workflowsysteme und Organisationen sowie zum Zweck der Systemanalyse hergestellt.
Im integrierten Seminar werden Modellierungswerkzeuge anhand von Fallbeispielen untersucht und bewertet.

Lernziel: Die Teilnehmer kennen verschiedene Methoden und Werkzeuge der modellbasierten Softwareentwicklung, ihre Einsatzbereiche und Möglichkeiten. Sie besitzen Kenntnisse und Fähigkeiten der Model-lierung und können diese in der Softwareentwicklung und zur Veri-fikation einsetzen. Sie sind in der Lage, Modelltransformationen und DSLs weiterzuentwickeln und einzusetzen. Sie kennen Werkzeuge zur Modelltransformation, Verifikation und Validation. Sie können Querbezüge zu Modellierungstechniken für Informationssysteme, Verteilte Systeme, Workflowsysteme und Organisationen sowie zum Zweck der Systemanalyse herstellen.

Lehrveranstaltungen

Das Modul InfM-MBSE Modellbasierte Softwareentwicklung besteht aus den Lehrveranstaltungen 64-440 Vorlesung Modellbasierte Softwareentwicklung und 64-441 Übungen/Seminar Modellbasierte Softwareentwicklung. Ein Zeitplan mit der konkreten Abfolge von Terminen mit Vorlesung, Übung bzw. Seminar wird in der Veranstaltung bekannt gegeben.

Einordnung ins Studium – Voraussetzungen

Das Modul InfM-MBSE Modellbasierte Softwareentwicklung ist

im Studiengang M.Sc. Informatik dem Bereich Vertiefung,
im Studiengang M.Sc. ITMC dem Wahlpflichtbreich IT-Entwicklung,
im Studiengang M.Sc. Wirtschaftsinformatik dem Wahlpflichtbereich sowie der Spezialisierung Informationssysteme,
im Studiengang M.Sc. Bioinformatik dem Wahlpflichtbereich Informatik

zugeordnet. Für die Teilnahme existieren keine formalen Voraussetzungen, aber inhaltlich sind Vorkenntnisse im Bereich der Softwaretechnik (z.B. im Rahmen des Bachelor-Moduls InfB-SWT Softwaretechnik) hilfreich.

Material

Die Vorlesung stützt sich auf das Buch:

Tim Weilkiens, Alexander Huwaldt, Jürgen Mottok, Stephan Roth, Andreas Willert:
Modellbasierte Softwareentwicklung für eingebettete Systeme verstehen und anwenden
Dpunkt.Verlag 2018, ISBN 978-3-86490-524-7

Mehrere Exemplare sowie die Online-Ausgabe sind in der Informatik-Bibliothek verfügbar.

Vorlesungsmaterialen werden im Moodle-Kurs bereitgestellt, die unter anderem Fragen zur Wiederholung und Prüfungsvorbereitung enthalten und die Basis für Mitschriften darstellen. Die Materialien enthalten in einzelnen Abschnitten Hinweise auf weiterführende Literatur.

Seitenfuss

Teilen
Herunterladen
Technischer Support
Untertitel

Herunterladen

Video

Audio

Untertitel

Zitat2Go

Start Definiert den Startpunkt für Zitat2Go. Bitte in das Feld klicken, um die aktuelle Zeit auszuwählen.
Ende Definiert den Endpunkt für Zitat2Go. Bitte in das Feld klicken, um die aktuelle Zeit auszuwählen.
Zitat2Go-Link Nach der Auswahl eines Start- und Endpunktes verweist dieser Link auf den Ausschnitt des Videos.
IFrame Code Nutzen Sie diesen Code, um den Auschnitt des Videos mit dem Lecture2Go-Videoplayer einzubetten.

Technischer Support

Bitte klicken Sie auf den nachfolgenden Link und füllen Sie daraufhin die notwendigen Felder aus, um unser Support-Team zu kontaktieren! Link zu der RRZ-Support-Seite

Untertitel

Serie

04.02.2021

13.2 Model-Driven Development MDD - 2

Prof. Dr. Matthias Riebisch
04.02.2021

13.1 Model-Driven Development MDD - 1

Prof. Dr. Matthias Riebisch
28.01.2021

12.2 Domain Specific Languages DSL-2

Prof. Dr. Matthias Riebisch
28.01.2021

12.1 Domain Specific Languages DSL-1

Prof. Dr. Matthias Riebisch
21.01.2021

11.3 Technologie des Metamodells

Prof. Dr. Matthias Riebisch
21.01.2021

11.2 Metamodelle

Prof. Dr. Matthias Riebisch
21.01.2021

11.1 Modellanpassung

Prof. Dr. Matthias Riebisch
21.01.2021

10.4 Werkzeug mit Erweiterungen / 10.5 Datenaustausch-Formate

Prof. Dr. Matthias Riebisch
21.01.2021

10.2 Synchronisation von Repositories / 10.3 Gemeinsames Repository mehrerer Werkzeuge

Prof. Dr. Matthias Riebisch
21.01.2021

10.1 Werkzeugintegration - Ziele und Herausforderungen

Prof. Dr. Matthias Riebisch
14.01.2021

9.2 Modellbasiertes Testen - UML Testing Profile

Prof. Dr. Matthias Riebisch
14.01.2021

9.1 Modellbasiertes Testen - Konzepte

Prof. Dr. Matthias Riebisch
07.01.2021

8.3 SysML weiteres

Prof. Dr. Matthias Riebisch
07.01.2021

8.2 SysML Blöcke

Prof. Dr. Matthias Riebisch
07.01.2021

8.1 SysML Einordnung, Anforderungen

Prof. Dr. Matthias Riebisch
17.12.2020

7.5 Modellbasierte Architekturbeschreibung

Prof. Dr. Matthias Riebisch
17.12.2020

7.4 Software-Entwurfsprinzipien

Prof. Dr. Matthias Riebisch
17.12.2020

7.3 Entwicklung einer fachlichen Architektur

Prof. Dr. Matthias Riebisch
17.12.2020

7.2 Beschreibung von Entscheidungen

Prof. Dr. Matthias Riebisch
17.12.2020

7.1.2 Kriterien für gute Modellierung

Prof. Dr. Matthias Riebisch
17.12.2020

7.1.1. Gute Modellierung - Sichten

Prof. Dr. Matthias Riebisch
15.12.2020

7.6 Entwicklung der technischen Architektur

Prof. Dr. Matthias Riebisch
10.12.2020

6. Matlab Simulink Stateflow

Prof. Dr. Matthias Riebisch
03.12.2020

5.9 UML Verteilungsdiagramm

Prof. Dr. Matthias Riebisch
03.12.2020

5.8 UML Zustandsdiagramm

Prof. Dr. Matthias Riebisch
03.12.2020

5.7 UML Kommunikationsdiagramm

Prof. Dr. Matthias Riebisch
03.12.2020

5.5 UML Aktivitätsdiagramm

Prof. Dr. Matthias Riebisch
03.12.2020

5.4 UML Paketdiagramm

Prof. Dr. Matthias Riebisch
03.12.2020

5.3 UML Kompontendiagramm

Prof. Dr. Matthias Riebisch
03.12.2020

5.2 UML Klassendiagramm

Prof. Dr. Matthias Riebisch
03.12.2020

5.1 UML Überblick

Prof. Dr. Matthias Riebisch
30.11.2020

5.6 UML Sequenzdiagramm

Prof. Dr. Matthias Riebisch
26.11.2020

4.5 Ausführbare Spezifikation vs. Grafiken

Prof. Dr. Matthias Riebisch
26.11.2020

4.4 Szenario: Modellbasierte Spezifikation mit UML

Prof. Dr. Matthias Riebisch
26.11.2020

4.3 Anforderungen und Architektur im Zickzack

Prof. Dr. Matthias Riebisch
26.11.2020

4.2 Modellierung von Anforderungen

Prof. Dr. Matthias Riebisch
26.11.2020

4.1 Requirements Engineering

Prof. Dr. Matthias Riebisch
19.11.2020

3.2 Auswahl von Werkzeugen

Prof. Dr. Matthias Riebisch
19.11.2020

3.1 Paradigma, Methode und Werkzeug

Prof. Dr. Matthias Riebisch
18.11.2020

3.3 Einbindung in Vorgehensmodelle

Prof. Dr. Matthias Riebisch
12.11.2020

MBSE2020 2.3 Ziele Softwarequalität

Prof. Dr. Matthias Riebisch
12.11.2020

MBSE2020 2.2 Entscheidung Modellierungssprache

Prof. Dr. Matthias Riebisch
12.11.2020

MBSE2020 2.1 Modell-Begriff

Prof. Dr. Matthias Riebisch
05.11.2020

MBSE2020 1. Einführung T2

Prof. Dr. Matthias Riebisch
05.11.2020

MBSE2020 1. Einführung T1

Prof. Dr. Matthias Riebisch
05.11.2020

MBSE2020 0. Organisatorisches

Prof. Dr. Matthias Riebisch

4.5 Ausführbare Spezifikation vs. Grafiken - Prof. Dr. Matthias Riebisch - Universität Hamburg

Videokatalog

4.5 Ausführbare Spezifikation vs. Grafiken

Links

Zitat2Go

Serie