
2020年第25届国际可靠软件技术会议(Ada-Europe 2020)
- 会议时间:2020-06-08 至 2020-06-12
- 会议地点: 西班牙 毕尔巴鄂 Bahia Hotel Santander, Spain Calle Cádiz, 2, Santander,Spain 周边酒店预订
- 会议规模: 暂无
- 主办单位: Ada-Europe
发票类型:
增值税专用发票,增值税普通纸质发票,增值税普通电子发票
发票内容:会议费,会务费,会议服务费
领取方式:会后快递,现场领取
参会凭证:二维码电子票,凭个人报名信息签到
第25届国际可靠软件技术会议(Ada-Europe 2020)将于2020年6月8日至12日在西班牙的桑坦德举行。
Ada-Europe 2020涵盖以下主题:
实时和嵌入式系统
架构建模,实时软件,可靠性和性能分析以及硬件/软件协同设计多核编程模型
Ada程序的并行执行,可靠的并行软件,性能建模,组合并行模型和确定性调试软件维护和开发的技术和方法
面向对象技术,需求工程,形式化方法,模型驱动的体系结构和工程,重用,再工程和逆向工程以及软件管理问题高完整性系统的
容错,分布,可靠性,安全性,语言漏洞的理论和实践软件体系结构:设计模式,信任和安全性,以体系结构为中心的开发,框架,基于组件的设计和开发,组件和类库主流和新兴应用
机器人技术,制造,空间,航空电子,交通运输,医疗保健,游戏和严肃游戏以及能源...支持技术的
支持工具(分析,编译器,分析),代码/文档生成,分布式系统,运行时系统,Ada和其他语言,以确保可靠的系统软件质量:风险分析,质量管理和保证,验证,程序分析,测试系统的设计与验证Ada
在市场和教育中的定位的未来,新语言功能,实现和使用问题,在Ada教育和培训活动中获得的经验教训,与任何会议主题有关以及Ada在软件工程课程中的地位经验报告
管理方法,案例研究和比较评估,定性和定量指标
-
2020年第46届国际计算机科学理论与实践趋势会议(SOFSEM 2020)
2020年01月20日 凯里尼亚
-
2020年第7届国际高级计算会议(ADCO 2020)
2020年02月22日 钦奈
-
2020年第12届国际数据库,知识和数据应用进展会议(DBKDA 2020)
2020年05月24日 威尼斯
-
2020年第22届信息与智能计算国际会议(ICIIC)
2020年10月24日 巴厘岛