Computer programming; Models; Optimization; Problem solving; Programverification (Computers); Software engineering; Error correcting codes; Error detection codes; Nasa programs; Research facilities;
机译:阻碍软件密集型组织的验证和确认过程改进的十个因素
机译:软件验证和确认在软件开发过程中的作用
机译:在容错处理器上使用故障注入技术进行软件可靠性验证和验证
机译:SMAP上行链路的模型验证和验证处理模型的基于模型的开发方法和用于航空航天系统软件的自动验证
机译:基于组件的方法来验证和确认正式软件模型。
机译:用于预处理验证单同定位定向术前肠外放射外科手术的虚拟水幻像软件的验证
机译:软件过程仿真模型的启发式验证与验证
机译:用于软件验证和验证的过程改进模型