排序方式: 共有3条查询结果,搜索用时 0 毫秒
1
1.
提出了一种基于Hoare逻辑的软件复用部件的匹配描述,它为建立复用部件库的检索机制以及软件的自动化生产提供了理论描述. 相似文献
2.
一种Hoare逻辑软件复用部件的匹配描述 总被引:1,自引:1,他引:0
提出了一种基于Hoare逻辑的软件复用部件的匹配描述,它为建立复用部件库的检索机制以及软件的自动化生产提供了理论描述。 相似文献
3.
工作流管理的过去、现在和未来 总被引:6,自引:0,他引:6
工作流管理是一个新兴的研究领域,被誉为信息系统的后勤,它让合适的人或软件在恰当的时间执行正确的上作,使计算机上的业务处理流程自动化。本文用历史的观点对工作流管理的发展历程进行了回顾,揭示了工作流管理对未来信息系统的影响.根据分析当前的工作流管理系统,我们总结出两个十要不足之处:(1)工作流管理系统的定义不明确以及缺乏统一的概念模型,(2)工作流管理系统的系统结构和能力上的不足,并对工作流管理的未来发展趋势从建模和实施两个方面进行了预测. 相似文献
1