这一章运用的离散数学的知识很多。从广义上讲，形式化方法是指将离散数学的方法用于解决软件工程领域的问题，主要包括建立精确的数学模型以及对模 型的分析活动。狭义的讲，形式化方法是运用形式化语言，进行形式化的规格描述、模型推理和验证的方法。运用形式化方法，主要是为了保证软件的正确性。 这一章主要介绍了三....
分类：
其他好文 时间：
2015-03-01 11:44:28
阅读次数：
116
过年比较忙，家里也没网，懒惰了好几天，终于又要开始了。每天都有事，所以就写点简单的。我们平常在用QQ或者微信的时候，经常会把手机调成震动模式，这个时候如果有新消息的话，就会听到手机震动，但是我们也会发现，每种应用程序的震动的时间和周期不一样，那么我们就来看看怎么样来控制手机的震动。 手机震动属...
分类：
移动开发 时间：
2015-03-01 11:42:00
阅读次数：
231
这一章软件测试我觉得讲的就是后续工作了。整个庞大复杂的软件设计出来后，工作并没有做完，还需要进行对软件的测试，来验证安全性稳定性实用性等等。第一个要检验的肯定是系统本身有没有错误，如果系统本身的结构编码有问题，那就谈不上什么实用性稳定性了。 对一个复杂的软件系统来说，应该尽早的不断地进行软件测试，....
分类：
其他好文 时间：
2015-03-01 11:44:14
阅读次数：
117
如果说世界上压根就没有“时间”这玩意儿，你会怎么想？在上班恐惧怎么破这篇小文里，开始思考恐惧感背后的推手，但还没有找到真正的“幕后黑手”。这两天琢磨了一下，发现原来是时间惹的祸。每个人的日常活动都被“定格”在一个个小的时间碎片中，比如作息时间表、工作安排计划、法定休假日期等。甚至是商家的打折计划都能...
分类：
其他好文 时间：
2015-03-01 11:43:24
阅读次数：
132
简单DFS。 1 /* 3325 */ 2 #include 3 #include 4 #include 5 #include 6 #include 7 using namespace std; 8 9 #define MAXN 100005 10 #define IN...
分类：
其他好文 时间：
2015-03-01 11:42:24
阅读次数：
110
题目意思：http://acm.hdu.edu.cn/showproblem.php?pid=1061求N^N的最后一位数。题目分析：此题有非常多种方法，主要是中循环节，看自己怎么找了。我的方法是找到全部个位数（０～９）数的循环节，详见代码。AC代码：/** *全部数的循环节是12 */#inclu...
分类：
其他好文 时间：
2015-03-01 11:42:52
阅读次数：
126
这一章引入了软件过程这个概念。软件工程的目标是在规定的时间和预算内开发出高质量的软件，但这是一件很困难的事。而软件项目的失败，很大一部分原因是因为缺少过程规范。因此，软件过程在软件的开发过程中占据了很重要的位置。其中，软件过程模型描述了软件过程的整体框架，是软件过程的一种抽象表示。常见的模型有瀑布....
分类：
其他好文 时间：
2015-03-01 11:43:03
阅读次数：
153
软件演化主要讲的就是软件已交由用户方使用后，在日常使用中的问题。软件测试虽然非常严密，但毕竟还会有很多问题发现不了，而这些问题就会在日常使用中暴露出来。软件在使用上发生了问题，就需要软件开发人员去修复修改，这个应该就是后期的软件维护了。随着软件规模的日益扩大，软件维护在软件总成本中所占的比例也越来....
分类：
其他好文 时间：
2015-03-01 11:40:52
阅读次数：
131
大家去网上搜索Android定位location为null没法定位问题，估计有一大堆文章介绍如何来解决，但是最后大家发现基本没用。本文将从Android定位实现原理来深入分析没法定位原因并提出真正的解决方案。在分析之前，我们肯定得先看看android官方提供的定位SDK。默认Android GPS定...
分类：
移动开发 时间：
2015-03-01 11:41:03
阅读次数：
177
我做了一个统一的出错提示函数,在函数执行里面,先处理出错的地址写入cookie以方便用户登陆以后可以直接跳转到要执行的这个页面,可是发现在服务器上测试时,竟然提示本地没有出现的错误: Warning: Cannot modify header information - headers alread...
分类：
Web程序 时间：
2015-03-01 11:41:21
阅读次数：
138
这是摘选自网络的一段话，感觉不错，特此分享首先，确认：是否能easy的得到简单情况的解？然后，如果：规模为N-1的情况已经得到解决。最后，重点分析：当规模扩大到N时，怎样枚举出全部的情况，而且要确保对于每一种子情况都能用已经得到的数据解决。假设这样递推公式找不出来，能够尝试列出前几项，找规律。注意：...
分类：
其他好文 时间：
2015-03-01 11:41:49
阅读次数：
123
今天整理一下关于Objective-C Literals的内容，Literals翻译成字面量或者字面值，就是直接被写到源代码中的值。这不是一个陌生的概念，我们在写程序的时候能频繁的见到。我们很早就见过NSString 字面量了:NSString *greeting = @"Hello World";...
分类：
其他好文 时间：
2015-03-01 11:40:59
阅读次数：
103
在shell脚本中利用expect实现自己主动应答測试脚本（已验证，来自于http://forum.ubuntu.org.cn/ntopic21611.html):要交互的脚本（talk.sh）例如以下:#!/bin/bashecho "Who are you?"read whoecho "Hell...
分类：
其他好文 时间：
2015-03-01 11:41:56
阅读次数：
165
1.下载mongodb的windows版本，有32位和64位版本，根据系统情况下载,下载地址：http://www.mongodb.org/downloads2.解压缩至额E:/mongodb即可3.创建数据库文件的存放位置，比如D:/mongodb/data。启动mongodb服务之前需要必须创建...
分类：
数据库 时间：
2015-03-01 11:39:38
阅读次数：
152
结构化设计方法是在模块化、自顶向下逐步细化及结构华程序设计技术基础之上发展起来的。结构化设计方法可以分为两类，一类是根据系统的数据流进行设计，称为面向数据流设计或称过程驱动设计；另一类是根据系统的数据结构进行设计，成为面向数据结构设计，或称数据驱动设计。 软件设计过程包括一套原理、概念和实践，可以指...
分类：
其他好文 时间：
2015-03-01 11:39:07
阅读次数：
107
原文同步至 [Netty](http://netty.io/) 是一个 Java NIO 客户端服务器框架，使用它可以快速简单地开发网络应用程序，比如服务器和客户端的协议。Netty 大大简化了网络程序的开发过程比如 TCP 和 UDP 的 socket 服...
分类：
Web程序 时间：
2015-03-01 10:40:06
阅读次数：
267
