- 博客(4)
- 收藏
- 关注
RSS订阅原创 什么是形式化方法
什么是形式化方法在计算机科学和软件工程领域，形式化方法是基于数学的特种技术，适合于软件和硬件系统的描述、开发和验证。软件形式化方法最早可追溯到20世纪50年代后期对于程序设计语言编译技术的研究，即J.Backus提出BNF描述Algol60语言的语法，出现了各 种语法分析程序自动生成器以及语法制导的编译方法，使得编译系统的开发从“手工艺制作方式”发展成具有牢固理论基础的系统方法。形式化方法的研究高潮始于 20世纪60年代后期，针对当时所谓“软件危机”,人们提出种种解决方法,归纳起来有两类：一是采用工程方
2020-10-28 18:55:39
72
原创 软件工程第三次课后作业
为什么软件开发周期总是预估的2~3倍？预估的开发周期是理想状态下的结果，在实际开发过程中，难免会产生各种各样的因素。软件出现bug，开发人员出现变故，需求的变更等等都有可能成为影响软件开发进度的因素。什么是分而治之？当遇到一个非常庞大的问题，难以解决的时候，将大问题分解成多个小问题，使每个小问题都能够被轻松解决。但是分解的时候需要注意：复杂问题分解后，每个问题能否用程序实现？所有程序能否集成一个软件系统并有效解决原始的问题？了解WBSWBS：工作分解结构。 创建WBS是把项目工作按阶段可交付成果分
2020-10-28 18:38:01
102
原创 软件工程第二次课后作业
manifesto for software craftsmanship软件工艺宣言转自http://manifesto.softwarecraftsmanship.org/homework题目：软件工程方法论对我们经软件开发有多大用处？谈谈你的看法。软件工程方法学包含3个要素:方法、工具和过程。其中，方法是完成软件开发的各项任务的技术方法，回等“怎样做”的问题；工具是为运用方法而提供的自动的或半自动的软件工程支撑环境；过程是为了获得高质量的软件所需要完成的一系列任务的框架，它规定了完成各项任务的
2020-10-28 18:20:00
111
原创 个人简介及第一次课后作业
个人介绍我是一名桂林理工大学18级软件工程专业的学生，接下来的时间会在博客上不定时更一些学习日常。个人对于软件工程课程的希望在我的理解中，软件工程是一门同时包含理论和实践的课程，讲述了软件工程的基本原理和概念软件开发的各个阶段等等，相对来说更注重实践。本人希望能够通过这门课程学习到软件开发的原理，过程，能设计出简单的项目。个人目标能基本理解软件工程课程的概念，homework题目：软件工程是不是教会不怎么会写程序的人开发软件？你怎么看。首先软件工程是一项包含很多的科目。里面不仅仅涉及到了编程
2020-10-28 16:46:51
80
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人