adacore为ADA提供商业软件解决方案,最先进的编程语言,它们’在全球范围内的120人强大,2019年在英国建立了自己,并在布里斯托尔和埃维尔设立了办事处。这就是为什么我们联系以了解更多信息。

1.用你自己的话 - 你做什么?

我们在adacore所做的一切都以帮助开发人员为中心为中心,建立安全,安全可靠的软件。经过二十多年的经验,与航空航天,国防和铁路等行业中最受尊重的公司一起工作,我们建造工具,并提供能够缓解开发高完整性软件的复杂和经常困难的过程的服务。

2. 关于你在做什么最令人兴奋的事情是什么?

由于对真正安全和可靠的应用程序的需求扩展到汽车,医疗,能源和物联网等行业,我们很高兴为我们的技术和服务提供帮助,以帮助全新一代开发商。这 火花 编程语言和工具集专为最安全的软件开发而设计,是一个真正的流血技术。你根本无法编写更好的代码,很高兴看到对此的兴趣!

3. adacore为什么开设英国办公室?

我们在英国提供了长期而成功的历史,如此自然地为该地区投资我们的知识产权,工具和服务而言,这是有意义的。这一举措使我们能够在新的r上进行协作&D机会,以及发展与学术界的关系,以扩大我们的联系 GNAT学术计划(GAP).

你能告诉我们更多关于Ada和Spark的人吗?

ADA编程语言 开源软件运动一直是我们业务的中心。简而言之,ADA是一个编程语言,全球发展团队正在使用关键软件:从MicroReners和小型占地面积,实时嵌入式系统到大规模的企业应用程序以及之间的一切。它也被称为纪念ada lovelace夫人,通常被认为是世界上第一个程序员,因为她与查尔斯贝叶比的工作。 Spark是ADA的子集,用于正式验证软件。

 

5.人们如何开始使用这些语言?

我们开发了一个互动的电子学习网站,可以使用ADA和Spark启动和运行– seath.adacore.com.,它是免费的!对编程技术的基本理解是唯一的要求。我们还通过ADA比赛推出一年一度的培养,该竞争对手呼吁软件开发人员使用ADA或Spark建立一个很酷的项目。抓斗超过8,000美元,今年7月31日再次推出。查看去年的比赛赢家 这里.

6.布里斯托尔是什么最好的事情& Bath tech cluster?

布里斯托尔的技术场景&浴感觉特别活跃。蓬勃发展的基层级举行场景与大行业素质的近距离接近均匀。我们也迫不及待地想参与SetSquared,看看我们如何支持学术界,并协作以帮助人们构建重要的软件。

7.我们在哪里可以了解更多关于您的信息?

您可以在网站上了解更多关于我们的信息 www.adacore.com..