formal specification; visual programming; specification languages; visual framework; modelling; heterogeneous notations; diagrammatic notations; text-based notations; templates; constraint space; tool support;
机译:用于软件工程应用程序的可视化表示法建模和实现的框架
机译:视觉符号交换的框架
机译:模式实例符号:用于动态可视化和理解软件模式的简单分层视觉符号
机译:用异构符号建模的视觉框架
机译:用于形式化嵌入式系统开发的面向对象的建模符号的通用框架。
机译:对视觉处理能力的潜在构造物的认知老化:基于视觉注意理论的具有因果假设的新型结构方程建模框架
机译:提高视觉符号设计可验证在符号物理学中的可视符号设计验证的框架
机译:实现异构数据类型的信息检索和可视化框架