期刊文献+
共找到111篇文章
< 1 2 6 >
每页显示 20 50 100
需求分析的常见问题及其对策分析 被引量:26
1
作者 李师贤 张珞玲 《计算机工程》 CAS CSCD 北大核心 2002年第1期6-8,155,共4页
基于对若干系统的调研结果,总结了需求分析中常见的问题,并根据不同性质的问题提出了一些对策。还对几个优秀的需求分MIS析管理软件进行了分析比较,最后强调了人员素质和团体合作性在需求分析过程中的人文作用。
关键词 需求分析 软件产品 软件开发 计算机 对策分析
下载PDF
基于UML建模技术的功能点度量研究 被引量:5
2
作者 李师贤 程利 +1 位作者 杜云梅 唐林燕 《小型微型计算机系统》 CSCD 北大核心 2007年第9期1660-1664,共5页
软件工作量估算是软件项目管理的重要组成部分之一,功能点度量方法逐渐成为该领域的主要方法.本文从UML部件(用例图、类图和顺序图)中识别出功能点度量方法中的事务功能和数据功能,分析其复杂度,最终得出功能点数,进而将功能点度量方法... 软件工作量估算是软件项目管理的重要组成部分之一,功能点度量方法逐渐成为该领域的主要方法.本文从UML部件(用例图、类图和顺序图)中识别出功能点度量方法中的事务功能和数据功能,分析其复杂度,最终得出功能点数,进而将功能点度量方法与UML建模技术相结合,实现了UML部件(用例图、类图和顺序图)向功能点的映射,并结合IFPUG的功能点估算步骤,提出了基于UML建模技术的功能点分析步骤.实证结果表明该方法可以进一步精化基于UML建模软件项目的工作量度量结果,便于项目管理人员控制软件项目活动,合理安排人员等资源,可以在一定程度上解决软件项目频繁超支和超时的问题. 展开更多
关键词 功能点度量 工作量估算 项目管理 UML
下载PDF
面向对象软件工程开发的管理 被引量:8
3
作者 李师贤 乔琳 《计算机工程与应用》 CSCD 北大核心 1995年第2期19-22,共4页
本文基于面向对象建模技术(以下简称OMT方法),明确了面向对象软件工程开发中各阶段的概念及任务,提出了评价各阶段产品的标准,并讨论了一种面向对象软件工程开发中的人员分工方法。
关键词 面向对象 软件工程 软件开发 管理
下载PDF
基于知识的面向对象建模技术:KBOMT方法 被引量:4
4
作者 李师贤 周晓聪 《计算机科学》 CSCD 北大核心 1995年第3期53-57,共5页
一、引言 人们对结构化开发方法研究和使用了多年,发现软件需求分析面临的最主要的难是[1] ·系统分析员可能工作在陌生的应用领域,但又要在短时间内理解所开发系统的整个问空间。
关键词 软件开发 面向对象 建模技术 KBOMT方法
下载PDF
Eiffel语言的语义 被引量:1
5
作者 李师贤 阮文江 《软件学报》 EI CSCD 北大核心 1995年第1期17-25,共9页
本文采用类VDM的指称语义技术为Eiffel(1988)语言建立了形式语义模型.该模型首先为Eiffel语言定义了对象模型和两个语义环境(动态和静态环境),然后讨论Eiffel例程的语义.为了描述Eiffel的意外处... 本文采用类VDM的指称语义技术为Eiffel(1988)语言建立了形式语义模型.该模型首先为Eiffel语言定义了对象模型和两个语义环境(动态和静态环境),然后讨论Eiffel例程的语义.为了描述Eiffel的意外处理,我们采用了VDM的“出口”机制. 展开更多
关键词 EIFFEL语言 形式语义 面向对象语言
下载PDF
程序设计环境ZJPE
6
作者 李师贤 李文军 +1 位作者 阮文江 吴红 《计算机工程与应用》 CSCD 北大核心 1990年第6期1-6,共6页
JSP是一种数据驱动的软件设计方法,特别适用于数据处理。本文介绍的程序设计环境ZJPE JSP以方法为指导,支持JSP的树结构编辑、程序结构生成操作和条件分配、结构正交生成以及把结构正文翻译为高级语言程序。此外,环境还提供了解决结构... JSP是一种数据驱动的软件设计方法,特别适用于数据处理。本文介绍的程序设计环境ZJPE JSP以方法为指导,支持JSP的树结构编辑、程序结构生成操作和条件分配、结构正交生成以及把结构正文翻译为高级语言程序。此外,环境还提供了解决结构冲突和宏管理的机制,并且ZJPE还允许根据程序结构生成JSP程序测试的路径覆盖测试计划。 展开更多
关键词 程序设计 数据驱动 软件设计 ZJPE
下载PDF
JSP方法的形式化途径
7
作者 李师贤 李文军 《计算机研究与发展》 EI CSCD 北大核心 1991年第6期49-52,37,共5页
软件开发方法的形式化是软件开发自动化的前提。本文介绍几种使用形式语言、自动机、形式变换、语义模型等工具将JSP 方法形式化的途径,并对它们各自的优点和存在问题作了评价。
关键词 软件开发 JSP方法 软件工程 形式化
下载PDF
一种扩展了价格信息的时间Petri网 被引量:21
8
作者 刘显明 李师贤 +1 位作者 李文军 潘理 《软件学报》 EI CSCD 北大核心 2007年第1期1-10,共10页
性能和成本分析是业务流程建模的主要目的,扩展了时间信息的Petri网能够有效地进行性能分析,但是对成本分析却无能为力.提出一种扩展了价格信息的时间Petri网——价格时间Petri网.首先为时间变迁扩展价格参数,并使用价格时间变迁系统给... 性能和成本分析是业务流程建模的主要目的,扩展了时间信息的Petri网能够有效地进行性能分析,但是对成本分析却无能为力.提出一种扩展了价格信息的时间Petri网——价格时间Petri网.首先为时间变迁扩展价格参数,并使用价格时间变迁系统给出价格时间Petri网的语义;然后提出计价状态类的概念,并证明为状态类扩展累积成本的合理性和完备性;进而给出一种算法来证明有界价格时间Petri网的最小成本可达问题是可判定的;最后给出一个应用例子并得出结论:为时间Petri网扩展价格信息并将其应用于业务流程管理领域是可行的. 展开更多
关键词 时间PETRI网 价格 价格时间变迁系统 状态类 业务流程管理
下载PDF
软件项目风险管理方法比较和研究 被引量:34
9
作者 张珞玲 李师贤 《计算机工程》 CAS CSCD 北大核心 2003年第3期91-94,共4页
风险管理在软件项目管理中十分重要,但常常被忽视,这与组织对风险管理的认 识不足有很大关系。介绍了风险管理的经典理论,比较了几种主流的风险管理策略和模型 。 还根据MIS系统的特点,在分析两个主流的风险管理方法的基础上,提出... 风险管理在软件项目管理中十分重要,但常常被忽视,这与组织对风险管理的认 识不足有很大关系。介绍了风险管理的经典理论,比较了几种主流的风险管理策略和模型 。 还根据MIS系统的特点,在分析两个主流的风险管理方法的基础上,提出MIS系统风险管 理的 优化和集成思路。 展开更多
关键词 软件项目 风险管理 软件开发 软件风险 优化 集成
下载PDF
MDA中的模型转换技术综述 被引量:17
10
作者 张德芬 李师贤 古思山 《计算机科学》 CSCD 北大核心 2006年第10期228-230,290,共4页
模型转换是模型驱动软件开发的关键技术。本文首先对MDA中的模型转换技术进行了分类,然后介绍了模型转换技术的研究现状,并对当前支持模型转换的MDA工具作了总结和比较,最后展望了模型转换技术的发展前景。
关键词 模型转换技术 MDA MDA工具
下载PDF
从面向方面程序设计的定义到面向方面程序设计语言 被引量:9
11
作者 古思山 蔡树彬 李师贤 《计算机科学》 CSCD 北大核心 2011年第10期133-139,共7页
目前无论在学术界还是工业界,很多人士简单地将面向方面程序设计理解为模块化横切关注点,狭隘地认为面向方面程序设计构建在面向对象程序设计之上,是面向对象程序设计的扩展、有效的补充等。回顾了面向方面程序设计的定义,分析了面向方... 目前无论在学术界还是工业界,很多人士简单地将面向方面程序设计理解为模块化横切关注点,狭隘地认为面向方面程序设计构建在面向对象程序设计之上,是面向对象程序设计的扩展、有效的补充等。回顾了面向方面程序设计的定义,分析了面向方面程序设计区别于其它程序设计方法的本质特征,并形式化了定义中的量化语句与方面,给出了量化语句与方面的语义。重申了面向方面程序设计的本质特性是Quantification与Obliviousness,模块化横切关注点只是其带来的一个好处。同时指出了面向方面程序设计是一种新型的程序设计范式,独立于面向对象等其它程序设计方法。并且,基于此定义,给出了面向方面程序设计语言需满足的最小条件集,并比较了主流的面向方面程序设计语言,探讨了这些语言在面向方面程序设计理念上的差异。 展开更多
关键词 面向方面程序设计 面向方面程序设计语言 横切关注点 Quantification Obliviousness
下载PDF
可重用的分布式软件构件模型分析 被引量:15
12
作者 郑红 李师贤 《计算机工程与应用》 CSCD 北大核心 2002年第15期68-71,共4页
软件重用一直是软件生产的目标。分布式构件是可重用的软件模块,该文介绍了当前比较流行的三大分布式构件模型,并对它们进行了分析比较。
关键词 分布式软件构件模型 CORBA 软件重用 程序设计语言 软件工程
下载PDF
基于本体的模型集成 被引量:6
13
作者 蔡树彬 明仲 +1 位作者 李师贤 刘显明 《电子学报》 EI CAS CSCD 北大核心 2009年第4期713-719,共7页
模型在决策支持系统中具有非常重要的作用.如何更好地集成模型,实现模型协作,一直是该领域的重点研究内容.模型参数的表示和匹配是模型集成的核心问题.由于难以描述模型输入、输出参数的语义,模型集成的自动化程度、智能化程度、扩展性... 模型在决策支持系统中具有非常重要的作用.如何更好地集成模型,实现模型协作,一直是该领域的重点研究内容.模型参数的表示和匹配是模型集成的核心问题.由于难以描述模型输入、输出参数的语义,模型集成的自动化程度、智能化程度、扩展性、开放性和可理解性等性能一直不够理想.提出一种基于本体的程序-逻辑混合(PLM)模型表示法.该方法易于实现,支持推理,具有高开放性和可扩展性.使用本体描述模型参数的语义,并基于参数的语义匹配,设计模型集成策略,可自动、智能地创建易于理解的模型集成方案.给出模型集成的形式化定义并证明相关定理. 展开更多
关键词 决策支持系统 模型集成 模型表示 本体
下载PDF
动态优先系统及其Petri网语义 被引量:3
14
作者 李文军 周晓聪 +1 位作者 李师贤 马建 《计算机学报》 EI CSCD 北大核心 2001年第10期1085-1094,共10页
优先关系是并发系统控制的重要手段 .文中提出一种动态优先系统 (Σ,D) ,其中 Σ是有界 Petri网 ,D是描述变迁之间优先关系的动态结构 .然后采用变换技术分别给出安全的和有界的动态优先系统的 Petri网语义 :通过引入广义补位置和优先变... 优先关系是并发系统控制的重要手段 .文中提出一种动态优先系统 (Σ,D) ,其中 Σ是有界 Petri网 ,D是描述变迁之间优先关系的动态结构 .然后采用变换技术分别给出安全的和有界的动态优先系统的 Petri网语义 :通过引入广义补位置和优先变迁 ,并对非安全系统的某些变迁进行分解 ,根据 (Σ,D)构造相应的 Petri网 ΣD.最后利用步序列证明了 ΣD 在不破坏动态优先结构 D的规格说明约束的前提下 ,尽可能地保持了 Σ的并发语义 . 展开更多
关键词 并发模型 动态优先系统 Petni网 形式语义 程序设计语言
下载PDF
一种带参数的Hylomorphisms及其计算律 被引量:4
15
作者 余珊珊 李师贤 苏锦钿 《计算机研究与发展》 EI CSCD 北大核心 2013年第3期602-618,共17页
针对函数式程序语言中的一般hylomorphisms无法描述带参数的递归计算的问题,利用完全偏序范畴上的多项式函子分别给出带固定参数和累积参数的hylomorphisms——phylo射和ahylo射,证明了它们在固定参数和累积参数下都是唯一的,从而将Pard... 针对函数式程序语言中的一般hylomorphisms无法描述带参数的递归计算的问题,利用完全偏序范畴上的多项式函子分别给出带固定参数和累积参数的hylomorphisms——phylo射和ahylo射,证明了它们在固定参数和累积参数下都是唯一的,从而将Pardo对带参数的递归计算pfold和afold的研究扩展到hylomorphisms中,使得在hylomorphisms中可以直接包含额外的参数用于作为计算的输入或者保存临时的累积计算结果;从范畴论的角度分析了phylo射和ahylo射与其他各种递归及共递归之间的关系及其计算律,并利用函数程序语言Haskell给出相应的实现. 展开更多
关键词 递归 共递归 hylomorphisms 累积计算 代数 共代数
下载PDF
类型系统λω×≤的范畴论模型 被引量:4
16
作者 周晓聪 李文军 李师贤 《计算机研究与发展》 EI CSCD 北大核心 2002年第1期68-72,共5页
类型系统一直是理论计算机科学的研究热点 ,特别是带高阶子类型的多态类型系统的研究在探讨面向对象技术形式化理论基础中起着重要作用 .不过至今为止人们还没有得到高阶子类型满意的语义模型 .λω× ≤fibration的基范畴是特殊的... 类型系统一直是理论计算机科学的研究热点 ,特别是带高阶子类型的多态类型系统的研究在探讨面向对象技术形式化理论基础中起着重要作用 .不过至今为止人们还没有得到高阶子类型满意的语义模型 .λω× ≤fibration的基范畴是特殊的带序范畴 ,且有插入子 ,其 fibre范畴是带转换结构的笛卡儿封闭范畴 .λω× ≤ 展开更多
关键词 高阶子类型关系 带序范畴 计算机科学 类型系统 范畴论模型
下载PDF
数据仓库和数据挖掘技术在ERP中的应用 被引量:10
17
作者 王迪 李师贤 《计算机工程与应用》 CSCD 北大核心 2001年第20期85-87,共3页
数据仓库和数据挖掘是近几年迅速发展起来的技术,主要用于构建企业的决策支持系统。文章根据数据仓库和数据挖掘技术的这个特点,并针对传统ERP系统在决策方面的不足,提出把数据仓库和数据挖掘应用到ERP中去,以数据仓库作为企业底层的数... 数据仓库和数据挖掘是近几年迅速发展起来的技术,主要用于构建企业的决策支持系统。文章根据数据仓库和数据挖掘技术的这个特点,并针对传统ERP系统在决策方面的不足,提出把数据仓库和数据挖掘应用到ERP中去,以数据仓库作为企业底层的数据源,再配合以各种数据挖掘技术,以提高ERP中的决策支持功能。 展开更多
关键词 数据仓库 数据挖掘 ERP 决策支持 数据库 信息管理系统 企业
下载PDF
缺陷需求分析与管理模型 被引量:5
18
作者 严玉清 李师贤 梅晓勇 《计算机科学》 CSCD 北大核心 2009年第4期140-144,共5页
需求管理是软件过程改进的重要活动,需求缺陷管理是需求管理的重要组成部分,其目的在于检测、分析、解决和预防需求缺陷。从社会因素和技术因素两大方面分析了需求工程阶段缺陷产生的原因,对缺陷进行了分类。建立了需求(模型)缺陷列表... 需求管理是软件过程改进的重要活动,需求缺陷管理是需求管理的重要组成部分,其目的在于检测、分析、解决和预防需求缺陷。从社会因素和技术因素两大方面分析了需求工程阶段缺陷产生的原因,对缺陷进行了分类。建立了需求(模型)缺陷列表、缺陷需求分析模型和基于需求缺陷管理的需求过程模型。指出需求缺陷列表所反映的需求分析过程的数量特征,能够为评估需求工程师能力、准确和全面地定义需求成熟度、研究需求演化波及效应、研究需求模型复杂度和需求缺陷分布规律提供必要数据和有益启示。 展开更多
关键词 缺陷原因 缺陷类型 需求缺陷列表 需求演化
下载PDF
CORBA与WWW的集成 被引量:9
19
作者 冯华 李师贤 《计算机科学》 CSCD 北大核心 2000年第6期79-81,71,共4页
Internet/Intranet的兴起及蓬勃发展极大地改变了人们的生活、学习和工作方式。网络提供给人们的不仅是大量的信息和娱乐活动,而且也带来了无限商机。为了在WWW上进行实时可伸缩的事务处理,实现电子贸易,Web必须要做到能实现实时的事务... Internet/Intranet的兴起及蓬勃发展极大地改变了人们的生活、学习和工作方式。网络提供给人们的不仅是大量的信息和娱乐活动,而且也带来了无限商机。为了在WWW上进行实时可伸缩的事务处理,实现电子贸易,Web必须要做到能实现实时的事务处理,具有高度的可缩放性和可扩展性。 展开更多
关键词 CORBA WWW 集成 浏览器 服务器
下载PDF
类型系统λω×≤ 被引量:3
20
作者 周晓聪 李文军 李师贤 《中山大学学报(自然科学版)》 CAS CSCD 北大核心 2001年第3期13-17,共5页
为研究高阶子类型的范畴论语义模型 ,区分了带高阶子类型的类型系统中的各种上下文 ,并简化其中的受限全称量词类型引入规则 ,而提出了类型系统λω×≤ .文章介绍该类型系统有关类别 (Kind)、算子 (Operator)、项 (Term)的规则 ,... 为研究高阶子类型的范畴论语义模型 ,区分了带高阶子类型的类型系统中的各种上下文 ,并简化其中的受限全称量词类型引入规则 ,而提出了类型系统λω×≤ .文章介绍该类型系统有关类别 (Kind)、算子 (Operator)、项 (Term)的规则 ,及其与建立范畴论语义模型有关的结构性质 . 展开更多
关键词 类型系统 子类型 受限全称量词类型 语义模型 面向对象技术
下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部