首页 | 定制论文 | 外文翻译 | 我要投稿 | 在线支付 | 购买帮助 | 论文发表 | 联系QQ:5739126
您现在的位置：网站首页答辩论文计算机毕业设计其他计算机专业毕业资源

[软件工程　] 维也纳分析方法应用与研究

  • 简介：摘要 本文介绍了软件开发的一种形式化分析方法：Vienna Development Method。通过实例来说明如何利用VDM技术进行软件开发,及程序证明性机制。 关键词　VDM，维也纳分析方法,程序证明，软件开发方法 VIENNA DEVELOPMENT METHOD APPLICATION...
    • 请与管理员联系购买资料 QQ:5739126
  • 论文简介
  • 相关论文
  • 论文下载
摘要 本文介绍了软件开发的一种形式化分析方法：Vienna Development Method。通过实例来说明如何利用VDM技术进行软件开发,及程序证明性机制。
关键词　VDM，维也纳分析方法,程序证明，软件开发方法
VIENNA DEVELOPMENT METHOD APPLICATION
查看评论 已有0位网友发表了看法
  • 验证码：

热门关键词

最新论文

随机论文