Software systems; Ontologies; Calculus; Software engineering; Schedules; Computers;
机译:没有oracle正确性假设的软件测试
机译:软件可靠性预测模型,使用时间序列的现实假设(S)Arima模型
机译:基于组件的软件验证的局部最小与最大假设生成方法研究
机译:软件如何改变世界:假设的作用
机译:系统软件的假设管理框架
机译:回复希尔伯恩:海洋保护区的作用取决于假设
机译:软件假设失败容忍:角色,策略和愿景
机译:软件开发中的假设管理