1.axure入门axure rp是美国Axure Software Solution公司旗舰产品，是一个专业的快速原型设计工具，让负责定义需求和规格、设计功能和界面的专家能够快速创建应用软件或web网站的线框图、流程图、原型和规格说明文档。作为专业的原型设计工具，它能快速、高效的创建原型，同时支持...
分类：
其他好文 时间：
2014-10-15 21:27:21
阅读次数：
297
串口是常用的计算机与外部串行设备之间的数据传输通道，由于串行通信方便易行，所以应用广泛。现在国际上不断有串口新技术及新规格推出，结合社会各方面需要，串口通信发展的空间庞大。串口通讯技术因其自身的优势和特性，及计算机技术的广泛应用深入到生活和生产的各个领域，世界上数以亿计的通讯设备都以串口通讯的方式。...
本文原创自 http://blog.csdn.net/voipmaker 转载注明出处。
（1） Web 管理台管理会议
（2） 视频格式支持VP8,H264,H263
（3） 音频支持PCMU,PCMA，GSM, SPEEX,OPUS,G722,iLBC
（4） 根据用户登入，动态分屏, 支持22种分屏模式
（5） ...
分类：
其他好文 时间：
2014-10-15 02:56:39
阅读次数：
337
Z语言是一种以一阶谓词演算为主要理论基础的规约语言，是一种功能性语言。Z语言是将事物的状态和行为用数学符号形式化表达的语言，为编写计算机程序和验证计算机程序的正确性提供依据，是软件工程中编码之前的规格说明语言。形式化描述语言Z指的是著名数学家Zermelo，它是目前使用最广泛的一种形式化描述语言，在...
分类：
其他好文 时间：
2014-10-13 17:50:59
阅读次数：
245
三类较为有用的结束准则，它们分别是：1、有用但不是最佳的准则，根据的是特定的测试用例技术；比如1)系统测试用例设计已经通过评审2)按照系统测试计划完成了系统测试3)系统测试的功能覆盖率达100％4)系统的功能和性能满足产品需求规格说明书的要求5)在系统测试中发现的错误已..
分类：
其他好文 时间：
2014-10-13 14:59:10
阅读次数：
158
《软件形式规格说明语言-Z》 缪淮扣第一章 绪论1.1 软件生命周期： 需求分析与规格说明 设计 实现 测试 交付与维护 ——瀑布模型1.2 软件规格说明的两种抽象：过程抽象、数据抽象。过程抽象描述软件系统要实现的功能，而不是如何实现的具体步骤；数据抽象就是在规格说明中使用集合、关系、映射、序列、包...
分类：
编程语言 时间：
2014-10-13 11:41:39
阅读次数：
153
形式化规格技术：1、定义： 对系统或者对象及其期望的特性或者行为进行的描述。规格所要描述的内容包括：功能特性（做什么）、行为特性（具体行为演化-如何做）、结构特性（系统的组成，子系统间的联系和复合）、时间特性（时间相关的系统特性）。形式化规格就是通过具有明确数学定义的文法和语义的语言实现以上描述。2...
分类：
其他好文 时间：
2014-10-09 13:40:33
阅读次数：
196
[1]Axure RP是美国Axure Software Solution公司旗舰产品，是一个界面专业的快速原型设计工具，让负责定义需求和规格、设计功能和界面的专家能够快速创建应用软件或Web网站的线框图、流程图、原型和规格说明文档。作为专业的原型设计工具，它能快速、高效的创建原型，同时支持多人协作...
分类：
其他好文 时间：
2014-10-07 22:15:34
阅读次数：
178
软件工程
过程
软件规格说明P（计划）：规定软件的功能及其运行限制
软件开发D（做，实现）：产生满足规格说明的软件
软件确认C（检查、测试调试维护运行）：测试调试维护运行，确认软件能够完成客户提出的要求
软件的改进A（维护）：按客户要求适当改进。
软件生存周期
...
分类：
其他好文 时间：
2014-10-06 20:28:40
阅读次数：
177
ThreadPoolExecutor是一个非常重要的类,用来构建带有线程池的任务执行器，通过配置不同的参数来构造具有不同规格线程池的任务执行器。写在前面的是：线程池和任务执行器，线程池的定义比较直接，可以看做多个线程的集合。而任务执行器的概念比较的具有针对性，它用来执行任务，通过对线程池的管理实现多...
分类：
其他好文 时间：
2014-10-06 03:04:29
阅读次数：
354
