Softwaretests können die Anwesenheit von Fehlern zeigen, aber niemals deren Abwesenheit – diese Erkenntnis des Informatikpioniers Edsger Dijkstra ist Jahrzehnte alt und dennoch aktueller denn je. Dr. Lars Hupel, Chief Evangelist bei Giesecke+Devrient und Kurator des iSAQB-Advanced-Moduls „Formale Methoden“, plädiert dafür, mathematisch fundierte Techniken stärker in der Softwareentwicklung einzusetzen.

Formale Methoden nutzen mathematische Beweise, um die Korrektheit von Software oder Hardware zu garantieren. Dabei geht es nicht darum, jede Anwendung komplett zu verifizieren. Vielmehr müssen Entwickler zunächst die kritischen Bereiche eines Systems identifizieren. Eine Banking-App kann etwa gelegentliche Abstürze tolerieren – darf Transaktionen aber niemals verlieren oder duplizieren.

Welche Rolle spielen solche Methoden im Software-Architektur-Alltag und wie kann man sie gewinnbringend nutzen? Darüber diskutieren Eberhard Wolff und Lars Hupel in dieser Folge von software-architektur.tv.

Zu diesem Thema spricht Lars Hupel auch beim iSAQB Software Architecture Forum am 16. und 17. Juni 2026 in München. Mit dem Code SATV15SAF erhalten Interessierte 15 % Rabatt.

Livestream am 27. April

Die Ausstrahlung findet am Montag, 27. April 2026, live ab 16:00 Uhr statt. Die Folge steht im Anschluss als Aufzeichnung bereit. Während des Livestreams können Interessierte Fragen via Twitch-Chat, YouTube-Chat oder anonym über das Formular auf der Videocast-Seite einbringen.

software-architektur.tv ist ein Videocast von Eberhard Wolff, iX-Blogger und bekannter Softwarearchitekt, der als Head of Architecture bei SWAGLab arbeitet. Zum Team gehören außerdem Lisa Maria Schäfer (Socreatory) und Ralf D. Müller (DB Systel). Seit Juni 2020 sind über 250 Folgen entstanden, die unterschiedliche Bereiche der Softwarearchitektur beleuchten – mal mit Gästen, mal Wolff, Schäfer oder Müller solo. Seit mittlerweile mehr als zwei Jahren berichtet heise Developer über die Episoden.

(map)

Smartphones sind längst noch nicht am Zenit ihrer Entwicklung angekommen. Raum für Verbesserungen gibt es etwa beim Laden und der Akkutechnik. Doch die drei etablierten Hersteller Apple, Google und Samsung setzen eher auf Evolution statt auf Revolution. Dass es auch anders geht, zeigen die chinesischen Hersteller Honor, Oppo und Xiaomi. So bringen deren neue Smartphones Akkukapazitäten von 6.000 bis 7.500 mAh und damit ungeahnte Laufzeiten — etwa mit über 30 Stunden Videowiedergabe. Wenn ihnen dann doch der Saft ausgeht, laden manche Modelle schneller drahtlos als andere am Kabel. Steffen Herget erklärt in der aktuellen Ausgabe von c’t uplink diese und andere technische Neuerungen.

Außer beim Akku machen High-End-Smartphones aus China auch bei der Fotoqualität gehörige Fortschritte. Wir sprechen darüber, mit welchen Techniken Xiaomi mittlerweile genauso gute Fotos bei Dunkelheit macht, wie der bislang hervorragende Nachtmodus von Googles Pixel-Smartphones funktioniert und was die Hardware-Partnerschaften mit Hasselblad und Leica bringen. Untätig sind andere Hersteller aber auch nicht: Google integriert in seine Pixel-Telefone mehr KI als jeder andere, während Samsung mit dem Privacy Display ein Highlight auf den Markt bringt: eine spezielle Pixel-Matrix erlaubt es, per Fingertipp den gesamten Bildinhalt oder einzelne Bereiche vor neugierigen Blicken von der Seite zu schützen.

Zu Gast im Studio: Steffen Herget
Host: Stefan Porteck
Produktion: Tobias Reimer

► Mehr zu High-End-Smartphones lesen Sie bei heise+ (€):

Honor, Oppo, Xiaomi im Vergleich: High-End-Smartphones aus China

High-End-Smartphones: iPhone, Pixel und Galaxy im Vergleich

Im Newsletter c’t Open Source Spotlight ordnen Keywan und Niklas aktuelle Entwicklungen rund um freie Software ein und stellen innovative Open-Source-Anwendungen vor. Jetzt anmelden und an jedem zweiten Freitag eine neue Ausgabe erhalten.

► c’t Magazin
► c’t auf Mastodon
► c’t auf Instagram
► c’t auf Facebook
► c’t auf Bluesky
► c’t auf Threads
► c’t auf Papier: überall, wo es Zeitschriften gibt!

(spo)

Es war schon länger klar, dass Tim Cook bald das Ruder an einen Nachfolger übergeben wird. Dennoch hat mich der Termin am 20. April überrascht. Seitdem steht fest, dass John Ternus ab dem 1. September 2026 neuer Chef von Apple wird. Wer ist dieser Mann, der künftig einen der wertvollsten Konzerne der Welt führen soll? Wir haben ein detailliertes Porträt des designierten Apple-Chefs gezeichnet, der bereits 2020 mit der Präsentation der ersten M1-Macs von sich reden machte. Ich bin jedenfalls sehr gespannt, wie sich Apple unter Ternus verändert. Vielleicht gibt es ja sogar wieder eine Live-Keynote vor Publikum, wenn er – vermutlich mit dem iPhone Foldable (natürlich mit einem viel cooleren Namen) – im September seine erste große Produktvorstellung als CEO absolviert. Die polierten, aufgezeichneten Shows, die Apple seit der Pandemie zur Kunstform erhoben hat, sind wirklich nicht mehr zeitgemäß.

Apropos Kunstform: Wer kennt das nicht – man zieht ein altes Familienalbum aus dem Schrank und findet vergilbte, zerkratzte Schwarzweißfotos, die kaum noch zu erkennen sind. Wir haben uns angeschaut, wie gut KI-Tools beim Restaurieren und Kolorieren alter Familienfotos helfen können. Das Ergebnis ist beeindruckend – und weckt unweigerlich Lust, den eigenen Schuhkarton voller alter Abzüge endlich anzugehen.

Wer nach diesem nostalgischen Ausflug in die Vergangenheit noch mehr Retro-Feeling sucht, dem empfehle ich unseren Hintergrundartikel darüber, was ein wirklich gelungenes Remaster alter Videospiele ausmacht. Denn zwischen einem lieblos hochskalierten Port und einem echten Remaster liegen Welten – technisch wie rechtlich. Wer sich noch an „The Secret of Monkey Island“ oder „Turrican 2“ erinnert, wird diesen Artikel mit einem breiten Grinsen lesen.

Vom Bildschirm zum Klang: Wer Musik nicht nur hören, sondern wirklich erleben möchte, kommt am Vinyl-Revival kaum vorbei. Wir haben uns drei Einstiegs-Plattenspieler mit Bluetooth zwischen 240 und 340 Euro genauer angeschaut. Das Ergebnis: Das analoge Vergnügen lässt sich durchaus erschwinglich gestalten – aber nicht jedes Gerät hält, was es verspricht, und so manches Bluetooth-Problem nervt im Alltag mehr als erwartet.

Wer beim Thema Energie und Nachhaltigkeit mitdenken möchte, dem lege ich unseren aktuellen Ratgeber ans Herz, der beleuchtet, was Solarfassaden im Alltag wirklich leisten können. Photovoltaik an der Fassade klingt nach einer eleganten Lösung – liefert aber zu ganz anderen Zeiten Strom als eine klassische Dachanlage. Ob sich das rechnet und wo die größten Hürden liegen, klärt der Artikel.

Zum Abschluss noch ein Hinweis in eigener Sache: Wer schon immer wissen wollte, wie man eine KI direkt auf dem eigenen Rechner betreibt – ganz ohne Cloud und ohne Account bei einem Tech-Konzern –, der sollte sich den kommenden Mittwoch vormerken. Am 29. April 2026 ab 17 Uhr laden wir Sie zu unserem Expertentalk rund um lokale KI-Modelle für Einsteiger ein. Unsere Redakteure beantworten Ihre Fragen live im Stream – und räumen dabei mit so manchem Mythos auf.

Ich wünsche Ihnen ein sonniges Wochenende
Ihr
Volker Zota
(Chefredaktion heise medien)

(vza)