Distributed data processing ; Man computer interface ; Time intervals ; Environments ; Interactions ; Specifications ; Computers ; Interfaces ; Modification ; Efficiency ; Scheduling ; Errors ; Safety ; User needs ; Communication and radio systems ; Focusing ; Storage ; Syntax ; Creativity ; Editing ; Computer programs ; Maintenance;
机译:一种领域特定的建模方法,用于支持视觉教学设计语言的规范和专用编辑器的构建
机译:使用高级功能和协议规范模型验证RTL设计的统一顺序等效性检查方法
机译:使用
机译:使用统一建模语言的平台独立编辑器原型
机译:使用统计模型开发高风险证书考试考试规范,以与整体判断模型的考试规范进行比较
机译:我们是否在脊椎动物中获得了光感受器细胞命运规范的统一模型?
机译:使用统一建模语言的GuiMarket规范