期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
111
篇文章
<
1
2
…
6
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
需求分析的常见问题及其对策分析
被引量:
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
职称材料
题名
需求分析的常见问题及其对策分析
被引量:
26
1
作者
李师贤
张珞玲
机构
中山大学计算机系
出处
《计算机工程》
CAS
CSCD
北大核心
2002年第1期6-8,155,共4页
基金
广东省现代控制技术重点实验室资助
文摘
基于对若干系统的调研结果,总结了需求分析中常见的问题,并根据不同性质的问题提出了一些对策。还对几个优秀的需求分MIS析管理软件进行了分析比较,最后强调了人员素质和团体合作性在需求分析过程中的人文作用。
关键词
需求分析
软件产品
软件开发
计算机
对策分析
Keywords
Requirement analysis
Elicit
Prioritization
Verification
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于UML建模技术的功能点度量研究
被引量:
5
2
作者
李师贤
程利
杜云梅
唐林燕
机构
中山大学计算机科学系
广东轻工职业技术学院
出处
《小型微型计算机系统》
CSCD
北大核心
2007年第9期1660-1664,共5页
基金
广东省自然科学基金项目(04009863)资助
文摘
软件工作量估算是软件项目管理的重要组成部分之一,功能点度量方法逐渐成为该领域的主要方法.本文从UML部件(用例图、类图和顺序图)中识别出功能点度量方法中的事务功能和数据功能,分析其复杂度,最终得出功能点数,进而将功能点度量方法与UML建模技术相结合,实现了UML部件(用例图、类图和顺序图)向功能点的映射,并结合IFPUG的功能点估算步骤,提出了基于UML建模技术的功能点分析步骤.实证结果表明该方法可以进一步精化基于UML建模软件项目的工作量度量结果,便于项目管理人员控制软件项目活动,合理安排人员等资源,可以在一定程度上解决软件项目频繁超支和超时的问题.
关键词
功能点度量
工作量估算
项目管理
UML
Keywords
function point measurement
effort estimation
project management
UML
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
面向对象软件工程开发的管理
被引量:
8
3
作者
李师贤
乔琳
机构
中山大学计算机系
出处
《计算机工程与应用》
CSCD
北大核心
1995年第2期19-22,共4页
文摘
本文基于面向对象建模技术(以下简称OMT方法),明确了面向对象软件工程开发中各阶段的概念及任务,提出了评价各阶段产品的标准,并讨论了一种面向对象软件工程开发中的人员分工方法。
关键词
面向对象
软件工程
软件开发
管理
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
TP311.52 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于知识的面向对象建模技术:KBOMT方法
被引量:
4
4
作者
李师贤
周晓聪
机构
中山大学计算机系
出处
《计算机科学》
CSCD
北大核心
1995年第3期53-57,共5页
文摘
一、引言 人们对结构化开发方法研究和使用了多年,发现软件需求分析面临的最主要的难是[1] ·系统分析员可能工作在陌生的应用领域,但又要在短时间内理解所开发系统的整个问空间。
关键词
软件开发
面向对象
建模技术
KBOMT方法
Keywords
Problem description,Object model,Dynamic model,Functional model.
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
Eiffel语言的语义
被引量:
1
5
作者
李师贤
阮文江
机构
中山大学软件研究所
出处
《软件学报》
EI
CSCD
北大核心
1995年第1期17-25,共9页
文摘
本文采用类VDM的指称语义技术为Eiffel(1988)语言建立了形式语义模型.该模型首先为Eiffel语言定义了对象模型和两个语义环境(动态和静态环境),然后讨论Eiffel例程的语义.为了描述Eiffel的意外处理,我们采用了VDM的“出口”机制.
关键词
EIFFEL语言
形式语义
面向对象语言
Keywords
Eiffel, OOPL, VDM, denotational semantics.
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
TP301.2 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
程序设计环境ZJPE
6
作者
李师贤
李文军
阮文江
吴红
机构
中山大学
出处
《计算机工程与应用》
CSCD
北大核心
1990年第6期1-6,共6页
基金
广东省科委科学基金
文摘
JSP是一种数据驱动的软件设计方法,特别适用于数据处理。本文介绍的程序设计环境ZJPE JSP以方法为指导,支持JSP的树结构编辑、程序结构生成操作和条件分配、结构正交生成以及把结构正文翻译为高级语言程序。此外,环境还提供了解决结构冲突和宏管理的机制,并且ZJPE还允许根据程序结构生成JSP程序测试的路径覆盖测试计划。
关键词
程序设计
数据驱动
软件设计
ZJPE
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
JSP方法的形式化途径
7
作者
李师贤
李文军
机构
中山大学计算机软件研究所
出处
《计算机研究与发展》
EI
CSCD
北大核心
1991年第6期49-52,37,共5页
文摘
软件开发方法的形式化是软件开发自动化的前提。本文介绍几种使用形式语言、自动机、形式变换、语义模型等工具将JSP 方法形式化的途径,并对它们各自的优点和存在问题作了评价。
关键词
软件开发
JSP方法
软件工程
形式化
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
一种扩展了价格信息的时间Petri网
被引量:
21
8
作者
刘显明
李师贤
李文军
潘理
机构
中山大学计算机科学系
出处
《软件学报》
EI
CSCD
北大核心
2007年第1期1-10,共10页
基金
国家教育部博士点基金
广东省自然科学基金
广东省科技攻关计划基金~~
文摘
性能和成本分析是业务流程建模的主要目的,扩展了时间信息的Petri网能够有效地进行性能分析,但是对成本分析却无能为力.提出一种扩展了价格信息的时间Petri网——价格时间Petri网.首先为时间变迁扩展价格参数,并使用价格时间变迁系统给出价格时间Petri网的语义;然后提出计价状态类的概念,并证明为状态类扩展累积成本的合理性和完备性;进而给出一种算法来证明有界价格时间Petri网的最小成本可达问题是可判定的;最后给出一个应用例子并得出结论:为时间Petri网扩展价格信息并将其应用于业务流程管理领域是可行的.
关键词
时间PETRI网
价格
价格时间变迁系统
状态类
业务流程管理
Keywords
time Petri net
price
priced timed transition system: state class: business process management
分类号
TP301 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
软件项目风险管理方法比较和研究
被引量:
34
9
作者
张珞玲
李师贤
机构
中山大学计算机科学系
出处
《计算机工程》
CAS
CSCD
北大核心
2003年第3期91-94,共4页
基金
与联合科研资助项目(NSFCRGC 79910161989 )
广东省现代控制技术重点实验室科研开发基金资助项目
文摘
风险管理在软件项目管理中十分重要,但常常被忽视,这与组织对风险管理的认 识不足有很大关系。介绍了风险管理的经典理论,比较了几种主流的风险管理策略和模型 。 还根据MIS系统的特点,在分析两个主流的风险管理方法的基础上,提出MIS系统风险管 理的 优化和集成思路。
关键词
软件项目
风险管理
软件开发
软件风险
优化
集成
Keywords
Risk
Risk management
CRM
SERIM
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
MDA中的模型转换技术综述
被引量:
17
10
作者
张德芬
李师贤
古思山
机构
中山大学信息科学与技术学院
出处
《计算机科学》
CSCD
北大核心
2006年第10期228-230,290,共4页
基金
广东省科技计划工业攻关项目(编号:2003A1030403)资助。
文摘
模型转换是模型驱动软件开发的关键技术。本文首先对MDA中的模型转换技术进行了分类,然后介绍了模型转换技术的研究现状,并对当前支持模型转换的MDA工具作了总结和比较,最后展望了模型转换技术的发展前景。
关键词
模型转换技术
MDA
MDA工具
Keywords
Model transformation technology, MDA, MDA tools
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
从面向方面程序设计的定义到面向方面程序设计语言
被引量:
9
11
作者
古思山
蔡树彬
李师贤
机构
中山大学信息科学与技术学院
深圳大学计算机与软件学院
出处
《计算机科学》
CSCD
北大核心
2011年第10期133-139,共7页
基金
广东省自然科学基金项目(10351806001000000)
深港创新圈项目(ZYB200907060012A)
+2 种基金
广东高校优秀青年创新人才培养计划项目资助(LYM09121)
深圳市科技计划项目(JC200903120046A
JC201005280434A)资助
文摘
目前无论在学术界还是工业界,很多人士简单地将面向方面程序设计理解为模块化横切关注点,狭隘地认为面向方面程序设计构建在面向对象程序设计之上,是面向对象程序设计的扩展、有效的补充等。回顾了面向方面程序设计的定义,分析了面向方面程序设计区别于其它程序设计方法的本质特征,并形式化了定义中的量化语句与方面,给出了量化语句与方面的语义。重申了面向方面程序设计的本质特性是Quantification与Obliviousness,模块化横切关注点只是其带来的一个好处。同时指出了面向方面程序设计是一种新型的程序设计范式,独立于面向对象等其它程序设计方法。并且,基于此定义,给出了面向方面程序设计语言需满足的最小条件集,并比较了主流的面向方面程序设计语言,探讨了这些语言在面向方面程序设计理念上的差异。
关键词
面向方面程序设计
面向方面程序设计语言
横切关注点
Quantification
Obliviousness
Keywords
Aspect-oriented programming
Aspect-oriented programming language
Crosscutting concerns
Quantification
Obliviousness
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
可重用的分布式软件构件模型分析
被引量:
15
12
作者
郑红
李师贤
机构
中山大学计算机科学系
出处
《计算机工程与应用》
CSCD
北大核心
2002年第15期68-71,共4页
基金
国家自然科学基金
广东省自然科学基金
文摘
软件重用一直是软件生产的目标。分布式构件是可重用的软件模块,该文介绍了当前比较流行的三大分布式构件模型,并对它们进行了分析比较。
关键词
分布式软件构件模型
CORBA
软件重用
程序设计语言
软件工程
Keywords
component model,distributed component ,CORBA,COM/DCOM,Enterprise Java Bean(EJB)
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于本体的模型集成
被引量:
6
13
作者
蔡树彬
明仲
李师贤
刘显明
机构
中山大学计算机科学系
深圳大学计算机与软件学院
江西电力信息通讯有限公司
出处
《电子学报》
EI
CAS
CSCD
北大核心
2009年第4期713-719,共7页
基金
国家自然科学基金(No.60673122)
江西省电力公司科技项目(No.200850802)
广东省自然科学基金(No.7301315,No.815103000700002)
文摘
模型在决策支持系统中具有非常重要的作用.如何更好地集成模型,实现模型协作,一直是该领域的重点研究内容.模型参数的表示和匹配是模型集成的核心问题.由于难以描述模型输入、输出参数的语义,模型集成的自动化程度、智能化程度、扩展性、开放性和可理解性等性能一直不够理想.提出一种基于本体的程序-逻辑混合(PLM)模型表示法.该方法易于实现,支持推理,具有高开放性和可扩展性.使用本体描述模型参数的语义,并基于参数的语义匹配,设计模型集成策略,可自动、智能地创建易于理解的模型集成方案.给出模型集成的形式化定义并证明相关定理.
关键词
决策支持系统
模型集成
模型表示
本体
Keywords
decision support system(DSS)
model integration
model representation
ontology
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
动态优先系统及其Petri网语义
被引量:
3
14
作者
李文军
周晓聪
李师贤
马建
机构
中山大学计算机科学系
香港城市大学商学院BPR技术中心
出处
《计算机学报》
EI
CSCD
北大核心
2001年第10期1085-1094,共10页
基金
国家自然科学基金 ( 79910 16 1989)
高等学校博士点基金 ( 99-0 18-4 1170 3)资助
文摘
优先关系是并发系统控制的重要手段 .文中提出一种动态优先系统 (Σ,D) ,其中 Σ是有界 Petri网 ,D是描述变迁之间优先关系的动态结构 .然后采用变换技术分别给出安全的和有界的动态优先系统的 Petri网语义 :通过引入广义补位置和优先变迁 ,并对非安全系统的某些变迁进行分解 ,根据 (Σ,D)构造相应的 Petri网 ΣD.最后利用步序列证明了 ΣD 在不破坏动态优先结构 D的规格说明约束的前提下 ,尽可能地保持了 Σ的并发语义 .
关键词
并发模型
动态优先系统
Petni网
形式语义
程序设计语言
Keywords
Dynamics
Petri nets
Semantics
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
一种带参数的Hylomorphisms及其计算律
被引量:
4
15
作者
余珊珊
李师贤
苏锦钿
机构
中山大学信息科学与技术学院
华南理工大学计算机科学与工程学院
出处
《计算机研究与发展》
EI
CSCD
北大核心
2013年第3期602-618,共17页
基金
国家自然科学基金项目(61103039)
2010年高等学校博士学科点专项科研基金项目(20100172120043)
文摘
针对函数式程序语言中的一般hylomorphisms无法描述带参数的递归计算的问题,利用完全偏序范畴上的多项式函子分别给出带固定参数和累积参数的hylomorphisms——phylo射和ahylo射,证明了它们在固定参数和累积参数下都是唯一的,从而将Pardo对带参数的递归计算pfold和afold的研究扩展到hylomorphisms中,使得在hylomorphisms中可以直接包含额外的参数用于作为计算的输入或者保存临时的累积计算结果;从范畴论的角度分析了phylo射和ahylo射与其他各种递归及共递归之间的关系及其计算律,并利用函数程序语言Haskell给出相应的实现.
关键词
递归
共递归
hylomorphisms
累积计算
代数
共代数
Keywords
recursion
corecursion
hylomorphisms
accumulating calculation
algebra
coalgebra
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
类型系统λω×≤的范畴论模型
被引量:
4
16
作者
周晓聪
李文军
李师贤
机构
中山大学计算机科学系
出处
《计算机研究与发展》
EI
CSCD
北大核心
2002年第1期68-72,共5页
基金
高等学校博士学科点专项科研基金资助 (980 5 5 80 1)
文摘
类型系统一直是理论计算机科学的研究热点 ,特别是带高阶子类型的多态类型系统的研究在探讨面向对象技术形式化理论基础中起着重要作用 .不过至今为止人们还没有得到高阶子类型满意的语义模型 .λω× ≤fibration的基范畴是特殊的带序范畴 ,且有插入子 ,其 fibre范畴是带转换结构的笛卡儿封闭范畴 .λω× ≤
关键词
高阶子类型关系
带序范畴
计算机科学
类型系统
范畴论模型
Keywords
high order subtyping, order enriched category, inserter, coercion structure
分类号
TP301 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
数据仓库和数据挖掘技术在ERP中的应用
被引量:
10
17
作者
王迪
李师贤
机构
广州中山大学计算机科学系
出处
《计算机工程与应用》
CSCD
北大核心
2001年第20期85-87,共3页
基金
国家自然科学基金资助(批准号:79840761843)
广东省现代控制技术重点实验室资助
文摘
数据仓库和数据挖掘是近几年迅速发展起来的技术,主要用于构建企业的决策支持系统。文章根据数据仓库和数据挖掘技术的这个特点,并针对传统ERP系统在决策方面的不足,提出把数据仓库和数据挖掘应用到ERP中去,以数据仓库作为企业底层的数据源,再配合以各种数据挖掘技术,以提高ERP中的决策支持功能。
关键词
数据仓库
数据挖掘
ERP
决策支持
数据库
信息管理系统
企业
Keywords
Data Warehouse,Data Mining,ERP,Decision Support
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
F270.7 [经济管理—企业管理]
下载PDF
职称材料
题名
缺陷需求分析与管理模型
被引量:
5
18
作者
严玉清
李师贤
梅晓勇
机构
中山大学计算机科学系
广东外语外贸大学信息学院
出处
《计算机科学》
CSCD
北大核心
2009年第4期140-144,共5页
基金
广东省自然科学基金项目(No.06017089,8151030007000002)资助
文摘
需求管理是软件过程改进的重要活动,需求缺陷管理是需求管理的重要组成部分,其目的在于检测、分析、解决和预防需求缺陷。从社会因素和技术因素两大方面分析了需求工程阶段缺陷产生的原因,对缺陷进行了分类。建立了需求(模型)缺陷列表、缺陷需求分析模型和基于需求缺陷管理的需求过程模型。指出需求缺陷列表所反映的需求分析过程的数量特征,能够为评估需求工程师能力、准确和全面地定义需求成熟度、研究需求演化波及效应、研究需求模型复杂度和需求缺陷分布规律提供必要数据和有益启示。
关键词
缺陷原因
缺陷类型
需求缺陷列表
需求演化
Keywords
Cause of defect,Type of defect,List of requirements defect,Requirements evolution
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
P641.8 [天文地球—地质矿产勘探]
下载PDF
职称材料
题名
CORBA与WWW的集成
被引量:
9
19
作者
冯华
李师贤
机构
广州大学
中山大学
出处
《计算机科学》
CSCD
北大核心
2000年第6期79-81,71,共4页
文摘
Internet/Intranet的兴起及蓬勃发展极大地改变了人们的生活、学习和工作方式。网络提供给人们的不仅是大量的信息和娱乐活动,而且也带来了无限商机。为了在WWW上进行实时可伸缩的事务处理,实现电子贸易,Web必须要做到能实现实时的事务处理,具有高度的可缩放性和可扩展性。
关键词
CORBA
WWW
集成
浏览器
服务器
Keywords
WWW
HTTP
CORBA
IIOP
Distributed object technology
分类号
TP31 [自动化与计算机技术—计算机软件与理论]
TP393 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
类型系统λω×≤
被引量:
3
20
作者
周晓聪
李文军
李师贤
机构
中山大学计算机科学系
出处
《中山大学学报(自然科学版)》
CAS
CSCD
北大核心
2001年第3期13-17,共5页
基金
高等学校博士学科点专项科研基金!资助项目 (980 5 5 80 1)
文摘
为研究高阶子类型的范畴论语义模型 ,区分了带高阶子类型的类型系统中的各种上下文 ,并简化其中的受限全称量词类型引入规则 ,而提出了类型系统λω×≤ .文章介绍该类型系统有关类别 (Kind)、算子 (Operator)、项 (Term)的规则 ,及其与建立范畴论语义模型有关的结构性质 .
关键词
类型系统
子类型
受限全称量词类型
语义模型
面向对象技术
Keywords
type system
subtyping
bounded quantification type
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
需求分析的常见问题及其对策分析
李师贤
张珞玲
《计算机工程》
CAS
CSCD
北大核心
2002
26
下载PDF
职称材料
2
基于UML建模技术的功能点度量研究
李师贤
程利
杜云梅
唐林燕
《小型微型计算机系统》
CSCD
北大核心
2007
5
下载PDF
职称材料
3
面向对象软件工程开发的管理
李师贤
乔琳
《计算机工程与应用》
CSCD
北大核心
1995
8
下载PDF
职称材料
4
基于知识的面向对象建模技术:KBOMT方法
李师贤
周晓聪
《计算机科学》
CSCD
北大核心
1995
4
下载PDF
职称材料
5
Eiffel语言的语义
李师贤
阮文江
《软件学报》
EI
CSCD
北大核心
1995
1
下载PDF
职称材料
6
程序设计环境ZJPE
李师贤
李文军
阮文江
吴红
《计算机工程与应用》
CSCD
北大核心
1990
0
下载PDF
职称材料
7
JSP方法的形式化途径
李师贤
李文军
《计算机研究与发展》
EI
CSCD
北大核心
1991
0
下载PDF
职称材料
8
一种扩展了价格信息的时间Petri网
刘显明
李师贤
李文军
潘理
《软件学报》
EI
CSCD
北大核心
2007
21
下载PDF
职称材料
9
软件项目风险管理方法比较和研究
张珞玲
李师贤
《计算机工程》
CAS
CSCD
北大核心
2003
34
下载PDF
职称材料
10
MDA中的模型转换技术综述
张德芬
李师贤
古思山
《计算机科学》
CSCD
北大核心
2006
17
下载PDF
职称材料
11
从面向方面程序设计的定义到面向方面程序设计语言
古思山
蔡树彬
李师贤
《计算机科学》
CSCD
北大核心
2011
9
下载PDF
职称材料
12
可重用的分布式软件构件模型分析
郑红
李师贤
《计算机工程与应用》
CSCD
北大核心
2002
15
下载PDF
职称材料
13
基于本体的模型集成
蔡树彬
明仲
李师贤
刘显明
《电子学报》
EI
CAS
CSCD
北大核心
2009
6
下载PDF
职称材料
14
动态优先系统及其Petri网语义
李文军
周晓聪
李师贤
马建
《计算机学报》
EI
CSCD
北大核心
2001
3
下载PDF
职称材料
15
一种带参数的Hylomorphisms及其计算律
余珊珊
李师贤
苏锦钿
《计算机研究与发展》
EI
CSCD
北大核心
2013
4
下载PDF
职称材料
16
类型系统λω×≤的范畴论模型
周晓聪
李文军
李师贤
《计算机研究与发展》
EI
CSCD
北大核心
2002
4
下载PDF
职称材料
17
数据仓库和数据挖掘技术在ERP中的应用
王迪
李师贤
《计算机工程与应用》
CSCD
北大核心
2001
10
下载PDF
职称材料
18
缺陷需求分析与管理模型
严玉清
李师贤
梅晓勇
《计算机科学》
CSCD
北大核心
2009
5
下载PDF
职称材料
19
CORBA与WWW的集成
冯华
李师贤
《计算机科学》
CSCD
北大核心
2000
9
下载PDF
职称材料
20
类型系统λω×≤
周晓聪
李文军
李师贤
《中山大学学报(自然科学版)》
CAS
CSCD
北大核心
2001
3
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
2
…
6
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部