机译:软件开发过程中功能需求的形式化
机译:制定针对具有医疗复杂性的儿童的课程:在实践准则很少的情况下填补空白
机译:解决技术信息保护领域中的信息分析系统开发需求的合理化问题的一种形式化方法
机译:填补指南开发与形式化过程之间的差距 - 要求分析
机译:基于需求的开源软件开发项目探索-走向自然语言处理软件分析框架。
机译:在有和没有基于相似性的干扰的情况下填补可预测和不可预测的空白:依赖处理的LIFG效果的证据
机译:弥合苏丹村庄组织过程中社区参与的差距:对社区发展项目参与实践的批判性分析
机译:罐废物处理分析:数据库开发,逐罐处理要求,以及应用于Hanford双壳罐式上清液废物的预处理顺序和时间表的实例 - 1993财年