我们可以把一个有序集合看作是一个过程：一个用来产生某类想要的产品所涉及的活动、约束和资源的步骤序列。一个过程常常涉及一套工具和技术，任何过程有如下的特征：第一、过程规定了所有的主要处理活动。第二、 过程使用资源，服从一套约束（如时间进度），并产生中间和最终产品。第三、过程可能由许多子过程（它们通.....
分类：
其他好文 时间：
2015-02-09 12:45:01
阅读次数：
172
在相应要设置约束的view中按住鼠标右键进行拖拽,然后向指定的方向添加约束,如图:拖拽的时候会显示一条蓝线,如上图所示,然后手指离开鼠标的时候会弹出向对应的约束供添加约束的时候进行使用如图:
分类：
其他好文 时间：
2015-02-08 12:49:16
阅读次数：
132
在相应要设置约束的view中按住鼠标右键进行拖拽,然后向指定的方向添加约束,如图:拖拽的时候会显示一条蓝线,如上图所示,然后手指离开鼠标的时候会弹出向对应的约束供添加约束的时候进行使用如图:
分类：
其他好文 时间：
2015-02-08 12:44:20
阅读次数：
122
软件工程概论第五章 软件工程中的形式化方法1.形式化方法基本概念 形式约束：软件规格说明是软件系统对象，对象的操作方法，以及对象行为的描述。在系统的开发及演化过程中，对象，对象的性质以及操作应作为一个整体来处理。形式证明与验证：主要包括模型检验和定理证明。程序求精：是将自动推理和形式化方法相结合，从...
分类：
其他好文 时间：
2015-02-08 10:12:57
阅读次数：
116
约束 1 增加约束 ALTER TABLE 表名 ADD CONSTRAINT 约束名 约束类型 具体的约束说明 --添加主键约束（将AuthorID作为主键）
alter table Authors
add constraint pk_AuthorID primary key(AuthorID) ...
分类：
数据库 时间：
2015-02-07 15:50:48
阅读次数：
158
数据类型 创建数据表 语法
CREATE TABLE 表名
(
字段名1 数据类型 列的属性 列约束,
字段名2 数据类型 列的属性 列约束,
字段名3 数据类型 列的属性 列约束,
…
) 列属性的格式：
[NULL|NOT NULL] [IDENTITY(标识种子, 标识增量)] 列约束的格式：...
分类：
数据库 时间：
2015-02-07 15:48:06
阅读次数：
254
Java培训、Android培训、iOS培训、.Net培训、期待与您交流！优化School数据库（TSQL建库建表建约束）使用T_sql代码建库、建表、建约束：建库：Create database HotelManagerSystemon(---- 数据文件---)log on(---- 日志文件)...
分类：
数据库 时间：
2015-02-07 15:46:24
阅读次数：
207
在使用自动布局之前一直对自动布局的动画实现有怀疑。
有文章说不断更改布局带来的内存消耗很大。于是做了个测试动画的demo，发现完全木有问题啊
原生的约束写起来很麻烦，还好有Masonry和UIView-Autolayout这些库。
另外看了这位大神对使用Masonry介绍的文章，加上Masonry的demo，很快就会用了，多亏有这些大神们的分享精神。
#import "MASExample...
分类：
其他好文 时间：
2015-02-06 16:42:33
阅读次数：
121
安装微软的windows补丁 KB2781514 ,补丁主要解决“在 .NET Framework 4.5 更新之后，Visual Studio 用户可能无法打开或创建 C++ 或 JavaScript 文件或项目。”http://www.microsoft.com/zh-cn/download/d...
分类：
其他好文 时间：
2015-02-06 12:55:42
阅读次数：
165
