The University of Texas at Dallas.;
机译:基于Petri网模型的可执行服务组合代码自动创建工具
机译:基于Petri网模型的可执行服务组合代码自动创建工具。
机译:过去执行代码:高效的内存中对象图版本控制
机译:内联求解器执行的面向对象模型的自动并行化
机译:重用存储库中的面向对象的结构化设计工件的自动分类
机译:BioASF:自动生成BioPAX中指定的可执行途径模型的框架
机译:一种可执行的规范语言,用于面向对象规范重用中的规范理解
机译:从面向对象的规范生成可执行持久数据存储/检索代码