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, …

Christoph Stanger and Valentin Hauner from MaibornWolff 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 30 January 2020. The title of the talk is “Cloud Native und Serverless”.

Abstract

Since more and more applications are run in the cloud, the need for dedicated architectural patterns arises. Patterns that emerged for traditional applications often fail to take into account cloud-specific properties and features such as resilience and observability. This is where the so-called ‘cloud-native architectures’ come into play: in an overall view, they describe how to design applications specifically for the cloud. Our guest lecture will give you an understanding of the most important architectural patterns in this field. Furthermore, we will talk about a considerable cultural change in software development and operations that was formed over the last five years: DevOps is all about interconnecting the work of developers and operators. It turned out to be vital for the fast-moving and complex life cycle of today’s cloud applications.

In addition, the field of ‘serverless’ recently emerged as a new cloud computing paradigm, allowing to efficiently develop and deploy scalable applications without having to manage any underlying infrastructure. It is increasingly gaining momentum within the cloud community and is even recognized to be the next fundamental evolution in cloud-native software development. It further abstracts away hardware and operational concerns of cloud-based software engineering. Within the second part of the proposed guest lecture we will elaborate on the term ‘serverless’, by providing formal definitions. A chronological view further sharpens the understanding of this industry-driven topic, considering milestones from the industry as well as focusing on academic research. AWS Lambda, Google Cloud Functions and Azure Functions are probably the most prominent implementations of ‘Function as a Service’ (FaaS) offerings from cloud vendors. Nevertheless, there are already a couple of open-source frameworks. The proposed lecture will also highlight the most important platforms, frameworks and tool chains towards serverless application development.

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

• Universität Augsburg: 21.01.2020 ab 17:15 Uhr in Raum 3017
• Ludwig-Maximilians-Universität München: 29.1.2020 ab 12:00 Uhr in Raum 061 im Gebäude der Informatik der LMU (Oettingenstraße 67)
• Technische Universität München: 4.2.2020 ab 16:30 Uhr in Raum 03.13.010 im Gebäude der Informatik der TUM

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.

Die Informationsveranstaltungen sind für alle Interessierten offen.

Dr. Guido Wachsmuth from Oracle Labs 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 16 January 2020. The title of the talk is “Software Language Engineering for Parallel Graph Analytics”.

Abstract

Software has become the dominating intellectual asset of our time. In turn, this software depends on software languages, namely the languages it is written in, the languages used to describe its environment, and the languages driving its development process. Software language engineering is the discipline of engineering languages and their tools required for the creation of software. It abstracts from the differences between programming languages, modelling languages, and other software languages, and emphasises the engineering facet of the creation of such languages, that is, the establishment of the scientific methods and practices that enable the best results.

In this talk, we discuss some software language engineering methods and practices we apply at Oracle Labs to develop Green-Marl, a domain specific language designed for easy development of graph-processing algorithms. The language is also specially intended to exploit modern parallel computing environments such as multi-core and heterogeneous computers. The main idea is to let the user describe her algorithm concisely with high-level language constructs of Green-Marl but let a compiler transform it into the equivalent, efficient low-level source code for different target execution environments.