Tiger985的博客

项目名：餐馆点餐系统

在Laurent Bossavit的好书《The Leprechauns of Software Engineering》中， 他抨击了软件开发的一些惯式，比如“成本变化”（或“缺陷成本”）“曲线”，这些惯式是许多其它的软件开发方法论知识基础，称开发人员生产率的变化是一个数量级（参照确定性金字塔原理）。Laurent Bossavit说明了相关依据 – 很多人依赖从计算机科学专业学生进行的非正式试验或是从无法被有效控制的项目中收集小量数据。这些研究组织的给出的论调基础往往是不健全的，数据缺乏分析，而且，最过

什么是形式化方法形式化方法英文的名称是formal methods。在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用符号与符号之间的联系表达命题或推理的形式结构。例如,把全称肯定命题,用符号形式化为“SAP”;把联言命题、假言命题分别形式化为:“p∧q、“p→q”。又例如:一个具体的假言联言推理“如果

1、

#对软件工程课程的希望能够系统地学习本专业的核心知识，从单纯地写代码到以解决工程问题为目的的代码编写。#个人目标提升软件工程专业素养，提升解决实际问题的能力#关于“软件工程是不是教会不怎么会写程序的人开发软件”的观点我认为不是。写程序作为一项基本技能，任何领域的人都可以学习。但是软件开发并不只是简单的写程序，它是一项复杂的工程系统，你需要做好需求分析、项目规划等等。所以软件工程应当是教会已经掌握了扎实的编程基础的人去更好地统筹，从而更好地进行软件开发工作。#Manifesto for Softw