program visualization, formal methods, design techniques, program derivation;
机译:正式软件规范的可视化表示
机译:智能产品外观设计设计规范表示
机译:统一的,面向对象的图形系统和软件体系结构,用于可视化CAD / CAM演示
机译:视觉呈现软件规格和设计
机译:Egsl:面向控制的软件系统的视觉规范语言。
机译:视觉刺激演示软件入门
机译:软件规范和设计的视觉呈现
机译:软件设计规范。第2部分:轨道飞行试验(OFT)详细设计规范。第3卷:应用程序。第2册:系统管理