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
In Deutschland kaum messbar: „Melania“: Vom Überraschungserfolg zum Mega-Flop?
„Teures PR-Feuerwerk für die Präsidentengattin“, so beschreiben viele Kritiker den Dokumentarfilm „Melania“. Dennoch strafen Kinobesucher sie am Startwochenende Lügen. Der Film landet auf Platz 3 der US-Kinocharts – Schummelgerüchte inklusive. Konnte der Überraschungserfolg fortgesetzt werden?
Ukraine und Russland melden gegenseitige Angriffe
Russland hat laut ukrainischen Angaben erneut die Schwarzmeerregion Odessa angegriffen – mehrere Menschen wurden demnach verletzt. Russland wiederum meldete Attacken aus der Ukraine. Nahe Moskau gab es einen Stromausfall.[mehr]
Regierung senkt Erwartungen: Ohne neue Schulden wohl kaum Wirtschaftswachstum
Das vergangene Jahr lieferte keinen Schwung und die vielen Hilfsmilliarden wirken erst später: Nach vielen Experten gibt daher auch der Bund seine Konjunkturerwartungen auf und stapelt tiefer. Unverändert bleibt derweil das Wachstum beim Schuldenberg.
heise-Angebot: Webinar: Jamf verstehen und beherrschen, um Apple Geräte effizient zu verwalten
Verwalten Sie Apple-Geräte mit Jamf Pro automatisiert und sicher. Von der Grundkonfiguration über Patch-Management und Security-Aspekte bis Reporting.
Tragödie bei Rad-WM: Der Todesfall Muriel Furrer kann nicht endgültig aufgeklärt werden
Warum wurde Muriel Furrers Sturz bei der Rad-Weltmeisterschaft 2024 erst spät bemerkt? Die Ermittlungen der Staatsanwaltschaft sind abgeschlossen, offene Fragen bleiben. Einen Schuldigen für die Tragödie gibt es nicht.
Wegen 91 Tötungen verurteilt: Todespfleger Högel bleibt mindestens 28 Jahre in Haft
Krankenpfleger Niels Högel tötete während seiner Zeit an Kliniken in Niedersachsen 91 Patientinnen und Patienten. 2019 wird er zu lebenslanger Haft verurteilt. Jetzt bitten seine Verteidiger um vorzeitige Entlassung – und scheitern.
