Unified Modeling Language; formal specification; UML 2.0 metamodel; case variability specification; model-driven methods; software development process; software product lines;
机译:扩展的1完美/ spl Zopf // sub 4 /-线性和加法非/ spl Zopf // sub 4 /-线性代码的秩和核
机译:将标准H / sub / spl infin //控制器扩展到H / sub / spl infin ///滑模控制器,并具有用于稳定电力系统的应用程序
机译:UML40DP:计算元模型中的接口的OCL 2.0约束规范和UML建模
机译:扩展UML 2.0元模型用于/ SPL LT / SELECT / SPL GT / LECTION USIN的互补使用情况可变性规范
机译:IQMS客户关系管理应用程序的小型企业使用:对扩展技术接受模型的调查。
机译:用于中等剧烈体内活动的扩展跨上下文模型中的直接和间接关系
机译:CH( n i>,2 n i> – 1,2 n i>,– n < / i>)方程
机译:扩展的spL - sCC 4700计算机的汇编语言