2018年5月30日
OO第三次博客作业（2018春）
摘要： 写在前面 oo终于终于终于不用敲代码了！ 规格化调研 软件的形式化、规格化方法起步于程序理论和语义的研究，历经50余年的发展，成为了计算机科学的重要领域,它使用严格的数学方法，研究并发展软件系统的建模、设计、开发、验证与演化等技术，为保证系统的正确性、可靠性和安全性提供了重要途径。软件形式化方法最早 阅读全文
posted @ 2018-05-30 18:53 katri 阅读(116) 评论(0) 推荐(0) 编辑