mrW45-CSDN博客

原创了解什么是形式化方法

斗转星移，历史依旧重演，形式化方法可以分为形式化描述和建立在形式化描述基础之上的形式化开发。形式化的描述就是用形式化的语言(具有严格的语法语义定义的语言)做描述。形式化的软件开发，就是用形式化的语言来描述软件需求和特征，并且通过推理验证来保证最终的软件产品是否满足这些需求和具备这些特征。这样的验证当然得建立在严格的语法语义的基础之上的。在实际应用中，这是不容易做到的。形式化方法研究的目的就是希望能够提供更好的理论、方法和工具，扩大形式化方法的应用范围和使用价值。英文的名称是formal methods。是用

2022-04-17 22:36:42 250

原创了解java的反射机制

Java的反射机制的实现要借助于4个类：class，Constructor，Field，Method；其中class代表的时类对象，Constructor－类的构造器对象，Field－类的属性对象Method－类的方法对象。通过这四个对象我们可以粗略的看到一个类的各个组成部分。反射会消耗一定的系统资源，反射调用方法时可以忽略权限检查，因此可能会破坏封装性而导致安全问题。在运行时判断任意一个对象所属的类；在运行时构造任意一个类的对象；在运行时判断任意一个类所具有的成员变量和方法；在运行时调用任意一个对象的方法

2022-04-17 22:34:49 161

原创为什么软件开发方法论让你觉得糟糕？

lesson1：别对方法论抱有什么奇怪的期待lesson2：不要让老师察觉lesson3：相信软工吧，只管相信就是了！lesson4：表达敬意吧，表达出敬意，然后迈向软工的另一个全新阶段lesson5：最短的捷径就是绕远路，绕远路才是我的最短捷径只要你说出四次软件开发方法论太糟糕了，你就会对软工有全新的领悟，但一定是要迫不得已之时...

2022-04-06 22:44:36 216

原创软件工程是不是教会不怎么会写程序的人开发软件?你的观点?

不完全是，软件工程是一门多方面广泛应用的学科，学习软件工程能让我们在多行业中发展，软件是软件工程关键的一部分但不是全部，操作系统，面向对象程序设计，软件工程导论，软件工程专业导论，数字逻辑，强大的软工人定当全部精通，百般专业，此乃软件工程之道，如果只理解为开发软件，那你作为一个软工人就是肤浅的，只知皮毛的，学术不精的，无法独立的，因此好好学习这门课程，必可活用于下一次。...

2022-04-06 22:34:12 225

原创什么是分而治之

首先把一个大的问题分成两个或多个更小的问题，然后分别解决每个小问题，再把各小问题的解答组合起来，即可得到原问题的解答。因为小问题通常与原问题相似，所以可以递归地使用分而治之策略来解决。...

2022-04-06 22:27:12 41

原创为什么软件开发周期总是预估的2-3倍

我审慎思考并总结了一下。开发环境与过程会极大的影响进度。计划赶不上变化，就算制定了规范的计划书，但是有时候实际问题还是会超乎我们的想象力与能力。不同需求理解有差异，用户表达的和程序员理解的不一样，出现偏差。软件开发的思维模式不能像数学一样简单的计算，软件开发过程没有公式可以套，不是按照一定的步骤就能得到想要的结果。总之，慢慢开发吧。...

2022-04-06 22:24:49 72

原创总结软件工程与计算机科学的关系及区别

软件工程和计算机科学，你的选择是对你的考验，很多情况下你会一头雾水，但那些坚持自己道路，永不放弃的人，终会在0与1组成的二进制海洋中找寻到真正的黄金法则，引导自身走向成功。计算机科学，研究计算机及其周围各种现象和规律的科学，亦即研究计算机系统结构、程序系统、人工智能以及计算本身的性质和问题的学科。软件工程是一门研究用工程化方法构建和维护有效的、实用的和高质量的软件的学科。它涉及程序设计语言、数据库、软件开发工具、系统平台、标准、设计模式等方面。计算机科学与技术专业和软件工程专业同属计算机类专业，他们的...

2022-03-09 20:39:24 6320

原创软件工程方法论对我们经软件开发的用处

我认为软件工程方法在开发软件的整个过程中起到了相当重要的作用，它相当于软件开发的核心。软件工程的方法论就像是程序员进行开发的宝典。小到个人的发展，大到企业的管理。都无法脱离软件工程的方法论。它对于我们每一个人的代码规范有很重要的作用，同样对于企业的管理也是不可或缺的，可以想象一个没有规范的世界是多么混沌无序。我可以感受到我们的项目是在软件工程的思想下才能基本有条理地往前进行，否则每个人各写各的会非常难以合作一起管理。软件工程方法论是从对任务的抽象逻辑分析开始，一个一个分阶段的进行开发。方法论对每一个阶段任务

2022-03-09 20:24:09 178

qq_58960421的博客