...
机译:基于模式的约束规范的高效分析
ABB Corporate Research, Industrial Software Systems,5405 Baden-Daettwil, Switzerland;
ETH Zurich, 8092 Zurich, Switzerland;
SAP Research, 76131 Karlsruhe, Germany;
IBM Zurich Research Laboratory, 8803 Rueschlikon, Switzerland;
UML; OCL; constraints; patterns; consistency;
机译:基于稀疏后续模式的分类和应用的高效学习算法对比较动物轨迹数据分析
机译:在性能约束内对数据主导算法进行高效分割的规范细化方法
机译:基于模式的自动并行代码生成框架的正式规范和实现
机译:面向对象数据库的基于模式的约束规范语言
机译:自动生成和验证基于复杂模式的软件规范。
机译:根据基于约束LED方法的匹配分析干预计划在高级女排球中获得更有效的培训过程:玩家的声音
机译:有效分析基于模式的约束规范