法律状态公告日
法律状态信息
法律状态
2012-09-19
授权
授权
2011-01-19
实质审查的生效 IPC(主分类):G06F 1/24 申请日:20090109
实质审查的生效
2010-12-08
公开
公开
机译: 软件系统建模方法,涉及通过贸易合同定义软件系统的客户软件组件和供应商软件组件的角色,并为每个贸易合同定义接口合同
机译: 验证由软件组件组装而成的系统的方法,包括将软件组件整合到系统抽象中进行验证,在其中加载软件组件的验证条件
机译: 用于用相应的已知良好软件组件替换软件组件的系统和方法,而无需考虑软件组件是否已受到威胁或可能受到威胁