1. 首页
  2. 移动开发
  3. 其他
  4. 论文研究 UML序列图的操作语义及其在模型精化中的一致性检查 .pdf

论文研究 UML序列图的操作语义及其在模型精化中的一致性检查 .pdf

上传者: 2020-07-19 18:30:31上传 PDF文件 379.68KB 热度 23次
UML序列图的操作语义及其在模型精化中的一致性检查,赵也非,杨宗源,给UML赋予形式化的动态语义,就可以在需求、设计早期,对关键系统属性进行自动验证,进而保证软件质量,对软件开发设计起到指导作
下载地址
用户评论