摘要:
定义 用于开发计算机系统的形式化方法是描述系统性质的基于数学的技术,这样的形式化方法提供了一个框架,可以在框架中以系统的而不是特别的方式刻划、开发和验 证系统。 如果一个方法有良好的数学基础,那么它就是形式化的,典型地以形式化规约语言给出。这个基础提供一系列精确定义的概念,如:一致性和完整性,以及定 阅读全文
posted @ 2022-04-18 16:28
htx2
阅读(399)
评论(0)
推荐(0)
2022年4月18日
2022年4月14日
2022年4月7日
2022年4月6日
2022年3月27日
2022年3月21日
2022年3月16日
2022年3月14日
2022年3月12日
2022年3月9日