However, the formal data warehouse design should begin with data warehouse architecture.
然而，正式的数据仓库设计应该从数据仓库的架构开始。
Bugs in formal verification software can miss design errors and thus give false confirmation.
形式验证软件中的缺陷会遗漏设计错误并进而给出错误的确认。
Bugs in formal verification software can miss design errors and thus give false confirmation.
形式验证软件中的缺陷会遗漏设计错误并进而给出错误的确认。
应用推荐