11 2014 档案

【形式化方法：VDM++系列】3.基于VDM++的图书管理系统需求定义
摘要：本文系形式化方法系列3——从软件需求分析出发，利用形式化方法和VDM++工具，分析了一个微型图书管理系统的系统需求。并概览了VDM++程序的全貌，展示了形式化方法的强大功能。 阅读全文
posted @ 2014-11-12 22:01 Kassadin 阅读(1974) 评论(2) 推荐(1) 编辑
【形式化方法：VDM++系列】2.VDMTools环境的搭建
摘要：本文为形式化方法：VDM++系列2————介绍了VDM++开发环境的配置和基本使用 阅读全文
posted @ 2014-11-12 03:44 Kassadin 阅读(1590) 评论(0) 推荐(0) 编辑