|
|||||
|
|
| 互不干扰条件在OOP中的应用 | |
| 引用本文： | 沈夏炯.互不干扰条件在OOP中的应用[J].计算机工程与应用,1997,33(7):34-37. |
| 作者姓名： | 沈夏炯 |
| 作者单位： | 河南大学计算机应用技术研究所 |
| 摘 要： | ＯＯ系统的可靠性不仅取决于组件的质量，还与对象的交互行为密切相关。那么，如何“保证”ＯＯ系统的可靠性和正确性，必然是一个现实而又不可回避的问题。本文从应用领域的角度，探讨形式化方法对实际中ＯＯ开发技术可能的支持 |
| 关 键 词： | 并发 对象 关联 事件驱动 进程 干扰 |
| 本文献已被 CNKI 维普 等数据库收录！ | |