Object—Z相关论文
面向对象形式规格说明语言Obiect-Z与进程代数CSP相结合是当今的一个热点，它既可以表示复杂的模块化数据与算法，又可以表示系统的行......
介绍了软件体系结构的研究现状，研究了其团体特征，设计出了一个具有相互学习能力、相互协调和合作的由Agent构件组成的团队．用形式化......
由于无线传感器网络（WSN）带来的新特点，需要开发更多区别于传统网络的路由协议。形式化方法Object—Z是建立在严密数学基础之上的开发......
软件需求分析是软件开发过程中的首要工作,其分析结果是否准确可靠,将直接影响软件产品的质量,甚至决定了项目的成败。而其中的需......
Object—Z是形式规格说明语言Z的面向对象扩充，具有面向对象特点，适合描述大型面向对象软件规格说明．行为子类型继承是一种子类型继承......
