退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用动态抽象概念模型进行程序验证和可视化
公开/公告号GB0508270D0
专利类型
公开/公告日2005-06-01
原文格式PDF
申请/专利权人 EOLOGIC LIMITED;
申请/专利号GB20050008270
发明设计人
申请日2005-04-25
分类号
国家 GB
入库时间 2022-08-21 21:57:59
机译: 使用动态抽象概念模型进行程序验证和可视化
机译: 概念模型可视化系统,程序和记录媒体
机译: 用于处理计算机系统抽象对象的操作方法,涉及通过基于对象的面向对象编程的基于模型的模型以范式类型对对象和对象类进行分类,其中抽象对象形成关联对象