STEP; Model-driven Software Development; Meta-modeling; Model Transformation;
机译:自动验证密码协议线性逻辑规范的保密性
机译:从写为谓词/过渡网的服务规范中导出协议规范
机译:自动推荐用例规范中省略的步骤
机译:灵活规范步骤应用协议扩展和工具功能的自动推导
机译:基于语义规范自动适应软件组件的工具的基础。
机译:具有压缩功能的灵活的12导/扩音器适用于低带宽移动ECG远程医疗应用
机译:使用柔性工具和一些应用研究了表面结构,晶体纹理,微拷贝式的微拷贝。第2部分。使用柔性工具对材料和应用的一些性能进行效用涂层效果的研究
机译:使用sTEp的体系结构和方法开发应用程序协议(ap)。 sTEp方法论的基础知识