一种将设计模式用于程序精化演算的并行程序设计方法研究

并行程序设计是并行计算的难点之一。提出了一种将设计模式用于程序精化演算的并行程序设计方法。它通过在Z语言的Schema演算体系中扩充并行的概念和表示，使用设计模式，将问题求解和并行开发的知识进行形式化的定义与描述，通过扩充的Schema演算将其与模型规范进行复合，逐步精化得到抽象并行程序。通过实例对这一方法进行了详细的描述。     

可视计算机组成技术

可视计算强调对感举的信息的可描述和可视信息的直接处理，近年来它已成为一种重要的计算风格。本文我们对提供可视计算平台的三咱主要技术作了研究和讨论。这些技术反映了可视计算机的不同用户－－程序员、最终用户、及科学工作者的不同要求。我们首先讨论可视程序设计的重要发展，然后对可视界面可视化进行讨论，最后概述可视计算的现状，并指出在将来的工作中可视计算应该强调的关键研究领域。     

实时程序设计方法的发展趋势

本文概述了目前实时程序设计方法学的两个基本方面:实时程序设计语言和实时程序的规范说明及形式化验证。讨论了实时程序设计的基本特点和与一般程序设计的不同之处。程序层次的实时性包括静态的时间限制表达和动态的时间限制维护.程序规范层次的实时性包括建立规范说明模型和形式化证明。     

实时软件设计方法的发展趋势

介绍实时程序设计方法学的两个基本方面:实时程序设计语言和实时程序的规范说明及形式化验证,讨论实时程序设计的基本特点和与一般程序设计的不同之处,程序层次的实时性包括静态的时间限制表达和动态的时间限制维护,程序规范层次的实时性包括建立规范说明模型和形式化证明.     

AW6.5轻松学专题 直观灵活的程序语句

MacromediaAuthorware除了图标化的程序设计流程外，直观灵活的程序语句也是一大特色，即使您没有任何的编程基础，一样可以很轻松地掌握Au鄄thorware的程序语句编写技巧。这节课魔岩老师将给大家讲讲Authorware6.5程序语句的基础知识与相关的语句编写技巧等内容。Ready？Go!!!预备知识Authorware6.5的程序语句一般都是在计算代码编辑器里编写完成并执行的，如图1所示。除了计算图标外，其它图标都有附带执行计算代码的功能，选择该图标后按快捷键Ctrl+=即可调出附带计算代码编辑器。基本语法与结构1．注释符“--”一目了然的注释既能增…     

程序设计方法学

本文目的旨在阐明程序设计的一些基本原理和方法。全文共分十二部分:第一至四部分的主要内容是程序结构分析,并由此熟悉本教程使用的面向教学的程序设计语言T的概貌。第五至九部分是本教程的重点,内容包括结构程序设计方法、过程和模块的设计方法、递归程序的设计方法等。第十至十二部分使用了比较形式化的方法进行讨论。内容有形式语义,程序的功能描述,程序推导和程序变换。最后还论述了研制程序设计工具和环境的意义。     

面向方面的程序设计综述

现在大多数的软件项目都选择OOP，但OOP技术也有其局限性，它对某些需求并不能很好地进行描述。本文介绍了一种全新的程序设计方法一面向方面的程序设计方法，这种程序设计方法可以有效地描述OOP方法不能描述的横切关注点；介绍了面向方面程序设计的基本思想以及面向方面程序设计语言AspectJ的基本概念及面向方面软件开发方法。     

适用于分布式程序设计的图示化模型

VMDP(visual mode for distributed programming)模型是一个基于图标的面向分布式程序设计的图示化模型.它用图标表示分布式系统中的对象及其控制,例如,用车辆、路口和红绿灯等图标分别表示进程、资源和进程控制,从而使分布式系统中进程之间的同步、异步、互斥、共享等协调关系变得十分直观和易于理解.VMDP模型可以广泛应用到分布式系统模型、网络程序设计、并行程序设计和分布式程序设计等领域.     

使用鼠标的交互式图标制作技术

本文介绍了一个使用鼠标的文互式图标制作系统ＭＩＣＯＮ，讨论了鼠标和图标与屏幕显示的设备坐标系和视见坐标系之间的关系。同时简要地介绍了交互式图形系统设计技术和鼠标器程序设计技术。     

基于Pertri网的图标编程系统设计与实现

为了描述图标间的相互作用和它们的动态行为，作者提出了一个基于Ｐｅｒｔｉ网的图标编程系统。本文讨论了组成该系统各成分的功能，并设计了网络分析的生成算法。通过实例说明了系统工作过程和Ｐｅｔｒｉ网理论在可视化程序设计中的重要作用。     

一个面向SMP的可视并行程序设计环境

本文描述了一个面向ＳＭＰ体系结构的可视并行程序设计环境。     

一个并发对象演算

由于缺乏一个为人们接受的描述并发对象系统语义的形式化模型,开发面向对象程序设计语言的开发受到了很大的制约,为了给并发面向对象程序设计定义一个公共的语义框架,人们分别以π演算和ａｃｔｏｒ模型为基础进行了研究。     

基于知识的程序设计

大程序开发的困难是众所周知的。为了克服软件危机,人们设计新的编程语言,使用合适的开发支持环境和工具,使软件开发工程化,以及试图程序编制自动化等等。基于形式化技术(如公理化方法或形式逻辑方法)的自动程序设计(或程序自动生成)还远未达到实用水平。近年来,(知识库)专家系统的概念和技术得到广泛的研究和应用。基干知识(库)的程序设计包括编程专家系统辅助程序设计和基于知识的程序自动生成两个方面。本文初步介绍有关的思想。     

基于契约的程序动态分析技术研究

在当今信息社会中，程序质量是一个具有重要意义的热点问题．基于契约的程序设计是提高程序质量的重要且有效的技术，但是形式化契约的制定是一件十分困难的工作．因此软件质量保证问题一直是令人困扰的难题．本文介绍契约式程序设计的基本概念与方法，并在此基础上，提出利用契约进行程序动态分析的主要思路及其基本过程并给出简单实例，从一种新的维度来思考保障软件质量的方法。     

Delphi中面向对象程序设计思想

面向对象的程序设计（object Oriented Programming，简称OOP，亦有译为物件导向）．指一种程序设计范型，同时也是一种程序开发的方法论。与结构化程序设计比较，面向对象程序设计更易于实现对现实世界的描述，而且能够大幅度的提高软件项目的成功率，减少日后的维护费用。提高软件的可移植性和可靠性。     

基于系统理论过程分析的软件安全性需求分析与验证方法

针对传统系统理论过程分析（STPA）方法缺乏自动化实现手段、自然语言结果分析存在歧义性的问题，提出一种基于STPA的软件安全性需求分析与验证方法。首先，提取软件安全性需求，并利用算法将其转化为形式化表达式；其次，建立状态图模型来描述软件安全控制行为逻辑，并将其转化为程序可读的形式化语言；最后，采用模型检验技术进行形式化验证。结合某武器发射控制系统案例验证了方法的有效性，结果表明，该方法能够实现安全需求分析的自动化生成与形式化验证，解决了传统方法对于人工干预的依赖问题及自然语言描述问题。     

基于UPPAAL的微内核操作系统程序验证方法研究

随着航天、航空工业的发展,机载嵌入式软件的可信属性验证是新一代飞机研制最关注的软件质量保障问题。形式化方法具有严密的数学基础,能够准确的对系统进行建模、描述和验证,能够在软件系统的设计初期发现潜在的错误,是保证机载软件可信性和安全性的软件正确性验证技术。形式化验证以形式化描述为基础,对所描述系统的特性进行分析和验证,以评判系统是否满足期望的性质,分为定理证明和模型检测两类。文章研究模型检测方法应用于程序形式化描述和验证的技术,提出基于模型检测的验证程序正确性的方案,并进行微内核操作系统程序分析,最后在UPPAAL中进行程序属性的验证。     

用Z形式化描述程序切片

程序切片是一种重要技术,已广泛地应用于软件工程的各个领域,如程序理解、维护、调试、测试、复用、度量等.虽然,越来越多的研究者致力于程序切片工作,然而由于缺少形式化方面的工作导致程序切片可能存在不一致性和模糊性.本文尝试着用Z语言来形式化描述程序切片,考虑了程序切片中诸如程序依赖图和程序切片算法等常用的方面.该形式化描述不仅能帮助人们正确地理解程序切片的含义,而且还能够从比较严格的意义上明确程序切片的应用领域.     

基于信息约束的数据库查询界面的自动生成

在分析了现有数据库用户查询界面和条件生成在数据库应用中存在的问题后，基于面向对象的概念，提出了可视对象数据描述表结构、信息来源和取值方式等约束的用户查询界面和条件的生成方法，并给予了形式化描述。查询条件的生成采用的是合取范式的标准形式，用户界面的生成采用了标准的可视对象。该方法已经得到了实现，并在实际系统中获得了应用。     

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

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