ADA95

艾达是一种结构化的、静态类型的、命令式的、广谱的、面向对象的高级计算机程序设计语言,从Pascal和其他语言扩展。它具有显式并发的内置语言支持,提供任务、同步消息传递、受保护对象和非确定性。艾达是一个国际标准,当前版本(称为艾达2012)是由ISO/IEC 862/2012定义的。艾达最初是由一个由CII霍尼韦尔公牛Jean Ichbiah领导的团队设计的,合同由美国国防部(DOD)从1977到1983,取代了美国国防部使用的数百种编程语言。艾达是以阿达·洛芙莱斯(1815—1852)的名字命名的,他被誉为第一个计算机程序员。来源HTTP://E.WiKiTo.Org/WiKi/Ad95


ZBMaX中的参考文献(128篇)1标准条款

显示结果1至20的128。
按年份排序(引文
  1. Arioli,吉安尼;科赫,汉斯:FPU型链的呼吸器和多呼吸器(2019)
  2. Arioli,吉安尼;科赫,汉斯:圆盘上半线性椭圆型方程的非径向解(2019)
  3. Arioli,吉安尼;科赫,HANS:具有周期强迫的波动方程的谱稳定性(2018)
  4. Bouaziz,RaMa;LeMaGand,劳伦特;SangHOFF,弗兰克;Zalila,BeCHIR;JMAIL,穆罕默德:RaveSCAR实时系统的多目标设计探索方法(2018)
  5. Müü勒,彼得(ED);舍费尔,INA(ED.):原则性软件开发。在他第六十岁生日的时候,献给阿瑟德。基于论文集的论文,德国凯撒斯劳滕,2018年11月(2018)
  6. Arioli,吉安尼;科赫,汉斯:某些Hamiltonian PDEs周期解族(2017)
  7. 毕比,Nelson H. F.:数学函数计算手册。使用Mthcw便携式软件库编程(2017)
  8. 科赫,汉斯:近临界保面积映射重整化中的双曲性(2016)
  9. Arioli,吉安尼;科赫,HANS:FitzHugh Nagumo方程(2015)行波解的存在性和稳定性
  10. Bertran,Miquel;Babot,Francesc;Climent,八月:分布式系统模型的形式通信消除和序列化等价证明(2014)
  11. Duracz,简,KON-NN,Michal:浮点软件验证的多项式函数区间(2014)
  12. J. Javier,《实时分布中间件标准》综述(2014)
  13. LukIL,SeHEM;Kalel,SLIM;Zalila,BeCHIR;JMAIL,穆罕默德:AO4AADL:面向方面的AADL扩展(2013)伊波尔特
  14. 塔夫脱,S. Tucker(ED);Duff,Robert A.(ED);Brukardt,Randall L.(ED);Ploedereder,Po.(E..);γ,(E..);γ,(Ed):2012参考手册。语言和标准库。国际标准ISO/IEC 8652/2012(E)(2013)伊波尔特
  15. Zibrowius,马库斯:复杂细胞品种的WITT群(2011)
  16. Arioli,吉安尼;科赫,HANS:交换保面积映射对的临界重整化不动点(2010)
  17. CARVER,Richard H.;Lee,Yu:实现、测试和调试并发程序的类库(2010)伊波尔特
  18. 布鲁克,Phillip J.;佩姬,Richard F.:Cameo:埃菲尔的另一种并发模式(2009)
  19. Gupta,Varun;Chhabra,Jitender Kumar:面向对象软件包耦合测量(2009)伊波尔特
  20. 辛格霍夫,弗兰克;PTETEC,Alain;DeSuxs,彼埃尔;LeGrand,Jer R.MeM:研究CheDar项目实时调度理论的可用性(2009)