specification languages; constraint handling; object-oriented languages; software reusability; formal specification; formalized relations; feature models; system families; high level development asset reuse; feature modeling; consistency checking; formal;
机译:正式化UML / OCL结构特征,具有重点
机译:基于IDE4OCL功能模型的OCL工具报告
机译:关于子模型和子元模型及其关系通过包含属性进行统一形式化
机译:使用OCL功能模型中正式关系的详细信息
机译:多项式处理树模型:它们的形式化以及与其他图形模型的关系
机译:内存详细信息:内存之间的关系用于事件的特定功能和初期的长期回忆
机译:使用ocl的特征模型中形式化关系的细节
机译:选择无缝aHD的对流换热模型的发展 - 采用无金属金属电镀的细节表面