导航

2018年5月28日

第三次博客作业

摘要： 规格化设计的大致发展历史及重要性 自20世纪60年代末以来，许多学者开展了形式化技术的相关研究。形式化技术最早是从戴克斯特拉和霍尔（C.Hoare）在程序验证方面的工作和斯科特（D.S.Scott）以及其他学者在程序语义方面的工作发展起来的。现在，形式化技术已经成为计算机科学的一个重要分支和研究领域 阅读全文

posted @ 2018-05-28 16:33 VioletQ 阅读(136) 评论(0) 推荐(2) 编辑