聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 操作系统理论的研究
出处:计算机科学 1980年第4期
摘要:<正> 今天操作系统的发展,已经达到了一个崭新的阶段。但是,当前面临的最大困难,在于没有一套可遵循的理论... 显示全部
关键词: 死锁 服务系统 多重集合 形式定义 调度问题 软件工程领域 资源图 数据流动 事件序列 问题模型
期刊文章 基于事件序列的用例描述形式化及分析
出处:计算机工程与应用 2004年第23期 12-14,64,共4页
摘要:针对用例描述,提出了基于事件序列的轻量形式化定义。对于由包含、扩展或泛化关系构成的复合用例.构造了... 显示全部
关键词: 用例描述 事件序列 形式分析 形式 语义等价分析
找到2条结果
`