我们为您提供了一个会议,会议采用了高质量技术程序 b>着重于Ada的重要优势 b>:分布式,实时和嵌入式系统。这些系统的愿景反映在1970年代Ada的原始要求中,并随着Ada 95和Ada 2005的实现而以几乎无法想象的方式扩展,并且继续成为那些理解语言优势的编程语言社区的人羡慕的对象。对实施者而言效率,可靠性和有效性 b>。随着硬件的快速进步,软件挑战在这些领域仍然占主导地位。大多数其他语言都无法满足早在1978年Steelman提出的要求,最多只能执行所需功能的3/4,而Ada的执行率超过95%。 Ada在解决实时和/或分布式系统挑战方面无与伦比的可靠性,效率,健壮性和全面成功的记录。 Ada用于太空/卫星系统,大多数现代喷气客机航空电子设备,高速地面运输系统和战斗自动化系统。因此,它是世界经济与国防的重要组成部分。 p>
为期三天的技术论文,主题演讲和邀请演讲 b>将报告这些成就是如何取得的以及还有哪些成就问题是领先的。我们很幸运地有软件工程界的负责人 b>提供主题演讲,为我们的会议定下基调。 p>
除了正式的论文和演讲会议外,SIGAda 2007提供具有相同主题和互补主题双重性的车间和教程 b>。 SIGAda的教程针对所选主题提供全天或半天的服务,以增强个人的专业发展 b>。 SIGAda的讲习班使从事相同问题的人们可以彼此分享并利用每个人的成就;讲习班的产品“交付给了社区”。 p>
职业增强教程 b>的广泛产品包括针对Ada的软件工程师的Ada 2005基本入门,中级和高级Ada主题。从业人员努力扩展他们的Ada专业知识,以及几个独立于语言的技术主题。这些主题通常与Ada技术结合使用,因为只有Ada完整完整的定义才能表明期望的内容并表明可以实现。加入我们的行列,了解这些主题如何相互支持严格的高质量软件系统的规范开发和演进。 p>
最后,我们希望SIGAda 2007为您提供与行业同仁保持联系的绝佳机会。 ,学术界和政府 b> –“在大厅里”进行的讨论,非正式的进餐时间会议,甚至在我们为在这座美丽的南部城市进行社交活动而更加放松的时刻中。如果您还没有意识到这一点,您将了解到这些协会与专业会议上的技术计划一样有价值,并且经常在您回国后扩展经验。
AdaCore, New York, NY;
机译:羽毛鸟:您想在哪里看到GNAT?
机译:SIGCSE 2012羽毛鸟摘要CS拔出,外展和CS审美活动
机译:成功实施鸟类(BOF)会议的考虑因素