检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

-

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

2 篇 学位论文

馆藏范围

2 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2 篇 工学
- 2 篇 计算机科学与技术...
- 2 篇 软件工程

主题

2 篇 设计模式验证
1 篇 uml
1 篇 体系结构漂移
1 篇 基于
1 篇 设计模型
1 篇 体系结构侵蚀
1 篇 两层式程序设计
1 篇 设计模式
1 篇 软件工程

机构

1 篇 上海大学
1 篇 中山大学

作者

1 篇 罗灿年
1 篇 蔡亮

语言

2 篇 中文

检索条件"主题词=设计模式验证"

共 2 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

基于UML的设计模式验证方法研究与实现

基于UML的设计模式验证方法研究与实现

引用

作者：罗灿年中山大学

学位级别：硕士

随着软件行业的发展，软件的复杂程度不断提高，人们需要一种方法来总结和重用良好的软件设计。设计模式是针对特定场景下的特定问题的可重复、可表达的解决方案，是对成功设计经验和设计思想的总结。它描述了对于设计问题适用的良好的... 详细信息

随着软件行业的发展，软件的复杂程度不断提高，人们需要一种方法来总结和重用良好的软件设计。设计模式是针对特定场景下的特定问题的可重复、可表达的解决方案，是对成功设计经验和设计思想的总结。它描述了对于设计问题适用的良好的解决方案和这些解决方案的优缺点，使人们的软件设计有更好的可扩展性与可维护性。在初期，设计模式的描述方式都是UML图和自然语言的组合，这些描述实质上是应用设计模式的具体的实例，而并非设计模式的实质。设计模式的描述的模糊性和歧义性，使得设计模式研究的发展受到很大的阻碍，例如使得在软件设计中引入设计模式变得复杂。软件模式的不精确描述使得设计模式的验证问题变得十分重要。目前的模式验证方法要不因为注重直观性，集中于模型结构检验而忽略了语义检验，要不就为了实现语义检验而陷入复杂的数学方法中，导致方法难以使用。针对已有方法，特别是参数化协作方法的不足之处，本文提出一种基于UML的设计模式验证方法，从模型结构和语义约束两方面检验具体模型中模式应用的正确性。首先为设计模式本身建立本文所提出的反映其实质的静态角色模型，在此模型基础上用OCL，添加该模式的约束，静态角色模型和OCL约束组成该模式的模板。再通过利用本文所提出的方法检查一个实例模型是否能够正确地映射到模板，来验证该实例模型是否正确地使用了该模式。另外，本文开发了原型软件工具支持所提出方法，最后通过一个详细实例研究来证明本文方法的有效性和准确、通用等优势。本文的方法使用UML对设计模式本身进行建模，保留了UML直观的优点，而使用OCL进行语义约束和语义检验，使得方法能够通用，不必陷入复杂的数学方法。而且本文的方法从模型结构和语义两个方面进行验证，克服了一般方法只集中于一个方面的不足，具有精确的优点。

关键词：基于 UML 设计模式验证

来源：评论

学校读者我要写书评

暂无评论

两层式程序设计环境中设计模式验证工具的设计与实现

两层式程序设计环境中设计模式验证工具的设计与实现

引用

作者：蔡亮上海大学

学位级别：硕士

为了解决软件体系结构漂移和体系结构侵蚀的问题,英国艾塞克斯大学的Eden博士从理论上提出了一种新的程序设计范型——两层式程序设计(TTP).通过对该理论的研究以及对传统程序编译器的思考,本文提出了一种新的方法用于构建设计模式的形... 详细信息

为了解决软件体系结构漂移和体系结构侵蚀的问题,英国艾塞克斯大学的Eden博士从理论上提出了一种新的程序设计范型——两层式程序设计(TTP).通过对该理论的研究以及对传统程序编译器的思考,本文提出了一种新的方法用于构建设计模式的形式化验证工具.该工具从概念上分为两层,第一层为传统编译层;第二层为编译扩展层,该层使用传统编译层的信息对程序进行设计模式的形式化验证.在编译扩展层中,同时考虑了程序的内部抽象表示、连接映射的内部表示以及设计模式规格说明的内部表示,这样就提高了工具的灵活性和可扩展性.在对设计模式形式化验证之前,需要经过设计模型生成、设计模式规格说明解释两个步骤,本文主要对这两个方面以及设计模式的形式化验证策略进行了研究及探讨.以此为基础,本文作者用面向对象的方法设计并实现了TTP环境中的设计模式验证工具DPV_TOOL(Design Pattern Verification Tool),其中的第二层规格说明使用Eden博士提出的设计模式形式化描述语言LePUS.论文工作主要有以下几方面:1.通过对Java语言的具体分析,根据Eden提出的设计模型定义,研究了Java语言的设计模型表示法,它是设计模型生成的参照标准.此外,还对LePUS规格说明和连接映射的正规文法进行了研究,这是设计模式规格说明解释的参照标准.2.设计了工具的概念框架,并以此为基础设计和实现了DPV_TOOL.此外,研究了新框架中的内部数据结构和验证算法设计.3.应用DPV_TOOL对两个经典的设计模式Factory Method和Template Method进行验证,并对验证结果进行了分析.通过实例表明了所完成的研究、开发和实现工作的可行性、正确性和有效性.LePUS是设计模式形式化工作中一个富有意义的尝试,LePUS的优点在于集合变量的表达和推理能力,但它尚处于发展完善中.TTP是软件工程领域中一个全新概念,Eden博士领导的工作组也正在进行TTP支持环境的研究开发,曾预期在2003年9月完成一个原型.本论文及其相关工作独立地从一个方面表明了LePUS和TTP在设计模式形式化中的意义和作用.

关键词：软件工程两层式程序设计设计模型设计模式体系结构漂移体系结构侵蚀设计模式验证

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

共1页 << < 1 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：