visual languages; visual programming; programming environments; formal specification; GXL; Graph Exchange Language; standard exchange format; graph-based tools; XML; reengineering tools; visual programming environments; data exchange format; visual l;
机译:一种领域特定的建模方法,用于支持视觉教学设计语言的规范和专用编辑器的构建
机译:针对特定领域的可视语言的测量和重新设计的视觉规范
机译:可视化合成环境数据表示和交换规格数据,以验证大规模合成环境数据
机译:使用GXL方法来支持视觉语言规范和互换
机译:将视觉规范语言应用于硬件协议验证。
机译:以工程学科活动模式的定义逐个方法和视觉语言
机译:特定于域的可视语言的度量的可视化规范
机译:基于图形的形式规范和领域特定语言的可视化。