))
Episode 13 - Ada und Spark - mit Ingo Houben
Manage episode 302927438 series 2985526
Content provided by Florian Wagner. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Florian Wagner or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
Ingo Houben ist Business Development und Account Manager bei AdaCore und verantwortlich für den deutschsprachigen Raum. Er langjährige Berufserfahrung in der EDA-, Embedded- und Automobilindustrie. Dort hat er sich mit Mikroelektronik und Softwaretechnik beschäftigt.
In diesem Podcast haben wir über Ada und Spark gesprochen. Ada ist eine Programmiersprache, die sich aufgrund der strengen Anforderungen an validierte Compiler gut für sicherheitskritische Anwendungen eignet. Spark ist eine Variante von Ada mit zusätzlichen Regeln. Diese Regeln ermöglichen es, Programme automatisch auf Korrektheit zu prüfen.
Die von Ingo erwähnte Studie kann hier heruntergeladen werden: Controlling Costs with Software Language Choice
Bei Fragen kann man sich über LinkedIn an Ingo wenden: Ingo Houben - LinkedIn
22 episodes
Share
