safety-critical software; software engineering; program compilers; automatic code generation; ACG; safety-critical software; combined pacemaker; deliberator devices; distributed patient therapy delivery systems; quality assurance; model-based software engineering; MBSE;
机译:文本需求解析VI软件自动生成的初步研究
机译:用于软件无线电的自动可配置硬件代码生成
机译:使用内窥镜报告系统Endobase在结肠镜检查中自动生成代码的验证研究。
机译:安全关键软件自动编码生成研究:初步报告
机译:用于安全关键型软件系统的加速测试数据生成
机译:自动图像识别内窥镜报告生成系统的开发和验证:多中心研究
机译:使用自动生成代码生成的安全关键软件开发