$0 写在前面 万里长征已过大半,即将迎来胜利的曙光.一路走来,经历过种种艰难,体会颇深.希望能记录下这篇博文,来总结这一个月来的收获与感悟. $1 规格化设计的发展历史 上世纪50年代,软件伴随着第一台电子计算机的问世诞生了.以写软件为职业的人也开始出现,他们多是经过训练的数学家和电子工程师.1960年代美国大学里开始出现授予计算机专业的学位,教人们写软件.在计算机系统发展的初期,由于目的的单一性,软件的通用性是很有限的.大多数软件是由使用该软件的个人或机构研制的,软件往往带有强烈的个人色彩.…

调研:        最早的程序设计是直接采用机器语言来编写的,或者使用二进制码来表示机器能够识别和执行的指令和数据.机器语言的优点在于速度快,缺点在于写起来实在是太困难了,编程效率低,可读性差,并且编写规模大的程序.之后逐渐产生了面向过程和面向对象的编程思想,来满足不同条件下的编程方式.1968年<GOTO有害论>这篇著名的论文发表后,引起了许多人的广泛关注,结构化思想逐渐进入人们的视野.之后在编程过程中,程序员越来越对已经产生的抽象水平不满,不足以满足他们对规模大的程序编写的需求,因此出现…

软件形式化方法历史 形式化方法的研究高潮始于20世纪60年代后期,针对当时所谓"软件危机",人们提出种种解决方法,归纳起来有两类:一是采用工程方法来组织.管理软件的开发过程:二是深入探讨程 序和程序开发过程的规律,建立严密的理论,以其用来指导软件开发实践.前者导致"软件工程"的出现和发展,后者则推动了形式化方法的深入研究.经过30多 年的研究和应用,如今人们在形式化方法这一领域取得了大量.重要的成果,从早期最简单的形式化方法一阶谓词演算方法到现在的应用于不同领域.不…

2021S软件工程--结对项目第三阶段 2021春季软件工程(罗杰 任健) 项目地址 1020 1169 1 实践反思 1.1 问题分析 两人习惯不一致 没有具体制定时间节点 写完代码才开始"应付"测试 代码架构不清晰 ​ 以上的这些问题导致我们这次项目(尤其是第二阶段)实现得并不算太好,在后期出现了赶工.代码一团乱麻的情况,也导致了一些BUG的出现. 1.2 需求分析实践体会 ​ 在此次项目的需求分析中,我认为我们做得还算不错,对指导书基本没有错误理解.有模糊的地方,也立刻沟通交流.…

OO前三次作业总结 基于度量分析程序结构 由于三次作业较多,决定分析内容.功能最为复杂的第三次作业. 上图为第三次作业的类图.我使用了一个抽象类Factor,写了五个因子继承Factor,然后又单独开了一个Term类,还有表达式类,其中Expression因子包含一个表达式类,其他就是常见的Main类,InputHandle类,求导和输出都在Main类中完成.个人认为本次的架构还可以,较为清晰,具有延展性,若是加入其他因子只需要继续继承Factor类,而在其他类中改动无需太多就可继续使用,而在递…

Bete冲刺第三阶段 今日工作: web: 检索了各类资料,今日暂时顺利解决了hibernate懒加载异常的问题,采用的凡是也比较简单就是添加了一个OpenSessionInViewFilter的过滤器.对于过滤器原理不是太熟悉,做个拿来主义拿来就用. 同时今天再通知模块增添了一个按类型查询的通知的接口,接口还有bug待修改. ios: 解决了COCOAPODS的问题,已经使用上了我需要的部分第三方开源库 目前所遇问题: web: 今天暂时没有出现代码的问题,但是对于团队协作有比较难以解决的问题…

Scrum 3.1 多鱼点餐系统开发进度(第三阶段项目构思与任务规划) 1.团队名称:重案组 2.团队目标:长期经营,积累客户充分准备,伺机而行 3.团队口号:矢志不渝,追求完美 4.团队选题:餐厅到店点餐系统WEB 5.Sprint 3时间:12.09-12.18 重案组成员   姓名 学号 博客链接 Github链接 队长 黄冠锋 201406114134 http://www.cnblogs.com/hgf520/ https://github.com/crown999   卢利钦 201…

Scrum 3.1 多鱼点餐系统开发进度(第三阶段项目构思与任务规划) 1.团队名称:重案组 2.团队目标:长期经营,积累客户充分准备,伺机而行 3.团队口号:矢志不渝,追求完美 4.团队选题:餐厅到店点餐系统WEB 5.Sprint 3时间:12.09-12.18 重案组成员   姓名 学号 博客链接 Github链接 队长 黄冠锋 201406114134 http://www.cnblogs.com/hgf520/ https://github.com/crown999   卢利钦 201…

可以参考这篇文章: http://blog.csdn.net/whycold/article/details/47702133 两阶段提交保证了分布式事务的原子性,这些子事务要么都做,要么都不做. 而数据库的一致性是由数据库的完整性约束实现的,持久性则是通过commit日志来实现的,不是由两阶段提交来保证的. 两阶段提交的过程涉及到协调者和参与者.协调者可以看做成事务的发起者,同时也是事务的一个参与者. 第一阶段: prepare 第二阶段: 如果有人不prepare,或者无响应,就取消:如果全…

第一阶段:https://github.com/yuhancheng/stage-1--last-sprint 第二阶段:https://github.com/yuhancheng/stage-2--last-sprint 该项目更新在Newapps2中,因为操作原因不知为何导入了多个项目,以Newapps2为正. 第三阶段:https://github.com/yuhancheng/stage-3--last-sprint 项目以Newapps3为正 每个阶段过程中的day github在:h…