摘要： " 形式化方法 阅读了解形式化方法形式化方法｜形式化方法对软件开发的挑战：历史与发展 根据表达能力，形式化方法可以分为五类: 1)基于模型的方法:通过明确定义状态和操作来建立一个系统模型(使系统从一个状态转换到另一个状态)。用这种方法虽可以表示非功能性需求(诸如时间需求)，但不能很好地表示并发性。如 阅读全文

摘要： 阅读 为什么软件开发周期总是预估的2~3倍？ 总的来说软件开发过程总是会遇到意想不到的问题。 1软件开发需要团队协作，软件开发的过程中无法预期每一位成员的身体精神状态，团队中任何一个人出现问题，都有可能会影响软件开发的进度。2.出现的问题可能是比预期的问题还要多,软件开发过程中出现的预期之外的问题需 阅读全文

摘要： 什么是微软过程？ 阅读全文

摘要： 什么是软件工程方法论？ 1.软件工程是一个方法论，就是我们在开始一个项目时，大体框架一定要有这么一个概念，而具体实施时，必须根据公司一些特点，优化项目开发的流程，这样才是有实效而方法论只是软件工程的结果而已，软件工程可以指导我们如何根据特定的环境制定自己的方法论。 2. 面向元数据的方法、面向过程的 阅读全文

摘要： 软件工程与计算机的关系及区别 什么是软件工程？ 软件工程借鉴传统工程的原则、方法，以提高质量、降低成本和改进算法。 其中，计算机科学、数学用于构建模型与算法，工程科学用于制定规范、设计范型 (paradigm)、评估成本及确定权衡，管理科学用于计划、资源、质量、成本等管理。 ：：该专业涉及程序设计语 阅读全文

摘要： 来自桂林理工大学物联网工程2019届的April 没参与过什么比赛项目但是课程学习能力还行，主要是快速学习之后很快就会忘记，接下来应该好好的总结并熟练记住运用知识完成对生活等各种的实践。 对课程的希望：学习软件工程的希望是能够了解基本的软件开发流程，软件管理，软件开发模式。 个人目标：能够将软件体系 阅读全文