自定义博客皮肤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 213

原创 软件复习知识点

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

2019-06-23 22:08:42 160

原创 Java eclipse 之设计GUI的插件

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

2019-06-20 23:13:23 811

空空如也

空空如也

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

TA关注的人

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