一、程序设计方法学的产生 二、程序设计方法学的基本内容 三、本课程的核心内容和目的

一、结构化程序的概念 二、程序标记法与流程图 三、程序函数与结构化定理 四、结构化程序设计方法

1.面向对象程序设计方法的起源 2.面向对象程序设计方法的基本概念 3.应用框架 4.面向对象程序设计方法的基本原则 5.设计模式

一、CORBA基本概念 二、CORBA基本模型 三、开发工具及程序设计方法

一、基本概念 二、程序测试的基本方法 三、部分正确性证明方法 四、终止性证明方法

面向对象技术是计算机应用领域最近几年迅速发展起来的一个新生事物,它的出现被 认为是程序设计方法学方面的一场实质性革命。它与传统的结构化程序设计相比较,具有 许多优点,但最主要的是它注意了数据与程序之间不可分割的内在联系,并把它们进行数据 抽象,封装成一个统一的整体,从而使程序设计者摆脱具体的数据格式和过程的束缚,将精 力集中于要处理的对象的设计和研究上大大减少了软件开发很难避免的繁杂性;大大提高 了软件开发的效率和效益

COM技术简介 coM(Component Object Model,组件对 象模型),是一种允许对象之间跨进程、跨 计算机进行交互(Interact)的技术,并且使 得这种交互容易得好象在本地计算机同一 进程中进行一样

一、MDA概述 二、MDA模型 三、MDA的思想 四、基于MDA的开发 五、MDA与中间件和UML

一、程序设计语言的发展 二、形式语言与自动机 三、形式语义学 四、程序设计方法学 五、计算语言学 六、软件开发方法学

• 什么是程序设计语言(PL) • 为什么研究PL • 语言规范与处理器 • 本课程内容与要求