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)

In der letzten Woche kam es leider zu Problemen mit unserer c’t-Fotografie-Fotogalerie. Daher wurde das Bild des Tages am Samstag und Sonntag nicht wie üblich von der Redaktion ausgewählt, sondern automatisch von unserem System aus älteren Bildern ab dem Jahr 2014.

Wir bitten, dies zu entschuldigen.

Abgesehen davon zeigt die c’t-Foto-Community wieder einmal ein breites Spektrum fotografischer Ansätze. Klare Linien treffen auf gezielte Unschärfe, kräftige Farben auf reduzierte Schwarz-Weiß-Welten. Architektur wird zur Grafik, Bewegung wird sichtbar gemacht und kleine Momente erhalten große Aufmerksamkeit.

Viele Aufnahmen überzeugen durch eine präzise Komposition und bewusst eingesetztes Licht. Symmetrien, Fluchtlinien und Kontraste lenken den Blick. Gleichzeitig entstehen ruhige, beinahe meditative Bilder, die Raum für eigene Interpretationen lassen. Die Auswahl verbindet Technik und Gestaltung zu starken visuellen Erzählungen.

Die „grüne“ Stadt Düsseldorf von Radonart

Während der Rheinturm klar in den Himmel ragt, löst sich der Medienhafen darunter scheinbar auf. Boote liegen ruhig am Kai, doch die Gebäude verschwimmen in vertikalen Streifen und leuchtenden Reflexen. Die starke Grünfärbung prägt die gesamte Szenerie und hüllt die Stadt in eine ungewohnte Stimmung. Die vertikalen Verwischungen ziehen den Blick nach unten und verstärken die Höhe. Lichtflächen in Gelb und Weiß setzen farbige Akzente im kühlen Grün. So entsteht weniger ein Stadtporträt als ein Eindruck von Bewegung und Wandel.

Sticks von Dyba

Eine fast schon abstrakte Architekturstudie. Der Bahnhof Liège-Guillemins präsentiert sich als strenge Konstruktion aus Beton, Stahl und Glas. Rippenartige Träger spannen sich über die Szenerie und formen ein dichtes Raster aus Linien. Darunter liegen Treppen, Geländer und Bahnsteige, die in die Tiefe des Raums führen. Die Aufnahme setzt konsequent auf Symmetrie. Die Kamera steht zentral und richtet alle Linien auf einen Fluchtpunkt aus. Die wiederholten Streben wirken wie Stäbe und geben dem Bild seinen Rhythmus. Durch die Schwarz-Weiß-Darstellung verstärkt sich die grafische Wirkung noch und reduziert alles auf Form und Kontrast.

los gehts.. von Pham Nuwem

Ein Eisvogel sitzt auf einem Ast und hebt genau im richtigen Moment ab. Seine Flügel sind bereits in Bewegung, sein Körper folgt. Das kräftige Blau und Orange seines Gefieders leuchtet vor dem ruhigen, unscharfen Hintergrund. Der Ast zieht sich als klare Linie durchs Bild und gibt dem Vogel Halt, während die Flügelunschärfe Tempo ins Spiel bringt. Der scharfe Blick des Vogels bleibt dabei der Fixpunkt.

Blickwechsel: Rot-Blau von Karsten Gieselmann

Ein Blick nach oben in ein Treppenhaus offenbart ein lebhaftes Spiel aus Rot und Blau. Die Wände leuchten intensiv, während in der Mitte runde Leuchten wie helle Punkte im Raum schweben. Die strenge, zentrale Perspektive zieht den Blick tief ins Bild hinein. Klare Linien formen eine geometrische Abfolge und verstärken die Tiefenwirkung. So entsteht ein fast grafischer Eindruck. Das Treppenhaus wirkt weniger wie ein realer Ort, sondern vielmehr wie eine abstrakte Farb- und Raumstudie, die den Blick lenkt und festhält.

Im Gleichgewicht von CR09

Ein einzelner Tropfen schwebt einen Moment über der Oberfläche, bevor er aufprallt. Darunter wölbt sich das Wasser zu einer glatten Kuppe, von der sich feine Wellen konzentrisch nach außen ziehen. Der leuchtend orangefarbene Tropfen hebt sich deutlich vom ruhigen Grün ab. Die streng reduzierte Komposition und der starke Farbkontrast lenken den Blick sofort auf das Geschehen. Durch Highspeedfotografie wird dieser flüchtige Moment sichtbar gemacht und die Bewegung exakt eingefroren. Das Bild zeugt von Präzision und perfektem Timing. Es wirkt fast abstrakt und verwandelt einen einfachen Vorgang in ein ruhiges Zusammenspiel von Spannung und Stille.

Walking Home in Lights and Shades von Martin_nitraM

Eine Person läuft allein bei Nacht über eine neblige Straße. Lampen werfen helle Kegel in die Dunkelheit, während im Hintergrund Autoscheinwerfer schwach leuchten. Alles wirkt still und gedämpft. Die geschwungene Leitplanke lenkt den Blick direkt zur Figur. Die Laternen reihen sich wie Taktgeber am rechten Bildrand. Harte Schwarz-Weiß-Kontraste treffen auf weichen Nebel und lassen das Licht sichtbar werden. Es ist eine Szene zwischen Unterwegssein und Ankommen.

My Amaryllis von ShE 1981

Zwei kräftig rote Amaryllisblüten strahlen, ihre weit geöffneten Kelche zeigen feine Linien und helle Staubgefäße. Die Komposition wirkt klar und ruhig. Die Blüten stehen sich fast spiegelbildlich gegenüber und füllen die Fläche aus. Weiches Licht hebt die Struktur hervor und sorgt für Tiefe. Der schlichte Hintergrund hält alles zusammen und lenkt den Blick gezielt auf das Motiv. Das Bild wirkt wie ein Doppelporträt der Natur. Stark in der Farbe, ruhig in der Wirkung.

(vat)

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)