...
机译:FitNesse:自动化规格
Object Mentor, Inc.;
机译:从自然语言需求规范中识别KAOS元素的模型(知识获取自动规范)
机译:莲花规格自动转换为雌激素规格的正式方法
机译:FLAME:一个用于通过自动规范测试验证的软件产品线自动化分析的正式框架
机译:自动化验收测试的基础:FitNesse的成熟使用
机译:自动黑盒GUI规范增强和测试数据生成
机译:从LEMS(NeuroML2的基础通用模型规范语言)自动生成代码
机译:提高适应性:从具体执行到部分规范