![Page 1: Softwaretechnik und Informationssysteme (Gebiet und Modul II.1.1) · • Daten und Services in Mobilen Ad-hoc Netzwerken Databases and Information Systems 2 (in Englisch) III.1.3,](https://reader034.vdokument.com/reader034/viewer/2022042808/5f86a77e9ee14d2ab759b249/html5/thumbnails/1.jpg)
Softwaretechnik und Informationssysteme (Gebiet und Modul II.1.1)
Jun.-Prof. Dr. S. Becker
![Page 2: Softwaretechnik und Informationssysteme (Gebiet und Modul II.1.1) · • Daten und Services in Mobilen Ad-hoc Netzwerken Databases and Information Systems 2 (in Englisch) III.1.3,](https://reader034.vdokument.com/reader034/viewer/2022042808/5f86a77e9ee14d2ab759b249/html5/thumbnails/2.jpg)
ÜBERBLICK
![Page 3: Softwaretechnik und Informationssysteme (Gebiet und Modul II.1.1) · • Daten und Services in Mobilen Ad-hoc Netzwerken Databases and Information Systems 2 (in Englisch) III.1.3,](https://reader034.vdokument.com/reader034/viewer/2022042808/5f86a77e9ee14d2ab759b249/html5/thumbnails/3.jpg)
Konstruktion
Analyse
Anforderungen Software
Cyb
er P
hysi
cal S
yste
ms D
istributed Com
puting
Sprachen, Generatoren, Vorhersagen, Beweise,
Datenschemata, Wissensmanagement, ...
Messen, Monitoring, Testen, Modellgewinnung,
Fehlersuche, ...
Säule Softwaretechnik & Informationssysteme
![Page 4: Softwaretechnik und Informationssysteme (Gebiet und Modul II.1.1) · • Daten und Services in Mobilen Ad-hoc Netzwerken Databases and Information Systems 2 (in Englisch) III.1.3,](https://reader034.vdokument.com/reader034/viewer/2022042808/5f86a77e9ee14d2ab759b249/html5/thumbnails/4.jpg)
Säule Softwaretechnik & Informationssysteme
4
Schäfer Software Engineering
Wehrheim Spec. & Modelling of Software Systems
Becker Model-Driven Software Engineering
Böttcher Electronic Commerce and Databases
Engels Database and Information Systems
Kleine Büning Knowledge-Based Systems
Hüllermeier Intelligent Systems
JP
![Page 5: Softwaretechnik und Informationssysteme (Gebiet und Modul II.1.1) · • Daten und Services in Mobilen Ad-hoc Netzwerken Databases and Information Systems 2 (in Englisch) III.1.3,](https://reader034.vdokument.com/reader034/viewer/2022042808/5f86a77e9ee14d2ab759b249/html5/thumbnails/5.jpg)
Bachelor Vorlesungen
Modellbasierte Softwareentwicklung (MBSE) Schäfer, WS
Programming Languages and Compilers (PSÜ/PLaC) Pfahler, WS
Grundlagen Wissensbasierter Systeme (GWBS) Kleine Büning, SS
Softwaremodellierung mit Formalen Methoden (SMFM) Wehrheim, SS
XML-Datenbanken Böttcher, WS
Data Mining (DAMI) Hüllermeier, SS
![Page 6: Softwaretechnik und Informationssysteme (Gebiet und Modul II.1.1) · • Daten und Services in Mobilen Ad-hoc Netzwerken Databases and Information Systems 2 (in Englisch) III.1.3,](https://reader034.vdokument.com/reader034/viewer/2022042808/5f86a77e9ee14d2ab759b249/html5/thumbnails/6.jpg)
Master: Module III.1.x
1. Modellbasierte Softwareentwicklung (Engels)
2. Sprachen und Programmiermethoden (Böttcher)
3. Datenbanken und Informationssysteme (Böttcher)
4. Wissensbasierte Systeme (Kleine Büning, Hüllermeier)
5. Analytische Methoden des Software Engineering (Wehrheim)
6. Konstruktive Methoden des Software Engineering (Schäfer)
MBSE oder SMFM
PSÜ/PLaC
XMLDB
GWBS
SMFM oder GWBS
s. Modulhandbuch
Empfehlung
![Page 7: Softwaretechnik und Informationssysteme (Gebiet und Modul II.1.1) · • Daten und Services in Mobilen Ad-hoc Netzwerken Databases and Information Systems 2 (in Englisch) III.1.3,](https://reader034.vdokument.com/reader034/viewer/2022042808/5f86a77e9ee14d2ab759b249/html5/thumbnails/7.jpg)
ARBEITSGRUPPEN
![Page 8: Softwaretechnik und Informationssysteme (Gebiet und Modul II.1.1) · • Daten und Services in Mobilen Ad-hoc Netzwerken Databases and Information Systems 2 (in Englisch) III.1.3,](https://reader034.vdokument.com/reader034/viewer/2022042808/5f86a77e9ee14d2ab759b249/html5/thumbnails/8.jpg)
Details
Jun.-Prof. Becker Model-Driven Software Development
• MDSD Technologien und Sprachen (QVT, …)
• Qualitätsbewertung von Entwürfen
Model-Driven Software Development (in Englisch) III.1.1, III.1.2, III.1.6 QASD III.1.1, III.1.6
FG Böttcher E-Commerce und Datenbanken
• XML und Web-Technologie für Informationssysteme
• Information Security and Privacy
• Daten und Services in Mobilen Ad-hoc Netzwerken
Databases and Information Systems 2 (in Englisch) III.1.3, III.1.6 Prolog mit Anwendungen III.1.3 , III.1.4, III.1.6
FG Engels Datenbank- und Informationssysteme
• Modellbasierte Softwareentwicklung
• Qualität von Software und Modellen
• Architekturmanagement (SOA, Open Source, …)
• Web-Technologien
Web Engineering (in Englisch) III.1.1, III.1.3, III.1.6 Software Quality Assurance (in Englisch) III.1.1, III.1.5
preparequeryDB
queryCache
MODEL-DRIVEN SOFTWARE ENGINEERING
![Page 9: Softwaretechnik und Informationssysteme (Gebiet und Modul II.1.1) · • Daten und Services in Mobilen Ad-hoc Netzwerken Databases and Information Systems 2 (in Englisch) III.1.3,](https://reader034.vdokument.com/reader034/viewer/2022042808/5f86a77e9ee14d2ab759b249/html5/thumbnails/9.jpg)
Details
FG Schäfer Softwaretechnik
• Modellierung und Verifikation (eingebetteter Systeme)
• Re-Engineering • Automotive Software
Engineering
FG Kleine Büning Wissensbasierte Systeme
• Modellierung, Ausdrucksstärke und Komplexität in logischen Kalkülen
• Lernen und Planen in Agentensystemen
• KI-Methoden für ingenieurwissenschaft-liche Fragestellungen
Maschinelles Lernen III.1.3, III.1.4 Propositional Proof Systems (in Englisch) III.1.3, III.1.4, III.1.5 Heuristische Suchverfahren III.1.4 Verteiltes Problemlösen III.1.4 Theorembeweiser III.1.4, III.1.5
![Page 10: Softwaretechnik und Informationssysteme (Gebiet und Modul II.1.1) · • Daten und Services in Mobilen Ad-hoc Netzwerken Databases and Information Systems 2 (in Englisch) III.1.3,](https://reader034.vdokument.com/reader034/viewer/2022042808/5f86a77e9ee14d2ab759b249/html5/thumbnails/10.jpg)
Details
FG Wehrheim Spezifikation und Modellierung von Softwaresystemen
• Modellierung von Systemen mit formalen Methoden = Modellierungssprachen mit formaler Semantik
• Anwendung im modellbasierten Softwareentwurf
• Verifikationsverfahren zur Qualitätssicherung
Model Checking (in Englisch) III.1.1, III.1.5 Deductive Verification (in Englisch) III.1.1, III.1.5 Software Analysis (in Englisch) II.1.1, III.1.5
FG Hüllermeier Intelligente Systeme
• Maschinelles Lernen • Data Mining • Modellierung und
Verarbeitung unsicheren Wissens
• Unscharfe Logik und Fuzzy-Systeme
Machine Learning I (in Englisch) III.1.3, III.1.4 Machine Learning II (in Englisch) III.1.3, III.1.4 Unsicherheit in wissensbasierten Systemen III.1.3, III.1.4
?| ϕ=M
![Page 11: Softwaretechnik und Informationssysteme (Gebiet und Modul II.1.1) · • Daten und Services in Mobilen Ad-hoc Netzwerken Databases and Information Systems 2 (in Englisch) III.1.3,](https://reader034.vdokument.com/reader034/viewer/2022042808/5f86a77e9ee14d2ab759b249/html5/thumbnails/11.jpg)
ANWENDUNGSBEISPIEL SFB 901
![Page 12: Softwaretechnik und Informationssysteme (Gebiet und Modul II.1.1) · • Daten und Services in Mobilen Ad-hoc Netzwerken Databases and Information Systems 2 (in Englisch) III.1.3,](https://reader034.vdokument.com/reader034/viewer/2022042808/5f86a77e9ee14d2ab759b249/html5/thumbnails/12.jpg)
On-The-Fly Market
Vision des OTF Computing
Client
≤ 10s
![Page 13: Softwaretechnik und Informationssysteme (Gebiet und Modul II.1.1) · • Daten und Services in Mobilen Ad-hoc Netzwerken Databases and Information Systems 2 (in Englisch) III.1.3,](https://reader034.vdokument.com/reader034/viewer/2022042808/5f86a77e9ee14d2ab759b249/html5/thumbnails/13.jpg)
Vision des OTF Computing
OTF Markt
≤ 10s ≤ 10s
≤ 10s
≤ 10s
≤ 7s
OK
OK
Matching
Analyse
Spezifikation
Komposition