1u面向对象方法及其应用__1.ppt

王瑞 Email: kuailehts@163.com 2012年8月27日;王瑞 2001.9—2005.7 兰州大学 计算机科学与技术专业 2005.9—2008.9 兰州大学 软件与理论所形式化验证实验室 研究方向： 形式化验证（Formal Verification）-模型检测（Model Checking）--电路的等价性验证（Equivalence Checking For Circuits ） 研究方向简介 属与软件工程测试环节的一个分支。用数学的方法验证推理计算机的问题。 ;教学计划 软件开发的基本认识 面向对象技术概述 UML概述 ;一. 为什么学习这门课？ 从程序员(programmer)到系统分析员(system analyst) 从建筑工人(worker)到建筑师(architect);二、课程要求： 清晰、准确、熟练地掌握面向对象方法的主要思想、基本概念与原则。 针对具体问题会应用面向对象技术进行系统分析和设计，掌握在 EA 环境下用UML进行分析和设计的技术。 学会用Java或其它面向对象语言实现用面向对象方法建立的系统模型。;三、预备知识： 了解软件工程的基本原理，会使用 Java 或其它OOPL。 OOPL: Object-Oriented Programming Language 本课程和其它课程的关系;四、