- 博客(6)
- 收藏
- 关注
RSS订阅原创 HIT-软件构造知识点概要五-设计规约
Designing Specification设计规约Objective of this lecture§ Understand preconditions and postconditions in method specifications, and be able to write correct specifications (方法的规约)§ What preconditions and postconditions are, and what they mean for t
2021-07-06 09:01:22
150
原创 HIT-软件构造知识点概要四-数据类型与类型检验
Data Type and Type Checking数据类型与类型检验Objective of this lecture1. Get to know basic knowledge about data type, and static and dynamic type checking in programming language, especially Java.——静态/动态类型检查2. Understand mutability and mutable objects ——可
2021-07-04 20:53:22
204
原创 HIT-软件构造知识点概要三-软件构造过程与配置管理
Objectives of this lecture§ To know the general process of software development 软件开发的基本过程§ To understand the philosophy of traditional software process models including linear and iterative models (waterfall,incremental, prototyping, spiral, and V-mo
2021-07-04 20:50:16
176
原创 HIT-软件构造知识点概要二-软件测试与测试优先的编程
Testing and Test-First Programming软件测试与测试优先的编程Objective of this lectureUnderstand the value of testing, and know the process of test-firstprogramming 认可“测试”的价值，搞清楚“测试优先”的哲理Be able to design a test suite for a method by partitioning its input
2021-07-02 10:07:19
194
1
原创 HIT-软件构造知识概要一—软件构造的多维度视图和质量目标
Views and Quality Objectives of Software Construction软件构造的多维度视图和质量目标Objective of this lecture1.从三个角度看软件系统的构成2.用什么样的模型/视图描述软件系统3.将“软件构造”看作“不同视图之间的转换”4.软件构造过程中应考虑的重要质量指标5.如果达不到期望的质量目标，会有什么后果6.有哪些面向质量指标的软件构造技术OutlineMulti-dimensional
2021-07-01 09:07:55
265
原创 HIT_Csapp_大作业
计算机系统大作业题 目 程序人生-Hello’s P2P 专 业 计算机 学 号 1190202223 班 级 1903003 学 生 涂海峰 指 导 教 师 郑贵滨 计算机科学与技术学院2021年6月...
2021-06-29 10:06:52
420
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人