computational linguistics; formal specification; formal verification; graph grammars; programming environments; software tools; visual languages; visual programming; AToM/sup 3/ tool; attribute selection; class selection; consistency checking; constraint selection; f;
机译:一种领域特定的建模方法,用于支持视觉教学设计语言的规范和专用编辑器的构建
机译:一种独立于语言的形式化方法,用于基于模式的建模,并支持合成和分析
机译:支持多视图领域特定视觉语言的面向用户的分析
机译:生成支持多种视图的视觉语言环境的正式方法
机译:逻辑,形式语言和形式语言标识。乔姆斯基层次结构中语言的某些逻辑属性,以及形式语言标识的疑问模型。
机译:SinicView:一种可视化环境用于比较多个核苷酸序列比对工具
机译:生成支持多视图的可视语言环境的正式方法
机译:基于图形的形式规范和领域特定语言的可视化。