今天（周六 2022-10-22）的课程理解并掌握如下常识（就是张嘴就来，习惯性的“话术＂即专业逻辑）就可以：1.软件开发的方法与过程？第一步：基于（面向对象）方法指导。第二步：按照（RUP）生命周期过程模型实现。第三步：＂3个时期－8个过程活动任务＂：3-8完成软件系统的开发。具体的实现过程如下：… … …。2.怎么样体现“3＋1”专业逻辑表，自然地建立知识结构，体现完善的知识体系的思维活动。3.编程即源代码是怎么样机械翻译实现的？举例说明用C C++ C# go Java Python等语言实现完成同一个问题的编程？4.《软件工程》主要讲授什么内容？5.问题的解决，软件系统开发，均表现为：以开发计划为核心，通过启动、计划、执行任务和控制验证、收尾等5个任务组。6.任何一个任务：应该象同学们可行性研究内容的演讲的规范逻辑一样，说清楚：目的、步骤、成果和技术方法等四个方面。7.归根结底，几个场景化参与例子，你的感悟和启发，专业语言怎么样说呢？
是指软件从立项开始，经过开发、使用和不断修改，直到最后废弃的整个过程。通常将软件的生命周期划分六个阶段：系统调查、系统分析、系统设计、程序设计、系统测试和运行维护，在软件开发的每一个阶段，都有明确的目标和任务。 (1)调查研究阶段。调查现行系统的组织分工、业务流程以及资源，提出新系统的目标，并从技术、经济、社会等方面进行软件开发的可行性研究。 (2)系统分析阶段。研究现行系统的业务流程，确定新系统的功能界面，建立新系统的逻辑模型，包括数据流程图、数据字典和处理过程等，主要任务是明确系统"做什么"。 (3)系统设计阶段。主要解决"怎么做"，即提出系统的物理模型。包括总体结构设计、硬件体系结构设计、数据库设计、代码设计、输入输出设计以及模块结构图等。 (4)系统实施阶段。即程序设计阶段。 (5)系统调试阶段。测试各模块及系统的正确性。 (6)运行维护阶段。系统投入运行，并对软件进行不断的修改和维护。 (7)废弃(终止)阶段。
3+1课堂特点表现为：回答：不能直接的-我是谁、回述问题 、基于知识点解决回答问题 专业训练： 逻辑性、结构化、层次逐步结局指导软件开发过程的方法论：软件开发规范、原理、过程管理要求
目录前言一、形式化方法定义二、形式化方法分类三、形式化方法意义四、形式化方法作用五、形式化方法优缺点1.优点2.缺点前言形式化方法英文的名称是formalmethods，形式化方法模型的主要活动是生成计算机软件形式化的数学规格说明。形式化方法使软件开发人员可以应用严格的数学符号来说明、开发和验证基于计算机的系统。一、形式化方法定义软件形式化方法是指建立在严格数学基础上的软件开发方法。在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用符号与符号之间的联系表达命题或推理的形式结构。二、形式化方法分类根据说明目标软件系统的方式，形式化方法可以分为两类：面向模型的形式化方法。面向模型的方法通过构造一个数学模型来说明系统的行为。面向属性的形式化方法。面向属性的方法通过描述目标软件系统的各种属性来间接定义系统行为。根据表达能力，形式化方法可以分为五类：1.基于模型的方法2.基于逻辑的方法3.代数
下载https://pan.baidu.com/s/11BIl9VyeRX1M61-GgbvrHQ提取码：lm92解压后把 git汉化包\汉化包\git-gui\lib目录下的msgs目录将其放到/mingw64/share/git-gui/lib/ 下即可，重新打开git gui即可