首页>
外国专利>
METHOD FOR THE COMPUTER-AIDED, AUTOMATED VERIFICATION OF REQUIREMENTS
METHOD FOR THE COMPUTER-AIDED, AUTOMATED VERIFICATION OF REQUIREMENTS
展开▼
机译:计算机辅助的需求自动验证方法
展开▼
页面导航
摘要
著录项
相似文献
摘要
In a method for the computer-aided, automated verification of requirements, the requirements are stored in a database, and at least one interface description and at least one functional description are filed, the requirement having at least one subcomponent. The verification includes the computer-aided verification of the completeness and/or consistency of the interface description and/or the functional description. The verification is done also in relation to subcomponents.
展开▼