机译:使用模块综合的软件设计中的规范充分性验证的考虑
ソフトウェア設計; モジュール合成; 仕様検証; 仕様ドメイン; 部品規定ドメイン; 正規ドメイン; Software Design; Module Composition; Specification Satisfaction; Specifications Domain; Parts Regulation Domain; Proper Domain;
机译:使用模块综合的软件设计中的规范充分性验证的考虑
机译:使用模块综合的软件设计中的规范充分性验证的考虑
机译:用模块合成履行软件设计规范的核实验证研究
机译:在软件模块设计中使用正交数组进行验证
机译:冠状动脉注入乙酰胆碱诱导的猪主,小冠状动脉痉挛模型的建立以及尼泊地洛尔,硝酸异山梨酯和布那唑嗪对模型动物的预防作用研究
机译:面向软件检查的面向对象设计规范的缺陷检测和成本效益研究