oalib

Publish in OALib Journal

ISSN: 2333-9721

APC: Only $99

Submit

Any time

2019 ( 79 )

2018 ( 1858 )

2017 ( 1976 )

2016 ( 2076 )

Custom range...

Search Results: 1 - 10 of 92229 matches for " 麻志毅 "
All listed articles are free for downloading (OA Articles)
Page 1 /92229
Display every page Item
联机帮助系统的设计方法

计算机系统应用 , 1996,
Abstract: 不同的用户需要不同的帮助,而且用户间的知识水平也不同,因而一个软件系统必须是面向用户的。这里介绍联机帮助系统设计的一般方法。
The JBOO Software Development Process
JBOO软件开发过程


计算机科学 , 2002,
Abstract: 1 前言 JBOO软件开发过程是青鸟工程中的一项重要成果,遵循青鸟面向对象软件开发规范。该规范包括了面向对象的软件开发概念与表示法、软件开发过程指导和软件开发文档编制三部分。该规范也是青鸟面向对象软件开发工具JBOO2.0所支持的规范之一。象其它的软件开发过程一样,JBOO软件开发过程是为建造高质量的软件而制订的一系列活动,每个活动要完成若干任务。JBOO软件开发过程中的重要因素有开发人员、项目、过程和工具。JBOO软件开发过程以项目为中心,指导相
Review of the Unified Software Development Process
统一软件开发过程述评


计算机科学 , 2002,
Abstract: 1 引言统一软件开发过程(Unified Software DevelopmentProcess,USDP)是由统一建模语言(Unified ModelingLanguang,UML)的缔造者们提出来的.并为对象管理组织(Object Management Group,OMG)所推荐。统一软件开发过程是缔造者们权衡了三十年的软件开发实践而形成的产物。它把当前处于分离的方法学集合于一起,称之为“统一方法”。它不仅统一了缔造者们的工作,而且使得开发方法得以统一,方法学家的工作得以统一。它也包含了很多其他人员和公司对UML作出的巨大贡献,例如它来自于数百个用户多年的现场经验以及Rational公司多年的工作成果。 USDP对于如何运用UML的概念进行软件开发提供了详细指导,它指导开发队伍安排其开发活动的次序,为各开发
统一软件开发过程述评

计算机科学 , 2002,
Abstract: theunifiedsoftwaredevelopmentprocess(usdp),publishedbyafewmastersinthesoftwareengineeringfieldandrationalsoftwarecorporation,andsupportedbyomg,isattractingwideattentionintheareaofsoftwareengineering.aftersummarizingusdp,the
jboo软件开发过程

计算机科学 , 2002,
Abstract:
基于情境的文本理解
,姚天顺
计算机科学 , 1998,
Abstract: 人在语言的使用过稷中,对真实或想象世界的长期记忆储存方式是采用情境模型描述的。也即,入的记忆结构由所涉及到的入物,事件,地点等一些一般的关系所组成,这些结构是构成情境模型的基础。情境、情境模型及文本之间的关系如下:
基于情境的文本理解
姚天顺?
计算机科学 , 1998,
Abstract:
An Overview of UML 2.0
UML 2.0述评

马浩海,邵维忠,
计算机科学 , 2004,
Abstract: 在经过4年之久的修订过程之后,OMG采纳了UML 2.0。本文首先介绍了UML 2.0的修订背景和提案需求;然后分别介绍了UML 2.0规范的主体部分:基础结构和上层结构的修订特点,进而总结了UML 2.0基础结构的设计目标和体系结构,归纳了上层结构的设计目标、体系结构组织,着重于比较UML 1.X和2.0在模型构造能力上显著增强的部分;最后针对UML 2.0规范及对其存在的问题给出了一些评述,这些可以作为今后相关研究工作的框架。
模型转换中特性保持的描述与验证
刘辉,,邵维忠
软件学报 , 2007,
Abstract: 模型转换主要用于模型的演化、求精以及重构.模型转换需要遵循一定的约束规则以保持模型的某些特性.模型演化通常要求保持已有的接口;模型重构则必须保证重构前后的软件具有相同的外部行为特性.为了严格证明某个模型转换规则是否满足这些约束,特性保持约束必须形式化地加以描述.为了实现证明过程的自动化,需要总结通用的证明过程并给出实现算法.提出了一种基于图转换的特性保持约束描述机制,将模型演化与重构中的转换规则以及特性保持约束都描述为图转换规则.借助图转换的冲突检测机制,给出了严格证明转换规则是否满足特性保持约束的算法.
一种基于图转换的模型重构描述语言
刘辉,,邵维忠
软件学报 , 2009,
Abstract: 提出了一种基于图转换的模型重构描述语言.针对模型重构的特征,设计了模型重构描述语言的基本元素,并给出了如何通过这些基本元素描述模型重构及重构规则的方法.在此基础上,给出了根据形式化重构规则执行模型重构的具体步骤和策略,并提供了较为完整的模型重构CASE支撑工具.通过实例讨论了该模型重构描述语言的描述能力.结果表明,该语言具有较强的描述能力,能够比较简洁地描述复杂的模型重构规则.
Page 1 /92229
Display every page Item


Home
Copyright © 2008-2017 Open Access Library. All rights reserved.