程序设计语言研究与教学PDF电子书下载

形式描述技术与语言 1

Z的面向对象扩充 王云峰、袁晓东、郑国梁 1

一种面向约束的程序设计语言及其在智能CAD中的应用 刘厚泉、刘方鑫 9

代数语言到函数式语言ML的原型翻译系统 蔡家楣 14

代数规范描述及设计语言SPECTRUM 张维石 19

软件形式规格说明语言——Z 缪淮扣、李刚、朱关铭 23

建立集成过程描述语言 吴纪明 27

对象技术与面向对象语言 29

面向对象技术的新进展:统一的模型语言UML 麦中凡、李庆如 29

聚类技术在OODBs中的原则和策略 马希荣 39

面向对象程序设计与设计技术的分析 吴洪森 44

OODB的概念和技术 曾荣珍 49

论OOPLS的方法与传统程序设计语言的过程 陶跃华、赵波 52

C、C++与Java语言 54

Java的现状、发展与实现 程虎、丁宇新、冀振燕 54

Java与C++的安全性比较 朱廷勇 63

C++是更好的C——对C++函数的研究 李龙澍 67

面向网络应用的程序设计语言——Java 玛依拉、王克宏 69

新兴的技术Java及其应用 王丽娜 72

Ada语言 73

并发对象Ada95代码的自动生成 王振宇、赵恒、张立 73

Ada95与C++面向对象机制的比较 刘晓华、刘坚 79

AdaJava——一种将Ada程序运行于WWW上的技术 李帮清、周晓宇、徐宝文 83

一个基于ASEL语言的Ada软件结构化编辑环境 周晓宇、张路军、徐宝文 87

DSD结构编辑工具的设计与实现 黄芳、张路军、滕琛、徐宝文 91

反应系统与同步语言 裘宗燕 94

并发语言与实时语言 94

一种基于区间时态逻辑的程序设计语言 张广泉、戎玫 99

数据库语言与第四代语言 103

利用Delphi3的数据库开发 方晖、麦中凡 103

PowerBuilder与Access中数据库设计语言的面向对象技术 王慧、王潜平、左明 111

第四代语言HLL-4GL的设计 李彤、王黎霞 116

智能教学系统领域知识描述语言 杨勇、黄河燕 120

基于Foxpro的递归查询优化算法的知识库系统 刘洪利、叶莉瑛、万丽 125

第四代语言与程序设计语言的划代 李彤、王黎霞 132

第四代语言HLL-4GL编译程序的设计与实现 李彤、王黎霞 134

交互式图表查询语言系统的研究与实现 苗雪兰 136

一种基于SQL语言的第四代语言工具 詹蓉 140

论程序设计语言的非过程化趋势 许敏 143

非过程性语言 144

逻辑程序解释器SC-PROLOG的设计与实现 林琪、贺松云、万绍俊、孙春娟 144

语言结构与实现技术 148

程序设计语言控制结构的一个极小完备集 李彤、王黎霞 148

强类型的概念与程序设计语言中变体记录的设计 王新军、洪晓光、董国庆、董继润 151

索引顺序表的一种并行建立 谷艺、谷元 155

PASCAL语言动态数组的实现方法 刘万军、张海涛 157

程序设计语言的回顾与展望 郭朝彬 159

应用软件开发方法 工业化 吴银芝 162

程序设计语言与算法 164

程序设计中的递归算法研究 马礼、张永梅 164

高性能CAD图形的开发 林雄 167

VHDL——电路设计的程序语言 耿家观 174

硬件描述语言 174

C51的特点及程序设计方法 李跃华、杨小健 177

程序设计语言教学方法 180

计算机程序设计与动态思维 陈凌、殷新春、张晓如 180

程序设计语言课程教学改革的探索 张玲 184

高师非计算机专业程序设计语言教学探讨 陈军 187

程序语言设计课程的教学探讨 王铁、孙桓五 190

《程序设计语言》教学问题初探 林颍贤 193

程序设计语言教材建设 195

计算机科学与技术专业《程序设计语言》课程教学内容与结构体系的改革探索 张广泉 195

高级程序设计语言教学的若干问题 刘坤起、刘永军 199

设置“万维网程序设计”课程的基本设想 廖湖声 203

程序设计语言编译原理课的教学改革探讨 倪志伟 206

C++语言在 面向对象技术 教学中的应用探讨 陶培基、胡绪英 209

程序设计语言课件 211

MCAIC系统的总体构思 卜家歧、王晓冬、罗真 211

多媒体环境下的程序设计语言教学 刘晓强、忻秀珍 215