检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]山东经济学院计算机系,济南250014 [2]山东大学计算机系,济南250100
出 处:《计算机科学》1997年第4期64-68,共5页Computer Science
摘 要:许多开发方法及其支持工具(称为CASE工具)被用来支持系统规范及设计过程,从已应用的法产生的效果来看,在很大程度上取决于系统开发所基于的问题域,也就是说。For the efficient system specification development.it is very important for developers to compose the development methods suitable for their problem domain and environment before starting their system development. This paper discusses a meta-modelling technique based on object-oriented concept for the method base system. Information hiding and inheritance mechanism in object-oriented concept provide method fragments with high modularity and reusability. Method fragments are modelled and described in object-oriented formal description language Object Z. We also discuss how to customize method fragments and to integrate them to a new method.
分 类 号:TP311.56[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.15