Jun. Prof. Dr. Lars Grunske: Software Engineering: Analysis of Quantitative Aspects

1. Das Lehrgebiet „Software Engineering“ • Jun. Prof. Dr. Lars Grunske:Software Engineering: Analysis of Quantitative Aspects • Prof. Dr.-Ing. Peter Liggesmeyer: Software Engineering: Dependability • Prof. Dr. Arnd Poetzsch-Heffter:Softwaretechnik • Prof. Dr. Dieter Rombach:Software Engineering: Processes and Measurement

2. Was macht Software Engineering interessant? • Software Engineering ist gestaltend und facettenreich => große Themenfülle: Techniken, Methoden, Prozesse, Management • Software Engineering kommt in praktisch allen Branchen vor (z.B. Banken, Versicherungen, Autohersteller, Medizintechnik, Luft- und Raumfahrt, Maschinenbau, Industrieautomatisierung) • 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

3. Eckdaten der Softwarebranche in Deutschland • 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 • Sekundärbranchen (Maschinenbau, Elektrotechnik, Fahrzeugbau, Telekommunikation und Finanzdienstleistungen) • Rund 8.650 Unternehmen • 2,5 Millionen Erwerbstätige • Eher mittlere und größere Unternehmen • Heutige Produkte ohne Software oft undenkbar => Hervorragende Berufschancen durch solides Wissen über Software Engineering!!

4. Vom Maschinenbau über die Elektrotechnik zum Software Engineering Aktuell: • bis zu 100 eingebettete Systeme, • ca. 15 Millionen Zeilen Software • 90% der Innovationen durch Software Maschinenbau Elektrotechnik Informatik Maschinenbau Elektrotechnik Maschinenbau

5. Bereiche des Software Engineering • Es ist schwer, 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 (Safety), garantierte Verfügbarkeit) => Geeignete Qualitätssicherung:AG Software Engineering: Dependability • Softwarearchitekturen bilden die Grundlage für die Evaluation und Optimierung von Qualitätsanforderungen:AG Software Engineering: Analysis of Quantitative Aspects • Software muss formuliert und verarbeitet werden => Leistungsfähige Modelle, Sprachen, Techniken und Werkzeuge sind erforderlich:AG Softwaretechnik

6. AG Software Engineering: Processes and Measurement(Prof. Rombach) • Process modeling (descriptive, group support, tool-supported) • Measurement (definition, instrumentation, collection, guidance) • Empirical studies (to extract evidence about the Quality impact of Methods in specific Context): WITH applications in: • Quality, process and risk assurance & management • Project management • Technology assessment, management, and selection Q == F (M, C)

7. AG Software Engineering: Dependability (Prof. Liggesmeyer) • Software Engineering für technische Systeme • Sicherheit, Zuverlässigkeit, Verfügbarkeit Forschungsschwerpunkt: Konstruktion und Prüfung eingebetteter Systeme im Hinblick auf Sicherheit, Zuverlässigkeitund Verfügbarkeit => Bewertung und Minimierung von Risiken

8. AG Software Engineering: Analysis of Quantitative Aspects (Jun. Prof. Grunske) • Forschungsschwerpunkt: Quantitative Analyse und Optimierung von Qualitätseigenschaften im Architekturentwurf. • Ziele der AG: Integration von statistischen Verfahren in der Softwareentwicklung

9. AG Softwaretechnik (Prof. Poetzsch-Heffter) Themenfelder: • Objektorientierte und komponentenbasierte Programmierung Ziele der AG: - Komponentenmodelle und deren Integration mit Programmen - Nebenläufige Programmierung/Aktoren • Modellierung und Generierung von Software Ziele der AG: - Modelliere Software auf hohem Abstraktionsniveau oder Domänen-spezifisch - Generierung effizienten Programmcodes aus Modellen • Spezifikation und Verifikation von Softwareeigenschaften Ziele der AG: - Sprachen und Werkzeuge zur Spezifikation und zur rechner- gestützten Verifikation - dynamische Überprüfung von Softwareeigenschaften

10. Language, Tools & Product Track Process & Knowledge Track Vertiefungs-module Spezifikation und Verifikation mit Logik höherer Ordnung Requirements Engineering AGST IESE Softwarearchitekturverteilter Systeme Sicherheit und Zuverlässigkeit eingebetteter Systeme Software Projekt- und Prozessmanagement Schwerpunkt-module AQUA seda AGSE Kernmodul Projekt Vorlesung Zusatzangebot AG Software Engineering: Processes and Measurement (AGSE) Prof. Dr. Rombach AG Software Engineering: Analysis of Quantitativ Aspects (AQUA) Jun. Prof. Dr. Grunske AG Software Engineering: Dependability (seda) Prof. Dr. Liggesmeyer AG Softwaretechnik (AGST) Prof. Dr. Poetzsch-Heffter Kontakt:J. Stengel stengel@informatik.uni-kl.dehttp://aqua.cs.uni-kl.de Kontakt:K. Jerkkujerkku@informatik.uni-kl.dehttp://wwwagse.cs.uni-kl.de Kontakt:K. Jerkkujerkku@informatik.uni-kl.dehttp://agse3.informatik.uni-kl.de Kontakt: J. Stengel stengel@informatik.uni-kl.dehttp://softech.informatik.uni-kl.de Lehrangebot des Lehrgebiets Software Engineering (Prof. Dr.-Ing. Liggesmeyer, Prof. Dr. Poetzsch-Heffter,Jun. Prof. Dr. Grunske, Prof. Dr. Rombach) Spezifikation und Verifikation objekt-orientierter Programme Product Line Engineering Qualitätsmanagement von Software und Systemen Process Modeling AGST IESE seda IESE Empirische Modellbildung und Methoden Übersetzer und sprachverarbeitende Werkzeuge Software -Qualitätssicherung seda AGST AGSE Projekt (seda, AGSE, AGST) Industrie-Kontaktseminar Bachelor-/Master-/Diplomarbeiten Fortgeschrittene Aspekte objektorientierter Programmierung AGST GSE-Projekt Industriepraktika Bachelor-/Master-Seminare Grundlagen desSoftware Engineering (GSE) Stud.-Hilfskraft-Jobs AGSE • GSE ist Voraussetzung für alle anderen Vorlesungen • Prof. Dr. Liggesmeyer prüft alle seda-Vorlesungen • Prof. Dr. Rombach prüft alle AGSE-Vorlesungen • Prof. Dr. Poetzsch-Heffter prüft alle AGST-Vorlesungen • Jun. Prof. Dr. Grunske prüft alle AQUA-Vorlesungen • Die IESE-Vorlesungen werden von Prof. Dr. Liggesmeyer, Prof. Dr. Rombach oder einem Lehrbeauftragten geprüft SW-Entwicklungsprojekt Fraunhofer IESE (Prof. Liggesmeyer / Prof. Rombach) Kontakt:K. Jerkku (jerkku@iese.fhg.de) http://www.iese.fhg.de