机译:具有多重性和唯一性约束的类图的数字语义
Technische Universitaet Wien, Vienna, Austria;
Technische Universitaet Wien, Vienna, Austria;
Model engineering; Formal methods; Reasoning about class diagrams; Integer linear programming; Configuration management;
机译:基于UML类图和DSL语义标注的自动代码生成语义平台的定义
机译:基于UML类图和DSL语义标注的自动代码生成语义平台的定义
机译:扩充约束图的语义
机译:具有多重性和唯一性约束的UML类规范的一致性和最小值
机译:影响暧昧三字短语的理解的因素:局部语义限制,结构偏好,话语和任务约束
机译:苏格兰老年人的户外娱乐:定性探索参与的多种限制
机译:基于UmL类图和DsL语义注释的自动代码生成语义平台的定义