Prof. Dr. Liggesmeyer, 1 AG Softech Prof. Dr.-Ing. Peter Liggesmeyer: Software Engineering: Dependability Prof. Dr. Arnd Poetzsch-Heffter: Softwaretechnik Prof. Dr. Dieter Rombach: Software Engineering: Processes and Measurement Das Lehrgebiet „Software Engineering“
9
Embed
Prof. Dr. Liggesmeyer, 1 AG Softech Prof. Dr.-Ing. Peter Liggesmeyer: Software Engineering: Dependability Prof. Dr. Arnd Poetzsch-Heffter: Softwaretechnik.
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Prof. Dr. Liggesmeyer, 1AG Softech
Prof. Dr.-Ing. Peter Liggesmeyer: Software Engineering: Dependability
Prof. Dr. Arnd Poetzsch-Heffter:Softwaretechnik
Prof. Dr. Dieter Rombach:Software Engineering: Processes and Measurement
Das Lehrgebiet „Software Engineering“
Prof. Dr. Liggesmeyer, 2AG Softech
Vom Maschinenbau über die Elektrotechnik zum Software Engineering
Maschinenbau
MaschinenbauElektrotechnik
MaschinenbauElektrotechnik
Informatik
Aktuell:•bis zu 100 eingebettete Systeme,•ca. 15 Millionen Zeilen Software•90% der Innovationen durch Software
Prof. Dr. Liggesmeyer, 3AG Softech
Primärbranchen (DV-Dienstleister, Hersteller von Datenverarbeitungsgeräten und -einrichtungen)
Rund 10.550 Unternehmen Ca. 300.000 Erwerbstätige Überwiegend kleine Unternehmen mit 1-9 Mitarbeitern
Software Engineering ist eine Richtung der Informatik, in der bisher
unabhängig von Schwankungen des Arbeitsmarkts stets ein
Überangebot an offenen Stellen existiert
Software Engineering ist international => Auslandsaufenthalt
Der Markt für Software-Ingenieure wächst => hervorragende
Aufstiegschancen
Was macht Software Engineering interessant?
Prof. Dr. Liggesmeyer, 5AG Softech
Es ist umfangreiche Software - oft in Varianten - arbeitsteilig zu entwickeln => Geeignete Arbeitsabläufe (Prozesse):AG Software Engineering: Processes and Measurement
Die Software muss bestimmte Eigenschaften besitzen (z.B. Sicherheit, garantierte Verfügbarkeit) => Geeignete Qualitätssicherung:AG Software Engineering: Dependability
Software muss formuliert und verarbeitet werden => Leistungsfähige Modelle, Sprachen, Techniken und Werkzeuge sind erforderlich:AG Softwaretechnik
Bereiche des Software Engineering
Prof. Dr. Liggesmeyer, 6AG Softech
Process modeling (descriptive, group support, tool-supported)
Empirical studies (to extract evidence about the Quality impact of Methods in specific Context):
WITH applications in:
Quality assurance & management
Project management
Competence management
Q == F (M, C)
AG Software Engineering: Processes and Measurement (Prof. Rombach)
Prof. Dr. Liggesmeyer, 7AG Softech
Software Engineering für technische Systeme
Sicherheit, Zuverlässigkeit, Verfügbarkeit
Forschungsschwerpunkt: Konstruktion und Prüfung eingebetteter Systeme im Hinblick auf Korrektheit, Sicherheit und Zuverlässigkeit
=> Bewertung und Minimierung von Risiken
AG Software Engineering: Dependability (Prof. Liggesmeyer)
Prof. Dr. Liggesmeyer, 8AG Softech
AG Softwaretechnik (Prof. Poetzsch-Heffter)
Themenfelder:
• Objektorientierte und komponentenbasierte Programmierung Ziele der AG: Bessere Integration von Komponentenbeschreibungen und Programmen sowie geeignete Werkzeugunterstützung dafür
• Spezifikation und Verifikation von Softwareeigenschaften Ziele der AG: Sprachen und Werkzeuge zur Spezifikation und zur rechner- gestützten Überprüfung von Softwareeigenschaften
• Aktive Dokumente: Modelle und Techniken Ziele der AG: Techniken und Werkzeuge zur Erstellung und Verarbeitung von XML-basierten Dokumenten, die aktiv mit Menschen und Maschinen kommunizieren können.
Übersetzer und sprachverarbeitende
Werkzeuge
Spezifikation und Verifikation mit Logik
höherer Ordnung
Lehrangebot des Lehrgebiets Software Engineering(Prof. Dr.-Ing. Liggesmeyer, Prof. Dr. Poetzsch-Heffter, Prof. Dr. Rombach)
• GSE ist Voraussetzung für alle anderen Vorlesungen• Prof. Dr. Liggesmeyer prüft alle AGDE-Vorlesungen• Prof. Dr. Rombach prüft alle AGSE-Vorlesungen• Prof. Dr. Poetzsch-Heffter prüft alle AGST-Vorlesungen• Die IESE-Vorlesungen werden von Prof. Dr. Liggesmeyer,
Prof. Dr. Rombach oder einem Lehrbeauftragten geprüft
AG Software Engineering: Processes and Measurement (AGSE)