排序方式: 共有2条查询结果,搜索用时 15 毫秒
1
1.
两种死锁分析的逻辑方法 总被引:2,自引:0,他引:2
从逻辑的角度出发,根据请求模型用谓词逻辑分析死锁,并统一于一个通用的表示中,然后用时序逻辑方法进一步给出了一个更通用的死锁表示,用逻辑方法表示死锁,便于程序安全性验证,最后,把这些方法用于Ada程序的验证系统中。 相似文献
2.
Dexter模型是现在许多超媒体系结构所参考的规范。本文将面向对象技术与之相结合,燕作了适当的扩充,提出了一种面向对象的超媒体系结构模型OOMHS。它具有模块性强,易扩充,一致性好和有产减少用户“迷路”机会等特点。 相似文献
1