Newsgather

softwareentwicklung

مستقر3 خبر1 مصادرآخر تحديث: 03.05.2026

أحدث الأخبار

heise devSec: Online-Konferenz zu KI und Security im Mai 2026
يتطور
تقنية·03.05.2026ملخص الذكاء الاصطناعي

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
يتطور
تقنية·25.04.2026ملخص الذكاء الاصطناعي

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