Eilmeldung
GLOBALSir Keir Starmer Resigns as PM: A Review of His TenureINTLEurope Braces for Scorching Heatwave, Temperatures Exceeding 40CUKFive Eyes Agencies Warn of AI-Powered Cyber Threats Capable of Toppling Governments, Businesses Within MonthsUKAI Industry Pours Millions into NYC Primary as Regulatory BattlegroundRUKremlin Spokesman Peskov Addresses Fuel Prices, Starmer's Resignation, Zelensky's ThreatsUSGut Microbiome: What Experts Want You to Know About Your HealthEUGermany to Acquire 40% Stake in Defence Contractor KNDSGLOBALNico Schlotterbeck Ruled Out of World Cup with Ankle InjuryINTLSen. Mark Kelly Recounts Abusive Childhood in Emotional InterviewUKUS Open's Latest Champion Clark Reflects Golf's Troubling Behavioural ShiftGLOBALSir Keir Starmer Resigns as PM: A Review of His TenureINTLEurope Braces for Scorching Heatwave, Temperatures Exceeding 40CUKFive Eyes Agencies Warn of AI-Powered Cyber Threats Capable of Toppling Governments, Businesses Within MonthsUKAI Industry Pours Millions into NYC Primary as Regulatory BattlegroundRUKremlin Spokesman Peskov Addresses Fuel Prices, Starmer's Resignation, Zelensky's ThreatsUSGut Microbiome: What Experts Want You to Know About Your HealthEUGermany to Acquire 40% Stake in Defence Contractor KNDSGLOBALNico Schlotterbeck Ruled Out of World Cup with Ankle InjuryINTLSen. Mark Kelly Recounts Abusive Childhood in Emotional InterviewUKUS Open's Latest Champion Clark Reflects Golf's Troubling Behavioural Shift
Newsgather

softwareentwicklung

Stabil3 Meldungen1 QuellenZuletzt aktualisiert: 03.05.2026
Verwandte Themenkisecuritycybersicherheitkonferenzheise devsecllmonline-konferenzangriffsvektoren

Neueste Meldungen

heise devSec: Online-Konferenz zu KI und Security im Mai 2026
In Entwicklung
Technik·03.05.2026KI-Zusammenfassung

heise devSec: Online-Konferenz zu KI und Security im Mai 2026

Am 11. Mai 2026 findet die Online-Konferenz heise devSec zum Thema KI und Security statt. Die Vorträge behandeln Angriffsflächen und Sicherheitsmaßnahmen für KI-Anwendungen, den Einsatz von KI bei sicherer Softwareentwicklung sowie neue Angriffsmöglichkeiten durch KI-Werkzeuge. Tickets kosten 299 Euro zzgl. MwSt. Die Vor-Ort-Konferenz in Marburg folgt im September 2026.

H
Heise Online
Formale Methoden in der Softwareentwicklung: Podcast-Diskussion mit Lars Hupel
In Entwicklung
Technik·25.04.2026KI-Zusammenfassung

Formale Methoden in der Softwareentwicklung: Podcast-Diskussion mit Lars Hupel

Dr. Lars Hupel, Chief Evangelist bei Giesecke+Devrient, plädiert in einer neuen Folge von software-architektur.tv für den Einsatz mathematisch fundierter formaler Methoden in der Softwareentwicklung. Die Diskussion mit Host Eberhard Wolff zeigt, wie Entwickler kritische Systembereiche identifizieren und verifizieren können – etwa bei Banking-Apps, die Transaktionen niemals verlieren oder duplizieren dürfen. Livestream am 27. April 2026, Konferenzvortrag beim iSAQB Forum am 16./17. Juni 2026 in München.

H
Heise Online