首页 > 电子期刊 > J > 计算机时代

软件发布规划的形式化探讨

目变化而变化。硬约束的目标明确且容易被形式化,硬约束集合用Xhard表示。硬约束分技术、资源或预算方面的约束。用关系Γ*Γ的子集表示它们之间的耦合情况:耦合C:x(i)=x(j),∀(i,j)∈C⊂Γ*Γ弱优先WP:x(i)⩽x(j),∀(i,j)∈WP⊂Γ*Γ强优先SP:x(i)资源约束是另一类的硬约束。
<<上一页  下一页>>

首页 > 电子期刊 > J > 计算机时代

广州市越秀区图书馆版权所有。
联系电话:020-87673002

本站访问人数: