- 博客(9)
- 收藏
- 关注
RSS订阅原创 软件工程作业
1、阅读和了解什么是形式化方法形式化方法的本质是基于数学的方法来描述目标软件系统属性的一种技术。 不同的形式化方法的数学基础是不同的，有的以集合论和一阶谓词演算为基础（如Z和 VDM），有的则以时态逻辑为基础。 形式化方法需要形式化规约说明语言的支持。 形式化方法的一个重要研究内容是形式规约 (Formal Specification,也称形式规范或形式化描述),它是对程序“做什么” (what to do)的数学描述,是用具有精确语义的形式语言书写的程序功能描述,它是设计和编制程序的出发点,也是验证程
2022-04-07 19:22:07
150
原创 软件工程作业5
查找阅读资料，了解并总结软件工程与计算机科学的关系及区别，你的观点？ 计算机科学和软件工程专业同属计算机类专业，他们之间的关系十分紧密，但还是有很多区别的。众所周知，计算机系统由硬件系统与软件系统构成，计算机科学与技术专业偏重于硬件与计算机理论方面的学习研究，像计算机原理，计算机系统结构等方面的内容。当然也会涉及软件方面，但不是太深。而软件工程专业则主要偏重于应用与实践，主要是培养适应国内外软件产业市场需求的高素质、多层次、实用型软件人才。...
2022-04-07 18:46:40
95
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人