聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
会议论文 UML2.0顺序图的一种有穷自动机模型
出处:2008年全国理论计算机科学学术年会
摘要:为了在软件开发早期阶段对UML2.0顺序图模型进行分析和验证,本文给出了UML2.0顺序图的一种有穷自动机模型.... 显示全部
关键词: 顺序图 有穷自动机 时间自动机 软件开发 时间建模 建模机制
会议论文 用例驱动的角色访问控制安全授权设计与研究
出处:第26届中国控制会议
摘要:角色访问控制模型是目前主流的访问控制安全模型。传统的角色访问控制模型建模时存在与系统需求分析脱节的... 显示全部
关键词: 角色访问控制 用例驱动模型 顺序图 安全授权 角色权限
找到2条结果
`