Computer programs; Programming languages; Avionics; Assembly languages; Life cycle costs; Digital computers; Tables(Data); Digital systems; Computer program verification; F-111A aircraft; F-111E aircraft; AN/AYK-6 computer; JOVIAL programming language; Airborne computers; Bombing computers; Navigational computers;
机译:开源软件:一种机构数字存储库系统,特别引用了数字图书馆中的DSPACE软件-简介
机译:用于镜头复古照明数字图像分析的新软件。
机译:数字反应堆保护系统安全关键软件评估的数字系统可靠性测试
机译:使用多软件产品线管理软件生态系统:数字标牌系统的案例研究
机译:使用静态分析查找大型软件系统中的错误传播错误。
机译:QC_DR软件在直接数字射线照相系统的验收测试和常规质量控制中的应用:使用意大利物理学家协会的药物质量控制协议的初步经验
机译:使用多软件产品线管理软件生态系统:数字标牌系统的案例研究