...
机译:集成正式规范,审查和测试以增强软件可靠性的框架
Department of Computer Science, Hosei University Tokyo 184-8584, Japan;
University of Tokyo;
National Institute of Informatics, Japan;
software development framework; formal specification; review; testing; reliability;
机译:FLAME:一个用于通过自动规范测试验证的软件产品线自动化分析的正式框架
机译:TESTAF:使用面向对象的正式规范进行类测试的测试自动化框架
机译:正规工程方面的经验:Neopost上基于模型的规范,软件总线的实现和测试
机译:集成了正式的规范,审查和测试,以确保软件组件的质量
机译:MM路径在建设性软件开发中的使用(规范,集成,测试)。
机译:HOLON / CADSE:集成开放软件标准和正式方法以生成基于准则的决策支持代理。
机译:用于促进软件模块化,增强文档和测试规范的正式规范技术