senmu_的博客

形式化方法 基本信息 在计算机科学和软件工程领域，形式化方法是基于数学的特种技术，适合于软件和硬件系统的描述、开发和验证。将形式化方法用于软件和硬件设计，是期望能够像其它工程学科一样，使用适当的数学分析以提高设计的可靠性和鲁棒性。但是，由于采用形式化方法的成本高意味着它们通常只用于开发注重安全性的高度整合的系统。 定义 用于开发计算机系统的形式化方法是描述系统性质的基于数学的技术，这样的形式化方法提供了一个框架，可以在框架中以系统的而不是特别的方式刻划、开发和验 证系统。 如果一个方法有良好的数学基础，那么

分而治之 WBS（Work Breakdown Structure），即工作分解结构。 创建WBS是把项目工作按阶段可交付成果分解成较小的，更易于管理的组成部分的过程。 原则： 一、100% 原则 拆分的任务要 100% 的包含所有交付物。 二、拆分任务时要相互独立且完全穷尽 「相互独立」意味着不重复造轮子。「完全穷尽」才能不误事。 三、要有合理的工作包大小 项目拆解出来的工作包并非越细越好。 ...

问： 软件工程方法论对我们软件开发有多大用处?谈谈你的看法。 答: 采用软件工程方法论开发软件的时候，从对任务的抽象逻辑分析开始，一个阶段一个阶段地进行开发。前一个阶段任务的完成是开始进行后一个阶段工作的前提和基础，而后一阶段任务的完成通常是使前一阶段提出的解法更进一步具体化，加进了更多的物理细节。每一个阶段的开始和结束都有严格标准，对于任何两个相邻的阶段而言，前一阶段的结束标准就是后一阶段的开始标准。 ...

问：“ Software engineering ，of course，presents itself as another worthy cause，but that is eyewash: if you carefully read its literature and analyse what its devotees actually do，you will discover that software engineering has accepted as its charter ‘How to

MVC与MVP区别 MVC架构： Model：业务逻辑和实体模型 View：对应于布局文件 Controllor：对应于Activity MVP（Model-View-Presenter） MVP是把MVC中的Controller换成了Presenter（呈现），目的就是为了完全切断View跟Model之间的联系，由Presenter充当桥梁，做到View-Model之间通信的完全隔离。 MVC和MVP的关系 MVP是从经典的模式MVC演变而来，它们的基本思想有相通的地方：Controller/Presen