摘要：
1.形式化方法是一种基于严格数学基础的软件开发和验证技术。 它以无歧义的形式化规格说明语言为基础形式和数学模型来精确地描述系统的行为和性质，以便进行分析、验证和推理。形式化方法有助于提高软件的可靠性、正确性和安全性，减少错误和不确定性。 阅读全文
posted @ 2024-05-13 11:30
aa阿夏
阅读(29)
评论(0)
推荐(0)
摘要：
结对编程是一种软件开发模式，指两个程序员在同一台电脑上共同编写代码。 在结对编程中，两个人紧密合作，一个人负责编写代码，另一个人实时审查和提供反馈。这种方式可以促进交流与协作，提高代码质量，同时也有助于知识共享和技能提升。 阅读全文
posted @ 2024-05-13 11:29
aa阿夏
阅读(11)
评论(0)
推荐(0)
摘要：
Scrum是用于开发、交付和持续支持复杂产品的一个框架，是一个增量的、迭代的开发过程，是敏捷方法论中的重要框架之一，通常用于敏捷软件开发。 3355：3种角色，3个工件，3大支柱，5个事件，5个价值观。 3个核心角色 Product Owner（负责人）、 Scrum Team（团队）和 Scrum 阅读全文
posted @ 2024-05-13 11:27
aa阿夏
阅读(319)
评论(0)
推荐(0)
摘要：
1.DevOps（Development和Operations的组合词）是一种重视“软件开发人员（Dev）”和“IT运维技术人员（Ops）”之间沟通合作的文化、运动或惯例。透过自动化“软件交付”和“架构变更”的流程，来使得构建、测试、发布软件能够更加地快捷、频繁和可靠。 2.(1)单体架构+瀑布模式 阅读全文
posted @ 2024-05-13 11:23
aa阿夏
阅读(13)
评论(0)
推荐(0)
摘要：
(1)提供了开发的框架:帮助软件开发者设计框架 (2)提高效率:前人经验，让我们避免了不必要的试错 (3)行业认可:许多的模型和方法符合行业需求，使不同软件开发者之间交流方便。 阅读全文
posted @ 2024-05-13 11:21
aa阿夏
阅读(8)
评论(0)
推荐(0)
摘要：
(1)当开发团队正在编码时发现需求分析工作有所缺陷，他们不得不重新做需求分析、修改之前的设计、进而修改代码。 (2)如果来自瀑布上层工作的缺陷仅仅带来下层的修改工作应该说是很幸运的了，如果开发团队笃信工程方法，他们不认为导致他们返工的意外情况会不时出现，他们会及其严谨地按照当前及其严密而步骤清晰的设 阅读全文
posted @ 2024-05-13 11:19
aa阿夏
阅读(20)
评论(0)
推荐(0)
浙公网安备 33010602011771号