...
机译:通过样式和组合提案支持软件特性的认证和说明
Department of Computer Science, The University of Texas at El Paso, 500 West University Av., El Paso, TX 79968-0566, USA;
Department of Computer Science, The University of Texas at El Paso, 500 West University Av., El Paso, TX 79968-0566, USA;
Property specification; software specification; temporal logic; verification and validation; concurrent behavior; property patterns; property scope; elicitation of properties;
机译:关于使用域模式来验证软件需求规范的域相关属性
机译:通过软件规范模式进行运行时监控的生成属性
机译:一种模式驱动的方法来验证软件需求规范的活动特性
机译:复合命题:争取支持系统属性的正式规范
机译:规范模式系统和组合命题的测试用例自动化。
机译:通过加入芳族纤维改善可嗜蛋白酶EPDM复合材料的自支撑和可溶素性能
机译:复合命题:寻求对系统属性形式规范的支持
机译:命题求解器中的组件规范;软件工程部