巴蒂青葱

摘要： 软件工程——理论、方法与实践 之 面向对象基础面向对象技术是软件工程领域中的重要技术，这种技术比较自然的模拟了人类认识客观世界的方式，是当前计算机软件工程学中的主流方法。面向对象方法认为:客观世界是由对象组成的，任何客观的事物或实体都是对象，复杂的对象可以由简单的对象组成；具有相同数据和相同操作的对... 阅读全文

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