Sign up to save your podcasts
Or
Share Episode 13 - Ada und Spark - mit Ingo Houben
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
Episode 13 - Ada und Spark - mit Ingo Houben
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
View all episodes
By Florian WagnerIngo 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