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