会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
Kassadin
Code Change World
博客园
首页
新随笔
联系
订阅
管理
11 2014 档案
【形式化方法:VDM++系列】3.基于VDM++的图书管理系统需求定义
摘要:本文系形式化方法系列3——从软件需求分析出发,利用形式化方法和VDM++工具,分析了一个微型图书管理系统的系统需求。并概览了VDM++程序的全貌,展示了形式化方法的强大功能。
阅读全文
posted @
2014-11-12 22:01
Kassadin
阅读(1964)
评论(2)
推荐(1)
编辑
【形式化方法:VDM++系列】2.VDMTools环境的搭建
摘要:本文为形式化方法:VDM++系列2————介绍了VDM++开发环境的配置和基本使用
阅读全文
posted @
2014-11-12 03:44
Kassadin
阅读(1580)
评论(0)
推荐(0)
编辑
公告