首页
资源下载
云计算
人工智能
信息化管理
前端
区块链
后端
大数据
存储
安全技术
开发技术
操作系统
数据库
服务器应用
游戏开发
物联网
硬件开发
移动开发
网络技术
考试认证
行业
行业研究
课程资源
跨平台
音视频
登录
注册
当前位置:
主页
>
资源下载
>
10
> 论文研究-Strategies of Modeling from VDM-SL to JML.pdf下载
论文研究-Strategies of Modeling from VDM-SL to JML.pdf下载
更新：
2024-10-18 11:30:26
大小：
155KB
推荐：
★★★★★
来源：
网友上传分享
类别：
其它 - 开发技术
格式：
PDF
反馈 / 投诉
文件下载
资源介绍
从VDM-SL到JML建模的转换策略，靳丹，杨宗源，VDM是一种广泛应用于工业界的形式化开发方法，数学的精确性使它能够有效地保证系统的设计和开发。JML是基于Java的形式化的行为接口��
上一篇:
Understanding UNIX LINUX Programming
下一篇:
论文研究-基于NuSMV的滑动窗口协议的形式化建模与分析 .pdf
相关推荐
12-02
论文研究-Strategies of Modeling from VDM-SL to JML.pdf下载
