- 博客(12)
- 收藏
- 关注
RSS订阅原创 homework to blog 11
与传统的方法相比，形式化方法更加注重软件设计的精确性、准确性和完整性，能够降低软件错误、漏洞和不一致性的风险，并提高软件的可靠性、安全性和正确性。形式化开发：通过形式化方法指导和补充软件开发的各个阶段，控制和管理软件系统的设计和实现，使得软件系统的正确性可以被证明并得到保证。形式化建模：通过数学语言和形式化规约对软件系统的要求进行精确描述，以明确软件系统的需求和行为，避免语言模糊引发理解偏差。形式化验证：通过自动化工具、定理证明器等技术，对软件规约进行形式化分析和验证，以检查系统的正确性和一致性。
2023-05-03 11:40:10
51
原创 homework to blog 10
信息隐藏是指在模块中隐藏部分实现细节和数据结构，仅公开模块对外的接口和实现结果，同时对外提供适当的调用接口，避免外部的代码干扰模块的内部实现和逻辑，以此达到良好的封装效果，提高模块的内聚度和耦合度。耦合度是指模块间相互依赖的程度，低耦合度模块能够独立地被修改和测试，单元测试容易开展，不依赖其他模块；内聚度是指模块的一组行为是否彼此相关，高内聚度模块只实现单一的、大体相似的、紧密相关的功能，能够让模块内部代码之间相互配合；这个包就是一个模块，里面的物品可以看作是所含的数据，人的手可以看作是对外提供的接口。
2023-05-03 11:37:02
56
原创 homework to blog 9
家长：家长是学生的监护人，他们可以对学生的学习情况有更深刻的了解，对软件的安全、使用和性能方面也有较高的关注。可以通过调查、访谈等形式获取家长的意见和反馈，从而了解他们的需求和反馈，更好地满足他们对软件的期望。学生用户：学生是软件的直接用户，他们的需求和反馈更能直接体现软件的可用性和用户体验。可以通过问卷调查、访谈等形式获取学生的需求和反馈，从而了解他们对学习数学所面临的痛点和需要，在软件中应该具备何种功能和特点。
2023-05-03 11:31:49
48
原创 homework to blog 8
学校规定： 一个学生可选修多门课，一门课有若千学生选修;一个教师可讲授多门课，一门课只有一个教师讲投；一个学生选修一门课，仅有一个成绩。学生的属性有学号、学生姓名，教师的属性有教师编号，教师姓名，课程的属性有课程号、课程名。要求：根据上述语义画出ER图，要求在图中画出实体的属性并注明联系的类型。尝试建模电梯的状态图。
2023-05-03 11:30:07
145
原创 homework to blog 7
■1、报名:由报名处负责，需要在学员登记表上进行报名登记，需要查询课程表让学员选报课程，学院所报课程将记录到学员选课表。■2、交费:由收费处负责，需要根据学员所报课程的收费标准进行收费，然后在账目表上记账，并打印收款收据给办理交费的学员。■3、就读:由培训处负责，其在验证学员收款收据后，根据学员所报课程将学员安排到合适班级就读。请画出入学管理系统的顶层图和1层图。
2023-05-03 11:08:33
61
原创 homework to blog6
WBS主要是将一个项目分解成易于管理的几个部分或几个细目，以便确保找出完成项目工作范围所需的所有工作要素。它是一种在项目全范围内分解和定义各层次工作包的方法，WBS按照项目发展的规律，依据一定的原则和规定，进行系统化的、相互关联和协调的层次分解。字面意思：“分而治之”，就是把一个复杂的1问题分成两个或多个相同或相似的子问题，再把子问题分成更小的子问题直到最后子问题可以简单地直接求解，原问题的解即子问题的解的合并，这个思想是很多高效算法的基础。1、Quora精选：为什么软件开发周期总是预估的2~3倍？
2023-03-26 19:38:41
37
原创 homework to blog5
结对编程是极限编程(XP)的十二个实践之一，是指两位程序员肩并肩地坐在同一台电脑前合作完成同一个设计、同一个算法以及同一段代码，并且两人的角色可以随时互换。有些时候，学习对方的长外，可能会和程序员们在起滋生不良气氛一样快。程序员可能会交谈一些与工作无关的事情，反而分散注意力，导致效率比单人更为低下。对于有不同习惯的编程人员，可以在起工作会产生麻烦，甚至矛盾。所以我认为所谓结对编程就是一个小型的团队合作，可能也是团队合作的另一种方式。结对编程可能也就是团队合作的雏形，所以我认为在编程中团队是必不可少的。
2023-03-26 19:35:33
24
原创 homework to blog3
1、什么是DevOps？阅读材料并做笔记。定义：DevOps（Development和Operations的组合词）是一种重视“软件开发人员（Dev）”和“IT运维技术人员（Ops）”之间沟通合作的文化、运动或惯例。多人协同开发问题，人员一多，为了更好的分工，大多会将项目进行拆分，每个人负责专注于一部分，有点包干到户的感觉，敏捷开发的核心理念就是既然我们无法充分了解用户的真实需求是怎样的，将一个大的目标不断拆解，把它变成一个个可交付的小目标，然后通过不断迭代，以小步快跑的方式持续开发。Ops
2023-03-26 19:29:34
28
原创 homework to blog4
Scrum中的3355是指Scrum框架中的四个事件，分别为Sprint（冲刺）、Sprint Planning（冲刺计划）、Daily Scrum（每日站会）和Sprint Review（冲刺回顾）。Sprint Retrospective：Sprint回顾，是团队和Scrum Master评估Sprint过程中的问题和机会，以改进下一个Sprint。Sprint Review：Sprint的最后一个事件，指团队展示他们在Sprint期间完成的功能，以及得到其他人的反馈和建议。
2023-03-26 19:29:27
61
原创 homework to blog2
flag:希望软件工程这门课程能使得我对理解软件工程有一定的帮助，毕竟我对软件工程这四个字着实陌生。同时我希望我也能从这门课中学习到更多有关软件工程的知识。不是，我个人认为软件工程是了解软件开发的大致流程及其模块，当然也存在代码上的实践，但归根结底还是面向“工程”本身，而不是教会如何写程序。1、创建个人技术博客，并写flag、列出对软件工程课程的希望及个人目标。2、软件工程是不是教会不怎么会写程序的人开发软件?
2023-03-26 19:21:05
31
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人