MDA; PIM; PIT; Conversion rules; Test cases;
机译:基于可测性度量的ADTEM体系结构设计可测性评估模型,用于评估软件体系结构
机译:可操作的自动遥感影像理解系统:超越基于地理对象和面向对象的图像分析(GEOBIA / GEOOIA)。第2部分:新颖的系统架构,信息/知识表示,算法设计和实现
机译:可操作的自动遥感影像理解系统:超越基于地理对象和面向对象的图像分析(GEOBIA / GEOOIA)。第2部分:新颖的系统架构,信息/知识表示,算法设计和实现
机译:基于模型驱动架构的测试用例自动生成的设计与实现
机译:验证基于SDL的体系结构设计模型:自动生成测试和新的覆盖标准
机译:通过动力学建模和仿真基于目标应用的不同架构的热驱动微型泵设计指南
机译:基于综合配送网络在新一代分布式自动化系统中的自动建模功能的设计与实现