Software Engineering; Software Tools; DO-178B; Automatic Code Generation; Safety critical; Real-TimeSoftware Process;
机译:集成了面向对象的安全关键软件的非正式和正式开发
机译:对瞬态错误进行实验评估的自动方法来生成安全关键软件
机译:MAGE(M文件/ Mif自动生成器):一种图形界面工具,用于自动生成面向对象的Micromagnetic Framework配置文件和Matlab脚本以进行结果分析
机译:面向对象技术的比较自动代码生成安全性实时软件的工具
机译:组织是否准备好迁移到面向对象的软件开发?探索采用面向对象技术的关键成功因素。
机译:使用三种不同的软件工具对双源计算机断层扫描中左心室功能的(半)自动和手动调整测量结果进行比较
机译:用于自动生成的指导,导航和控制代码的软件安全认证工具
机译:软件测试工具:程序和面向对象源代码的有效性测量指标。