In dieser Folge spricht Richard Seidl mit Michael Sperber und Markus Schlegel über formale Methoden der Softwareentwicklung. Sie erklären, warum Mathematik und Spezifikationen ein solideres Fundament liefern als typische Testverfahren. Besonders anschaulich wird es, wenn sie die Vorteile funktionaler Programmierung diskutieren und zeigen, wie sich Softwareeigenschaften beweisen lassen. Praktische Einblicke in Typsysteme, Beweisassistenten und Property-Based Testing machen das Thema greifbar.

Dr. Michael Sperber ist Geschäftsführer der Active Group GmbH, die Individualsoftware ausschließlich mit funktionaler Programmierung entwickelt. Er ist international anerkannter Experte für funktionale Programmierung und wendet sie seit über 20 Jahren in Forschung, Lehre und industrieller Entwicklung an. Außerdem hat er zahlreiche Fachartikel und Bücher zum Thema verfasst, sowie das Curriculum für das iSAQB-Advanced-Modul „Formale Methoden“ (zusammen mit Lars Hupel). Michael Sperber ist Mitbegründer des Blogs funktionale-programmierung.de und Mitorganisator der Entwicklerkonferenz BOB.

Markus Schlegel ist Softwarearchitekt bei der Active Group GmbH. Er hat 2013 die funktionale Programmierung für sich entdeckt und schläft seither wieder ruhig.

Software Testing im Gespräch

Bei diesem Format dreht sich alles um Softwarequalität: Ob Testautomatisierung, Qualität in agilen Projekten, Testdaten oder Testteams – Richard Seidl und seine Gäste schauen sich Dinge an, die mehr Qualität in die Softwareentwicklung bringen.

Die aktuelle Ausgabe ist auch auf Richard Seidls Blog verfügbar: „Formale Methoden in der Softwarequalität – Dr. Michael Sperber und Markus Schlegel“.

(mai)

Der Gewinn des Volkswagen-Konzerns ist im vergangenen Jahr um knapp die Hälfte eingebrochen. Im Vergleich zum Vorjahr sei das Konzernergebnis nach Steuern 2025 um rund 44 Prozent von 12,4 auf 6,9 Milliarden Euro gesunken, teilte Europas größter Autohersteller mit. Der Umsatz sank um 0,8 Prozent auf knapp 322 Milliarden Euro. Die Dividende soll mit 5,26 Euro je Vorzugsaktie 17 Prozent unter dem Vorjahreswert liegen. Die operative Gewinnmarge vor Zinsen und Steuern dürfte sich in diesem Jahr auf 4,0 bis 5,5 Prozent erholen, prognostiziert der Konzern. Vergangenes Jahr war sie deutlicher als gedacht um 3,1 Prozentpunkte auf 2,8 Prozent abgerutscht.

Tendenz zur Besserung

Im Schlussquartal schnitt Volkswagen dabei besser ab als in den ersten neun Monaten. Im dritten Quartal war der Konzern noch tief in die roten Zahlen gerutscht und hatte mehr als eine Milliarde Euro Verlust verbucht. Grund waren vor allem die Belastungen bei Porsche wegen des Strategie-Schwenks zur Verbrenner-Verlängerung, die auf den gesamten Konzern durchschlugen. Hinzu kamen Milliardenbelastungen aus den US-Zöllen.

Weniger Autos ausgeliefert als 2024

Bei den Verkäufen war der Konzern 2025 knapp unter die Marke von neun Millionen gerutscht: Weltweit lieferte der Konzern 8,98 Millionen Fahrzeuge aller Konzernmarken aus. Das waren 0,5 Prozent weniger als ein Jahr zuvor. In Europa legte Volkswagen zwar sogar zu. Das konnte Rückgänge in China und Nordamerika aber nicht ausgleichen.

Volkswagen steht nicht nur bei den Verkaufszahlen unter Druck. Der Konzern muss in diesem und vermutlich auch im nächsten Jahr den Verkaufsanteil von Elektroautos und Plug-in-Hybriden massiv steigern. Anders sind die Flottengrenzwerte, die Volkswagen im vergangenen Jahr verfehlt hat, für die Jahre 2025 bis 2027 im Mittel nicht zu schaffen. Die Chancen dafür stehen allerdings gut. Eine ganze Reihe von neuen oder überarbeiteten Elektroautos steht vor dem Verkaufsstart. Dazu zählen unter anderem der ID.Polo und ID.Cross von VW, der Skoda Epiq und die überarbeiteten Fassungen von Cupra Born, VW ID.3 und VW ID.4 als ID.Tiguan.

(mfz)

Überraschend einigen sich das US-Justizministerium und Live Nation Entertainment im Kartellverfahren um illegale Monopolisierung. Doch aus zahlreichen US-Bundesstaaten kommt Widerspruch. Sie beabsichtigen, den begonnenen Prozess fortzusetzen. Niederländische Geheimdienste warnen vor einer „großangelegten weltweiten“ Spionagekampagne durch staatliche russische Cyberkriminelle. Im Visier: hochrangige Würdenträger, Militärpersonal und Regierungsbeamte. Und die Amazon-Tochter Zoox baut ihr Robotertaxi-Angebot weiter aus – die wichtigsten Meldungen im kurzen Überblick.

Seit einigen Tagen wird vor einem Bundesgericht in Manhattan eine Klage gegen den Unterhaltungskonzern Live Nation Entertainment verhandelt. Die war im Jahr 2024 noch unter der Regierung von Präsident Joe Biden eingereicht worden. Darin werfen das US-Justizministerium und mehrere US-Bundesstaaten Live Nation eine illegale Monopolisierung des Livegeschäfts vor. Der Konzern nutze seine marktbeherrschende Stellung, um Konkurrenz auszubremsen. Bei einer Verurteilung droht dem Mutterkonzern von Ticketmaster sogar die Zerschlagung. Nun aber haben das Justizministerium und Live Nation überraschend eine vorläufige Übereinkunft erzielt. Zahlreiche Bundesstaaten zeigen sich davon alles andere als begeistert. US-Regierung gegen Ticketmaster: Vorläufige Einigung im Kartellverfahren

Vor dem Hintergrund des Ukraine-Kriegs verschärft sich in Russland zusehends die Zensur des Internets. Messenger-Dienste wie WhatsApp und Signal sind im Land bereits offiziell gesperrt. Zuletzt geriet auch Telegram verstärkt unter Druck. Gegen dessen Gründer Pawel Durow ermitteln russische Behörden im Rahmen eines Strafverfahrens. Sie werfen Durow die Unterstützung terroristischer Aktivitäten vor. Gleichzeitig greifen russische Cyberkriminelle gezielt ausländische Nutzerkonten von Messengern an. Darauf machen jetzt niederländische Geheimdienste aufmerksam. Niederländische Dienste warnen: Russland knackt Signal- und WhatsApp-Konten

Die Amazon-Tochter Zoox hat Aktivitäten zuletzt schrittweise ausgebaut. Im vergangenen Jahr startete das Unternehmen seinen autonomen Taxidienst in US-amerikanischen Großstädten wie San Francisco oder Las Vegas. Hinzu kommen die Standorte Seattle, Austin, Miami, Los Angeles, Atlanta und Washington D.C. Nun stärkt Zoox seine Präsenz auf dem umkämpften US-Markt weiter und dehnt seine Testflotte auf Dallas und Phoenix aus. Zudem eröffnet der Robotaxi-Anbieter eine neue Zentrale für den Flottenbetrieb. Auf Expansionskurs: Amazons Zoox testet Robotaxis in Dallas und Phoenix

Nicht nur auf die Benzinpreise hat der Irankrieg Auswirkungen. Sollte er länger andauern, könnte auch die weltweite Chipproduktion leiden. Insbesondere in Südkorea wachsen die Sorgen, sind doch zwei der weltweit größten Speicherhersteller, Samsung und SK Hynix, dort beheimatet. Ein längerer Krieg könnte sich insbesondere auf die Lieferketten für die Speicherproduktion auswirken. Denn aus der Golfregion stammen große Mengen des für die Chipfertigung benötigten Heliums. Hersteller verwenden Helium etwa zur Kühlung von Silizium-Wafern in der Produktion. Noch gibt es Vorräte, aber die sind endlich. Irankrieg: Langfristig potenzielle Gefahr für die Chip- und Speicherproduktion

Während der Gebrauch von Bargeld in vielen Ländern immer weiter abnimmt, haben die Schweizer am Wochenende Münzen und Banknoten Verfassungsrang gegeben. Was bisher lediglich auf Gesetzesebene geregelt war, wird nun fest in der Bundesverfassung verankert: der Schutz von physischem Geld. In einer Volksabstimmung am Sonntag haben drei von vier Schweizern dem Bundesbeschluss über die schweizerische Währung und die Bargeldversorgung ihre Zustimmung erteilt. Damit wird die Versorgung mit Bargeld als staatliche Aufgabe festgeschrieben. Aktivisten wollten mit einer anderen Bargeld-Initiative einen noch weitreichenderen Schutz, auch von „Münzen und Banknoten“, erreichen. Doch damit scheiterten sie. Schweizer Franken: Eidgenossen verankern Bargeld in der Verfassung

Auch noch wichtig:

(akn)