2015年2月15日

软件工程----6面向对象基础

摘要： 1 面向对象方法概述 面向对象技术是软件工程领域的重要技术。面向对象=对象+类+继承+通信 面向对象的发展历史 1 初始阶段 2 发展阶段 3 成熟阶段 面向对象的软件工程方法：1 面向对象分析 2 面向对象设计 3 面向对象编程 4 面向对象测试 5 面向对象维护2 面向对象基本概念 对象从不同角... 阅读全文

posted @ 2015-02-15 16:48 bingoing 阅读(132) 评论(0) 推荐(0) 编辑

软件工程----5形式化方法

摘要： 1 形式化方法的基本概念 形式化规约 形式证明与验证 程序求精2 时态逻辑 krioke结构可以表示为一个有向图 一阶线性时态逻辑是一阶谓词逻辑的扩展。 队列及其操作：队列是一种常用的数据抽象类型他服从先进先出的FIFO规则。在某一时刻队列可以为空。 1 活性 2 安全性 汉诺塔操作规划问题 计算树... 阅读全文

posted @ 2015-02-15 15:38 bingoing 阅读(190) 评论(0) 推荐(0) 编辑

导航