PS：MVC出来很久了，工作上一直没机会用。出于兴趣，工作之余我将展开对MVC的深入学习，通过博文来记录所学所得，并希望能得到各位园友的斧正。 本文目录 理解一般意义上的MVC模式 MVC模式（Model-View-Controller）是软件工程中的一种软件架构模式，把软件系统分为以下三个基本部分...
分类：
Web程序 时间：
2015-02-11 16:27:17
阅读次数：
400
呼叫中心工单系统Ticket system又称为工单管理系统（还可以称为问题工单系统，事务工单系统，事务追踪系统issue tracking system，支持工单系统support ticket system)）,它是一种网络软件系统，根据不同组织，部...
分类：
其他好文 时间：
2015-02-11 12:55:03
阅读次数：
235
进入二十世纪之后，随着各种电子产品的风起云涌，电脑也普及到每家每户，除了家里一些老人对电脑操作还不太熟练之外，几乎所有的年轻人都可以熟练地使用电脑。电脑给我们带来的无论是生活中的休闲还是工作中的效率都是不容忽视的。
这里我们研究的课题——操作系统，也是与电脑密不可分的。可能对于大多数的PC用户来说，操作系统就是Windows操作系统，XP、win7、win8等等。其实这只是我们眼里的操作系统...
分类：
其他好文 时间：
2015-02-11 08:12:53
阅读次数：
199
在软件工程实践中运用形式化方法可以保证软件的正确性。目前，从形式规约到目标软件系统的可实现和可执行角度，已建立的形式化方法分为操作类和描述类。操作类方法基于状态和转移，通过可执行模型来描述系统，而描述类方法基于数学公理和概念，通过逻辑或代数给出系统的状态空间，具有高度抽象的特点。形式证明与验证...
分类：
其他好文 时间：
2015-02-10 20:15:28
阅读次数：
158
「我们一直这样做开发，时间做久了，便忘了当初的本意。」有关软件系统开发，我们谈些什么？
我们谈过程，编码规范、开发流程、同行评审、结对编程、持续集成，从瀑布到敏捷再到极限编程。
我们谈架构，企业级、J2EE、容器化、SOA（面向服务架构）、Microservices（微服务化）。
我们谈规模，大容量、高并发、大数据。
我们还谈可靠性、可用率、n个9、响应时间等等。。。
这一切的核心是什么？...
分类：
其他好文 时间：
2015-02-10 13:27:18
阅读次数：
222
软件系统的建设工作，大多数是从需求收集工作开始，逐一开展建设。需求调研，既是软件系统建设的头等大事，也是难点。很多失项目，由于走入需求调研工作的误区，导致项目失败。因此，本文就需求调研的几个主要误区展开分析讨论，以求避免问题的发生。...
分类：
其他好文 时间：
2015-02-10 01:51:23
阅读次数：
191
软件演化是软件进入使用期后对暴露出的问题进行修正和改善以及需求不断变化的状态变化，具有以下特性：软件维护是一个必然的过程；软件的不断修改会导致软件的退化；软件系统的演化特性是在早期的开发阶段建立起来的；软件的开发效率与投入的资源无关；对于软件变更产生的问题通常采用软件维护和软件再工程策略进行处理。软...
分类：
其他好文 时间：
2015-02-09 19:58:25
阅读次数：
120
王昱 yuwang881@gmail.com 博客地址http://yuwang881.blog.sohu.com摘要：单点登录（SSO）的技术被越来越广泛地运用到各个领域的软件系统其中。本文从业务的角度分析了单点登录的需求和应用领域；从技术本身的角度分析了单点登录技术的内部机制和实现手段，而且给出...
分类：
其他好文 时间：
2015-02-09 12:46:22
阅读次数：
250
1、对于面向对象的软件系统设计来说，在支持可维护性的同事，需要提高系统的可复用性 2、软件的复用可以提高软件的开发效率，提高软件的质量，节约开发成本，恰当的复用还可以改善系统的可维护性 3、面向对象设计简化成三条 3.1 封装变化点 3.2 对接口编程 3.3 多使用组合，少使用继承 点击查看大图：
分类：
其他好文 时间：
2015-02-08 23:11:56
阅读次数：
259
软件工程概论第五章 软件工程中的形式化方法1.形式化方法基本概念 形式约束：软件规格说明是软件系统对象，对象的操作方法，以及对象行为的描述。在系统的开发及演化过程中，对象，对象的性质以及操作应作为一个整体来处理。形式证明与验证：主要包括模型检验和定理证明。程序求精：是将自动推理和形式化方法相结合，从...
分类：
其他好文 时间：
2015-02-08 10:12:57
阅读次数：
116
