Newsgather

softwareentwicklung

Sabit4 haber2 kaynakSon güncelleme: 03.08.2026

Son Haberler

heise devSec: Online-Konferenz zu KI und Security im Mai 2026
Gelişiyor
Teknoloji·03.05.2026AI özeti

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
1 dk okuma
Formale Methoden in der Softwareentwicklung: Podcast-Diskussion mit Lars Hupel
Gelişiyor
Teknoloji·25.04.2026AI özeti

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
1 dk okuma