- 博客(10)
- 收藏
- 关注
RSS订阅原创 软构之辨析AF/RI/Spec
对这三个概念总是傻傻分不清，今天把他们总结一些：AF（abstract function）其和rep invariant一起出现，共同完成R（rep）到A（abstract field）的对应关系。AF完成从R到A的映射，即对于RI的解释。AF性质准确地讲，AF是RI到A的映射（由于RI已经将我们要表示的部分选择出来了）。其具有以下几种性质1，一定是一个满射（即我们一定能实现RI和AF结合之后表示了所有的A中的元素，即我们选取的数据表达是完善的）2，不一定是一个单射（可能有很多表示，他们的抽象状
2021-07-07 00:56:08
244
原创 软件构造期末复习Lab2（3）
由于第4-8章占据的板块分数最多，而且内容也非常繁杂，为适合排版以及阅读方便，在第6-7章的内容我们放在这一节中来讲，希望对大家有所帮助。
2021-07-06 22:19:33
69
原创 软构实验3（2）
1 实验目标概述目标是编写具有可复用性和可维护性的软件，主要使用以下软件构造技术： 子类型、泛型、多态、重写、重载 继承、代理、组合 语法驱动的编程、正则表达式 API 设计、API 复用本次实验给定了三个具体应用（值班表管理、操作系统进程调度管理、大学 课表管理），通过 ADT 和泛型等抽象技术，开发一套可复用的 ADT 及其实现，充分考虑这些应用之间的相似性和差异性，使 ADT 有更大程度的复用（可复用性）和更容易面向各种变化（可维护性）2 实验环境配置本次实验环境的配置与以往的
2021-07-04 10:14:34
76
原创 软构复习——重温实验之lab2（2）
实验目标概述本次实验训练抽象数据类型（ADT）的设计、规约、测试，并使用面向对象编程（OOP）技术实现ADT。具体来说：针对给定的应用问题，从问题描述中识别所需的ADT；设计ADT 规约（pre-condition、post-condition）并评估规约的质量；根据ADT 的规约设计测试用例；ADT的泛型化；根据规约设计ADT 的多种不同的实现；针对每种实现，设计其表示（representation）、表示不变性（rep invariant）、抽象过程（abstractio
2021-07-01 15:11:58
69
原创 软构复习——重温实验之lab2（1）
临近期末复习，光看教材让人毫无头绪，故借再次分析和总结以往做过的实验来巩固知识要点。下面是我重温Lab2的时候的思考与心得体会。这一篇主要讲他所涉及到的知识点，在下一篇中我们讲着重展开讲实验过程。
2021-06-30 21:03:46
99
原创 软构复习——重温实验之lab1（2）
上一篇中将知识点具体的总结了以下，这一篇我们着重讲实验的思路和过程：实验环境配置在官网上下载Eclipse、JDK和Git并安装。在为JDK配置环境变量的时候，在系统环境变量中新建一个叫“JAVA_HOME”的环境变量，变量值为JDK的安装路径。然后在Path的环境变量中添加一个“%JAVA_HOME%bin”的变量值。省去很多其它的步骤。GitHub Lab1仓库的URL地址：“URL”实验过程首先看要求：Majic SquaresMagic Squares 就是我们常说的幻方，它是指一个正
2021-06-27 20:13:14
122
原创 软构复习——重温实验之lab1
临近期末复习，光看教材让人毫无头绪，故借再次分析和总结以往做过的实验来巩固知识要点。下面是我重温Lab1的时候的思考与心得体会。Lab1：目标分析本次实验通过求解三个问题，训练基本 Java 编程技能，能够利用 Java OO 开发基本的功能模块，能够阅读理解已有代码框架并根据功能需求补全代码，能够为所开发的代码编写基本的测试程序并完成测试，初步保证所开发代码的正确性。另一方面，利用 Git 作为代码配置管理的工具，学会 Git 的基本使用方法。⚫ 基本的 Java OO 编程⚫ 基于 E
2021-06-26 15:26:48
249
原创 HIT_ICS大作业
计算机系统大作业题 目 程序人生-Hello’s P2P 专 业 计算学部学 号 1190XXXXX班 级 1903XXX学 生 XX 指 导 教 师 史先俊计算机科学与技术学院2021年5月摘 要本文通过分析hello程序从C文件如何转变为可执行文件的全过程，包括预处理、编译、汇编、链接阶段，进入到内存，各级cache，最后在I/O中输出，最后
2021-06-25 20:15:47
363
原创 软构博客计划
【软件构造】个人博客计划写在前面第一次使用CSDN发表博客（也是针对软件构造这一门学科的），那么不管做什么事情，我们都应该有一个大概的框架和规划，并且明确说明了blog占5%的分数，那么更应该重视起来啦。板块划分对于软件构造，我的设想是作为以下几个板块发表：学习过程中的心得体会 ：在这个板块里面我会把近期学习遇到的知识点进行一个总结，并列出自己的不足之处以及遇到的困难，想办法在后续过程解决。关于每一个实验的思路：在这个板块我会把自己在实验过程中的思路记录下来，在为他人提供分享交流的同时，发现自
2021-05-28 14:54:11
57
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人