首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到19条相似文献,搜索用时 62 毫秒
1.
用变换型方法模拟开发电话交换系统   总被引:2,自引:0,他引:2  
本文给出了用变换软件开发方法模拟开发电话交换系统的描述,由抽象的软件规范出发,通过一系列变换实现了数据的精化和操作的分解,最终得到可在机器上运行的程序,整个开发过程是用变换型语言Polya写的,最后提出了Polya的改进建议。  相似文献   

2.
随着信息技术行业的高速发展,软件行业也在夜以继日的以一种昂扬的姿态不断探索与前进.在过去的时间里,软件开发所用语言大多是Java和C++,而C#作为后来兴起的软件开发语言,同样具有较高的地位.本文旨在通过对规范代码这一问题进行探讨,了解其对于软件编程工作的地位以及重要性,以期于有效提升软件编程能力.  相似文献   

3.
软件国际化是当今软件开发的需求之一。首先介绍了软件国际化的基本概念及意义,国际化软件要求软件支持多语言功能。其次介绍软件多语言的实现方法,即通过不同的方式加载语言资源从而实现软件多语言显示,软件多语言功能实现的思路和方法步骤,并以具体实例给以说明。最后对这几种方法进行了比较。  相似文献   

4.
面向方面的软件开发方法是在面向对象开发方法的基础上,在AOP的支持下将贯穿系统的横切关注点提取出来,通过联结方式织入系统功能代码中的软件开发方法,该方法降低了软件开发的复杂性,提高了系统的灵活性和可维护性。形式化和实时语言为面向方面方法贯穿于实时软件开发提供了必要的支持,以形式化方法AO-RT-Z和实时语言PEARL为基础,给出了一种面向方面的实时软件开发框架,实现了软件生命周期各个阶段对面向方面的无缝支持,降低了实时软件开发的复杂性,提升了系统的可信度。  相似文献   

5.
可信软件实时性测试用例集生成方法研究*   总被引:1,自引:1,他引:0  
基于RAISE规范语言(RSL)的一个变体——时间化RAISE规范语言(TRSL),提出一种可信软件实时性测试用例集生成方法。该方法首先去除基于TRSL软件规约中的抽象时间因素;然后使用划分分析的方法构造测试单元;再利用动态约束求解方法动态构造具有时间约束的构造项和观测项,并在此基础上构建完整的基于TRSL规约的实时性测试用例集。  相似文献   

6.
ABC:基于体系结构、面向构件的软件开发方法   总被引:125,自引:11,他引:125       下载免费PDF全文
梅宏  陈锋  冯耀东  杨杰 《软件学报》2003,14(4):721-732
基于构件的软件复用和开发被认为是提高软件开发效率和质量的有效途径,并在分布式系统中得到了广泛的应用.但是,目前的软件构件技术主要还是着眼于构件实现模型和运行时互操作,缺乏一套系统的方法以指导整个开发过程.近年来,以构件为基本单元的软件体系结构研究取得了较大的发展.它通过对软件系统整体结构和特性的描述,为面向构件的软件开发提供了一个自顶向下的途径.介绍了一种以软件体系结构为指导,面向构件的软件开发方法,试图为基于构件的软件复用提供一种有效的解决方案.这种方法主要是将软件体系结构引入到软件开发的各个阶段,作为系统开发的蓝图,利用工具支持的自动转换机制缩小从高层设计到实现的距离,而后在构件平台的运行支持下实现自动的系统组装生成.  相似文献   

7.
一个支持软件并行工程的过程建模语言   总被引:6,自引:1,他引:5  
实施软件并行工程是缩短软件开发周期、加快软件开发速度的有效途径。文中讨论了软件并行工程对过程建模语言的要求,给出了一个支持软件并行工程的形式化过程建模语言SDDML和基于SDDML的过程建模方法。SDDML基于Petri网,具有面向对象的特征,可表示不同抽象级的过程模型,支持逐步求精的过程建模方法,为软件并行工程软件过程的控制、分析、评估和优化奠定了基础。  相似文献   

8.
将形式化技术和软件复用结合是非常有意义的工作。利用规约进行变换,寻找递推关系,可以比较容易得到抽象算法。在变换中,尽可能地特有关操作抽象表示,将操作细节延迟,以适合现代软件工程的软件开发需要,对一个具体问题将得到包含抽象操作的抽象算法。利用面向对象程序设计语言中的多态性等机制,将抽象操作用虚函数表示,如此设计的类可以作为可重用部件使用。  相似文献   

9.
面向方面方法和实时语言特性应用于实时软件开发工程,将降低实时软件开发的复杂性,而形式化方法将提升系统的可信度。该文提出的一种面向方面的实时软件开发方法AOSDBRTL,它基于经面向方面扩展的形式化方法AO RT Z,在编码阶段应用实时语言PEARL,实现了软件开发各个阶段对面向方面的无缝支持。  相似文献   

10.
体系结构设计在软件开发过程中扮演着重要角色.工程中常用图形语言为软件体系结构建模,它们有直观、半形式化的优点;但是语义不够精确,难以对它们表示的模型进行分析,在这方面,形式化方法可与之互补.但在工程使用中仅用形式化语言建模又不太现实,所以如何结合二者之长以提高软件的可靠性已成为工业界和学术界共同关心的问题.提出了双重软件体系结构描述框架XYZ/ADL:支持工程中软件体系结构的基本概念,前端用一般的体系结构框图作为结构描述,用UML活动图、状态图作为抽象行为表示;后端用既可表示系统动态语义又可表示系统静态语义的时序逻辑语言XYZ/E作为一致的语义基础.前端的图形语言便于软件工程师的交流和使用,后端的形式语言是进一步的形式化分析验证的基础.  相似文献   

11.
以开源软件为平台改进C语言教学   总被引:3,自引:0,他引:3  
为使学生深入地了解C语言的本质,提出了基于开源软件教授C语言程序设计的方法。教学实践表明,使用这种教学方法可以培养学生的动手能力、思维能力以及创新能力,能有效地改善教学效果,提高教学质量。  相似文献   

12.
戴桂兰  徐宝文 《软件学报》2001,12(7):971-980
给出了一个基于Ada的建模语言AML.AML以Ada95为基础,吸取了Ada95的基本原理和思想,利用支持建模的设施对其进行扩充,以便适用于软件建模的各个阶段.AML沿用了Ada95中的程序包概念,并将程序包作为它的核心成份,同时,沿用了Ada95的任务单元和保护单元等设施,以精确描述了软件系统中主动控制成份和资源保护成份的各种特性;AML吸取了图形化面向对象建模语言与建模方法所采用的多视点模型思想,将实体不同侧面的特征分开描述;AML利用一种新的并发模型和限制设施,有效地解决了系统的并发特性和不确定性等非功能特性的描述问题;AML有较强的可扩充性,能应用于各种应用领域.总之,AML是一个既面向用户,面向开发者,又面向系统的通用建模语言,有效地克服了现有一些建模语言在表达能力和应用范围等方面存在的诸多不足.  相似文献   

13.
本文介绍了笔者设计并实现的一种新型的面向对象的程序设计语言,着重讨论了在设计过程中采用的新的概念,并和其它类似语言作了比较.  相似文献   

14.
答疑系统问题的Z语言规约   总被引:2,自引:0,他引:2  
分析了目前答疑系统存在的不足之一,即缺少标准框架,从而很难实现答疑系统之间资源的共享.因此提出了使用形式化方法来构建统一的答疑系统,利用形式化语言Z对答疑系统的主要模块进行需求规格说明.同时用Z语言描述了答疑系统的主要操作模式,包括关键词的提取、问题的检索和知识库的更新等操作.  相似文献   

15.
在诸如买火车票、特价商品抢购中,经常出现众多人群同时点击抢购的现象。如果靠人工盯守,费事费力,而且抢中的概率低。使用Delphi制作一个抢号软件可以实现网页自动刷新、自动判别、自动点击按钮进行抢号。经运行后测试,抢号成功率远远高于手工操作。  相似文献   

16.
面向对象软件度量工具的软件结构   总被引:11,自引:0,他引:11  
利用软件度量工具度量程序源码的各类质量属性是提高程序质量的一个重要方法.目前,面向对象语言已逐渐成为主流编程语言,度量基于对象技术的软件成为必然的需求.然而,由于面向对象语言数目众多,许多面向对象语言又都在发展中,用户所需要的度量也不尽相同,各种分散的需求对度量工具的灵活性与通用性提出了挑战.首先给出了一个适用于OO语言软件度量工具的一个灵活的软件结构,然后在分析了各类软件度量的基础上,解析了该结  相似文献   

17.
本文给出了应用软件组装的过程控制语言,该语言分成二级描述,第一级是基本描述,用四元组表示,第二级是构造控制,用5个组装算子进行描述。  相似文献   

18.
沈琦  钱莹  邹艳珍  伍仕骏  谢冰 《软件学报》2021,32(4):1023-1038
在软件复用过程中,简洁清楚的软件功能自然语言描述是帮助复用者快速了解待复用软件项目/代码库的前提和基础.但当前开源软件往往缺乏高质量的软件功能说明文档,使得这一过程变得更加复杂和困难.为此,本文提出了一种融合代码与文档的软件功能特征挖掘方法.该方法以动宾短语的形式描述软件功能特征,通过迭代挖掘软件源代码和以Stack Overflow讨论帖为代表的软件文档,自动提取开源软件的功能特征描述,并构造了层次化的软件功能特征视图.在针对多个开源软件项目的实验中,本文方法可覆盖官方文档中列举的95.38%的软件功能.挖掘结果中语句和功能特征的准确率分别达到了93.78%和92.57%.对比现有工作TaskNav和APITasks,本文方法在平均准确率上分别提升了28.78%和11.56%.  相似文献   

19.
C反编译控制流恢复的形式描述及算法   总被引:7,自引:0,他引:7  
反编译是软件逆向工程的重要组成部分。控制流恢复是C反编译的重要组成部分。本文首先描述了验证反编译结果与原程序功能等价的模型;其次从数学角度提出了C编译和反编译控制结构的数学模型并给出其性质;再次根据对C控制语句编译结果的分析,以扩展的BNF形式描述了C控制语句反编译的约束属性方法;最后给出并说明了反编译控制流恢复的算法及其运行示例。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号