haha_7的博客

形式化方法1.概念软件形式化方法是指建立在严格数学基础上的软件开发方法。形式化方法模型的主要活动是生成计算机软件形式化的数学规格说明。形式化方法使软件开发人员可以应用严格的数学符号来说明、开发和验证基于计算机的系统。这种方法特别在数学、计算机科学、人工智能等领域得到广泛运用。它能精确地揭示各种逻辑规律，制定相应的逻辑规则，使各种理论体系更加严密。同时也能正确地训练思维、提高思维的抽象能力。在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其

英文地址：http://manifesto.softwarecraftsmanship.org/Manifesto of Software Craftsmanship软件工艺宣言As aspiring Software Craftsmen we are raising the bar of professional software development by practicing it and helping others learn the craft. Through this work we

1.WBS基本概念工作分解结构：WorkBreakdownStructure（简称WBS）。对应当由项目团队执行以便实现项目目标，并创造必要的可交付成果工作，按可交付成果所做的层次分解。WBS将项目的整个范围组织在一起并加以明确，就是把一个项目，按一定的原则分解，项目分解成任务，任务再分解成一项项工作，再把一项项工作分配到每个人手中，直到分解不下去为止。即：项目→任务→工作→个人。WBS总是处于计划过程的中心，也是制定进度计划、资源需求、成本预算、风险管理计划和采购计划等的重要基础。2.WBS基本内

英文原文：[Why Software Development Methodologies Suck](https://continuousdelivery.com/2012/08/why-software-development-methodologies-suck/) 译文出处：[为什么软件开发方法论让你觉得糟糕？](https://www.ituring.com.cn/article/13466)围绕软件开发实践和方法论，总有很多教条式的口水仗。阶段式（phase-gate）方法能够有效管..

Quora精选：为什么软件开发周期总是预期的2~3倍？原文链接：https://www.sohu.com/a/132411358_355123软件开发周期预估：软件开发周期预估就是根据软件的开发内容、开发工具、开发人员等因素对需求调研、程序设计、编码、测试等整个开发过程所花费的时间做的预测。软件开发周期预估在软件开发中也是较为困难的工序之一，因为软件开发所涉及的因素不仅多而且异常复杂。软件开发是一项非常复杂的工程，不仅包含需求分析、设计、编码、测试、实施、维护等不同的过程，还涉及到开发工具、开发人员

一、实验目的：1. 理解I/O流的概念，掌握其分类2、掌握文本文件读写、二进制文件读写 二、实验环境：JAVA + Window + Eclipse三、实验内容：1、分别使用FileWriter 和 BufferedWriter 往文件中写入1万个随机数，比较用时的多少？(用时采用方法System.currentTimeMillis()）求时间差;FileWriter代码：package code5;import java.io.FileWriter;import j

原文：A Generation Lost in the Bazaar （发表于 ACM Queue vol. 10, no. 8, 2012）作者：保尔－亨宁·凯普（Poul-Henning Kamp） 翻译：@李松峰13年前，新兴的草根开源软件运动如火如荼，而Eric Raymond的《大教堂与集市》（O’Reilly Media, 2001）一书则重新定义了我们的词汇表，几乎预言了瀑布模型和大型软件公司的终结。这本书有煽动性，但却没有说服我。与此同时，由于我正全身心投入开源 运动，也就情不自禁地宁愿

软件工程：软件工程是研究和应用如何以系统性的、规范化的、可定量的过程化方法去开发和维护软件，以及如何把经过时间考验而证明正确的管理技术和当前能够得到的最好的技术方法结合起来的学科。它涉及到程序设计语言、数据库、软件开发工具、系统平台、标准、设计模式等方面。软件工程包括技术和管理两方面的内容，是技术与管理紧密结合所形成的。所谓管理就是通过计划、组织和控制等一系列活动，合理地配置和使用各种资源，以达到既定目标的过程。软件工程专业以计算机科学与技术学科为基础，强调软件开发的工程性，使学生在掌握计算机科学与技

一.基本概念二.基本算法（明天补回来）

一、实验目的：1. 理解I/O流的概念，掌握其分类2、掌握文本文件读写、二进制文件读写 二、实验环境：JAVA + Window + Eclipse三、实验内容：1、分别使用FileWriter 和 BufferedWriter 往文件中写入1万个随机数，比较用时的多少？(用时采用方法System.currentTimeMillis()）求时间差;FileWriter代码：package code5;import java.io.FileWriter;import j