...
机译:致力于根据正式规范自动生成保留服务质量的实现
Formal description techniques (FDFs); FDT compilers; Automatic code generation;
机译:根据形式规范自动检查实现
机译:基于正式规范的嵌入式网络系统自动测试生成
机译:基于正式规范的嵌入式网络系统自动测试生成
机译:从形式规格到功能方案表格的自动转换以自动生成测试用例
机译:根据行为规范自动生成面向对象的类实现。
机译:视网膜图像绘制系统的设计与实现以及视网膜检查自动生成报告
机译:基于正式规范的嵌入式网络系统的自动测试生成