自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(3)
  • 收藏
  • 关注

原创 java之Designing Specification(设计规约)

Designing Specification 设计规约 1.行为等价性:是否可以相互替换 根据规约spec判断是否行为等价 2.前置条件和后置条件 3.spec的强弱 spec强:更弱(放松)的前置条件,更强(严格)的后置条件。 更强的规约,更小的区域,自由度低了。 ...

2019-06-24 18:06:32 295

原创 软件复习知识点

软件构造复习 第一章 1.1 1.2 (1) 正确性:符合规约中定义的行为。 健壮性:针对异常情况的处理。 可扩展性:修改规约(spec)。 可复用性:一次开发,多次使用。 兼容性:集成。 性能 可移植性:不同技术环境之间移植。 易用性: 功能 及时性 第二章 软件开发过程 2.1 Software Configuration Management (SCM) 软件配置管理:追踪和控制软件的变化...

2019-06-23 22:08:42 202

原创 Java eclipse 之设计GUI的插件

Java eclipse 之设计GUI的插件 Java eclipse 之设计GUI的插件:windowbuilder 在用eclipse编写程序时,进行可视化的过程中,有一个比较好用的工具:windowbuilder。 它可以非常轻松的编写GUI应用程序,而不用花大量的时间在编写基础的代码上,而是运用设计器和布局工具自动生成部分代码,使用拖放添加控件。 关于这个工具的内容,可见:https://...

2019-06-20 23:13:23 886

空空如也

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除