![](https://img-blog.csdnimg.cn/20201014180756928.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
形式化方法
volunteer1024
业精于勤
展开
-
《软件开发的形式化方法-古天龙》笔记(1)
第一章 软件及其开发概述1.1 软件开发的历史三个阶段:(1)程序设计阶段[1946-1956];(2)程序系统阶段[1956-1968];(3)软件工程阶段[1968-至今]1.2 软件危机软件危机☞计算机软件的开发和维护过程中遇到的一系列严重问题。1968年,北大西洋公约组织,联邦德国,“软件危机”概念的题出软件危机的表现:软件成本日益增长 开发进度难以控制...原创 2019-04-12 20:33:05 · 2298 阅读 · 1 评论 -
《软件开发的形式化方法-古天龙》笔记(2)
第二章有限状态机及其扩展2.1有限状态机2.1.1基本概念有限状态机是一个五元组,分别为有限状态集合,有限输入字符集合,状态转移函数,初始状态,终结状态集合。状态转移矩阵:行表示状态机当前所处的状态,列表示将要到达的下一个状态,行列交叉处表示输入字符。状态转移表状态转移图有限字母表:由有限任意符号组成的非空集合,简称字母表,用表示字符串:由字符组成的限序列...原创 2019-04-13 20:52:52 · 1396 阅读 · 0 评论 -
UPPAAL例子-维京人过河
UPPAAL例子-维京人过河介绍全局变量全局声明模板-solidier声明状态转化图模板-Torch声明状态转化图性质验证uppaal介绍/*Four vikings are about to cross a damaged bridge in the middle of thenight. The bridge can only carry two of the vikings...原创 2019-05-22 21:37:13 · 1804 阅读 · 2 评论