To eliminate the incompleteness,inconsistence and ambiguity in the software requirement,the formal method could be used to describe the requirement.

 
  • 为了消除软件需求中存在的不完整性、二义性和不一致性,可以用形式化方法描述软件需求;
今日热词
目录 附录 查词历史