程序设计方法学
对比教学在程序设计方法学中的应用

查
内容 根有
实 课 理 课进 安 是 满意 验 与 论 度 排 否
非常
对 验 趣 实 课的
助 非 满 常 意 比 根 较 慨 &
帮 有 助 无 响 助 帮 影
满意 一 不 意 不 很 比 一 般 满 满 高 较高 般 意
8 . 13
9 . 5.
09 .
表 3 实 验 课教 学情 况 调 查 结 果
课 前 提 问 课 后 布 置 日题 书 面 作 业 批 改
9 . 28 9 . 2O 9 . 64
45 . 35 . 0O .
27 45 . 36 .
【 教法研究 】
对 比教学在程序设 计方法学 中的应用
邓淼磊 , 刘继才
( 河南工业大学 信息科学与工程学院, 河南
郑州
400 ) 50 1
摘 要: 程序设计 方法学是计算机专业的基础课 , 是一 门研 究程序 的性质 以及程序设计理论和方 法的学科 。主 要 内容 包括 结构化程序设计方法、 面向对象的程序设计方法和 大型程序设计方法 、 程序 正确性证 明等 。其 中结构 化程序设计方法和面向对 象设计方法是 目前程序 设计方法学 中使用较 多的两种 方法 , 如何使 学生理解、 掌握 、 运 用这两种方法,笔者在教 学的研 究 中采用了对 比教 学的方法来指 导学生完成 了课程 的设计 ,通过 多年 的教 学总 结, 对比教 学方法能有效的提 高教 学质量 , 得到 了大 多数 学生的肯定。 关键词 : 程序设计方法学; 结构化程序设计 ; 面向对 象程序设计; 对比教 学
断地改进 和发展。程序设计方法学 在发展 的过程 中大 致经历 了 :从 手工艺式的设计方法 到结构化设计方 法 再 到模 块化 设计 方 法最后 到面 向对 象设 计 方法 的过
程序设计方法学PPT课件

2024/6/6
8
⑵ 代数方法
通过联系不同的操作间的行为关系给出操作的隐 式定义,未给出并发的显式表示。
如:OBJ、Larch
⑶ 过程代数方法
给出并发过程的一个显式模型,并通过过程间允 许的可观察的通信上的限制来约束表示行为。
如:CSP(通信顺序进程)和CCS(通信系统计算)
⑷ 基于逻辑的方法
采用逻辑来描述系统的特性,包括程序行为的低 级规范和系统时间的行为规范。
– 形式化的级别,应先确定应用的关键程度、项 目规模、可用资源等确定采用非、半或高度形 式化的描述
2024/6/6
22
– 使用范围,尽管形式化可以适应所有的开发阶 段,但通常应有选择的使用,对那些安全性、 可信性要求高的构件应用高度的形式化
– 工具,工具的支持在形式化方法中具有重要的 位置,应根据具体项目,综合上述因素选择合 适的工具
(1) 双重类:此类方法兼具二者的特点,如:扩展状 态机/实时时态逻辑等。
Байду номын сангаас
2024/6/6
14
形式化规范的成功案例
• IBM商用信息系统,牛津大学和Hursley实验室使用Z 语言。总体成本降低9%,获皇家技术成就奖。
• Praxis公司使用VDM开发的伦敦机场信息显示系统, 软件质量大为提高,故障率0.75(2~20)每K行代码。
2024/6/6
21
五、认识
• 形式化方法成长至今争议声不断,应正确地认识 形式化方法,在结合到具体的软件开发过程时应 考虑:
– 应用的类型,考虑问题领域的特点和模型的复 杂性
– 规模和结构,较适应中等规模的系统,大型系 统应考虑具有良好的结构
– 类型的选择,应从所确定的目标出发考虑采用 的形式化方法的类型
程序设计方法学

程序设计方法学简介程序设计方法学是指在软件开发中,根据一定的规律和原则进行程序设计的一种方法论。
它包括了程序的设计过程、设计原则、设计模式等方面的内容。
程序设计方法学旨在提高程序的可读性、可维护性和可扩展性,降低程序设计的风险,并最大程度地提高开发效率。
设计过程程序设计方法学的设计过程包括需求分析、概要设计、详细设计、编码和测试等几个阶段。
需求分析需求分析是指通过与用户沟通、收集用户需求,对系统需求进行详细的分析和定义。
在需求分析阶段,我们可以通过使用UML类图、用例图等工具来构建系统模型,以便更好地理解用户需求。
概要设计概要设计是将需求分析得到的模型转化为软件系统的总体设计。
在概要设计阶段,我们需要定义软件系统的架构、模块划分、数据结构和算法等。
概要设计的目标是保证系统的高性能、稳定性和扩展性。
详细设计详细设计是在概要设计的基础上,对软件系统的各个模块进行详细设计。
在详细设计阶段,我们需要定义每个模块的接口、数据结构、算法等。
详细设计的目标是保证模块的内聚性和耦合性,并确保模块之间的良好协调。
编码编码是将详细设计得到的方案转化为具体的源代码实现。
在编码阶段,我们需要根据设计文档编写代码,并进行测试和调试。
编码的目标是保证代码的可读性、可维护性和可扩展性,提高程序的质量。
测试测试是对编码得到的程序进行验证和验证。
在测试阶段,我们需要编写测试用例,并进行单元测试、集成测试和系统测试等。
测试的目标是发现和修复潜在的问题,确保程序的功能和性能符合预期。
设计原则程序设计方法学中有许多设计原则可供开发人员参考。
以下是几个常用的设计原则:单一职责原则(Single Responsibility Principle, SRP)单一职责原则是指一个类或模块只负责一项职责。
这种设计原则可以使代码更加清晰和易于维护,提高系统的灵活性和可扩展性。
开放封闭原则(Open-Closed Principle, OCP)开放封闭原则是指软件实体应该对扩展开放,对修改封闭。
程序设计方法学

程序设计方法学程序设计方法学是一门研究程序设计过程、方法和技术的学科。
它不仅关注编程语言的选择和使用,更重视程序设计过程中的思维方式、设计原则以及开发工具的应用。
程序设计方法学的目的是提高软件开发的效率和质量,减少错误,确保软件的可维护性和可扩展性。
程序设计的基本过程程序设计的基本过程通常包括以下几个阶段:1. 需求分析:了解用户需求,明确软件需要实现的功能和性能指标。
2. 系统设计:根据需求分析结果,设计软件的架构和模块划分。
3. 编码实现:选择合适的编程语言,按照设计文档进行编码。
4. 测试验证:对编写的代码进行测试,确保其满足需求并且没有错误。
5. 维护与升级:软件发布后,根据用户反馈进行维护和升级。
程序设计的原则在程序设计过程中,遵循一些基本原则是非常重要的,这些原则包括:- 模块化:将程序划分为多个模块,每个模块负责一部分功能,易于管理和维护。
- 抽象:通过抽象隐藏不必要的细节,使程序设计更加简洁。
- 封装:将数据和操作数据的方法封装在一起,提高代码的安全性和可重用性。
- 继承:利用继承机制减少代码重复,提高代码的可维护性。
- 多态:允许不同类的对象对同一消息做出响应,但具体行为则取决于对象的实际类型。
程序设计的方法和技术程序设计的方法和技术多种多样,以下是一些常见的方法和技术:- 面向对象编程(OOP):一种以对象为中心的编程范式,强调数据和功能的结合。
- 函数式编程:一种编程范式,强调函数的不可变性和无副作用。
- 逻辑编程:使用逻辑规则来编写程序,适合处理复杂的问题求解。
- 迭代开发:通过快速迭代的方式开发软件,每次迭代都提供可工作的软件版本。
- 敏捷开发:一种以人为核心、迭代、循序渐进的软件开发方法。
程序设计的工具现代程序设计中,使用各种工具可以大大提高开发效率:- 集成开发环境(IDE):提供代码编辑、编译、调试等功能。
- 版本控制系统:如Git,用于代码的版本管理和多人协作。
大学各专业名称英文翻译(一)——工学_ENGINEERING

大学各专业名称英文翻译(一)——工学ENGINEERING课程中文名称课程英文名称高等数理方法Advanced Mathematical Method弹塑性力学Elastic-Plastic Mechanics板壳理论Theory of Plate and Shell高等工程力学Advanced Engineering Mechanics板壳非线性力学Nonlinear Mechanics of Plate and Shell复合材料结构力学Structural Mechanics of Composite Material弹性元件的理论及设计Theory and Design of Elastic Element非线性振动Nonlinear Vibration高等土力学Advanced Soil Mechanics分析力学Analytic Mechanics随机振动Random Vibration数值分析Numerical Analysis基础工程计算与分析Calculation and Analysis of Founda tion Engineering结构动力学Structural Dynamics实验力学Laboratory Mechanics损伤与断裂Damage and Fracture小波分析Wavelet Analysis有限元与边界元分析方法Analytical Method of Finite Element and Boundary Element最优化设计方法Optimal Design Method弹性力学Elastic Mechanics高层建筑基础Tall Building Foundation动力学Dynanics土的本构关系Soil Constitutive Relation数学建模Mathematical Modeling现代通信理论与技术Emerging Communications Theory and Technology数字信号处理Digital Signal Processing网络理论与多媒体技术Multi-media and Network Technology医用电子学Electronics for Medicine计算微电子学Computational Microelectronics集成电路材料和系统电子学Material and System Electronics for In tegrated Circuits网络集成与大型数据库Computer Network Integrating Technology and Large scale Database 现代数字系统Modern Digital System微机应用系统设计Microcomputer Application Design计算机网络新技术Modern Computer Network Technologies网络信息系统Network Information System图像传输与处理Image Transmission and Processing图像编码理论Theory of Image Coding遥感技术Remote Sensing Techniques虚拟仪器系统设计Design of Virtual Instrument System生物医学信号处理技术Signal Processing for Biology and Medicine光纤光学Fiber OpticsVLSI的EDA技术EDA Techniques for VLSI电子系统的ASIC技术ASIC Design TechnologiesVLSI技术与检测方法VLSI Techniques & Its Examination专题阅读或专题研究The Special Subject Study信息论Information Theory半导体物理学Semiconductor Physics通信原理Principle of Communication现代数理逻辑Modern Mathematical Logic算法分析与设计Analysis and Design of Algorithms高级计算机网络Advanced Computer Networks高级软件工程Advanced Software Engineering数字图像处理Digital Image Processing知识工程原理Principles of Knowledge Engineering面向对象程序设计Object-Oriented Programming形式语言与自动机Formal Languages and Automata人工智能程序设计Artificial Intelligence Programming软件质量与测试Software Quality and Testing大型数据库原理与高级开发技术Principles of Large-Scale Data-Bas e and Advanced Development Technology自然智能与人工智能Natural Intelligence and Artificial Intelligence Unix操作系统分析Analysis of Unix System计算机图形学Computer GraphicsInternet与Intranet技术Internet and Intranet Technology多媒体技术Multimedia Technology数据仓库技术与联机分析处理Data Warehouse and OLAP程序设计方法学Methodology of Programming计算机信息保密与安全Secrecy and Security of Computer Information电子商务Electronic Commerce分布式系统与分布式处理Distributed Systems and Distributed Processing并行处理与并行程序设计Parallel Processing and Parallel Programming模糊信息处理技术Fuzzy Information Processing Technology人工神经网络及应用Artificial Intelligence and Its Applications Unix编程环境Unix Programming Environment计算机视觉Computer Vision高级管理信息系统Advanced Management Information Systems信息系统综合集成理论及方法Theory and Methodology of Information n System Integration计算机科学研究新进展Advances in Computer Science离散数学Discrete Mathematics操作系统Operating System数据库原理Principles of Database编译原理Principles of Compiler程序设计语言Programming Language数据结构Data Structure计算机科学中的逻辑学Logic in Computer Science面向对象系统分析与设计Object-Oriented System Analysis and Design高等数值分析Advanced Numeric Analysis人工智能技术Artificial Intelligence Technology软计算理论及应用Theory and Application of Soft-Computing逻辑程序设计与专家系统Logic Programming and Expert Systems模式识别Pattern Recognition软件测试技术Software Testing Technology高级计算机网络与集成技术Advanced Computer Networks and Integration Technology 语音信号处理Speech Signal Processing系统分析与软件工具System Analysis and Software Tools计算机仿真Computer Simulation计算机控制Computer Control图像通信技术Image Communication Technology人工神经网络及应用Artificial Intelligence and Its Applications计算机技术研究新进展Advances in Computer Technology环境生物学Environmental Biology水环境生态学模型Models of Water Quality环境化学Environmental Chemistry环境生物技术Environmental Biotechnology水域生态学Aquatic Ecology环境工程Environmental Engineering环境科学研究方法Study Methodology of Environmental Science藻类生理生态学Ecological Physiology in Algae水生动物生理生态学Physiological Ecology of Aquatic Animal专业文献综述Review on Special Information废水处理与回用Sewage Disposal and Re-use生物医学材料学及实验Biomaterials and Experiments现代测试分析Modern Testing Technology and Methods生物材料结构与性能Structures and Properties of Biomaterials计算机基础Computer Basis医学信息学Medical Informatics计算机汇编语言Computer Assembly Language学科前沿讲座Lectures on Frontiers of the Discipline组织工程学Tissue Engineering生物医学工程概论Introduction to Biomedical Engineering高等生物化学Advanced Biochemistry光学与统计物理Optics and Statistical Physics图像分析Image Treatment数据处理分析与建模Data Analysis and Constituting Model高级数据库Advanced Database计算机网络Computer Network多媒体技术Technology of Multimedia软件工程Software Engineering药物化学Pharmaceutical Chemistry功能高分子Functional Polymer InternetIntranet程序设计方法学Methods of Programming InternetIntranet高分子化学与物理Polymeric Chemistry and Physics医学电子学Medical Electronics现代仪器分析Modern Instrumental Analysis仪器分析实验Instrumental Analysis Experiment食品添加剂Food Additives Technology高级食品化学Advanced Food Chemistry食品酶学Food Enzymology现代科学前沿选论Literature on Advances of Modern Science波谱学Spectroscopy波谱学实验Spectroscopic Experiment食品贮运与包装Food Packaging液晶化学Liquid Crystal Chemistry高等有机化学Advanced organic Chemistry功能性食品Function Foods食品营养与卫生学Food Nutrition and Hygiene食品生物技术Food Biotechnology食品研究与开发Food Research and Development有机合成化学Synthetic organic Chemistry食品分离技术Food Separation Technique精细化工装备Refinery Chemical Equipment食品包装原理Principle of Food Packaging表面活性剂化学及应用Chemistry and Application of Surfactant天然产物研究与开发Research and Development of Natural Products 食品工艺学Food Technology生物化学Biochemistry食品分析Food Analysis食品机械与设备Food Machinery and Equipment。
大学课程中英文对照大全

2440门大学课程中英文对照大汇集英文字母开头的课程ALGOL语言ALGOL LanguageBASIC & FORTRAN 语言BASIC Language & FORTRAN LanguageBASIC 语言BASIC LanguageBASIC 语言及应用BASIC Language & ApplicationC 语言C LanguageC++程序设计C++ Program DesigningCAD 概论Introduction to CADCAD/CAM CAD/CAMCET-4 College English Test (Band 4)CET-6 College English Test (Band 6)COBOL语言COBOL LanguageCOBOL语言程序设计COBOL Language Program DesigningC与UNIX环境C Language & Unix EnvironmentC语言科学计算方法Scientific Computation Method in CC语言与生物医学信息处理C Language & Biomedical Information ProcessingdBASE Ⅲ课程设计Course Exercise in dBASE ⅢFORTRAN 77 语言FORTRAN 77 LanguageFORTRAN语言FORTRAN LanguageFoxBase程序设计FoxBase ProgrammingHopf代数Hopf AlgebraHopf代数与代数群量子群Hopf Algebra , Algebraic Group and Qua ntum GroupIBM-PC/XT Fundamentals of Microcomputer IBM-PC/XTIBM-PC微机原理Fundamentals of Microcomputer IBM-PCIBM汇编及高级语言的接口IBM Assembly & its Interfaces with AdvancedProgramming LanguagesInternet与Intranet技术Internet and Intranet TechnologyLSI设计基础Basic of LSI DesigningOS/2操作系统OS/2 Operation SystemPASCAL大型作业PASCAL Wide Range WorkingPASCAL课程设计Course Exercise in PASCALPASCAL语言PASCAL LanguagePC机原理Principle of PCUnix编程环境Unix Programming EnvironmentUnix操作系统分析Analysis of Unix SystemVLSI的EDA技术EDA Techniques for VLSIVLSI技术与检测方法VLSI Techniques & Its ExaminationVLSI设计基础Basis of VLSI DesignWindows系统Windows Operation SystemX光分析X-ray AnalysisX射线金属学X-Ray & MetallographyX射线与电镜X-ray & Electric MicroscopeZ-80汇编语言程序设计Z-80 Pragramming in Assembly LanguagesB开头的课程板壳非线性力学Nonlinear Mechanics of Plate and Shell板壳理论Plate Theory , Theory of Plate and Shell板壳力学Plate Mechanics办公自动化Office Automatization办公自动化系统毕业设计Office Automatization Thesis办公自动化系统设计Office Automatization Design半波实验Semiwave Experiment半导体变流技术Semiconductor Converting Technology半导体材料Semiconductor Materials半导体测量Measurement of Semiconductors半导体瓷敏元件Semiconductor Porcelain-Sensitive Elements半导体光电子学Semiconductor Optic Electronics半导体化学Semiconductor Chemistry半导体激光器Semiconductor Laser Unit半导体集成电路Semiconductor Integrated Circuitry半导体理论Semi-conductive Theory半导体器件Semiconductor Devices半导体器件工艺原理Technological Fundamentals of Semiconductor Device半导体器件课程设计Course Design of Semiconductor Devices半导体物理Semiconductor Physics半导体专业Semi-conduction Specialty半导体专业实验Specialty Experiment of Semiconductor半群理论Semi-group Theory保健食品监督评价Evaluation and Supervision on Health Food s保险学Insurance保险学Insurance报告文学专题Special Subject On Reportage报刊编辑学Newspaper & Magazine Editing报刊选读Selected Readings of Newspaper & Magazine报纸编辑学Newspaper Editing泵与风机Pumps and Fans泵与水机Pumps & Water Turbines毕业论文Graduation Thesis毕业设计Graduation Thesis毕业实习Graduation Practice编译方法Compilation Method编译方法Methods of Compiling编译技术Technique of Compiling编译原理Fundamentals of Compiling, Principles of Compiler编译原理课程设计Course Design of Compiling变电站的微机检测Computer Testing in Transformer Substation变电站的微机检测与控制Computer Testing & Control in Transformer Substation变分法与张量Calculus of Variations & Tensor变分学Calculus of Variations变流技术Semiconductor Converting Technology变质量系统热力学与新型回转压Variable Quality System Thermal Mechanics & NeoRo表面活性剂化学及应用Chemistry and Application of Surfactant表面活性物质Surface Reactive Materials并行处理Parallel Processing并行处理与并行程序设计Parallel Processing and Parallel Programming并行算法Parallel Algorithmic波谱学Spectroscopy, Wave Spectrum波谱学实验Spectroscopic Experiment薄膜光学Film Optics薄膜物理Thin Film Physics不育症的病因学Etiology of InfertilityC开头的课程材料的力学性能测试Measurement of Material Mechanical Performance材料化学Material Chemistry材料力学Mechanics of Materials财税法规与税务会计Laws and Regulations of Finance and Taxes财务案例分析Case Analysis of Finance Management财务案例分析Case Analysis of Financial Management财务报告分析Analysis of Financial Statement财务成本管理Financial Cost Management财务管理Financial Management, Financial Cost Management财务管理与分析Financial Management and Analysis财务会计Financial Accountancy财政学Public Finance财政与金融Finance & Banking财政与税收Finance & Revenue财政与税收理论Theories on Public Finance and Tax Revenue财政与信贷Finance & Credit操作系统Disk Operating System (DOS)操作系统课程设计Course Design in Disk Operating System操作系统与编译原理Disk Operating System & Fundamentals of Compiling操作系统原理Fundamentals of Disk Operating System, Principles ofOperating System测量技术基础Foundation of Measurement Technology测量原理与仪器设计Measurement Fundamentals & Meter Design测试技术Testing Technology测试与信号变换处理Testing & Signal Transformation Processing策波测量技术Technique of Whip Wave Measurement策略管理Strategic Management产品学Production产业经济学Industrial Economy产业组织Industrial Organization产业组织学Industrial Organization Technology常微分方程Ordinary Differential Equations场论Field Theory超导磁体及应用Superconductive Magnet & Application超导及应用Superconductive & Application超高真空科学与技术Science and Technology of Ultrahigh Vacuum 60超精密加工和微细加工Super-Precision & Minuteness Processing超精微细加工Super-Precision & Minuteness Processing超声及应用Supersonics Application成本会计Cost Accounting成像原理与技术Principles & Technique of Imaging成组技术Grouping Technique城市规划原理Fundamentals of City Planning城市社会学Urban Sociology程控数字交换Program Controlling of Digital Exchange程序设计Program Designing程序设计方法学Methodology of Programming, Methods of Programming 程序设计及算法语言Program Designing & Algorithmic Language程序设计语言Programming Language齿轮啮合原理Principles of Gear Connection冲击测量及误差Punching Measurement & Error冲压工艺Sheet Metal Forming Technology抽象代数Abstract Algebra初等数学Primary Mathematics传坳概论Introduction to Pass Col传动概论Introduction to Transmission传感技术Sensor Technique传感技术及应用Sensor Technique & Application传感器及应用Sensors & Application传感器与检测技术Sensors & Testing Technology传感器原理Fundamentals of Sensors传感器原理及应用Fundamentals of Sensors & Application传热学Heat Transfer船舶操纵Ship Controlling船舶电力系统Ship Electrical Power System船舶电力系统课程设计Course Exercise in Ship Electrical Power System 船舶电气传动自动化Ship Electrified Transmission Automation船舶电站Ship Power Station船舶动力装置Ship Power Equipment船舶概论Introduction to Ships船舶焊接与材料Welding & Materials on Ship船舶机械控制技术Mechanic Control Technology for Ships船舶机械拖动Ship Mechanic Towage船舶建筑美学Artistic Designing of Ships船舶结构Ship Structure船舶结构力学Structural Mechanics for Ships船舶结构与制图Ship Structure & Graphing船舶静力学Ship Statics船舶强度与结构设计Designing Ship Intensity & Structure船舶设计原理Principles of Ship Designing船舶推进Ship Propelling船舶摇摆Ship Swaying船舶摇摆与操纵Ship Swaying & Manipulating船舶振动Ship Vibration船舶阻力Ship Resistance船体建造工艺Ship-Building Technology船体结构Ship Structure船体结构图Ship Structure Graphing船体结构与制图Ship Structure & Graphing船体振动学Ship Vibration船体制图Ship Graphing船用电器设备Marine Electrical Equipment创造心理学Creativity Psychology词汇学Lexicology磁测量技术Magnetic Measurement Technology磁传感器Magnetic Sensor磁存储设备设计原理Fundamental Design of Magnetic Memory Equipment磁记录Magnetographic磁记录技术Magnetographic Technology磁记录物理Magnetographic Physics磁路设计与场计算Magnetic Path Designing & Magnetic Field Calculati磁盘控制器Magnetic Disk Controler磁性材料Magnetic Materials磁性测量Magnetic Measurement磁性物理Magnetophysics磁原理及应用Principles of Catalyzation & Application催化原理Principles of CatalysisD开头的课程大电流测量Super-Current Measurement大电源测量Super-Power Measurement大机组协调控制Coordination & Control of Generator Networks大跨度房屋结构Large-Span House structure大型锅炉概况Introduction to Large-Volume Boilers大型火电机组控制Control of Large Thermal Power Generator Networks大型数据库原理与高级开发技术Principles of Large-Scale Data-Bas e andAdvancedDevelopment Technology大学德语College German大学俄语College Russian大学法语College French大学日语College Japanese大学生心理学Psychology Introduction大学物理College Physics大学物理实验Experiment of College Physics大学英语College English大学语文College Chinese大众传播学Mass Media代数几何Algebraic Geometry代数几何Algebraic Geometry代数曲面Algebraic Surfaces代数图论Algebraic Graph Theory代数拓扑Algebraic Topology代数学Algebra代用燃料Substitute Fuel代用运放电路Simulated Transmittal Circuit单片机与接口技术Mono-Chip Computers & Interface Technique单片机原理Fundamentals of Mono-Chip Computers单片机原理及应用Fundamentals of Mono-Chip Computers & Applications弹塑性力学Elastic-Plastic Mechanics弹性波Elastic Waves弹性力学Elastic Mechanics, Theory of Elastic Mechanics弹性元件的理论及设计Theory and Design of Elastic Element蛋白质结构基础Principle of Protein Structure蛋白质生物化学技术Biochemical Technology of Protein当代国际关系Contemporary International Relationship当代国外社会思维评价Evaluation of Contemporary Foreign Social Thought当代文学Contemporary Literature当代文学专题Topics on Contemporary Literature当代西方哲学Contemporary Western Philosophy当代戏剧与电影Contemporary Drama & Films当代资本主义经济Contemporary Capitalist Economy党史History of the Party导波光学Wave Guiding Optics德育Moral Education等离子体工程Plasma Engineering低频电子线路Low Frequency Electric Circuit低温测试技术Cryo Testing Technique低温传热学Cryo Conduction低温固体物理Cryo Solid Physics低温技术原理与装置Fundamentals of Cryo Technology & Equipment低温技术中的微机原理Priciples of Microcomputer in Cryo Technology低温绝热Cryo Heat Insulation低温气体制冷机Cryo Gas Refrigerator低温热管Cryo Heat Tube低温设备Cryo Equipment低温生物冻干技术Biological Cryo Freezing Drying Technology低温生物学原理与应用Principle & Application of Cryobiology低温实验技术Cryo Experimentation Technology低温物理导论Cryo Physic Concepts低温物理概论Cryo Physic Concepts低温仪表及测试Cryo Meters & Measurement低温原理Cryo Fundamentals低温原理与设备Cryo Fundamentals & Equipment低温制冷机Cryo Refrigerator低温中的微机应用Application of Microcomputer in Cryo Technology低温装置Cryo Equipment低噪声电子电路Low-Noise Electric Circuit低噪声电子设计Low-Noise Electronic Designing低噪声放大与弱检Low-Noise Increasing & Decreasing低噪声与弱信号检测Detection of Low Noise & Weak Signals地基基础课程设计Course Design of Groundsill Basis地理Geography第二次世界大战史History of World War II典型计算机分析Classical Computer Analysis电测量技术Electric Measurement Technology电厂计算机控制系统Computer Control System in Power Plants电磁测量实验技术Electromagnetic Measurement Experiment & Technology 电磁场计算机Electromagnetic Field Computers电磁场理论Theory of Electromagnetic Fields电磁场数值计算Numerical Calculation of Electromagnetic Fields电磁场与电磁波Electromagnetic Fields & Magnetic Waves电磁场与微波技术Electromagnetic Fields & Micro-Wave Technology电磁场中的数值方法Numerical Methods in Electromagnetic Fields电磁场中的数值计算Numerical Calculation in Electromagnetic Fields电磁学Electromagnetics电动力学Electrodynamics电镀Plating电分析化学Electro-Analytical Chemistry电工材料Electrical Materials电工测量技术基础Measurement Technology of Electrical Engineering电工测试技术基础Testing Technology of Electrical Engineering电工产品学Electrotechnical Products电工电子技术基础Electrical Technology & Electrical Engineering电工电子学Electronics in Electrical Engineering电工基础Fundamental Theory of Electrical Engineering电工基础理论Fundamental Theory of Electrical Engineering电工基础实验Basic Experiment in Electrical Engineering电工技术Electrotechnics电工技术基础Fundamentals of Electrotechnics电工实习Electrical Engineering Practice电工实验Experiment of Electrical Engineering电工实验技术基础Experiment Technology of Electrical Engineering电工学Electrical Engineering电工与电机控制Electrical Engineering & Motor Control电弧电接触Electrical Arc Contact电弧焊及电渣焊Electric Arc Welding & Electroslag Welding电化学测试技术Electrochemical Measurement Technology电化学工程Electrochemical Engineering电化学工艺学Electrochemical Technology电机Motor电机测试技术Motor Measuring Technology电机电磁场的分析与计算Analysis & Calculation of Electrical Motor &电机电磁场的数值计算Calculation of Electrical Motor & Electromagnetic Fields 电机电磁场理论Theory of Electrical Moto & Electromagnetic Fields电机电器与供电Motor Elements and Power Supply电机矩阵分析法Analysis of Electrical Motor Matrix电机课程设计Course Exercise in Electric Engine电机绕组理论Theory of Motor Winding电机绕组理论及应用Theory & Application of Motor Winding电机设计Design of Electrical Motor电机瞬变过程Electrical Motor Change Processes电机统一理论Theory of Electrical Motor Integration电机学Electrical Motor电机学及控制电机Electrical Machinery Control & Technology电机与拖动Electrical Machinery & Towage电机原理Principle of Electric Engine电机原理与拖动Principles of Electrical Machinery & Towage电机专题Lectures on Electric Engine电接触与电弧Electrical Contact & Electrical Arc电介质物理Dielectric Physics电镜Electronic Speculum电力电子电路Power Electronic Circuit电力电子电器Power Electronic Equipment电力电子器件Power Electronic Devices电力电子学Power Electronics电力工程Electrical Power Engineering电力企业管理Management of Electrical Enterprise电力生产技术Technology of Electrical Power Generation电力生产优化管理Optimal Management of Electrical Power Generation电力拖动Electric Traction电力拖动基础Fundamentals for Electrical Towage电力拖动控制系统Electrical Towage Control Systems电力拖动与电气控制Electrical Towage & Electrical Control电力系统Power Systems电力系统电源最优化规划Optimal Planning of Power Source in a Power System电力系统短路Power System Shortcuts电力系统分析Power System Analysis电力系统规划Power System Planning电力系统过电压Hyper-Voltage of Power Systems电力系统继电保护原理Power System Relay Protection电力系统经济分析Economical Analysis of Power Systems电力系统经济运行Economical Operation of Power Systems电力系统可靠性Power System Reliability电力系统可靠性分析Power System Reliability Analysis电力系统课程设计Course Design of Power Systems电力系统无功补偿及应用Non-Work Compensation in Power Systems & Applicati电力系统谐波Harmonious Waves in Power Systems电力系统优化设计Optimal Designing of Power Systems电力系统远动Operation of Electric Systems电力系统远动技术Operation Technique of Electric Systems电力系统运行Operation of Electric Systems电力系统自动化Automation of Electric Systems电力系统自动装置Power System Automation Equipment电力系统最优规划Optimal Planning in Power System电力装置课程设计Course Design of Power Equipment电力装置与系统Power Equipment & System电路测量与实验Circuit Measurement & Experiment电路测试技术Circuit Measurement Technology电路测试技术基础Fundamentals of Circuit Measurement Technology电路测试技术及实验Circuit Measurement Technology & Experiments电路分析基础Basis of Circuit Analysis电路分析基础实验Basic Experiment on Circuit Analysis电路分析实验Experiment on Circuit Analysis电路和电子技术Circuit and Electronic Technique电路基本理论Basis Theory of Circuitry电路及电子线路CAD Circuitry CAD电路理论Theory of Circuit电路理论基础Fundamental Theory of Circuit电路理论实验Experiments in Theory of Circuct电路设计与测试技术Circuit Designing & Measurement Technology电气测量技术Electrical Measurement Technology电气传动Electrified Transmission电气控制技术Electrical Control Technology电器设计Electrical Appliances Designing电器学Electrical Appliances电器与控制Electrical Appliances & Control电生理技术基础Basics of Electricphysiological Technology电视传感器图象显示Television Sensor Graphic Display电视接收技术Television Reception Technology电视节目Television Programs电视节目制作Television Program Designing电视新技术New Television Technology电视新闻Television News电视原理Principles of Television电网调度自动化Automation of Electric Network Management电学实验Electrical Experiment电影艺术Art of Film Making电站微机检测控制Computerized Measurement & Control of Power Statio电子材料与元件测试技术Measuring Technology of Electronic Material and Element电子材料元件Electronic Material and Element电子材料元件测量Electronic Material and Element Measurement电子测量与实验技术Technology of Electronic Measurement & Experiment电子测试Electronic Testing电子测试技术Electronic Testing Technology电子测试技术与实验Electronic Testing Technology & Experiment电子测试实验Electronic Testing Experiment电子测试与实验技术Electronic Testing Technology & Experiment电子机械运动控制技术Technology of Electronic Mechanic Movement Control电子技术Technology of Electronics电子技术腐蚀测试中的应用Application of Electronic Technology in ErosionMeasurement电子技术基础Basic Electronic Technology电子技术基础与实验Basic Electronic Technology & Experiment电子技术课程设计Course Exercise in Electronic Technology电子技术实验Experiment in Electronic Technology电子技术综合性设计实验Experiment in Electronic Technology电子理论实验Experiment in Electronic Theory电子商务Electronic Commerce电子系统的ASIC技术ASIC Design Technologies电子显微分析Electronic Micro-Analysis电子显微镜Electronic Microscope电子线路Electronic Circuit电子线路的计算机辅助设计Computer Associate Design of Electronic Circuit电子线路课程设计Course Design of Electronic Circuit电子线路设计与测试技术Electronic Circuit Design & Measurement Technology 电子线路设计与测试实验Electronic Circuit Design & Measurement Experiment 电子线路实验Experiment in Electronic Circuit电子学Electronics电子学课程设计Course Design of Electronics电子照相技术Electronic Photographing Technology雕塑艺术欣赏Appreciation of Sculptural Art调节原理Principles of Regulation调节装置Regulation Equipment动力机械CAD Dynamical Machine CAD动力学Dynamics动态规划Dynamic Programming动态无损检测Dynamic Non-Destruction Measurement动态信号Dynamic Signal动态信号分析与仪器Dynamic Signal Analysis & Apparatus动物病害学基础Basis of Animal Disease动物免疫学Animal Immunology动物生理与分子生物学Animal Physiology and Molecular Biochemistry动物学Zoology动物遗传工程Animal Genetic Engineering毒理遗传学Toxicological Genetics断裂力学Fracture Mechanics断裂疲劳力学Fatigue Fracture Mechanics锻压测试技术Forging Testing Technique锻压工艺Forging Technology锻压机械液压传动Hydraulic Transmission in Forging Machinery锻压加热设备Forging Heating Equipment锻压设备专题Lectures on Forging Press Equipments锻压系统动力学Dynamics of Forging System锻造工艺Forging Technology锻造加热设备Forging Heat Equipment对外贸易保险International Trade Insurance对外贸易地理International Marketing Geography对外贸易概论Introduction to International Trade对外贸易运输International Trade Transportation多层网络方法Multi-Layer Network Technology多复变函数Analytic Functions of Several Complex Variables多媒体计算机技术Multimedia Computer Technology多媒体技术Multimedia Technology多目标优化方法Multipurpose Optimal Method多项距阵Multi-Nominal Matrix多元统计分析Multivariable StatisticsF开头的课程发电厂Power Plant发电厂电气部分Electric Elements of Power Plants发电厂电气部分与动力部分Electric Elements & Dynamics of Power Plants发电厂电气部分与热力设备Electric Elements & Thermodynamics Equipment of PowerPlants发电厂计算机控制Computer Control in Power Plant发酵工程Zymolysis Engineering发育生物学原理与实验技术Principle and Experimental Technology of Development发展经济学Evolutive Economics法理学Nomology法律基础Fundamentals of Law法学概论An Introduction to Science of Law法学基础Fundamentals of Science of Law翻译Translation翻译理论与技巧Theory & Skills of Translation反不正当经济法Anti-malfeasance Economic Law泛读Extensive Reading泛函分析Functional Analysis泛函分析Functional Analysis房屋建筑学Architectural Design & Construction房屋建筑学课程设计Course Design of House Architecture仿真与辅助设计Simulation & Computer Aided Design放射生物学Radiation Biology放射学Radiology非电量测量Non-Electricity Measurement非金属材料Non-Metal Materials非线性采样系统Non-Linear Sampling System非线性方程组的数值解法Numerical Methods for No-linear System s of Equations非线性光学Nonlinear Optics非线性规划Non-Linear Programming非线性控制理论Non-Linear Control Theory非线性双曲型守恒律解的存在性The Existence of Solutions for Non -linear HyperbolicConservation Laws非线性物理导论Introduction to Nonlinear Physics非线性振荡Non-Linear Oscillation非线性振动Nonlinear Vibration废水处理工程Technology of Wastewater Treatment废水处理与回用Sewage Disposal and Re-use沸腾燃烧Boiling Combustion分布式计算机系统Distributed Computer System / Distributed System分布式系统与分布式处理Distributed Systems and Distributed Processing分离科学Separation Science分析化学Analytical Chemistry分析化学实验Analytical Chemistry Experiment分析力学Analytic Mechanics分析生物化学Analytical Biochemistry分析生物化学Analytical Biochemistry分子病毒学Molecular Virology分子进化工程Engineering of Molecular Evolution分子生物学Molecular Biology分子生物学技术Protocols in Molecular Biology分子遗传学Molecular Genetics风机调节Fan Regulation风机调节.使用.运转Regulation, Application & Operation of Fans风机三元流动理论与设计Tri-Variant Movement Theory & Design of Fans风能利用Wind Power Utilization风险投资分析Analysis of Risk Investment服务业营销Service Industry Marketing辅助机械Aided Machine腐蚀电化学实验Experiment in Erosive Electrochemistry复变函数Complex Variables Functions复变函数与积分变换Functions of Complex Variables & Integral Transformation 复合材料结构力学Structural Mechanics of Composite Material复合材料力学Compound Material Mechanics傅里叶光学Fourier OpticsG开头的课程概率论Probability Theory概率论与数理统计Probability Theory & Mathematical Statistics概率论与随机过程Probability Theory & Stochastic Process概率与统计Probability & Statistics钢笔画Pen Drawing钢的热处理Heat-Treatment of Steel钢结构Steel Structure钢筋混凝土Reinforced Concrete钢筋混凝土及砖石结构Reinforced Concrete & Brick Structure钢砼结构Reinforced Concrete Structure钢砼结构与砌体结构Reinforces Structure and Monsary Structure钢砼课程设计Reinforced Concrete Course Design钢砼设计Experiment of Reinforced Concrete Structure高层建筑基础Tall Building Foundation高层建筑基础设计Designing bases of High Rising Buildings高层建筑结构设计Designing Structures of High Rising Buildings高等材料力学Advanced Material Mechanics高等代数Advanced Algebra高等发光分析Advanced Luminescence Analysis高等分析化学Advanced Analytical Chemistry高等工程力学Advanced Engineering Mechanics高等光学Advanced Optics高等环境微生物Advanced Environmental Microorganism高等教育管理Higher Education Management高等教育史History of Higher Education高等教育学Higher Education高等量子力学Advanced Quantum Mechanics高等生物化学Advanced Biochemistry高等数理方法Advanced Mathematical Method高等数学Advanced Mathematics高等数值分析Advanced Numeric Analysis高等土力学Advanced Soil Mechanics高等无机化学Advanced Inorganic Chemistry高等有机化学Advanced Organic Chemistry高电压测试技术High-Voltage Test Technology高电压技术High-Voltage Technology高电压技术与设备High-Voltage Technology and Device高电压绝缘High-Voltage Insulation高电压实验High-Voltage Experiment高分子材料High Polymer Material高分子材料及加工High Polymer Material & Porcessing高分子化学High Polymer Chemistry高分子化学实验High Polymer Chemistry Experiment高分子化学与物理Polymeric Chemistry and Physics高分子物理High Polymer Physics高分子物理实验High Polymer Physics Experiment高级程序设计语言的设计与实现Advanced Programming Language's Design &Implementation高级管理信息系统Advanced Management Information Systems高级计算机体系结构Advanced Computer Architecture高级计算机网络Advanced Computer Networks高级计算机网络与集成技术Advanced Computer Networks and Integration Technology高级经济计量Advanced Economic Metrology高级软件工程Advanced Software Engineering高级生化技术Advanced Biochemical Technique高级生物化学Advanced Biochemistry高级食品化学Advanced Food Chemistry高级视听Advanced Videos高级数据库Advanced Database高级数理逻辑Advanced Numerical Logic高级水生生物学Advanced Aquatic Biology高级英语听说Advanced English Listening & Speaking高级植物生理生化Advanced Plant Physiology and Biochemistry高能密束焊High Energy-Dense Beam Welding高频电路High-Frequency Circuit高频电子技术High-Frequency Electronic Technology高频电子线路High-Frequency Electronic Circuit高维代数簇Algebraic Varieties of Higher Dimension高压测量技术High-Voltage Measurement Technology高压测试技术High-Voltage Testing Technology高压电场的数值计算Numerical Calculation in High-Voltage Electronic Field 高压电工程High-Voltage Engineering高压电技术High-Voltage Technology高压电器High-Voltage Electrical Appliances高压绝缘High-Voltage Insulation高压实验High-Voltage Experimentation高压实验设备测量High-Voltage Experimentation Equipment Measurement 高压试验技术High-Voltage Experimentation Technology工厂电气设备Electric Equipment of Plants工厂供电Factory Electricity Supply工程材料的力学性能测试Mechanic Testing of Engineering Materials工程材料及热处理Engineering Material and Heat Treatment工程材料学Engineering Materials工程测量Engineering Surveying工程测量实习Engineering Measuring Practice工程测试技术Engineering Testing Technique工程测试实验Experiment on Engineering Testing工程测试信息Information of Engineering Testing工程测试与信号处理Engineering Testing & Signal Processing工程地质Engineering Geology工程动力学Engineering Dynamics工程概论Introduction to Engineering工程概预算Project Budget工程经济学Engineering Economics工程静力学Engineering Statics工程力学Engineering Mechanics工程热力学Engineering Thermodynamics工程数学Engineering Mathematics工程项目概预算Engineering Project Estimate & Budget工程项目评估Engineering Project Evaluation工程优化方法Engineering Optimization Method工程运动学Engineering Kinematics工程造价管理Engineering Cost Management工程制图Graphing of Engineering工业产品学Industrial Products工业电子学Industry Electronics工业分析Industrial Analysis工业锅炉Industrial Boiler工业会计学Industrial Accounting工业机器人Industrial Robot工业技术基础Basic Industrial Technology工业技术经济Industrial Technology Economics工业建筑设计原理Principles of Industrial Building Design工业经济理论Industrial Economic Theory工业经济学Industrial Economics工业美术设计Art Designing in Industry工业企业财务管理Industrial Enterprise Financial Management工业企业财务会计Accounting in Industrial Enterprises工业企业管理Industrial Enterprise Management工业企业经营管理Industrial Enterprise Administrative Management 工业社会学Industrial Sociology工业心理学Industrial Psychology工业窑炉Industrial Stoves工艺过程自动化Technics Process Automation工艺设计Technics Design工艺实习Technics Practice工艺原理与研究方法Principles & Research of Technics公差Common Difference公差测试实验Common Difference Testing Experiment公差技术测量Technical Measurement with Common Difference公差与配合Common Difference & Cooperation公共关系Public Relationship公共关系学Public Relations公司法Corporation Law公司组织与管理Organization and Management公司组织与管理Organization and Management of Corporate公文写作Document Writing功能材料原理与技术Principle and Technology of Functional Materials 功能高分子Functional Polymer功能性食品Function Foods古代汉语Ancient Chinese古典文学作品选读Selected Readings in Classical Literature骨科医学Osteopathic Medicine固体磁性理论Theory of Magnetism in Solid固体激光Solid State Laser固体激光器件Solid Laser Elements固体激光与电源Solid State Laser & Power Unit固体理论Solid State Theory固体物理Solid-State Physics故障诊断与容错技术Malfunction Diagnoses & Tolerance Technology关税Tariff管理概论Introduction to Management管理沟通Management Communication, Management Negotiation管理会计Managerial Accounting管理经济学Management Economics管理科学专题Management Science Special Subject管理数学Management Mathematics管理系统FOXBASE Management System of FOXBASE管理系统模拟Management System Simulation管理心理学Management Psychology管理信息系统Management Information System管理学Management Theory, Principles of Management管理学Principles of Management光波导理论Light Wave Guide Theory光电技术Photoelectric Technology光电检测与信号处理Optoelectronic Detection and Processing光电课程设计Photoelectric Course Exercise光电摄像技术Photoelectric Photographing Technique光电探测及信号处理Photoelectric Inspect & Signal Processing光电系统课程设计Photoelectric System Course Design光电信号处理Photoelectric Signal Processing光电信号与系统分析Photoelectric Signal & Systematic Analysis光电信息计算机处理Computer Processing in Photoelectric Information光电子技术Photoelectronic Technique光电子学与光电信息技术Optoelectronics and Optoelectronic Information Technology光辐射探测技术Ray Radiation Detection Technology光接入网技术Technology of Light Access Network光谱Spectrum光谱分析Spectral Analysis光谱学Spectroscopy光纤传感Fibre Optical Sensors光纤传感器Fibre Optical Sensors光纤传感器基础Fundamentals of Fibre Optical Sensors光纤传感器及应用Fibre Optical Sensors & Applications光纤光学Fiber Optics光纤光学课程设计Course Design of Fibre Optical光纤技术实验Experiments in Fibre Optical Technology光纤实验Experiments in Fibre Optical光纤通信基础Basis of Fibre Optical Communication光纤通信技术Fibre Optical Communication Technology光纤通信网络Networks of Fiber Communications光纤通信系统Fibre Optical Communication System, System of Fiber。
程序设计方法学--第一章 程序设计方法学简介

6
程序设计与程序设计语言
程序设计就是用计算机语言把对数据进行处理的算法表达出
来
程序的表达手段就是程序设计语言
西南石油大学计算机科学学院
7
程序设计方法
功能分解法
—— 计算任务 综 —— 以数据为中心 —— 以对象为中心
结构化程序设计
合
使 用
面向对象程序设计 组件程序设计
—— 以组件为中心
西南石油大学计算机科学学院
15
…软件开发语言龙虎斗
说到编程语言,不能不说Java。Java是internet时代的产物,
同其他前辈语言相比,其最大的特色在于“一次编码,多处 运行”。Sun公司是Java语言的缔造者,但对Java开发环境做 出最大贡献的是Borland的JBuilder系列产品。1997年, Borland发布JBuilder 1.0,进军Java跨平台开发。这之后,微 软曾试图染指Java开发环境市场,并影响Java的技术发展, 并在Visual Studio系列中,将Visual J++从1.0直接跨越到6.0。 但是,JBuilder至今仍控制着Java的开发环境市场。
(50年代后—60年代初) (本世纪60年代以来)
软件危机
对成本、进度的估算难以准确 用户对已完成的软件系统常常不满意 软件产品质量不可靠 软件常常难以维护 软件成本的上升 缺少文档资料 软件生产速度跟不上实际需要
西南石油大学计算机科学学院 18
发展过程
不同程序设计语言的出现带来不同的程序设计方法
西南石油大学计算机科学学院
11
…程序设计思想的进步
事实表明,面向对象程序设计方法虽然比结构化方法能更自
“程序设计方法学”双层次并行教学模式探讨

3 双 层次 并 行 的教 学模 式
教 学 的有效 性是 教育 工作 者 十分关 注 的 问题 .而教 学模 式 的设 计则 与教 学 的效 果直 接 相关 .是 教学 过程 的核心 问题 [.在 教学模 式 的设 计 中 .教育 界 存在 着两 大 教育 思维 4 1 取 向 :一种 是 以教育 心理 学为 基础 的 “ 科学 主义 取 向” ,强调 教 学 目标 和教学 过 程 的精确 性 ;另一种 是 以教育 哲学 为基 础 的“ 育哲 学取 向 ” 教 .强 调 在教 学过 程 中“ 现学 生 ” 发 ,激
汕 头 大学 学 报 ( 自然科 学 版 )
J u n lo h n U iest y( trlSin e
第2 7卷
第2 期
V0 . 7 No 2 J . 2
文章编号 :10 — 2 7 2 1 )2 0 6 0 0 1 4 1 (0 2 0 — 0 3— 6
说 .面 向对象 程序设 计 目前还 尚未达到象结 构化 程序设计那样 在“ 方法学 ” 义上 的高度. 意 程序设 计方 法学 的发 展现状 决定 了其 知识 体 系 中的两部 分 内容—— 结 构化 程序 设计
和面 向对象 程序 设计 处于 两个 不 同的知识层 面上. 因此 .在教 学 过程 中 ,有必要 根据两
性 的选择适 当的教 材. 由于缺 乏 内容详 实且全 面覆 盖 “ 序设 计 方法学 ” 程 内容 的单 本 程 课
教材 ,根据该课程知识体系的特点 ,选取 了如下的_本共 同作为课程的教材 : 二 () 1陈海波等编著的“ 新编程序设计方法学 ”浙江大学出版社) ( ,该教材的一个突 出
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
UML在面向对象程序设计中的应用引言面向对象软件开发方法已经成为现代软件工程的重要手段。
应用面向对象方法设计出的软件组件可以方便的实现软件重用。
同时这种机制将传统的以数据为中心的软件开发方法,改变为同时关注数据的信息与功能,从而可以开发出适应信息与功能变化的系统。
面向对象方法学基本思想是:对所研究的事物进行自然分割,并从分割后的实体中抽象出对象,每个对象都真实地反映了它所对应的实体,然后以更接近人类思维的方式建立事物模型,以便对客观实体进行结构模拟和行为模拟,从而使设计出的软件尽可能直接地描述现实世界,构造出模块化的、可重用的、维护性好的软件,同时限制软件的复杂性和降低开发维护费用。
面向对象程序设计的介绍上世纪八十年代末以来,随着面向对象技术成为研究的热点,面向对象的思想已经涉及到软件开发的各个方面。
如:面向对象的分析(oboeCtor、entedAnalysis)、面向对象的设(ooD,oboeetorientedDeSlgn)、面向对象的编程(ooP,oboeetor、entedProgramming)等等。
面向对象程序设计(oP)现在已经是我们编程的一项基本技能。
面向对象编程之所以如此风靡,有好几个原因导致这种结果。
面向对象思想起源于七十年代,在八十年代得到了巩固和发展。
九十年代,面向对象技术已经成熟,并进入深入发展阶段。
面向对象程序设计与传统的过程化程序设计有着显著的区别:过程化程序设计是面向功能的,通常用函数或过程来实现所需要的功能,数据通常作为参数传递给函数或过程,数据与实现该数据功能的函数或过程分离,这种方式不利于大中型软件的开发与维护,小部分数据或功能的变动会波及到很多相关的程序,由于用户的需求和软、硬件技术的不断发展变化,按照功能划分设计的系统模块必然是易变的和不稳定的。
这样开发出来的模块可重用性生不高。
随着计算机应用需求的不断扩大,计算机软件越来越复杂,这种复杂性不仅体现在规模的扩大,而且模块之间的交互越来越复杂,为此,人们提出了面向对象的程序设计思想,它是一种以对象为中心的程序设计方法。
面向对象程序设计是一种围绕真实世界的概念来组织模型的程序设计方法,它采用对象来描述问题空间的实体。
对象是包含现实世界物体特征的抽象实体,它反映了系统为之保存信息和(或)与它交互的能力。
它是一些属性及服务的一个封装体,在程序设计领域,可以用`对象二数据+作用于这些数据上的操作”这一公式来表达。
类(class)是具有相同操作功能和相同的数据格式(属性)的对象的集合。
类可以看作抽象数据类型的具体实现。
抽象数据类型是数据类型抽象的表示形式。
数据类型是指数据的集合和作用于其上的操作的集合,而抽象数据类型不关心操作实现的细节。
从外部看,类型的行为可以用新定义的操作加以规定。
类为对象(object)集合的抽象,它规定了这些对象的公共属性和方法;对象为类的一个实例。
苹果是一个类,而放在桌上的那个苹果则是一个对象。
对象和类的关系相当于一般的程序设计语言中变量和变量类型的关系。
消息是向某对象请求服务的一种表达方式。
对象内有方法和数据,外部的用户或对象对该对象提出的服务请求,可以称为向该对象发送消息。
合作是指两个对象之间共同承担责任和分工。
面向对象程序设计方法具有四个基本特征:1、抽象就是忽略一个主题中与当前目标无关的那些方面,以便更充分地注意与当前目标有关的方面。
抽象并不打算了解全部问题,而只是选择其中的一部分,暂时不用部分细节。
比如,我们要设计一个学生成绩管理系统,考察学生这个对象时,我们只关心他的班级、学号、成绩等,而不用去关心他的身高、体重这些信息。
抽象包括两个方面,一是过程抽象,二是数据抽象。
过程抽象是指任何一个明确定义功能的操作都可被使用者看作单个的实体,尽管这个操作实际上可能由一系列更低级的操作来完成。
数据抽象定义了数据类型和施加于该类型对象上的操作,并限定了对象的值只能通过使用这些操作修改和观察。
2、继承(1nhoritanC。
)是一种联结类的层次模型,并且允许和鼓励类的重用,它提供了一种明确表述共性的方法。
对象的一个新类可以从现有的类中派生,这个过程称为类继承。
新类继承了原始类的特性新类称为原始类的派生类(子类)而原始类称为新类的基类(父类)。
派生类可以从它的基类那里继承方法和实例变量,并且类可以修改或增加新的方法使之更适合特殊的需要。
这也体现了大自然中一般与特殊的关系。
继承性很好的解决了软件的可重用性问题。
比如说,学生类,所有的学生可以看作是从同一个学生类派生出来的,但是,每一种学生的具体表现行为各有不同。
这是由于派生出了不同的子类,各个子类添加了不同的特性。
继承带来的好处是软件的复用,使用继承可以在已有软件构件的基础上构造新的软件,从而提高软件的生产率并保证软件质量。
3、封装是面向对象的特征之一,是对象和类概念的主要特性。
封装是把过程和数据包围起来,对数据的访问只能通过已定义的界面。
面向对象计算始于这个基本概念,即现实世界可以被描绘成一系列完全自治、封装的对象这些对象通过一个受保护的接口访问其他对象。
一旦定义了一个对象的特性,则有必要决定这些特性的可见性,即哪些特性对外部世界是可见的,哪些特性用于表示内部状态。
在这个阶段定义对象的接口。
通常,应禁止直接访问一个对象的实际表示,而应通过操作接口访问对象,这称为信息隐藏。
事实上,信息隐藏是用户对封装性的认识,封装则为信息隐藏提供支持。
封装保证了模块具有较好的独立性,使得程序维护修改较为容易。
对应用程序的修改仅限于类的内部,因而可以将应用程序修改带来的影响减少到最低限度。
封装、抽象和信息隐藏是用来降低软件复杂性的重要技术。
4、多态性是指允许不同类的对象对同一消息作出响应。
比如同样的加法,把两个时间加在一起和把两个整数加在一起肯定完全不同。
多态性包括参数化多态性和包含多态性。
多态性语言具有灵活、抽象、行为共享、代码共享的优势,很好的解决了应用程序函数同名问题。
面向对象程序设计的优点:1、易于维护在面向对象程序设计中模块性是与生俱来的,实体表现为类,而类在面向对象程序设计中是一个独立的模块任意增加一个类却不会影响应用程序其他模块。
同时,继承和封装使得应用程序的修改带来的影响更加局部化。
2、可扩充性面向对象程序设计支持扩充性,如果你有一个某种功能的类,你可以很快的扩展这个类,创建另一个具有扩充性的类。
3、代码重用一个面向对象应用程序框架由一套类组成,这些类形成了应用程序的核心和基础。
自从功能被压缩到一个类中并且类作为一个独立的实体存在,提供一个类库就变得非常容易了,可以在应用程序中大量采用成熟的类库,从而缩短开发时间。
面向对象程序设计方法采用继承支持重用的思想。
从上面的概述我们可看出,面向对象程序设计成为现代编程技术的一个重要组成的原因。
从面向过程到面向对象是程序设计技术的一个飞跃。
人们之所以要采用面向对象的程序设计技术,其目的是: (l)提高程序的运行效率(2)提高程序设计工作的效率(3)提高程序的可维护性运用面向对象技术不是必须的,但是对于一个大型复杂应用系统的开发,如果采用了面向对象技术,则开发效率会大大提高。
UML的基本内容UML统一了Booch、OMT和OOSE方法和其他面向对象方法的基本概念和符号,融入了软件工程领域的新思想、新方法和新技术,提出如模板、扩展机制、活动图等新概念,是一种定义良好、富于表达、功能强大且普遍适用的建模语言。
UML的最大用途是利用图形来描述真实世界各个对象。
UML定义了一系列图形工具,以对现实世界进行面向对象建模。
1)用例图,是显示一组用例、参与者以及它们之间关系的图。
主要用于对系统、子系统或类的行为进行建模。
用例图驱动需求分析之后各阶段的开发工作。
2)静态图,包括类图和包图。
类图是显示一组类、接口、协作以及它们之间关系的图,类实例化的产物就是对象。
包图是多个类的集合形成的一个更高层次的单位。
包由一组模型元素组成,可包含从属包或普通的模型元素。
3)交互图,描述对象间的动态交互关系,由一组对象和它们之间关系构成,其中包括在对象间传递的消息;包括顺序图和合作图。
顺序图显示对象之间在时间和顺序上的动态合作关系,它强调对象之间消息发送顺序,同时显示对象之间的交互。
合作图描述对象之间的交互关系以及对象之间的联系,强调参加交互的对象的组织。
4)行为图,包括状态图和活动图。
状态图描述一个特定对象的所有可能状态及其相互转换。
活动图主要用于描述工作流程和并行活动。
它们均用于对一个系统的动态方面建模。
5)实现图,用于描述系统实现的一些特性,对系统的静态实现视图建模。
包括构件图和配置图。
构件图显示了一组构件及它们之间的关系。
配置图显示节点和在节点上活动的构件的配置。
这些图形让所有系统设计者在构建系统时在从系统需求,系统流程分析,对象模型化定义到对象设计的整个开发过程实现完全标准化。
不因系统设计者使用不同的程序设计语言而有所不同,因此也可以说使用UML的目的是要建立一套软件系统从系统分析,流程设计到整体开发的标准表示方法。
基于UML的面向对象实例分析与设计以下将通过一套台球城的自动计费系统的设计过程来进一步阐述UML在面向对象程序设计中的应用。
1.系统的需求描述如下:该系统的使用者包括两类:一类是主管人员,另一类是一般操作人员。
两类人员对系统的使用权限不同,以下描述中如不特别指明是主管人员的权限操作,则均为一般操作人员的操作。
该系统将控制娱乐城中桌球台上方灯的亮和灭(每张桌子一盏灯),灯亮则表示开始本次消费,同时开始计费,灯灭则表示结束本次消费,结帐,并且把消费信息写入数据库中,供系统使用者根据日期或时间查询当日的营业总况,主管人员还能查询当月的营业总况,营业总况信息包括营业日期时间(包括开始、结束时间)、所在时间段价格、消费额及其汇总、打折情况登记;并且能打印出日报表,主管人员能打印出月报表,日、月报表所含数据项相同,包含如上的营业总况信息即可;系统还能进行相应的修改,这些修改只能由主管人员完成,包括:修改系统的使用密码或主管人员使用密码,修改时间段价格、修改时间段折扣率、修改会员卡消费折扣等,对于折扣,一般消费者享受分时段折扣,而持会员卡消费者享受专门的会员卡消费折扣。
2.系统详细需求分析。
通过上述的系统需求描述,把系统实现分为硬件实现和软件实现两部分:(1)硬件部分主要提供一个供上层用户界面实时对外界物理设备进行控制的接口。
这里所指的外界物理设备主要指桌球台的控制灯,它可通过操作员操纵主控界面上按钮来实现。
(2)软件部分则要实现上述描述的所有功能,并将其集成为计算机上的一个主操作台。
如图1所示。
2.1硬件部分分析因与本主题无关,故略去。
2.2软件部分分析采用面向对象的分析方法:根据需求描述,我们使用UML工具结合用例分析技术,可以确定系统角色和获得系统用例,从而可获得系统的用例模型。