基于XML的类规约实现和重用研究

将XML技术应用到类规约描述和重用中,提出了一种基于XML的类规约重用方法.使用XML描述可重用的类规约,设计类规约重用的一般流程以及需要遵守的准则,然后在类规约库中查找符合需求的类规约进行重用.实践证明,重用XML描述的类规约可以使软件分析效率得以大幅提高.     

一种形式语言代数模型

针对形式语言研究的国内外现状,对形式系统规约描述语言的数学模型进行了初步探讨,建立了一种形式语言的代数模型,依据软件重用的思想及转换语义的方法提出了语言重用的概念,根据软件工程分层设计原则构建了形式语言族模型.该模型在不同层次上描述复杂形式系统软件规约的抽象表达程度,适于复杂形式系统的开发与测试.此外,文中应用范畴理论...     

基于适应参数的设计模式重用方法

描述了一种基于适应参数的设计模式重用方法。讨论了设计模式的适应时机，对模式参数作了分类和说明，在此基础上给出了一个设计模式重用的具体实例。     

基于MVC模式的.NET系统架构的研究

伴随着互联网技术的应用和普及,利用MVC设计模式应用到.NET系统的研究已成为许多设计和开发人员关注的焦点.本文介绍了MVC设计模式,并将MVC设计模式应用到.NET系统架构,为提高.NET应用软件系统的可维护性、重用性与扩展性提供了一种可行的方法。     

基于MVC模式的Web应用软件系统架构的研究

伴随着互联网技术的应用和普及,基于Web的应用软件系统的可扩展可重用架构的研究已成为许多Web系统的设计和开发人员关注的焦点.笔者在对软件总线技术、MVC设计模式和构件技术的研究基础之上,介绍了一种基于MVC设计模式的Web应用软件系统架构,为提高Web应用软件系统的可维护性、重用性与扩展性提供了一种可行的方法.     

可重用设计模式在Web GIS系统设计中的应用

研究了W eb GIS体系结构,基本出发点是寻找W eb GIS结构化设计的实用模式。为了克服一般性设计模式导致大量的重复工作,从而使开发速度和效率大大降低。提出了一种新的可重用的设计模式,在W eb GIS体系结构的各个部分引入可重用的设计模式,以满足不同领域W eb GIS应用的基本设计需求;同时针对可重用的设计模式提出了相应的功能模式设计方法,并在实际的项目开发设计工作中按照结构模式和功能模式的设计方法加以具体应用。     

UML中设计模式应用及复合的表示

设计模式是对专家设计者的经验提炼和记录.设计模式复合则能在更高水平上重用单个的设计模式和对象.设计模式及其复合的建模和表达通常基于使用图形符号的面向对象建模技术.设计了一些新符号,通过扩展UML来清楚地显现设计模式.案例分析表明,这些符号有助于清楚地阐明设计模式,也有助于实现设计模式目标.     

设计模式思想及其应用

设计模式是系统设计阶段的软件重用,使那些具有良好性能的设计方案可以在相似环境下被再次复用.本文介绍了设计模式的起源,详细阐述了设计模式思想的深邃内涵及编程理论,并用实例说明了如何使用设计模式来进行可复用的设计,以及使用设计模式时应注意的一些问题.     

设计模式及其应用研究

设计模式是人们在实践过程中总结出来的成功设计范例,已经成为现代软件系统设计的重要研究对象.介绍了设计模式的基本概念、主要特点,并将设计模式的思想应用于软件的设计开发中,使软件具有良好结构的同时增加可扩展性、可维护性及可重用性.     

基于MVC模式的办公自动化系统的设计与实现

介绍了目前流行的两种软件体系结构:J2EE技术平台和MVC设计模式.分析了两者技术上的优势.在综合J2EE和MVC优点的基础上,提出一种基于J2EE平台和MVC设计模式的软件开发方法,并运用此方法开发了办公自动化系统.该系统结构清晰,具有良好的可扩展性和重用性.     

Research on object-oriented SOC design methodology

The growing complexity of System on Chip （SOC） requres a system level specicanon and design approach. High-level languages such as C＋＋/SystemC can play multiple roles in system design as target languages. There are many practical problems in the application of object-oriented methods for this goal. Based on the analysis of traditional and system-level design methodology, a new object-oriented SOC design methodology with object-oriented design patterns is proposed, which emphasizes high-level design and verification. Aiming at the final goal of developing design patterns specific to SOC design, the reuse of design patterns in SOC systems and the capability of new SOC design patterns are discussed. With the illustration of some concrete examples of SOC design patterns, the application of object-oriented design methodology in the SOC design process is presented.     

基于构架的软件重用技术综述

论述了构架的定义和特征，详细讨论了构架重用技术同部件重用、软件自动生成、特定域的软件建筑(DSSA)以及设计样本等软件重用技术之间的关系，最后列举了构架重用的几个缺点和今后的研究课题。     

基于排序形式化规格说明的软构件匹配

基于排序形式化规格说明的软构件匹配是检索可重用构件的有效方法,在软件复用和库检索中,有助于确定一个构件是否可以取代另一个构件或一个构件如何通过修改以满足另一个构件的要求.利用基于排序形式化规格说明来描述软构件的行为,并在构件和方法层次上给出多种不同类型的基于排序形式化规格说明软构件匹配的定义,及其在构件检索中的应用.     

形式化方法在飞机轮刹系统安全性分析中的应用

在民机设计领域,大多数传统的系统安全性分析具有高度的主观性并依赖于工程师们的实践经验,其分析结果无法做到完整、一致、无误。而近年来兴起的形式化方法却能弥补这些不足。形式化方法就是用具有形式语义的记号和工具明确地表述出所设计系统的安全性需求,即给出系统的规范,并根据系统规范利用上述记号和工具对给定系统所具有的性质和最终实现的正确性进行严格的证明。本文将以ARP4761中所述的轮刹系统为例,简单介绍形式化方法是如何应用于验证民机设计方案的。虽然做不到面面俱到,但可以让人们对该方法的执行过程有一定的了解。     

设计模式在JMX技术中的应用

根据JMX规范,通过分析JMX技术在实际开发当中的应用,结合面向对象的设计理论,提出几种在应用JMX技术进行开发时适用于几种不同情况的设计模式。这几种设计模式的应用可以使得使用JMX技术的软件产品更易于开发、管理和维护,提高开发速度,降低开发风险和成本,具有很高的应用价值。     

一种确认控制的形式化方法

提出了一种基于事务的确认控制形式化方法.该方法在数据流图的基础上引入了数据流事务的概念,通过施加控制数据流规则和FSM语法,将数据流事务转换为FSM事务,消除了数据流图的歧义性;同时,将有限状态机作为FSM事务的控制原语,使事务的控制部分得以形式化,从而可实现确认控制自动化