Software component; Verificaton; Component model; Atomic service; Service extension; Extension constraint;
机译:基于SMT的基于组件的软件系统的时间特性验证
机译:重新考虑软件组件的安全性:软件组件级别的完整性和交叉验证
机译:使用组件协调模型自定义基于组件的软件:基于角色的基于上下文的驱动方法
机译:具有同步软件组件的线控制动系统的基于组件的开发和安全关键软件的验证
机译:基于组件的方法来验证和确认正式软件模型。
机译:GIBBSTHUR:基于Thurstonian模型的用于估计方差成分和预测育种价值的软件用于对性状进行排名
机译:基于组件的验证和验证正式软件模型的方法
机译:用于过程仿真模型的配置和使用的软件架构。软件构件技术与基于XmL的方法