Software Testing: Formale Methoden in der Softwarequalität
Richard Seidl spricht mit Michael Sperber und Markus Schlegel über formale Methoden der Softwareentwicklung.
Ähnliche Beiträge
Epstein suchte mit Modelscouts im Baltikum nach Missbrauchsopfern
Junge Frauen und Mädchen, die auf eine Karriere als Model hofften: Diesen Traum nutzten Modelscouts im Auftrag von Jeffrey Epstein, um neue Missbrauchsopfer im Baltikum zu finden. In Lettland ermittelt jetzt die Polizei. Von A. Bartram.[mehr]
Fortschritte bei Gesprächen : Selenskyj macht Hoffnung auf Kriegsende bis Mitte 2026
In Paris einigt sich die Koalition der Willigen auf Sicherheitsgarantien für den Fall eines Waffenstillstands in der Ukraine. Präsident Selenskyj begrüßt die Pläne für eine internationale Schutztruppe. Er fordert aber auch weitere Sanktionen gegen Russland.
Knappes Rennen bei Stichwahl um Präsidentenamt in Peru
Das Ergebnis der Stichwahl um das Präsidentenamt in Peru wird mit Spannung erwartet: Bislang liefern sich die konservative Kandidatin Fujimori und der Linkspolitiker Sánchez ein Kopf-an-Kopf-Rennen. Von Anne Herrberg.[mehr]
Datenanalyse-Software – Verfassungsschutz setzt auf Palantir-Alternative
Das Bundesamt für Verfassungsschutz hat nach Informationen von WDR, NDR und SZ eine europäische Datenanalyse-Software eingekauft. Das Produkt gilt als Alternative zu Produkten der umstrittenen US-Firma Palantir.[mehr]
heise+ | Was Sie für Ihre Gesundheit tun sollten – und wie Apple helfen will
Warum Fitness so wichtig ist, wie die Apple Watch dabei hilft und welche Rolle Apple beim Thema Gesundheit spielen will.
Experte zu Vorfall auf „Hondius“: Hantavirus auf Kreuzfahrtschiff „extrem ungewöhnlich“
Drei Menschen sterben bei einer Kreuzfahrt – mutmaßlich durch das Hantavirus. Der Fall stellt aus Sicht des Reise- und Tropenmediziners Tomas Jelinek eine Rarität dar. Sich in Acht nehmen sollte man auf Kreuzfahrtschiffen eher vor anderen Arten von Erregern.
