从软件工程看Ada程序设计语言

Ada语言是一种新的现代高级程序设计语言,它代表了现代高级程序设计语言的发展水平。本文从软件工程的角度分析了Ada语言所具有的主要特征和这些特征对软件工程的支持及贡献。目的在于更深入地认识Ada语言及其作用,促进在软件工程领域中更好地开发应用Ada语言。     

数据库管理的软件工程观点

本文从软件工程的角度来考察数据库管理领域。软件工程中的关键问题同数据库的设计和实现中的专门活动密切相关。证明了数据库系统的产生步骤和其它种类的软件系统的产生步骤存在着许多相似之处。论证了为了建立高质量的系统需要统一考虑数据库系统以及其它种类的软件系统和工具。为了完备程序设计语言,数据库管理,和软件工程的概念,本文引进了程序设计语言PLAIN及其程序设计环境作为工具。     

异常结构对Java程序分析的影响

在软件工程任务中，通常使用控制流，数据流，控制依赖等程序分析技术和理解程序，并把得到的信息用于任务中，当前许多流行的程序设计语言提供了完善的异常处理机制，文中以Java语言为例，讨论了程序中的异常结构对上述分析技术的影响。     

类型和数据抽象

类型是程序设计语言中的一个最基本的概念,数据、函数和过程,都有自己的类型,这是构造程序的基础。抽象在程序设计语言和设计方法学的发展过程中一直起着主导作用,整个软件工程的进展总是和抽象程度的提高紧密联系在一起,而数据抽象则是最基     

谈谈软件工程

本文第一部分介绍了国外软件价格上涨、软件需求量增大、软件工作人员短缺的概况,指出导致软件工程问世的诸因素的继续存在必将促进软件工程的进一步发展。第二部分讨论了国外在软件工程的开展中着重研究的四方面问题,即:对软件生命周期的研究,对软件工程环境的研究,对软件产品合格性验证的研究,对程序设计语言的研究。     

面向方面程序设计语言研究综述

作为控制软件复杂性、提高软件模块化程度、增强软件开发灵活性的重要技术手段之一,面向方面程序设计语言经过十多年的发展,日益受到软件研究者和实践者的关注,并发展成为软件工程的一个重要的研究领域。基于该领域近十年来的研究进展,分析总结了面向方面程序设计语言中的主要语言特性和关键实现技术;按照不同的语言特性对面向方面程序设计语言进行分类,并探讨了其发展与研究方向。     

一种多机系统的并行程序设计语言——OCCAM2程序设计特点

程序设计语言OCCAM可用来设计和实现处理并行进程和进行通道通讯的多机系统。INMOS公司的transputer提供了实现这种系统的硬件支持,而OCCAM正是为(transputer)而设计的。本文介绍了(transputeer)和OCCAM程序设计的基本概念,然后从软件工程角度讨论了OCCAM程序开发的几个方面,从而谈到了该语言不同于传统串行语言的一些特征。     

基于delphi的电子日记本软件的实现

本文介绍了基于delphi编程语言的windows环境下一些编程原理和方法,结合软件工程的理念、数据库、加密与面向对象编程等主要技术,详细讲述了电子日记本软件的内容设计及背景、delphi编程语言、信息加密、数据库设计和程序设计。     

Ada-S系统的设计与实现

Ada语言是一个新的通用程序语言。它的诞生对于软件工程、软件生产以及软件开发环境的影响是不可低估的。Ada语言及其程序设计支持环境,集当今软件技术之大成,代表了国际上八十年代程序设计语言与软件工程支持环境的发展趋向。由于强大的用户团体的支持,Ada语言必将成为八十年代最重要的程序     

刍议软件工程标准化现状与分析

随着计算机科学技术的进一步发展,使得计算机和智能型电子产品得到普及,各种类型的软件开发和应用出现了新的发展高峰。而软件工程作为一门软件设计型学科,涉及到了程序设计语言、数据库、操作系统、软件开发、设计方式等方面的内容。软件工作自身具备复杂性特征,会因为人为影响各项工作的正常运行,所以研究软件工程标准化有着重要的意义。本文从简述软件工程标准化的定义和意义入手,探讨软件工程标准化的发展现状,从而更好地分析软件工程标准化,为我国软件工程开发和研究提供参考资料。     

程序设计方法学的发展

本文从Ada所提供的设备,回顾了在过去十余年间程序设计方法学的发展。按照当代软件工程的实践,本文分析了程序设计中的三个重要问题:抽象、模块化与多任务处理。Ada体现了许多当代程序设计语言中出现的新思想,反映了在过去十余年间人们在程序语言与软件工程方面所学到的东西。     

浅谈编译技术在软件开发中的地位

编译技术在计算机软件工程开发中的有不可代替的地位,它不光是一种语言生命的开始,还伴随着该语言功能的逐渐壮大.基于语言的软件设计想要更加完美,离不开编译技术.本文从编译技术的背景及软件工程开发的现状开始介绍,讲解了程序设计语言的基本编译过程,列举了基于编译技术的程序可视化,及编译技术在排版上的应用.     

Goedel语言对现代软件工程方法的支持

文章以一种新型的逻辑程序设计语言——Goedel语言为例，对逻辑程序设计语言与现代软件工程主要思想和方法的结合情况进行了初步探讨。Goedel语言通过引入模块系统、类型系统和延迟计算机制等不同于以往逻辑程序的新机制，能够支持现代软件设计的一些主流方法。模块系统提供了组织大规模程序的方法，并通过结合类型系统实现了对抽象数据类型程序设计的支持，从而能够支持面向对象程序设计；延迟计算则使利用该语言所编制的软件在可重用性方面获得提升。     

可视语言对软件工程的影响

８０年代中期经来，可视语言的研究形成了一个热潮，可视语言能支持概念程序设计。实现了的可视语言可以作为规范描述语言而产生可执行规范。这两个特点使可视语言在软件工程中具有极大的潜力。本文给出了一种新的软件开发模型，并列出两个典型系统予以说明。     

新就业形势下软件工程专业实践教学探索

2006年计算机专业教指委主任李晓明的报告中指出,要加强学生的实践与动手能力的培养,明确面向就业市场的办学定位方向。本文针对该报告,结合我校软件工程专业的实际情况,设计了四个阶段的实践教学,从程序设计语言实训到系统实现实训,从软件工程实训到毕业设计,由浅入深,逐渐加强对学生动手能力的培养。     

一种可行的自动程序理解途径

自动程序理解是软件工程和人工智能的非常活跃的研究领域，本文提出了一种独立于程序设计语言，具有明显结构性和流图结构的中间表示ｐｌａｎ来表示程序代码，本文首次提出了应用图文法分析技术于自动程序理解的方法，并给出了基于人工智能技术来进行自动程序理解的模型。     

SFDT:一种设计结构化流图的工具

本文介绍的结构化流图的设计工具—SFDT(Structured Flowchart Design Tool),是以XYZ/F框图命令语言为基础的语法导引的编辑程序,并结合了结构化框图,PDL等技术的特点,同时又具有XYZ/F语言程序转换为PASCAL型高级语言程序的功能。在SFDT环境下,用户可以用具有XYZ/F语言结构的自然语言描述算法,并逐步求精,设计出可执行的程序;设计过程中,可以用调试命令对已设计好的程序进行测试;发现错误,可以用编辑命令进行修改。用户程序以框图形式输出。SFDT的设计实现采用了当前软件工程发展中的一些先进技术和先进理论。SFDT赋予传统的框图程序设计以新的生命力,对我国的计算机使用与普及有一定的促进和推动。     

带有异常结构程序的数据流分析

以数据流分析为基础的程序理解是软件工程重要研究领域之一。现在大多数的程序设计语言提供了异常处理机制,但程序中的异常结构会影响数据流分析。如果不考虑这种影响,把得到的数据流分析信息用于程序理解中,会产生严重的后果。文中以Java语言程序为例,提出了一种数据流分析方法,该方法充分考虑了异常结构对数据流分析的影响,从而保证数据流分析信息的正确性与准确性。     

基于软件工程开发的领域本体构建研究

软件工程的开发是用对IT知识的综合能力要求很高的学科,同时也是一门非常重要的学科.软件的开发需要掌握数据结构、数据库、开发工具、基础的程序设计语言、设计模式和运行的系统平台等多方面的知识能力.由于目前计算机技术的不断进步,软件工程涉及的知识也在不断的增强.然而,传统的软件工程中却没有语义检索的能力,这一大缺陷大大影响了软件工程的进步.就软件工程开发现在存在的问题来看,对检索的问题进行讨论,尤其是对软件工程领域知识库的构建进行研究.     

软件工程环境下的C程序设计课程教学

程序设计能力是计算机类专业的基本能力,也是检验计算机类毕业生是否合格的标准。针对目前计算机专业中各门课程教学相对独立、缺乏课程间有机衔接的现状,本文提出一种软件工程环境下的C程序设计课程教学模式,即通过C语言来讲述程序设计,并将程序编写与软件工程原理的阐述有机地贯穿在一起,以期增强学生的专业学习兴趣,提高学生整体的程序设计能力和社会竞争力。