从面向方面程序设计的定义到面向方面程序设计语言

目前无论在学术界还是工业界,很多人士简单地将面向方面程序设计理解为模块化横切关注点,狭隘地认为 面向方面程序设计构建在面向对象程序设计之上,是面向对象程序设计的扩展、有效的补充等。回顾了面向方面程序 设计的定义,分析了面向方面程序设计区别于其它程序设计方法的本质特征,并形式化了定义中的量化语句与方面, 给出了量化语句与方面的语义。重申了面向方面程序设计的本质特性是Quantification与()bliviousncss,模块化横切 关注点只是其带来的一个好处。同时指出了面向方面程序设计是一种新型的程序设计范式,独立于面向对象等其它 程序设计方法。并且,基于此定义,给出了面向方面程序设计语言需满足的最小条件集,并比较了主流的面向方面程 序设计语言,探讨了这些语言在面向方面程序设计理念上的差异。     

基于Agent-0的面向主体程序设计

阐述了面向主体程序设计的基本思想,以及与面向对象程序设计的异同,对Agent-0面向主体程序设计语言,从主体组成、语法、程序执行和案例分析等几个方面作了详细介绍,提出了面向主体程序设计语言发展方向。     

从面向方面程序设计的定义到面向方面程序设计语言

目前无论在学术界还是工业界,很多人士简单地将面向方面程序设计理解为模块化横切关注点,狭隘地认为面向方面程序设计构建在面向对象程序设计之上,是面向对象程序设计的扩展、有效的补充等.回顾了面向方面程序设计的定义,分析了面向方面程序设计区别于其它程序设计方法的本质特征,并形式化了定义中的量化语句与方面,给出了量化语句与方面的...     

基于Agent-O的面向主体程序设计

阐述了面向主体程序设计的基本思想,以及与面向对象程序设计的异同,对Agent-0面向主体程序设计语言,从主体组成、语法、程序执行和案例分析等几个方面作了详细介绍,提出了面向主体程序设计语言发展方向.     

浅谈面向对象的程序设计思想

本文从对面向过程的程序设计方法入手，分析了结构化程序设计的思路，引审出以类与对象为根本的面向对象程序设计的编程思想。通过一些实际的例子，论述了类与对象及其关系。同时阐述了面向对象程序设计方法中所涉及到的继承、封装、多态及重载等重要特性。     

浅谈面向对象的程序设计思想

本文从对面向过程的程序设计方法入手,分析了结构化程序设计的思路,引审出以类与对象为根本的面向对象程序设计的编程思想。通过一些实际的例子,论述了类与对象及其关系。同时阐述了面向对象程序设计方法中所涉及到的继承、封装、多态及重载等重要特性。     

一种AOP方面的代数语义

面向方面程序设计可以模块化横切关注点,因此受到工业界及学术界的广泛关注。目前模块化横切关注点几乎成为面向方面程序设计的代名词,而且有不少人士狭隘地将面向方面程序设计认为是面向对象程序设计的延续、扩展或补充。回顾了面向方面程序设计的定义,分析了产生这一现象的原因。并且形式化了定义中的量化语句和方面,给出了它们的语义。探讨了量化语句和方面的一系列性质,包括量化语句和方面的可满足性,量化语句的包含、交叉及精化关系,方面的同态、同构、构成、完全语义保持精化、语义保持精化及等价替换等关系。该研究为面向方面程序设计的理论研究打下了坚实的基础,也为更好地理解面向方面程序设计提供了有效的帮助。     

面向智能主体的程序设计

面向智能主体的程序设计是一种以计算的社会观为基础的新型程序设计范例。本文介绍我们在ＡＯＰ方面进行的研究工作。ＡＯＰ工作以多个智能主体的知识信息处理问题为背景，采用ＡＯＰ的语法途径，强调将知识本文首先讨论与ＡＯＰ相关的智能主体的体系结构。然后，以ＡＯＰ语言ＲＯＯＴ的技术支点（即面向对象程序设计技术、基于条件重写的逻辑程序设计技术和元级推理技术等）为线索介绍ＲＯＯＴ。最后通过一个简单例说明ＲＯＯＴ的Ａ     

面向过程与面向对象——两种程序设计方法的比较与思考

１ 引言 目前，程序设计方法有两大类，一是面向过程的结构化程序设计方法，二是面向对象的程序设计方法。这两种方法的主要指导思想是什么，各有什么优势和特点，在学习和实用中各存在哪些问题。本文想对这一系列问题给出自己的思考。２ 两种程序设计方法简介 面向过程的程序设计方法将解决问题的重点放在模拟问题的过程方面，它在解决问题时采用功能分解方法，即将一个系统看作一些功能块的组合，这些功能块可以被进一步分解，直到参与设计和编程的人员可以理解的步骤和过程为止。 功能分解最终产生的模块和子模块作为程序构成成分的过程…     

基于组织的面向Agent 程序设计及其语言Oragent

当前,面向Agent程序设计在支持动态开放多Agent系统开发方面存在一系列的不足,如缺乏高层抽象、底层实现模型与高层设计模型相脱节、在支持系统动态性方面缺乏有效的运行机制和语言设施等.针对这些问题,提出一种基于组织的面向Agent程序设计方法.该方法将组织、Group、角色和Agent等高层抽象作为一阶实体,缩小了多Agent系统的设计模型与实现模型之间的概念鸿沟;借助于组织学中的机制——角色扮演机制、基于角色的交互——支持系统动态性的规约和实现,如Agent行为的动态组合、动态的交互等,基于该程序设计思想,设计了基于组织的面向Agent程序设计语言——Oragent,定义了其抽象语法和形式语义,并通过案例分析说明了如何基于该程序设计思想和Oragent语言来构造和实现动态而灵活的多Agent系统.     

Indent软件在编程风格教学中的应用

程序设计基础课程要注重培养学生良好的编程风格及习惯,但是现在编程风格教学现状却不容乐观。为使教师从繁重的指导工作中解脱出来,我们在编程风格教学中试验性地引入开源软件Indent,提高学生对编程风格学习的兴趣。     

A comparative analysis of different gender pair combinations in pair programming

Over the last decade, there has been a steady stream of pair programming studies. However, one significant area of pair programming that has not received its due attention is gender. Considering the fact that pair programming is one of the major human-centric software development paradigms, this is a gap that needs to be addressed. This empirical study conducted quantitative and qualitative analyses of different gender pair combinations within pair programming context. Using a pool of university programming course students as the experiment participants, the study examined three gender pair types: female–female, female–male, and male–male. The result revealed that there was no significant gender difference in the pair programming coding output. But there were significant differences in the levels of pair compatibility and communication between the same gender pair type: female–female and male–male, and the mixed gender pair type, female–male. The post-experiment comments provide additional insights and details about gender in pair interactions.     

Concurrent programming in VISO

Concurrent programming is more difficult to use and understand than sequential programming. In order to simplify this type of programming a number of approaches have been developed such as visual programming. Visual Occam (VISO) is a visual programming language for concurrent programming. It has a graphical syntax based on the language Occam and its semantics is represented both in petri net and process calculus. This paper presents a modular visual approach to write concurrent programs using the VISO language. Concurrent programs in VISO are specified graphically at different levels of abstraction. This paper describes this modular visual approach by constructing two examples in VISO. The first example is a simple concurrent program and it is mainly used to show the details of constructing a concurrent program in VISO. The second example is a larger concurrent program with more levels of abstraction. Copyright © 2000 John Wiley & Sons, Ltd.     

自动程序设计的研究

自动程序设计是计算机科学的中心目标之一,围绕中心目标进行研究是计算机科学工作者的责任。采用一种形式化方法,即演化计算(EvolutionaryComputation)理论,特别是其中的遗传程序设计(GeneticProgramming,简称GP)的理论,深刻研究了自动程序设计的概念和遗传算法。基于该方法的自动程序设计能够模拟生物进化的机制来适应外界环境,并获得最佳解,从而使得自动程序设计获得较好效果。     

对象式逻辑程序设计

本文首先对逻辑程序设计与对象式程序设计进行一些比较，然后介绍对象式逻辑程序设计的基本原理、新进展、应用及目前存在的主要问题。     

An implementation of the object-oriented concurrent programming language SINA

SINA is an object-oriented language for distributed and concurrent programming. The primary focus of this paper is on the object-oriented concurrent programming mechanisms of SINA and their implementation. This paper presents the SINA constructs for concurrent programming and inter-object communication, some illustrative examples and a message-based implementation model for SINA that we have used in our current implementation.     

数控机床控制系统专题讲座(Ⅲ)──数控机床的程序编制

介绍了数控机床程序编制的概念，编程常用的指令，零件加工程序结构与格式。举例说明了手工程序编制的方法及自动编程技术发展趋势。     

机器人图标化编程环境的设计及实现

为解决传统机器人文本编程不易于学习和使用的问题,设计了面向机器人的图标化简便编程环境．重点研究了图标化机器人程序语言的设计及其解释执行技术．通过图标化编程环境在工业机器人上的实现和应用,说明图标化编程技术相对于传统文本式编程技术的易用性和高效性．     

Cognitive Differences Between Procedural Programming and Object Oriented Programming

Software development is moving from procedural programming towards object-oriented programming (OOP). Past studies in cognitive aspects of programming have focused primarily on procedural programming languages. Object-oriented programming is a new paradigm for computing. Industry is finding that programmers are having difficulty shifting to this new programming paradigm. Findings in prior research revealed that procedural programming requires Piaget's formal operation cognitive level. New from this research is that OOP also requires Piaget's formal operation cognitive level. Also new is that OOP appears to be unrelated to hemispheric cognitive style. OOP appears to be hemispheric style friendly, while procedural programming is preferential to left hemispheric cognitive style. The conclusion is that cognitive requirements are not the cause for the difficulty in shifting from procedural to OOP. An alternative possibility to the difficulty is proactive interference of learning procedural programming prior to learning object oriented programming.     

CBack: A simple tool for backtrack programming in C

Backtrack programming is such a powerful technique for problem solving that a number of languages, especially in the area of artificial intelligence, have built-in facilities for backtrack programming. This paper describes CBack, a simple, but general tool for backtrack programming in the programming language C. The use of the tool is illustrated through examples of a tutorial nature. In addition to the usual depth-first search strategy, CBack provides for the more general heuristic best-first search strategy. The implementation of CBack is described in detail. The source code, shown in its full length, is entirely written in ANSI C and highly portable across diverse computer architectures and C compilers.