摘要：
定义 用于开发计算机系统的形式化方法是描述系统性质的基于数学的技术，这样的形式化方法提供了一个框架，可以在框架中以系统的而不是特别的方式刻划、开发和验 证系统。 如果一个方法有良好的数学基础，那么它就是形式化的，典型地以形式化规约语言给出。这个基础提供一系列精确定义的概念，如：一致性和完整性，以及定 阅读全文
2022年4月18日
2022年4月14日
摘要：
定义： Java的反射机制是指在程序的运行状态中，可以构造任意一个类的对象，可以了解任意一个对象所属的类，可以了解任意一个类的成员变量和方法，可以调用任意一个对象的属性和方法。这种动态获取程序信息以及动态调用对象的功能称为Java语言的反射机制。反射被视为动态语言的关键。 功能： 在运行时判断任意一 阅读全文
2022年4月7日
摘要：
定义：有效期内建立一个以计算机为中心的患者监护系统，可随时接收并处理每个病人的生理信号。 技术可行性：不难，在专业人士帮助下可完成 操作可行性：招几名专业人士进行管理维护即可 经济可行性：取决于医院是否能支付相关费用 阅读全文
2022年4月6日
摘要：
计算机科学与技术注重低级语言和机器语言，有硬件方向。软件工程注重高级语言，软件方向 计算机科学与技术更注重理论，培养意识，软件工程更注重实践，培养动手能力 计算机科学与技术注重发现和研究长期的客观真理，软件工程更注重短期的结果（具体的软件开发） 阅读全文
2022年3月27日
摘要：
分而治之将复杂的问题切割成一个个容易解决的小问题，通过解决一个个小问题，进而解决整个大问题。将复杂的问题简单化。WBS以产品(可交付成果)为导向的产品结构/项目工作分解，把一个模糊的产品结构、项目工作或者概念，有结构、有层次、有条理的解析与分解成较小、更易于管理的组件。形成一个可规划、可执行、可控制 阅读全文
2022年3月21日
摘要：
会遇到计划之外的问题，解决这些问题花费大量时间 低估项目技术难度 开发者状态不好，团队内部配合不够 任务的时间分配不好 需求分析没有做好 阅读全文
2022年3月16日
摘要：
软件工程方法论规范了软件开发的过程，避免混乱 软件工程方法论提供了许多模型参考，在软件开发过程中选择合适的模型可提高软件开发的效率 遵循软件工程方法论可以有效提高软件开发成功率，显著减少软件开发和维护问题 阅读全文
2022年3月14日
摘要：
文章链接：图灵社区 (ituring.com.cn) IT行业在13年前人数泛滥，大部分是半路出家没有受过良好训练的人，使得大量质量低劣的软件出现。 模块化和代码重用是好主意，但没有系统的胡乱堆砌使得一个简单的功能的实现纷乱复杂。 Unix集市摆放杂乱的原因是没有人进行负责，规划管理。许多没见过大教 阅读全文
2022年3月12日
摘要：
瀑布模式流程：需求分析-规格说明-设计-编码-测试-维护需求：客户排除在生产系统之外，只能从Client places order中输入需求问题：客户无法理解生产成本高于预期（图：生产汽车却只愿意支付自行车的价格）制造：制造软件，需求和设计不可更改。开发者只负责自己的部分，不关心软件的其他部分。（图 阅读全文
2022年3月9日
摘要：
我认为软件工程这门课只会教一些开发软件的原理和方法而不是具体的技术。开发软件不仅需要软件工程的知识，还要有写程序的技术。仅有软件工程知识而无写程序的能力无异于纸上谈兵，仅有掌握写程序的知识而不学习软件工程，则可能开发出质量低劣的软件。学习软件工程有利于我们经济的开发出高质量的程序并进行有效的维护。 阅读全文
