Contract-based design; Formal methods; Virtual integration; Model checking; Requirements engineering Verification;
机译:虚拟服务企业基于模式的电子服务建模
机译:由模型驱动和基于模式的流程驱动SOA模型集成
机译:虚拟化在教育中的集成模型:虚拟化技术及其在教育中的应用可能性
机译:使用Tind2模型检查器的基于模式的合同虚拟集成
机译:设计组件合同:基于模式的组合的建模和分析。
机译:使用虚拟病房模型在英格兰整合高危患者的医疗服务:在三个案例地点进行的医疗整合过程中的经验教训
机译:过程驱动的sOa模型的模型驱动和基于模式的集成
机译:虚拟空间飞行:在虚拟环境中集成多个运动模型和超文本