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
Stromnetze vertragen mehr PV-Strom – mit Batteriespeichern an Umspannwerken
Einer Studie zufolge verkraften die Stromnetze durch Batteriespeicher an Umspannwerken deutlich mehr Solarstrom.
Tankregel: Preise steigen nur noch einmal am Tag um 12 Uhr
Die neue Tankregel in Deutschland tritt heute in Kraft. Nur noch einmal am Tag, um 12 Uhr, dürfen an Tankstellen die Preise erhöht werden, gesenkt jederzeit.
Luxus-SUV unter Strom: Der Torcal soll Bentley ins Elektro-Zeitalter fahren
Nun wird auch Bentley als eine der letzten Luxusmarken elektrisch. Die britische VW-Tochter steckt dafür den Porsche Cayenne in feinen Zwirn. Der Antrieb ist neu, aber das Ambiente bleibt typisch Bentley. Der Preis auch.
Raumkapsel im Pazifik gelandet: „Artemis 2“-Crew nach Flug um den Mond zurück auf der Erde
Erfolgreiche Landung nach historischer Mission: Erstmals seit mehr als 50 Jahren waren Menschen in der Nähe des Mondes. Sie sahen zuvor Ungesehenes und stellten Rekorde auf. Jetzt wird ausgewertet.
Gemini-App meldet Verbindungsfehler und Ausfälle
Nutzer der Smartphone-KI-App Gemini melden derzeit vermehrt Ausfälle. Die Anwendung reagiert nicht oder zeigt Fehlermeldungen an.
Alte Regelung bleibt bestehen: EU-Verkehrsminister verhindern jährliche TÜV-Pflicht für alte Autos
Bestimmte Fahrzeuge sollen nach den Vorstellungen der EU-Kommission künftig häufiger zur TÜV-Untersuchung. Einerseits könnte das zu mehr Verkehrssicherheit führen, andererseits zu zusätzlichen Kosten für Autofahrer. Doch das Vorhaben stößt auf Ablehnung.
