Softwareentwicklung

مستقر3 خبر1 مصادرآخر تحديث: 3‏/5‏/2026

أحدث الأخبار

تقنية·3‏/5‏/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.

Heise Online

1 د قراءة

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

يتطور

تقنية·25‏/4‏/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.

Heise Online

1 د قراءة

KI-gestützte Softwareentwicklung im Auto: Von der Spezifikation zum Code

يتطور

تقنية·13‏/4‏/2026ملخص الذكاء الاصطناعي

KI-gestützte Softwareentwicklung im Auto: Von der Spezifikation zum Code

Forscher der TU München und Bosch entwickeln eine neue Fahrzeugarchitektur mit Zentralrechner und KI, die Softwarefunktionen direkt aus Textvorgaben in Code übersetzt, um die Entwicklung zu beschleunigen.

Heise Online

1 د قراءة