05 2018 档案

OO学习总结（三）
摘要：规格化设计 软件工程的重要目标之一是实现软件开发过程各阶段的自动化，软件自动化的前提是形式化,包括软件需求规格的形式化、软件设计规格的形式化和 算法描述的形式化。 Z语言由牛津大学程序设计研究小组开发，是一种应用较为广泛的形式规格说明语言，它以一阶谓词逻辑和集合论为基础对软件系统的静态特征和动态特征 阅读全文
posted @ 2018-05-29 13:21 xxxfff 阅读(208) 评论(0) 推荐(0) 编辑