The application period for the winter intake 2021 has started. For instructions on how to apply, please visit our application web-site.

Benjamin Heinrich from MaibornWolff will give a talk in the elite program’s special lecture series. The title of the talk is “Die besten Entwickler sind auch super Tester” and it will take place virtually as an online meeting at 4PM on January 28th 2021.

Abstract

Sauberen und cleveren Code zu schreiben ist eine wichtige Voraussetzung, um als Entwickler erfolgreich zu sein. Das alleine wird nur leider nicht reichen. Für Entwickler wird es immer wichtiger auch Testen zu können.

In größeren Softwareprojekten werdet ihr immer mit anderen gemeinsam in den Coderepos arbeiten und proprietäre oder opensouce Libraries nutzen. Leider wird dieser Code, den ihr dann benutzt, nicht frei von Bugs sein und wenn ihr nicht darüber Bescheid wisst, werden diese Bugs zu euren Bugs.

Es gibt zum Glück vieles, was ihr dagegen unternehmen könnt:

• Automatisierte Tests schreiben
• Fragen stellen
• uvm.

Der Elitestudiengang Software Engineering bietet im Januar und Februar Informationsveranstaltungen an den beteiligten Universitäten an:

• Ludwig-Maximilians-Universität München: 21.1.2021 ab 16:00 Uhr
• Universität Augsburg: 27.01.2021 ab 16:00 Uhr
• Technische Universität München: 3.2.2021 ab 16:30 Uhr

Die Informationsveranstaltungen werde als Onlinekonferenzen durchgeführt. Wenn Sie gerne teilnehmen möchten, schreiben Sie eine E-Mail an: elite-se@uni-augsburg.de

Hierbei werden wir die Details des Studiengangs und des Bewerbungsverfahrens vorstellen und die Vorteile und Besonderheiten des Studiengangs darstellen.

Der Masterstudiengang Software Engineering bietet ein deutschlandweit einmaliges Ausbildungsprogramm und qualifiziert bestens für herausfordernde Tätigkeiten in Praxis und Wissenschaft.

Jonathan Streit from itestra will give a talk in the elite program’s special lecture series. The title of the talk is “Herausforderungen für die Softwarearchitektur beim Bau großer Informationssysteme” and it will take place virtually as an online meeting at 4PM on February 4th 2021.

Abstract

Betriebliche Informationssysteme wickeln die zentralen Geschäftsprozesse großer Unternehmen ab und damit (oft unsichtbar) auch unser tägliches Leben – von der Banküberweisung über die Krankenversicherung bis zum Handyvertrag. Unter anderem durch ihre Langlebigkeit und Größe stellen Sie spannende Herausforderungen für die Software-Architektur dar.

Biography

Jonathan Streit arbeitet seit 15 Jahren bei der itestra GmbH an der Entwicklung, Analyse und Modernisierung geschäftskritischer Informationssysteme. In seinem Vortrag stellt er anhand vieler Beispiele aus der Praxis diese Herausforderungen und Lösungsansätze vor.

Dr. Stephan Merz from INRIA will give a talk in the elite program’s special lecture series. The title of the talk is “The TLA+ Language and Tool Set” and it will take place virtually as an online meeting at 4PM on January 14th 2021.

Abstract

TLA+ is a formal specification language whose foundations are mathematical set theory and temporal logic, and in which systems are described as state machines. It has been adopted mainly by companies that need to design and analyze fault-tolerant distributed and cloud systems. Using classical algorithms for distributed termination detection as a case study, this talk will present the TLA+ language and its tool support in the form of model checking and theorem proving for verifying correctness properties and checking refinement.

Markus Lachenmayr from Siemens will give a talk in the elite program’s special lecture series. The title of the talk is “Competitive Pair Programming – vier Entwickler für ein Halleluja!” and it will take place virtually as an online meeting at 5PM on December 17th 2020. 

Abstract

Anfang der 70er Jahre: Bud Spencer und Terence Hill lassen ihre Fäuste sprechen, während David Parnas seine ersten Arbeiten zu Softwaremodulen vorstellt. Natürlich Zufall. Doch wir wollen zeigen, wie Wettstreit in einem agilen Team, im Einklang mit Modularisierung und Tests, die Softwarequalität verbessern kann.

Modulkontrakte werden gemeinsam im Team definiert, bevor wettstreitende Entwicklerpaare die Module implementieren. Der Austausch der Modultests vertieft das gemeinsame Verständnis der Aufgaben. Die Entwicklerpaare messen ihre Module gegen die Tests und im System – ganz ohne Fäuste. Halleluja!

Prof. Markus Roggenbach (Swansea University) will give a talk in the elite program’s special lecture series. The talk will take place virtually as an online meeting at 4PM on December 3rd 2020. The title of the talk is “Tools for CSP – Overview and perspectives”.

Abstract

Taking the “Children & Candy Puzzle” (see below) as a master example, we discuss what the various tools for the process algebra CSP offer for modelling and verifying systems. Besides covering the standard instruments of simulation and model checking, we also discuss interactive theorem proving for CSP, as exemplified in our tool CSP-Prover.
Besides the power to analyze infinite state systems, the theorem proving approach offers the possibility for deeper reflections on CSP such as verifying the algebraic laws of the language, and proving meta results such as the completeness of axiomatic semantics.

Children & Candy Puzzle: “There are k children sitting in a circle. In the beginning, each child holds an even number of candies. The following step is repeated indefinitely: Every child passes half of her candies to the child on her left; any child who is left with an odd number of candies is given another candy from the teacher. Claim: Eventually, all children will hold the same number of candies.”

Biography

Markus Roggenbach is Professor of Computer Science at Swansea University, Wales, United Kingdom. He studied Computer Science in Braunschweig and Karlsruhe, did his PhD in Mannheim, and worked as a postdoc in Bremen. In
Swansea, he built up an active research group on the topic of “Processes and Data”.

Thorsten Jansen from Capgemini will give a talk in the elite program’s special lecture series. The talk will take place virtually as an online meeting. The title of the talk is “Capgeminis Agile Design Applied Method in Action”.

Abstract

In the last years a major shift took place in software engineering from waterfall to agile methods. Agile is the state of the art way of working today. The paradigm for doing design changed from “design once at project start” to “continuous design”. Capgemini developed and uses the “Agile Design Applied Method” (ADAM) to adress this paradigm change. In this session we will explain this method step by step, following an exemplary case that is very close to reality. We start with a vision, breaking it down until we have something that can be implemented. We will come across explorations, business capability maps, MVPs, epics, user stories, cycle plannings and more.

The application period for the winter intake 2020 has started. For instructions on how to apply, please visit our application web-site.

Dr. Ralf Engelschall from msg systems will give a talk in the elite program’s special lecture series. The talk will take place in room 1056N in Augsburg and start at 16:30 on 23 January 2020. The title of the talk is “Leadership Backstage”.

Abstract

In der Ringvorlesung werfen wir einen Blick hinter die Kulissen einer Führungskraft in der IT. Unser Fokus wird hierbei auf der Mitarbeiterführung liegen.

Unsere zentralen Fragen werden sein:

• Welche Motive leiten meine Mitarbeiter?
• Welche Kompetenzen erwarte ich von meinen Mitarbeitern?
• Wie kann ich die Kompetenzerreichung meiner Mitarbeiter einschätzen und vergleichen?
• Wie setze ich meine Mitarbeiter am sinnvollsten ein?
• Wo steht ein Mitarbeiter auf seiner Karriereleiter?

Dazu bringe ich Ihnen einige Modelle mit: Motivprofil aHead, Competence Bloom, Competence Achievement Process, Requirement-Capability-Desire, Performance-Potential-Grid, …