首页
资源下载
云计算
人工智能
信息化管理
前端
区块链
后端
大数据
存储
安全技术
开发技术
操作系统
数据库
服务器应用
游戏开发
物联网
硬件开发
移动开发
网络技术
考试认证
行业
行业研究
课程资源
跨平台
音视频
登录
注册
当前位置:
主页
>
资源下载
> 论文研究-UML序列图的操作语义及其在模型精化中的一致性检查 .pdf下载
论文研究-UML序列图的操作语义及其在模型精化中的一致性检查 .pdf下载
更新：
2024-10-18 11:29:50
大小：
380KB
推荐：
★★★★★
来源：
网友上传分享
类别：
其它 - 开发技术
格式：
PDF
反馈 / 投诉
文件下载
资源介绍
UML序列图的操作语义及其在模型精化中的一致性检查，赵也非，杨宗源，给UML赋予形式化的动态语义，就可以在需求、设计早期，对关键系统属性进行自动验证，进而保证软件质量，对软件开发设计起到指导作
上一篇:
UNIX源代码分析+源码
下一篇:
论文研究-基于pi演算的UML状态图的组装机制以及模型精化的验证 .pdf
相关推荐
12-02
论文研究-UML序列图的操作语义及其在模型精化中的一致性检查 .pdf下载
