MIT6.031 软件构造 Reading6阅读笔记Specifications

其他 2020-03-29 16:19:47 阅读次数: 0

来自MIT6.031 软件构造课的Reading材料的第6篇。

什么是Spec，Spec的主要内容
Exception的相关知识点

具体内容及笔记见下图，笔记主要以手写方式提供。

MIT官网直通车

在这里插入图片描述

Leowner

发布了90 篇原创文章 · 获赞 65 · 访问量 1万+

私信关注

猜你喜欢

转载自blog.csdn.net/ctsnevermore/article/details/105129871

MIT6.031 软件构造 Reading6阅读笔记Specifications

MIT6.031 软件构造 Reading7阅读笔记Designing Specifications

MIT6.031 软件构造 Reading9阅读笔记Avoiding Debugging

MIT6.031 软件构造 Reading8阅读笔记Mutability and Immutability

MIT6.031 软件构造 Reading5阅读笔记Version Control

MIT6.031 软件构造 Reading4阅读笔记Code Review

MIT6.031 软件构造 Reading3阅读笔记 Test

MIT6.031 软件构造 Reading2阅读笔记 JavaBasic

MIT6.031 软件构造 Reading1阅读笔记 Static Checking

哈工大计算机专业课程《软件构造》参考课程MIT6.031-Software Construction阅读材料翻译

MIT 6.031 Software Construction 学习笔记:(三) Mutability & Immutability

MIT6.031Software Construction学习笔记:(二)Specification

MIT6.031Software Construction学习笔记（一）

软件构造笔记

【软件构造】课程提纲（6）

软件构造课程复习笔记

软件构造课程笔记——软件规约

软件构造课程笔记——软件质量目标

[software construction]MIT reading7-Designing Specifications

软件构造-对specifications的一些理解和总结

软件构造Lab6总结

软件构造笔记 3.5 Equality in ADT and OOP

软件构造线程安全复习笔记

软件构造笔记——3.5 Equality in ADT and OOP

软件构造笔记——Logger的使用总结

软件构造课程笔记——软件开发模型

（2019春）软件构造：雨课堂试卷（第6章）

软件构造笔记——2.1 软件开发模型与软件配置管理

软件构造笔记5.1 Metrics, Morphology and External Observations of Reusability

软件构造笔记 2.1 Software Lifecycle and Configuration Management

今日推荐

TIOBE 5 月榜单：Fortran “复活”进入 Top 10

GCC 14.1 发布

面壁智能发布 Eurux-8x22B 开源大模型 —— 堪称「理科状元」

开源日报 | 谷歌扶持鸿蒙上位；开源Rabbit R1；Docker加持的安卓手机；微软的焦虑和野心；海尔电器把开放平台关了

中国码农的“35岁魔咒”

蘭雅 CorelDRAW 插件 2024.5.1 国际劳动节版，免费下载

Arc Browser for Windows 1.0 正式 GA

90后程序员开发视频搬运软件、不到一年获利超 700 万，结局很刑！

周排行

基本数据类型封装类比较 Java源码解读(一) 8种基本类型对应的封装类型

JS实现无缝滚动上

深入解析HashMap原理（基于JDK1.8）

mysql的连接池

关于.htc

linux下的ubuntu12.04图形界面

【数论】好推不好记的扩展欧几里德

设备树详解

cscope + tags 简单设置

xml学习

每日归档

2024-05-09(35)

2024-05-08(42)

2024-05-07(14)

2024-05-06(40)

2024-05-05(0)

2024-05-04(7)

2024-05-03(19)

2024-05-02(0)

2024-05-01(4)

2024-04-30(1)