软件工程形式化方法
程序不要报错
这个作者很懒,什么都没留下…
展开
-
附加-课后题二(第四章)
原创 2023-06-27 10:25:15 · 65 阅读 · 1 评论 -
附加-课后题一(二~三章)
作业题一原创 2023-06-25 23:08:14 · 69 阅读 · 0 评论 -
附加-专题复习
持续更新中。。。原创 2023-06-25 22:58:07 · 80 阅读 · 0 评论 -
四、模式和规格说明
1.模式描述功能(重点掌握)1.1 模式描述状态1.2 模式描述操作2.模式的修饰和包含(重点掌握)2.1 模式的修饰2.2 模式包含2.3 和2.4 初始状态模式3.模式运算(重点掌握)3.1 命题连接词连接模式3.2 前置条件模式4.模式类型和通用模式5.规格说明文档的结构原创 2023-06-23 12:40:59 · 90 阅读 · 0 评论 -
三、关系和函数
考试类型:原创 2023-06-23 12:05:58 · 133 阅读 · 0 评论 -
二、Z类型与构造单元
5Co。原创 2023-06-20 15:50:13 · 133 阅读 · 0 评论 -
一.一阶逻辑
一个大写英文字母后边有括号,括号内是若干个参数,用以表示客体的属性或者客体之间的关系,称之为谓词。如果括号内有n个参数,成谓词为n元谓词。原创 2023-06-20 11:07:38 · 636 阅读 · 1 评论