Moodle.UP

Die Lehrveranstaltung behandelt Grundfragen des Zivilrechts, wie sie insbesondere für Ingenieure notwendig sind. Abstecher in andere Rechtsgebiete und Rechtsordnungen und in die Rechtsgeschichte runden die Veranstaltung ab.

Dies ist der Moodlekurs zur Lehrveranstaltung Mathematik I - Diskrete Strukturen und Logik der Digital Engineering Fakultät.

Bitte beachten Sie auch die Lehrveranstaltungsseite zu diesem Kurs.

How to ensure that software is working properly? Depending on the application and context it might be useful to prove correctness properties or rather concentrate on finding defects. In other cases the lightweight analysis of specific properties might be appropriate. We will study and compare the adequate and combined application of these different checking methods. Thereby the course will emphasize their automation and application in a practical context as well as their integration into modern software development paradigms such as model-based software engineering.

Geschäftsprozesse sind allgegenwärtig. Wir nehmen an Prozessen teil, wenn wir Produkte bei Onlineshops bestellen, wenn wir uns immatrikulieren oder eine Busreise per App buchen. Software nimmt bei der Automatisierung der Prozesse immer größeren Raum ein.

In dieser Vorlesung werden Informationssysteme untersucht, mit denen Geschäftsprozesse analysiert und automatisiert werden können. Dazu behandeln wir Modellierungssprachen und entsprechende Softwarearchitekturen. Darüber hinaus werden Möglichkeiten zur Analyse von Prozessen und Grundlagen des Process Mining thematisiert. Weil Entscheidungen im Kontext von Prozessen immer wichtiger werden, haben wir seit dem vergangenen Jahr den Bereich Entscheidungsmanagement neu in die Vorlesung aufgenommen. Dafür ist der Modellierungsanteil zurückgegangen. Die erlernten Techniken werden in Übungen angewendet.

1. Einführung
2. Grundlagen der Prozessmodellierung
3. Prozessmodellierungstechniken
4. Analyse von Prozessen
5. Process Mining
6. Entscheidungsmanagement
7. POIS in der Praxis

Die Modellierung gehört zu den Kernaufgaben der Informatik. Sie stellt eine wesentliche Arbeitsmethode dar, die in allen Gebieten des Faches breite Anwendung findet. Probleme, seien sie das Verstehen oder Gestalten von Systemen, Lösen von Aufgaben, oder Strukturieren von Information, werden häufig als Ganzes oder in Teilaspekten modelliert.

Somit führt die Modellierung häufig zu einem besseren Verständnis desselben, was wiederum Voraussetzung für eine adäquate Lösung des Problems ist.

Modellierung ist ein essentieller Schritt zum Verstehen eines Problems und ermöglicht das Kommunizieren über das Problem. Sie liefert ein gedankliches Hilfsmittel zum Gestalten, Bewerten oder Kritisieren einer geplanten Lösung oder der Anforderungen an eine Lösung.

Die bei der Modellierung gewonnenen Einblicke liefern darüber hinaus auch den Schlüssel für einen systematischen Entwurf. Deswegen werden Probleme modelliert, bevor man versucht sie oder Teile von ihnen durch den Entwurf von Software, Algorithmen, Daten und/oder Hardware zu lösen bzw. zu implementieren.