在软件工程中，通过建立精确的数学模型以及对软件模型进行分析活动后建立的方法称为软件工程中的形式化方法，包括形式规约,形式证明与验证及程序求精三方面的活动。形式规约是规格说明的形式化；形式证明与验证技术包括模型检测和定理证明；程序求精是从抽象的形式规约推演出的面向程序代码的全过程，包括时态逻辑,Z.....
分类：
其他好文 时间：
2015-02-03 14:58:34
阅读次数：
117
前一篇通过对传统的JDBC的使用操作，可以体会到使用的繁琐与复杂，套句话说，是用了20%作了真正的工作，80%作了重复的工作。那么通过本篇，可以了解如下的内容：1 如何配置数据源2 如何在spring中使用模板3 如何建立数据源的统一的基类 首先看一下如何配置数据源 我们可以使用3种方式配置...
分类：
数据库 时间：
2015-02-03 14:58:03
阅读次数：
214
产品compiler Versionversionbds2007-WIN32VER 180 185115.0 2009VER 200136.0XEVER 220158.0XE7VER 2802115.0
第一步先引用 scriptManager 进度 ...
分类：
Web程序 时间：
2015-02-03 14:57:16
阅读次数：
196
1036. Boys vs Girls (25)时间限制400 ms内存限制65536 kB代码长度限制16000 B判题程序Standard作者CHEN, YueThis time you are asked to tell the difference between the lowest gr...
分类：
其他好文 时间：
2015-02-03 14:57:25
阅读次数：
142
一眨眼,2月了!模型导入的大小问题http://www.cnblogs.com/ychellboy/archive/2012/08/01/2615751.html
分类：
其他好文 时间：
2015-02-03 14:58:05
阅读次数：
95
这一篇再说下索引的最后一个主题，索引覆盖，当然学习比较好的捷径是看看那些大师们设计的索引，看从中能提取些什么营养的东西，下面我们看看数据库中一个核心的Orders表。 一：查看表的架构 先查看这个表的大概架构信息1 --查看表的架构信息2 SELECT c.column_id,c.name,t...
分类：
数据库 时间：
2015-02-03 14:57:50
阅读次数：
253
win7&Ubuntu双系统简单搭建系统指南 本文是自己老本子折腾Ubuntu的一些记录，主要是搭建了一个能够足够娱乐（不玩游戏）专注练习自己编程能力的内容。只是简单的写了关于系统的安装和一些配置环境的简单搭建。并没有深入探讨系统地各项内容。希望可以给香简单使用的同学参考。 准备工作 打开Ultra...
TM中有些服务没有被激活，以UI界面个性化设置化设置为例：如果服务没有被激活，打开界面就会显示：这时候右键点击属性，获取服务ID：通过事务代码SICF，输入服务ID：wd_analyze_config_user，执行：选择服务，通过右键菜单“激活服务”进行激活后该服务即可访问。
分类：
Web程序 时间：
2015-02-03 14:57:11
阅读次数：
2532
importurllib.requestproxy_support=urllib.request.ProxyHandler({})opener=urllib.request.build_opener(proxy_support)urllib.request.install_opener(opener...
分类：
Web程序 时间：
2015-02-03 14:55:40
阅读次数：
146
理解公钥和私钥首先要区分加密和认证这两个概念！加密和认证：加密是将数据资料加密，使别人即使获取加密资料，也无法获取正确的资料内容，重点在于数据的安全性。认证是确定数据的真实发送方，使别人无法伪造或冒充，重点在于用户的真实性。公钥和私钥：公钥和私钥就是俗称的不对称加密方式，是对称加密（使用用户名与密码...
分类：
其他好文 时间：
2015-02-03 14:57:52
阅读次数：
216
问题：1、发运确认会调用接口请求，同一个SO对应几个交货号会报出现锁，2、请求会存在延时，报表不能输出正确的结果解决方法：把发运确认API设置为延迟接口，即p_sc_defer_interface_flag为‘Y’,直接调用连接停靠站存储过程wsh_ship_confirm_actions.inte...
分类：
其他好文 时间：
2015-02-03 14:55:32
阅读次数：
239
/// /// 修改XML /// /// test public static void ChangeXml(string test) { string xmlPath = "config";//当前文件夹下的config XmlDocument xmlDoc = new XmlDocumen.....
1.通过ID查找 查找1个：WebElement el=driver.findElement(By.id("com.aurora:id/aurora_action_bar_item")); 列表： List e3=driver.findElements(By.id("com.aurora:id/.....
分类：
移动开发 时间：
2015-02-03 14:56:31
阅读次数：
218
MAXFILE =65535// 创建deamon进程 pc = fork(); //第一步 if(pc0) exit(0); setsid(); //第二步 chdir("/"); //第三步 um...
分类：
编程语言 时间：
2015-02-03 14:55:32
阅读次数：
398
背景介绍在开发应用过程中经常会遇到显示一些不同的字体风格的信息犹如默认的LockScreen上面的时间和充电信息。对于类似的情况，可能第一反应就是用不同的多个TextView来实现，对于每个TextView设置不同的字体风格以满足需求。这里推荐的做法是使用android.text.*;和 andro...
分类：
移动开发 时间：
2015-02-03 14:56:22
阅读次数：
251
