...
机译:从UML类图生成操作规范:一种模型转换方法
Departmento de Sistemas Informaticos y Computation, Universidad Politecnica de Valencia, Camino de Vera s 46022 Valencia, Spain;
INRlA-Ecole des Mines de Nantes, 4, rue Alfred Kastler, B.P. 20722 - F-44307 NANTES Cedex 3, France;
Departament d'Enginyeria de Serveis I Sistemes d'lnformacio, Universitat Politecnica de Catalunya, Campus Nord, Edif. Omega, jordi Cirona 1-3, 08034 Barcelona, Spain;
Departmento de Sistemas Informaticos y Computation, Universidad Politecnica de Valencia, Camino de Vera s 46022 Valencia, Spain;
Bbehavior schema; Action; Operation; Class diagram; UML; Model-to-model transformation;
机译:从UML模型生成可验证的Lotos规范:基于图形的方法
机译:从用例映射生成UML序列图:模型转换方法
机译:基于元模型的方法从UML类图生成用户界面样机
机译:从UML交互概述图生成Maude规范:一种基于图变换的方法
机译:从UML图生成基于网络的模型,以支持设计仿真和分析。
机译:基于原子信息经典成核理论的金属玻璃时温变换图的预测建模
机译:从UML类图生成操作规范:一种模型转换方法
机译:基于知识的方法,用于从域模型生成目标系统规范