空间区域拓扑关系分析方法的研究
该文针对应用领域中空间数据的不确定性,重点研究了不正确空间区域间的拓扑关系分析和模糊区域建模问题,在分析已有研究工作的基础上,提出了几种拓扑关系的形式化模型,能够更全面地表达和分析不确定空间区域间的拓扑关系.主要包括:(1)讨论了确定性区域间拓扑关系的形式化模型,详细分析了不确定区域间拓扑关系的分析方法,重点阐述了精确模型、模糊模型、粗集模型和概率模型四类主要方法;(2)给出了一种不确定区域拓扑关....
作者：虞强源专业：计算机软件与理论分类号：TP311.5导师：刘大有单位：吉林大学
对象通用性研究
六十年代以来,计算机在软、硬件方面都取得了飞速地发展,应用领域已渗透到社会各个方面.到九十年代,计算机成为人们生产生活中必不可少的工具,同时对现有的软件设计技术提出了挑战.随着理论研究的不断深入和科学实践的不断开展,人们已经意识到,利用面向对象技术来实现程序自动化具有许多优越性.然而,这些工作在具体实现上还有许多困难,有待于进一步研究和探讨.该文在分析了不同应用和现有技术局限性的基础上,提出采用动....
作者：张朝辉专业：计算机应用分类号：TP311.5导师：宋长龙单位：吉林大学
带有指针的嵌套式语言的全程数据流分析技术
数据流分析是一种非常重要的静态程序分析技术,而指针的使用使倒数的流分析变得更加复杂和困难.该文定义了一个Pascal语言的子语言S-pascal,并以该语言为对象,着重研究了在指针存在情形下的嵌套式语言的全程数据流分析技术.该文对S-Pascal语言中的指针做了详细的研究,给出了针对S-Pascal语言的指针分析方法及该方法的形式化描述;赋值语句和过程调用是数据流分析的两个关键问题,文中结合了指针....
作者：宫慧颖专业：计算机软件与理论分类号：TP311.5导师：刘磊单位：吉林大学
对象状态模型的逆向抽取方法
从逆向工程角度,状态可以看作对象收到消息后产生的行为的分类,类的方法体中的流程控制语句可以用来区别对象的行为.该文据此提出了一种逆向抽取对象状态模型的方法,该方法定义了"状况树"和"具体状况树"等概念,给出了在这些概念基础上进行状态模型抽取的具体步骤.为验证上述方法的可行性,该文设计并实现了一个小型的实验系统.
作者：袁泉专业：计算机软件与理论分类号：TP311.5导师：张家晨单位：吉林大学
基于UML的软件开发方法研究及实例
该文所介绍的实例CRP是一个适合中小学校园资源管理的一个平台,它包括了学籍管理、成绩管理、排课管理等各个管理子系统,为校园办公和资源管理提供信息化解决方案.该文介绍了UML建模语言的基本内容.UML是一个适合任何软件系统,以及非软件领域的系统,因此,该文针对CRP系统的实际情况,对CRP中的一些建模元素进行了选择,有针对性地使用UML对CRP系统进行了建模工作.该文介绍了RUP统一开发过程,并分析....
作者：叶群峰专业：计算机软件与理论分类号：TP311.5导师：刘磊单位：吉林大学
软件非功能属性研究——一种模型驱动的、基于分离的方法
一个软件系统的特性表现在它的功能属性和非功能属性(如性能、可靠性、安全等)两个方面.软件的非功能属性在保证一个软件系统的质量中扮演关键角色.系统地研究软件非功能属性,给出软件非功能需求描述、设计、实现以及评价的方法和指导,对高质量软件系统的成功开发和应用具有重要意义.该文的主要工作是提出了一个模型驱动的、基于分离的处理软件非功能属性的框架-MD-S NFP Framework<'1>,这是一个将功....
作者：龙湘明专业：通信与信息系统分类号：TP311.5导师：杨放春单位：北京邮电大学
基于知识和面向目标的非功能需求建模技术及工具的研究
需求工程作为软件工程的子领域,是一个覆盖面广、多学科交叉的开放性学科.传统的需求工程主要是由功能驱动的,随着技术发展人们逐渐认识到诸如安全性、可靠性等非功能需求对软件系统开发成功与否也是非常重要的.这就涉及到软件非功能需求的描述、获取、优化平衡以及验证等问题.该文提出一个系统的基于知识支持和面向目标建模分析方法GONFR,该方法用于帮助在体系设计过程中对非功能需求的处理.首先,该文给出了非功能需求....
作者：倪世道专业：计算机软件与理论分类号：TP311.5导师：袁兆山单位：合肥工业大学
基于TCOZ的UML视图的形式化模型及验证
UML是一种在工业界得到广泛应用的系统建模语言.然而由于缺乏形式化的语义而限制了它向更广泛的应用领域发展.形式化语言虽以其精确语义著称,却无法从现实世界中直接获取模型,因而在目前的软件开发实践中并未得到普遍应用.对UML语言进行形式化建模正好对两者起了互补作用.该文提出了一种UML视图的形式化建模和分析方法.基于形式化语言TCOZ,该文首先建立了UML的用例图、类图、协作图和状态图的公共语义模型.....
作者：许维新专业：计算机软件与理论分类号：TP311.5导师：虞慧群单位：华东理工大学
软件体系结构及其动态演化的研究与应用
软件不仅仅是程序,软件的构造应该遵循工程的方法.着眼于软件系统整体结构的软件体系结构成为软件工程研究的中心问题.软件体系结构的基本组成元素及其配置,基本元素的行为及其交互协议,软件系统环境约束等都是软件体系结构所要描述的基本内容,形式化体系结构描述语言正是为软件体系结构研究提供了这种形式化描述支持.该文研究了软件体系结构的若干方面,探讨了二十世纪八十年代后软件体系结构研究的发展情况,比较分析了软件....
作者：吕忠健专业：计算机软件与理论分类号：TP311.5导师：龚正良单位：华东理工大学
基于Tecton的构件自动验证系统Violet
在Tecton语言对面向概念的构件进行形式化规范的基础上,我们创建了Violet验证系统对构件的性质进行自动验证.Violet系统是基于重写技术的验证工具,其主要目的是辅助用户发现和理解构件规范的验证,并建立经过验证的软硬件的构件库.我们描述了系统在可视化和自动化方面的主要特性,并实现了位交换协议的Tecton规范和系统验证.
作者：翟洁专业：计算机软件与理论分类号：TP311.5导师：邵志清单位：华东理工大学
合计878个 | 页次：1/88页 1 [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] 下一页 最后页
毕业论文 © 2004-2008 在线翻译 翻译blog