机译:ReFIO:用于管道和过滤器域规范和程序生成的交互式工具
Univ Minho, Dept Informat, Braga, Portugal;
Univ Texas Austin, Dept Comp Sci, Austin, TX 78712 USA;
Univ Minho, Dept Informat, Braga, Portugal;
MDE; Tools; Software architectures; Design by transformation; Refinement; Optimization; Graph transformations;
机译:MPGS:用于规范和生成多媒体演示的交互式工具
机译:用于交互式编程学习环境的练习解决方案检查规范语言
机译:构造的开放演算(第二部分):依赖类型的方程式类型理论,用于编程,规范和交互式定理证明
机译:PGTOOL:用于测试新一代存储设备的自动交互式程序生成工具
机译:使用高阶类型化语言进行规范来生成特定于域的测试用例。
机译:组蛋白脱甲基酶Jumonji AT丰富的交互式域1B(JARID1B)通过调节关键发育和谱系规范基因来控制乳腺发育。
机译:EC 6th Framework项目“ VIDE”(可视模型驱动编程),合同号033606。用于模型驱动编程的可视用户界面–评估VIDE的工具,方法定义和设计规范。技术报告D5.1
机译:从形式域模型中精炼软件规范的交互式工具