Process synthesis; Automatic process generation; Commissioning processes; Business process modeling;
机译:基于约束的规范自动生成优化的业务流程模型
机译:基于模式的合成驱动的逻辑规范的自动生成,用于面向工作流程的软件模型
机译:基于模式和组成驱动的工作流程软件模型的逻辑规范的自动生成
机译:自动生成声明规格的优化过程模型
机译:规范和自动生成仿真模型及其在半导体制造中的应用
机译:基于有限元的大脑刺激中的电场计算:优化的处理管道用于生成和使用精确的单个头部模型
机译:自动生成声明规格的优化过程模型
机译:一种用于自动代码生成的图形化规范语言。 GRasp / ada:ada的算法,结构和过程的图形表示,第1阶段