Software Testing: Formale Methoden in der Softwarequalität
Richard Seidl spricht mit Michael Sperber und Markus Schlegel über formale Methoden der Softwareentwicklung. Weiterlesen
Aktuelle Nachrichten - kompakt und schnell
Richard Seidl spricht mit Michael Sperber und Markus Schlegel über formale Methoden der Softwareentwicklung. Weiterlesen
Wer in der Softwareentwicklung die richtigen Fragen stellt, kann echte Wirkung entfalten, statt nur Features umzusetzen. Weiterlesen
Meteoritenjäger selbst aus Frankreich suchen in Koblenz nach dem Einschlag vom Wochenende nach winzigen Fragmenten. Was sie antreibt. Weiterlesen
Im März behandelt SAP in 15 Sicherheitsmitteilungen teils kritische Sicherheitslücken in diversen Produkten. Admins müssen handeln. Weiterlesen
„Battlefield 6“ legte im Herbst den stärksten Marktstart der Seriengeschichte hin, schwächelte zuletzt aber etwas. Nun kürzt EA bei mehreren Studios Stellen. Weiterlesen
WeiterlesenWegen des Iran-Krieges sind die Ölpreise auf einer regelrechten Achterbahnfahrt. An den Tankstellen entwickelten sich die Preise allerdings nur in eine Richtung – nach oben. Der Tankstellenverband befürchtet: Da kommt…
Den angenehmsten Antrieb im 308 kaufte kaum jemand, und die Ursachen dafür setzt Peugeot selbst. Eine Modellpflege soll dem Elektroauto auf die Sprünge helfen. Weiterlesen
Der Gewinn von Volkswagen ist im vergangenen Jahr massiv eingebrochen. Im Schlussquartal lief es etwas besser, doch der Konzern bleibt vorsichtig. Weiterlesen
WeiterlesenVolkswagen hat 2025 einen heftigen Gewinneinbruch verzeichnet, das Ergebnis ist das niedrigste seit der Dieselskandal-Krise im Jahr 2016. Als Gründe nannte der Konzern die US-Zölle und die Probleme bei der…
Die CISA warnt vor Angriffen auf Sicherheitslücken in Ivanti Endpoint Manager, SolarWinds Web Help Desk und weiterer Software. Weiterlesen