合成型语言FOPL的语义研究

函数式面向对象程序设计语言ＦＰＯＬ，是笔者设计并实现的一种同时支持函数式程序设计和面向对象程序设计的合成型智能语言。本文在一个全称抽象域上描述了它的指称语义，进而讨论了一个和该指称语义计算一致的按值调用的操作语义。     

基于C++的STL编程思想

目前在程序设计领域中面向对象方法占据着主导地位，但其自身也固有一些不足和缺陷。为了能更好地重用软件，有效提高软件的生产率，仅有面向对象的程序设计思想是不够的，还需要泛型程序设计思想。泛型机制是编程语言和编程思想的一次革命。C＋＋语言提供的STL便是面向对象和泛型程序设计思想相结合的一个良好典范。     

面向对象程序设计语言要览

面向对象程序设计语言(OOPL)不仅用于构造面向对象系统，还可以作为探索面向对象理论的工具，而这又丰富了OOPL的内涵，本文将目前主要的OOPL分成四大类：早期OOPL、Smaltalk、混合风格OOPL、并发OOPL，并概括介绍了某些典型。最后，讨论了OOPL今后的发展方向，试图从总体上反映OOPL当前的研究状况。     

脑血管疾病的计算机诊断系统

叙述了利用VISUALBASIC6．0面向对象的高级程序设计语言进行脑血管疾病的计算机诊断系统的软件设计。整个程序设计采用模块化结构，用户界面生动、活泼、友好，操作方便。     

面向对象语言BDOL及其支撑环境

本文介绍一种面向对象语言ＢＤＯＬ，它既是系统规范设计语言，又是系统实现编程语言，ＢＯＤＬ语言支持多种面向对象程序设计语言，如Ｃ＋＋、Ｓｍａｌｌｔａｌｋ、ＣＬＯＳ等的混合编程，从而使语言表达能力增强，更加灵活，同时也能达到更有效的软件复用。     

OOP在图形处理中的应用——三维点云的处理

从针对面向对象程序设计与图形处理各自的特点出发，采用面向对象的程序设计方法对图形系统进行分析，并运用快速逆向工程方面的三维点云软件设计的实例说明面向对象程序设计方法在图形处理中的应用。     

C++语言中面向对象程序设计的表示法

C 语言的面向对象程序设计模式实际上是"对象=数据结构 算法","程序=对象 … 对象"。统一建模语言(UML)和问题分析图(PAD)被用于描述C 语言的面向对象程序,其中,在逻辑视图的静态结构中,类图描述了类的申明;在逻辑视图动态运行中,用顺序图描述了类的交互;PAD图描述了执行过程中的程序流程。     

网络型Visual Basic程序设计语言课件的设计与实现

Visual Basic程序设计语言是一门面向对象的程序设计语言，相对简单，适合面向对象语言的初学者，但是他的应用面相当广泛，既可以进行程序设计，又可以和数据库连接，进行数据处理。目前这方面的课件大多设计不够精良，视觉枯燥；拓展功能不够丰富，缺乏相关例题与练习；与用户的沟通交流比较少，甚至没有在线讨论、搜索服务等功能。而本文介绍的网络型Visual Basic程序设计语言课件在这些方面具有独到之处，在此介绍了该课件制作的总体思路，重点介绍了用Dreamweaver与Photoshop配合进行界面设计的方法与技巧，同时详细介绍了本套课件区别于其他同类型软件的技术的实现过程。     

DC＋＋：一种面向对象的分布式程序设计语言

本文提出了一种新的面向对象的分布式程序设计语言ＤＣ＋＋。在ＤＣ＋＋语言中增加了一系列关于分布式程序设计的语言设施，以便于程序灵活应用，编写出高质量的分布运行的程序。它以活动对象－进程作为分布单位，采民合机制实现进程间的同步和通信，并且支持进程的创建和撤消，同时提供了丰富的进程通信控制设施。     

面向对象的事件驱动程序的设计

介绍了面向对象的程序设计的一般原理，给出了１种面向对象的事件驱动程序设计方法的原则，并以面向对象的编程工具包Ｔｕｒｂｏ Ｖｉｓｉｏｎ为例，对方法的原则作了说明。     

可编程控制器的梯形图语言与语句表语言的互换算法

当代可编程控制器对多种语言的编程支持使可编程控制器为广大工程的技术人员和操作人员所广泛使用。而众多的编程语言中,梯形图语言和语句表语言最为受欢迎。文章介绍了梯形图语言与语句表语言之间的互换算法。并以ＯＭＲＯＮ Ｃ系列可编程控制器为例做以说明。     

The impact of abstraction concerns on modern programming languages

The major issues of modern software are its size and complexity, and its major problems involve finding effective techniques and tools for organization and maintenance. This paper traces the important ideas of modern programming languages to their roots in the problems and languages of the past decade and shows how these modern languages respond to contemporary problems in software development. Modern programming's key concept for controlling complexity is abstraction-that is, selective emphasis on detail; new developments in programming languages provide ways to support and exploit abstraction techniques.     

基于计算机集群系统的混合编程研究

计算机集群因其良好的可扩展性,在实际应用中得到了快速发展。相对于单机环境,计算机集群环境下的编程更为复杂。介绍了C++、MPI和GTK+三种语言各自的特点和作用。讨论了如何在IBMBladeCenter计算机集群上实现C++、MPI和GTK+三种语言的编程,包括程序的设计和编程中使用的技巧,并给出了对混合程序进行调试所用的命令。     

数据仓库和数据挖掘语言初探

着重阐述了数据仓库的基本概念、特征和体系结构，并介绍了使DW作用得以发挥的决策支持工具。还介绍了几种数据挖掘语言及其标准化方面的研究进展，提出了数据挖掘语言分类的方法，在此基础上，对数据挖掘语言的结构和组成进行了探讨和研究，最后指出了数据挖掘语言的发展趋势，以及若干待解决的问题。     

The synchronous approach to reactive and real-time systems

The state of the art in real-time programming is briefly reviewed. The synchronous approach is then introduced informally and its possible impact on the design of real-time and reactive systems is discussed. The authors present and discuss the application fields and the principles of synchronous programming. The major concern of the synchronous approach is to base synchronous programming languages on mathematical models. This makes it possible to handle compilation, logical correctness proofs, and verification of real-time programs in a formal way, leading to a clean and precise methodology for design and programming     

Programming—An introduction

The aim of this paper is to introduce the fundamental ideas of programming, and to show why programming languages are necessary. Various levels of language will be considered and the implmentation of one of them on different microprocessor systems will be discussed. Finally the different stages in software development will be described together with the nature of operating systems.     

A Programming Discipline for Laboratory Computing

The history of the development of digital computer systems for use in medical care and biological laboratory experiments is reviewed, with special emphasis on programming languages. The relevance to this application of techniques first used in the design of operating systems for simultaneous multiple use of large computer systems and in performing concurrent real-time tasks is demonstrated. A number of applications and specially designed computerized instruments for neurophysiology, in which the programming language Modula was used, are described. The strengths and limitations of Modula are evaluated. The essential parallelism of laboratory and clinical monitoring tasks would seem to promote the use of the emerging technology of multitasking and multiprocessor languages and systems.     

Software engineering

In this overview of the software engineering industry the following topics are discussed: client server systems; object oriented programming and C++; programming toolkits with application frameworks; and visual programming languages     

形式化语言在UMTS开发中的应用

由于3G协议规范的复杂性，3GPP方法论指导方针中鼓励使用标准的形式化语言来进行UMTS产品的设计、开发与测试。文中概要性地描述了UMTS的体系结构和在规范描述中用到的一些形式化语言的基本概念和特点，探讨了这些形式化语言在UMTS开发中的应用。使用形式化语言开发UMTS可以简化和改进测试程序，实现新产品与新标准的同步推出。