SanShaoS

摘要： 人月神话作为一本二十多年前出，讲三十年前软件专案管理问题与经验的书，直到今天依旧出现在我们面前，必然有其重要意义。作为一名大学生，没有什么工作经验，仅能从书中获得些许感悟，也许不久的将来我会亲身经历。初看书名，以为是一本神话体系小说，还有点诧异老师为什么推荐我们阅读，直到翻阅本书，才明白何谓“人月”... 阅读全文

摘要： 第六章 面向对象基础面向对象技术（Object Oriented Technology）是软件工程领域中的重要技术，这种技术比较自然的模拟了人类认识客观世界的方式，成为当前计算机软件工程学中的主流方法。应该特别强调的是，面向对象技术不仅仅是一种程序设计方法，更是一种对真实世界的抽象思维方式。一.面向... 阅读全文

摘要： 第五章 软件工程中的形式化方法从广义上讲，形式化方法（Formal Method）是指将离散数学的方法用于解决软件工程领域的问题，主要包括建立精确地数学模型以及对模型的分析活动。狭义的讲，形式化方法是运用形式化语言，进行形式化的规格描述、模型推理和验证的方法。将形式化方法运用于软件工程实践当中的主要... 阅读全文