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

最新推荐文章于 2024-05-27 20:38:04 发布
最新推荐文章于 2024-05-27 20:38:04 发布
阅读量179 收藏 1
点赞数
分类专栏： 软件构造与Java基础
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/ctsnevermore/article/details/105137444
版权

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

  • Spec重点：
    • 是否具有确定性，即，给出的是确定的postcondition，还是众多可能性中的一种
    • 描述性多强，是说明了所有的步骤，还是只给出结果和输出与输入的关系
    • 强壮性多高，postcondition和precondition的强度。
  • 优秀的spec，应该有更好的确定性，能够最精确地指明方法的结果，有较低的描述性，只描述结果，结果与输入的关系，不向用户泄漏编码的技术细节。更强壮，能够减少对用户的要求，增加对开发者（postcondition）的要求
  • 简单介绍了 访问控制权限 和 静态方法与实例方法的区别

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

MIT官网直通车

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

Leowner
关注
  • 0
    点赞
  • 踩
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
Designing.Voice.User.Interfaces.epub
01-03
Whether you’re designing a mobile app, a toy, or a device such as a home assistant, this practical book guides you through basic VUI design principles, helps you choose the right speech recognition ...
麻省理工18年春软件构造课程阅读12“接口与枚举”
a_18067的博客
04-08 115
本文内容来自MIT_6.031_sp18: Software Construction课程的Readings部分，采用CC BY-SA 4.0协议。 由于我们学校（哈工大）大二软件构造课程的大部分素材取自此，也是推荐的阅读材料之一，于是打算做一些翻译工作，自己学习的同时也能帮到一些懒得看英文的朋友。另外，该课程的阅读资料中有的练习题没有标准答案，所给出的“正确答案”为译者所写，有错误的...
MIT6.031 软件构造 Reading4阅读笔记Code Review
Leowner
03-22 230
来自MIT6.031 软件构造课的Reading材料的第4篇。 重点讲授了 Code Review的意义，相关知识。 用其余的篇幅讲解了常用的代码规范内容，包括： Don’t Repeat Yourself (DRY) 用代码复用代替复制粘贴 Comments where needed 在需要的时候 要注释 + 才注释 Fail fast 如果出现错误，尽快挂断，避免传递错误...
MIT reading部分学习心得
weixin_44057997的博客
05-22 270
MIT reading部分学习心得静态检查冰雹序列计算冰雹序列静态类型导出与导入导出导入 静态检查 冰雹序列 从正整数n开始，如果n是偶数，则下一个数是n/2，否则下一个数是3n+1，直到n等于1。下面有一些例子： 下面展示一些例子。 2 ,1 3 ,10, 5 ,16, 8, 4, 2, 1 2n, 2n-1 , … , 4, 2, 1 5, 16, 8, 4, 2, 1 7, 22, 11, 34, 17, 52, 26, 13, 40, …? (会停止吗？) 由于存在3n+1这种变化，所以序列元素的
国内共享软件的十大杀手
weixin_34066347的博客
01-06 868
出处：安全中国　　影响共享软件发展的因素很多，被非法破解可以说是共享软件的头号大敌。那么造成共享软件生存困难的cracker们到底用了那些武器呢?今天就让我让带您去看看神秘的cracker常用的十类软件，它们就是共享软件的十大杀手!　　一. 调试类工具soft-ice和trw2000。　　soft-ice是目前公认最好的跟踪调试工具。使用soft-ice可以很容易的跟踪一个软件、或是监视软件产生的...
高质量软件开发的全面指南(MIT-6.031)
2301_79140115的博客
05-27 1182
首先，通过静态检查（Static Checking）和动态检查（Dynamic Checking）了解类型和变量的使用规则，学习如何编写文档和注释来记录假设和方法（Assumptions and Methods）。详细内容请见：（MIT-6.031）软件编写要求-CSDN博客接着，掌握基本的Java编程知识，包括Java集合（Java Collections）和API文档（API Documentation）的使用。详细内容请见： 基本Java语法和语义 （Reading 2）-CSDN博客随后，学习测试技
欠驱动机器人学-麻省理工学院开放课程-MIT 6.832: Underactuated Robotics（译）
zhangrelay的专栏
08-16 7850
课程链接：http://underactuated.csail.mit.edu/Spring2019/ http://underactuated.csail.mit.edu/underactuated.html 欠驱动机器人学Underactuated Robotics Algorithms for Walking, Running, Swimming, Flying, and Manip...
Mit6.004学习记录
热门推荐
code a better life~
05-11 21万+
Mit6.004学习记录前言一、课程简述二，课程主页三，学习过程[Mit6.004-01-Basics of Information](https://blog.csdn.net/u013577996/article/details/116648391)[Mit6.004-02-The Digital Abstraction](https://blog.csdn.net/u013577996/article/details/116781296)Mit6.004-03-CMOS[Mit6.004-04-Com
PseudoSeg: Designing Pseudo Labels for Semantic Segmentation阅读笔记
tcltyan的博客
12-21 2381
原文链接:https://arxiv.org/abs/2010.09713  PseudoSeg比较少见地采用了将pixel-level label和image-level label结合在一起的设定，即weakly-and-semi-supervised setting。  PseudoSeg主要的设计目的是改善现有半监督、弱监督方法产生的伪标签质量较差的情况。PseudoSeg的设计融合了半监督学习的一致性损失以及弱监督学习的CAM方法。总的来说，在假定有少量pixel-level labeled .
西电软件工程概论复习笔记（含重点标注）
weixin_45745854的博客
04-14 1万+
软件工程概论复习 有加粗的都是很重要的课后题中的对应题目。 文章目录软件工程概论复习Chapter1 Introduction1.1 什么是软件工程？1、有关软件（重点）2、有关软件工程（重点）3、什么是好的软件工程（重点）4、谁做软件工程（重点）5、一个系统方法（1） what is a system？（2）The Elements of a System6、一个工程方法7、开发组的成员Chapter 2 Modeling the Process and Life Cycle1、The meaning o
行业教育软件-学习软件-MCSE70-220 Designing Windows 2000 Network Security.zip
08-02
行业教育软件-学习软件-MCSE70-220 Designing Windows 2000 Network Security.zip
软件工程求职信英文.docx
11-29
软件工程求职信英文 软件工程求职信英文是一种重要的职业文档，对软件工程师的职业发展至关重要。以下是软件工程求职信英文的详细解释和知识点： 一、软件工程求职信英文的重要性 软件工程求职信英文是软件工程师...
Designing and Deploying 802.11n Wireless Networks
08-05
About the Author Jim Geier is the founder and principal consultant of Wireless-Nets, Ltd., an independent consulting firm assisting organizations with the development and deployment of wireless ...
哈尔滨工业大学（HIT）软件构造课件
05-27
《哈尔滨工业大学（HIT）软件构造课件》涵盖了软件开发中的关键知识点，旨在培养和提升学生在软件构建过程中的专业技能。以下是对每个文件名称所对应主题的详细解读： 1. **12 Construction for Robustness and ...
Python项目开发实战：影视作品分析小程序，案例教程编程实例课程详解.pdf
最新发布
07-05
Python项目开发实战：影视作品分析小程序，案例教程编程实例课程详解.pdf
hive外部表使用语句
07-05
hive外部表使用语句
Lab-1-Intro-to-ROS.pdf
07-05
ROS
SVM（支持向量机）案例&项目源码
07-05
SVM（支持向量机）案例&项目源码
List at least three challenges when designing programming for multicore systems.
04-01
1. Synchronization: With multiple cores executing code simultaneously, it becomes difficult to ensure that all threads are accessing shared resources in a coordinated manner. Designers must implement ...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值