qq_53309544的博客

原创 什么是形式化方法？

1.形式化方法可以分为形式化描述和建立在形式化描述基础之上的形式化开发。形式化的描述就是用形式化的语言(具有严格的语法语义定义的语言)做描述。形式化的软件开发，就是用形式化的语言来描述软件需求和特征，并且通过推理验证来保证最终的软件产品是否满足这些需求和具备这些特征。这样的验证当然得建立在严格的语法语义的基础之上的。在实际应用中，这是不容易做到的。形式化方法研究的目的就是希望能够提供更好的理论、方法和工具，扩大形式化方法的应用范围和使用价值。2.形式化方法的意义在于它能帮助发现其它方法不容易发现的系统描

原创 Java的反射机制

一、什么是反射：（1） JAVA反射机制是在运行状态中，对于任意一个类，都能够获取这个类的所有属性（属性的权限修饰符，数据类型，变量名等）和方法（方法名，返回值，参数等），构造器，运行时类实现的接口，所在的包，注解等，对于任意一个对象，都能够调用它的任意一个方法和属性，这种动态获取的信息以及动态调用对象的方法的功能称为java语言的反射机制。本质是JVM得到class对象之后，再通过class对象进行反编译，从而获取对象的各种信息。功能：即：在运行时可以：知道这个类有哪些属性和方法；构造任意一个类

原创 决策表和决策树

决策表：决策表又称判断表，是一种呈表格状的图形工具，适用于描述处理判断条件较多，各条件又相互组合、有多种决策方案的情况。精确而简洁描述复杂逻辑的方式，将多个条件与这些条件满足后要执行动作相对应。但不同于传统程序语言中的控制语句，决策表能将多个独立的条件和多个动作直接的联系清晰的表示出来。决策树： 决策树是一种机器学习的方法。决策树的生成算法有ID3, C4.5和C5.0等。决策树是一种树形结构，其中每个内部节点表示一个属性上的判断，每个分支代表一个判断结果的输出，最后每个叶节点代表...

原创 程序流程图和盒图

原创 分而治之和WBS

分而治之：把一个难以解决的问题分成为若干个小问题，使问题变得容易解决。（在软件工程中这种方法称为WBS）WBS是将一系列复杂的问题变成小问题，从而解决问题。

原创 软件工程与计算机科学与技术的区别

软件工程是一门主要是开发软件方面的学科，计算机科学技术是一门研究计算机本身性质及问题的一门学科。软件工程和计算机科学与技术在研究领域不同，软件工程是研究软件架构和软件的开发方法而计算机科学是研究信息处理的科学。就业方向不同，软件工程以后主要是从事程序员工作，而计算机科学与技术就业面向各种单位。...

原创 软件工程方法论用处

软件工程是软件开发和维护的一门工程学科。从软件工程的定义我们可以知道：软件工程方法论就是教给人们开发软件更科学的方法。软件工程方法论教给我们的是一种开发软件的思维，并不是开发一个软件的实际操作，一般是给予我们软件开发过程的模型，如瀑布模型，喷泉模型······同时也使得开发人员在开发软件的过程中更加地规范化，以便于后续过程中软件的修改和优化。通过这几天对软件工程学习，我知道了软件项目的开发和飞机的制造类似是一个系统的工程。整个过程是可以有效组织起来的，而对于开发过程的各个阶段，已经有很多解决问题的最佳的实践

原创 自我简介（作业一）

我是桂林理工大学大二软件工程专业在读的学生，目前掌握c语言在大学四年中将会继续学习python和java。我希望在软件工程专业中掌握编译语言在以后的工作中能够熟练运用所掌握的编译语言，并且能够开发出可以方便使用的软件。软件工程这门课程能够教会不怎么会写程序的人开发软件，因为软件工程专业中有各种编译语言课程，能够教会初学者使用编译语言。并会学习算法，在实验中进行实验，从而开发软件。...