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.
Mr. Horst Sauer from Siemens 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 12 December 2019. The title of the talk is “Chancen und Herausforderungen beim Einsatz von KI in industriellen Systemen”.
Abstract
Der Einsatz von Künstliche Intelligenz (KI) verspricht Wachstum und neues Geschäftspotential in fast allen Domänen, von Industrie 4.0 über Energiemanagement bis hin zum autonomen Fahren. All diese Anwendungsfelder intelligenter Systeme erfordern einen sicheren und zuverlässigen Betrieb.
In diesem Vortrag werden – anhand von mehreren konkreten Projektbeispielen – Einsatzfelder, Herausforderungen und Architekturen solcher intelligenter Systeme vorgestellt. Ein besonderer Schwerpunkt liegt dabei auf Methoden zur Verifikation und Validierung der Sicherheit und Zuverlässigkeit, die entlang des DevOps-Lebenszyklus die Entwicklung und den sicheren Betrieb gewährleisten.
Dr. Andreas Schroeder from BMW 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 5 December 2019. The title of the talk is “Techniques and Practices for Data-Intensive IoT Backend Systems”.
Abstract
Internet of things (IoT) applications are notoriously known to produce large volumes of data. At the same time, today’s customers expect timely delivery of recent data. This is especially the case when the backend is the mediating layer between a customer’s IoT devices and her control plane (at BMW, this constellation is quite commonplace; communication between a driver’s mobile device and her vehicle is largely mediated by the backend). With all the benefits of this approach in terms of security and data durability, it also creates an interesting escalation of numbers, as the backend now has to provide timely processing of thousands of concurrent requests.
In this talk, we will cover the current laws of computing (as given from theory) and properties of computing (as given from current physical hardware) in data-intensive systems that define the solution space. Then, we will discuss how low-latency processing can be achieved with proper architectural and coding techniques. Finally, we will also cover which software engineering practices support making the right high-level architectural choices as well as low-level design choices.
This talk will also reserve fair share of time for an extended Q&A session.
Short Speaker Bio
Dr. Andreas Schroeder holds a computer science degree from LMU university Munich, as well as a doctoral degree from the same university. In his research, he explored formal verification techniques for self-adaptive systems. After successful completion of these activities, he went on in 2014 to become a software consultant at codecentric and a lead engineer at AutoScout24 before finally joining BMW as software engineer and architect. In this more practical side of his work, he has been designing, building, and continuously improving highly scalable data processing backends and resilient microservices.
