会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
xxxfff
博客园
首页
新随笔
联系
订阅
管理
05 2018 档案
OO学习总结(三)
摘要:规格化设计 软件工程的重要目标之一是实现软件开发过程各阶段的自动化,软件自动化的前提是形式化,包括软件需求规格的形式化、软件设计规格的形式化和 算法描述的形式化。 Z语言由牛津大学程序设计研究小组开发,是一种应用较为广泛的形式规格说明语言,它以一阶谓词逻辑和集合论为基础对软件系统的静态特征和动态特征
阅读全文
posted @
2018-05-29 13:21
xxxfff
阅读(210)
评论(0)
推荐(0)
编辑
公告