- 博客(5)
- 收藏
- 关注
RSS订阅原创 软件构造第3章——ADT和OOP（三）
3.1 数据类型和类型检查 3.1.1 编程语言中的数据类型 1. Java中的类型 （1）基本数据类型 int :± 2^31^范围内的整数 long：较大整数 boolean：布尔类型，true or false double：浮点数 char：单个字符如'A' （2）对象数据类型 String：一系列字符 BigInteger：任意大小整数 基本类型小写，对象类型大写字母开头 3.1.2...
2019-06-24 00:55:50
272
原创 软件构造第3——ADT和OOP（二）
3.7 规格说明、前置/后置条件 规格说明是实现者和使用者之间的契约。方便开发者规范开发，使用者阅读、使用方便，使开发者和使用者可以通过此规范达到互不干扰的目的。需要包括方法名称、功能、参数和返回值。 组成： 前置条件与后置条件 前置条件（要求），关键词：require 表示要调用该方法的状态，用来约束调用者 后置条件（承诺），关键词：effects 表示前置条件满足后该方法必须遵循的规则。如果...
2019-06-24 00:41:18
327
原创 软件构造第3章——抽象数据类型(ADT)和面向对象编程（OOP）（一）
3.1 基本数据类型、对象数据类型 基本数据类型 对象数据类型 int，long，boolean，double，byte，short，float，char（单个字符如’A’) 类，接口，数组，枚举，注释（String：一系列字符，BigInteger：任意大小整数） 价值不可变(Mutability) 有的价值可变，有的不可变 小写 大写字母开头 使用成本低 成本高 ...
2019-06-24 00:26:56
392
原创 软件构造第2章——软件构造过程
2.1 软件配置管理SCM与版本控制系统VCS 2.1.1 SCM 软件配置管理是指通过执行版本控制、变更控制的规程，以及使用合适的配置管理软件，来保证所有配置项的完整性和可跟踪性，对提交的各个版本进行保存和管理，注明名称、标识符、文件状态、版本、作者、日期等。 基本单位：软件配置项（SCI）。任何需要管路的要素，如源代码、数据、文档、软硬件、环境等。 基线：在某时间点上，通过评审和认可后的版本...
2019-06-23 23:39:12
247
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人