Dernière minute
Newsgather

softwareentwicklung

Stable4 articles2 sourcesDernière mise à jour: il y a 5 jours

Derniers articles

heise devSec: Online-Konferenz zu KI und Security im Mai 2026
En développement
Tech·03/05/2026Résumé IA

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 min de lecture
Formale Methoden in der Softwareentwicklung: Podcast-Diskussion mit Lars Hupel
En développement
Tech·25/04/2026Résumé IA

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 min de lecture