论文部分内容阅读
面向方面方法和实时语言特性应用于实时软件开发工程,将降低实时软件开发的复杂性,而形式化方法将提升系统的可信度。该文提出的一种面向方面的实时软件开发方法AOSDBRTL,它基于经面向方面扩展的形式化方法AO-RT-Z,在编码阶段应用实时语言PEARL,实现了软件开发各个阶段对面向方面的无缝支持。
基于实时语言和面向方面的形式化开发方法
【摘 要】
：
面向方面方法和实时语言特性应用于实时软件开发工程,将降低实时软件开发的复杂性,而形式化方法将提升系统的可信度。该文提出的一种面向方面的实时软件开发方法AOSDBRTL,它基于经面向方面扩展的形式化方法AO-RT-Z,在编码阶段应用实时语言PEARL,实现了软件开发各个阶段对面向方面的无缝支持。
【机 构】
：
嘉应学院计算机科学与技术系,广东工业大学计算机学院
【出 处】
：
计算机应用
【发表日期】
：
2006年01期
【基金项目】
：
国家自然科学基金资助项目（60474072,60174050）,广东省自然科学基金资助项目（04009465,010059）,广东省高校自然科学研究项目（Z03024）
其他文献
掌握学习教学模式是由著名的心理学家和教育学家布卢姆提出的,＂掌握学习理论＂是布卢姆整个教学理论的核心内容。布卢姆认为,解决上述问题的最好办法在于改变我们对学习者及其学
提出了一种利用非单点模糊正则网络构建预测器的图像压缩预测编码算法。该算法将非单点模糊化技术引入正则神经网络,在自学习的过程中,能够自动滤除训练数据中的噪声,获取准确的信息。通过仿真试验,并与传统预测编码方法、神经网络预测编码方法进行比较,结果证明该算法具有抗干扰能力强、预测精度高、恢复图像效果好等突出优点。
MSR协议是一种基于DSR协议的无线Adhoc网络路由协议。在Linux操作系统下搭建了一个Adhoc无线实验床(Testbed)。在实验床的真实场景下,作者使用MSR协议传送FTP业务,并对MSR中影响其性能的各种开销进行了分析,分析的结果为今后改进MSR和DSR的性能提供了有益的启示。
本文中的现金是指狭义的现金,即在市场上流通的现钞。本文通过分析企业现金管理中存在的问题,对我国现行的现金管理制度和监管机关进行评价,对我国现金流通的现状进行分析,说
在搭建Linux网桥时,网桥设备需要具有多个网络接口。在大的网络流量环境和中断方式处理的情况下,Linux网桥的系统中断处理开销随之急剧上升。这种情况下网桥的性能就成了网络环境的瓶颈。本文讨论通过减少中断开销,使用半轮询技术来提高Linux网桥的性能。
MPLS VPN作为一种成熟的IP承载网技术,具备良好的特性,在运营商网络中广泛应用。文章介绍其基本原理,分析其技术优点。因MPLS VPN自身所具备的特性能与城市轨道交通线网业务