共查询到20条相似文献,搜索用时 31 毫秒
1.
提出了一种基于程序分析的代码查询技术,它能有效地应用于代码审查、程序自动插桩等常用的软件工程的研究场景。它通过代码静态分析获得程序元素信息,并将其保存为中间结构,作为代码查询过程的目标集合;查询过程以程序元素为目标,查询语言以谓词逻辑表达式的形式描述查询条件。基于此技术,实现了一个面向C/C++语言的代码查询工具。 相似文献
2.
赵春泉 《计算机工程与应用》1989,(9):13-18
Ada语言是一种新的现代高级程序设计语言,它代表了现代高级程序设计语言的发展水平。本文从软件工程的角度分析了Ada语言所具有的主要特征和这些特征对软件工程的支持及贡献。目的在于更深入地认识Ada语言及其作用,促进在软件工程领域中更好地开发应用Ada语言。 相似文献
3.
4.
随着计算机系统规模和复杂度的增长,在软件工程的各个阶段,开发者不得不面对包含大量非协调信息的各种类型的系统规约。由于平凡推理的问题,基于经典逻辑的方法不能用于分析含有非协调信息的系统规约。在简单介绍超协调逻辑的基础上,引进一种超协调时序逻辑,它用于描述计算机系统的时序性质,并且能用于处理含有非协调信息的系统规约。 相似文献
5.
本文将程序的可视化定义为:将程序映射至图画表示。程序的可视化的简单形式常见于软件工程,因此,当代程序可视化的进展有可能影响未来软件工程工具和环境的发展。本文提出了一种新的程序可视化研究的分类法并用以作为媒介,对当今程序可视化的系统、技术、趋势和概念作一个系统的回顾。任何科学起源于哲学,最终成为技巧。——美国教育家 W.J.Durant 相似文献
6.
一、引论 1.软件工程七十年代以来大型、复杂软件系统的研制和生产对软件系统的可靠性,对程序的正确性和易维护性提出了严格的和迫切的要求。系统的性能,灵活性,安全和保护等, 相似文献
7.
为适应软件工程发展的需要,本文提出了一种新的软件设计表现技术——PDD(ProductionDesign Diagram)技术。本文介绍了它的原理结出了一种微化结构,归纳了PDD法的主要特点。 相似文献
8.
XYZ/E是一种基于Manna-Pnueli线性时序逻辑的线性时序逻辑语青(LTLL),其主要特征为它在统一的时序逻辑框架下既能表示程序的静态规范(XYZ/AE)也能表示可执行代码(XYZ/EE),因此程序规范和程序可执行代码的语义一致性也就得以在时序逻辑框架下验证。对于顺序程序,XYZ系统提供了一套基于Hoare逻辑规则的验证工具XYZ/VERI。此工具通过读取程序及其前后断 相似文献
9.
XYZ系统是一个以增强软件可靠性和提高软件生产率为目的的程序开发支撑系统.它由时序逻 辑语言(temporal logic language,简称TLL)XYZ/E和以该语言为基础的一组软件工程工具组 成.为了研究XYZ系统在多媒体领域中的应用问题,介绍了一种依据多媒体对象时序描述 自动生成用XYZ/RE表示的播放同步器的方法,XYZ/RE是时序逻辑语言族XYZ/E中表示实时系统 的子语言.与相关工作比较,该方法不仅可以处理简单的时序关系,而且可以处理嵌套的时序 关系,所产生的同步器可以复用于不同的节目. 相似文献
10.
现实世界中的软件系统越来越大,越来越复杂,使得现有的软件工程技术(如面向对象技术)很难解决系统中存在的一些问题。为了更好地解决这些问题,智能Agent由于其自身所具有的灵活性被应用到软件工程中,据此文中提出了一种新的面向Agent的软件工程方法学。详细介绍了面向Agent的系统建模方法和Agent的体系结构。最后给出了面向A-gent的软件工程方法学在RoboCup中的具体应用,表明面向Agent的软件工程方法学为大型复杂系统的设计和实现提供了一种有效的新途径。 相似文献
11.
Linux的影响不仅仅是它是一个成功的操作系统,是值得像IBM这样的“兰色巨人”都要“拥抱”的系统,也不仅仅是一个源码开放、充满自由软件所代表的“自由”精神的一个系统,而且从表面上看一个大型复杂的操作系统可以通过因特网在千万人参与下获得成功的惊人之举,实质上是它所代表的是一种新的软件工程理念和方法,至少是一种新的软件开发模式。 相似文献
12.
13.
本文从软件工程角度,对软件的规约方法进行了分类。得到两类规约方法:一类是基于逻辑规约方法.此方法一般是给出系统应该满足的性质集合。其代表是时序逻辑方法。另一类方法是基于模型规约方法。此方法一般是给出一个抽象模型,这个抽象模型指出程序应该如何活动.其代表是通信系统演算(CCS).本文进一步从软件工程原理,对这两类规约方法进行了比较和讨论。得到的结论是:两种类型的规约方法在系统开发的整个过程中都起着不同而重要的作用,它们相辅相成,缺一不可.最后,指出了今后的研究工作.在软件开发中,应该考虑多种规约方法和多种语义相结全的开发过程. 相似文献
14.
本文定义了一种多论域逻辑演算语言-子目标演绎语言SDL.它是古典一阶语言的一个变型,文中以SDL语言作为描述抽象数据结构及程序规范、设计程序、验证程序的形式化系统.说明了利用这种系统实现Prolog型程序自动设计的方法. 相似文献
15.
本文从软件工程角度,对软件的规约方法进行了分类,得到两类规约方法:一类是基于逻辑规约方法,此方法一般是给出系统应该满足的性质集合,其代表是时序逻辑方法;另一类方法是基于模型规约方法,此方法一般是给出一个抽象模型,这个抽象模型指出程序应该如何活动,其代表是通信系统演算(CCS)。本文进一步从软件工程原理,对这两类规约方法进行了比较和讨论,得到的结论是:两种类型的规约方法在系统开发的整个过程中都起着不同而重要的作用,它们相辅相成,缺一不可.最后,我们指出了今后的研究工作.在软件开发中,应该考虑多种规约方法和多种语义相结合的开发过程. 相似文献
16.
17.
本文描述了软件工程中的结构化思想在PLC编程中的一种运用方法,为自控项目中的PLC编程提供了一种方法论。通过分层次的编程来构成PLC程序,采用这种方法可以实现多人协作,为大型的控制程序进行共同工作,编写出风格一致,稳健可靠的程序,文中通过一个例子对这种方法进行了说明。 相似文献
18.
现实世界中的软件系统越来越大,越来越复杂,使得现有的软件工程技术(如面向对象技术)很难解决系统中存在的一些问题.为了更好地解决这些问题,智能Agent由于其自身所具有的灵活性被应用到软件工程中,据此文中提出了一种新的面向Agent的软件工程方法学.详细介绍了面向Agent的系统建模方法和Agent的体系结构.最后给出了面向Agent的软件工程方法学在RoboCup中的具体应用,表明面向Agent的软件工程方法学为大型复杂系统的设计和实现提供了一种有效的新途径. 相似文献
19.
JAVA过程蓝图到抽象概念结构图的逆向映射与有效性 总被引:1,自引:0,他引:1
1 引言抽象概念结构图是一种不依赖于程序实现语言的概念算法描述工具,是一种用于表示程序处理过程的抽象图形化表示方法。JAVA过程蓝图是与JAVA语言相关的一种程序图形表示方法,它支持JAVA程序的逻辑层和实现层表示。抽象概念结构图与JAVA过程蓝图的结合构成了JAVA程序在概念、逻辑和实现三个层次上的描述表现体系。程序设计是一个把思想变成现实,把模型变成代码的过程,是一个对设计表示进行不断修改,不断完善的动态过程。在抽象逻辑结 相似文献
20.
ZYZ系统的目的,意义,作用与应用 总被引:1,自引:0,他引:1
XYZ系统是一个基于线性时序逻辑的软件工程系统,由中国科学院软件研究所经过15年的时间设计并实现,它被用于解决某些高技术工程领域的问题,章介绍了这个系统的目的,意义,作用和应用。 相似文献