李师贤 作品数:105 被引量:486 H指数:9 供职机构: 中山大学信息科学与技术学院 更多>> 发文基金: 国家自然科学基金 广东省自然科学基金 国家教育部博士点基金 更多>> 相关领域: 自动化与计算机技术 经济管理 文化科学 理学 更多>>
程序设计环境ZJPE 1990年 JSP是一种数据驱动的软件设计方法,特别适用于数据处理。本文介绍的程序设计环境ZJPE JSP以方法为指导,支持JSP的树结构编辑、程序结构生成操作和条件分配、结构正交生成以及把结构正文翻译为高级语言程序。此外,环境还提供了解决结构冲突和宏管理的机制,并且ZJPE还允许根据程序结构生成JSP程序测试的路径覆盖测试计划。 李师贤 李文军 阮文江 吴红关键词:程序设计 数据驱动 软件设计 智能计算机辅助教学的面向对象建模 1999年 李文军 周晓聪 许宇玲 李师贤关键词:智能计算机辅助教学 教学内容 知识单元 课程模型 对象在类型系统λω×≤中的表示 被引量:1 2003年 类型系统是研究面向对象技术形式理论基础的重要工具 类型系统λω×≤ 是一个带高阶子类型关系的多态类型系统 ,对其性质和范畴论语义模型进行了研究 在此基础上 ,讨论了如何以类型系统λω× ≤ 为工具 ,研究对象、类、继承等面向对象技术的基本概念的形式语义 结合类POINT和CPOINT等例子 ,讨论了基于递归类型和基于存在类型的两种对象表示方法 。 周晓聪 李文军 李师贤关键词:面向对象 程序设计 CORBA系统事务处理的模拟和分析 事务处理对于建立可靠的CORBA应用系统是很关键的,事务处理已经成为分布式应用系统设计的原则.CORBA的一个重要的服务是OMG的提出了对象事务处理服务OTS(Object Transaction Service),负责... 郑红 李师贤关键词:CORBA PETRI网 事务处理 面向对象 分布式系统 文献传递 面向对象角色分析方法——OOram 被引量:1 2001年 一、引言OOram(Object Oriented role analysis and modeling)方法是由挪威工业研究中心和奥斯陆大学共同提出的一种新一代面向对象软件工程方法.其基本观点是朴素的,即:同一对象在其整个生命周期内可以扮演不同的角色,而同一角色在不同时期可以由不同的对象来扮演.OOram正是基于这样的观点,并把这一观点发展成为一种面向对象的软件开发方法.与其它OO方法比较,其最大的特点是,以'角色”的概念作为建立系统模型的基本概念,角色模型是系统开发过程中的唯一模型;而大多数OO方法是以'对象”和'类”作为建模的基本概念的.二。 明仲 李师贤关键词:面向对象 软件工程 支持组合事务的失败恢复验证 2012年 组合事务中任务间的协作通常以点对点的方式而不是中心控制,当系统崩溃时,事务流中的任务可能部分执行而其后续任务则未被调度执行。在这种情况下,选择合适的失败恢复验证策略是必要的。提出一种支持向前、向后和替代恢复策略的失败恢复验证方法。当失败发生时,借助组合事务的执行日志和可接受状态集,选择合适的恢复策略,验证带状态空间的事务恢复所产生的一组动作序列,是否包含一组良好行为。追踪执行进展,检测恢复后组合事务是否存在不一致状态。通过对旅行预订流程的实例分析,表明该失败恢复验证方法是可行的。 梅晓勇 李师贤 黄昌勤 郑小林 明仲网格门户服务体系及应用探讨 网格(Grid)是一种重要的信息技术,也是一种信息网络基础设施.网格是利用高速国际互联网或专用网络把地理上广泛分布的计算资源、存储资源、通信资源、软件资源、信息资源、知识资源等连成一个逻辑整体,最终实现在Internet... 罗文村 李师贤关键词:网格门户 资源共享 计算网格 数据网格 文献传递 面向对象的软件重用成熟度模型 被引量:5 2001年 一、前言
1.软件成熟度模型CMM 软件成熟度模型CMM由SEI的Waffs Humphrey首次在1986年提出,最初命名为软件过程成熟度模型(Software Process Maturity Model),它支持组织通过开发基础结构,以便获得一个严格的、成熟的软件过程.改善的过程以高质量的软件开发作为目标,同时对软件项目的开发时间和费用进行有效的跟踪和监控.1989年,Waffs Humphrey重命名为Capability Maturity Model(简称CMM),CMM增加了对组织开发能力的评估.CMM提供了一个不同的"成熟”层次[1,2],见表1. 邹咸林 郑红 李师贤关键词:面向对象 软件成熟度模型 软件工程 并行多维视图维护方法 数据仓库是实化视图的一个集合,它通过视图维护方法来更新视图,有效的维护方法将能改善数据仓库与数据源的一致性问题.提出一个并行多维视图维护方法PMDVM,它通过选择性算法将增量式视图维护和视图自维护有效地融合在一起.同时,... 舒忠梅 李师贤 左亚尧文献传递 基于本体的模型集成 被引量:7 2009年 模型在决策支持系统中具有非常重要的作用.如何更好地集成模型,实现模型协作,一直是该领域的重点研究内容.模型参数的表示和匹配是模型集成的核心问题.由于难以描述模型输入、输出参数的语义,模型集成的自动化程度、智能化程度、扩展性、开放性和可理解性等性能一直不够理想.提出一种基于本体的程序-逻辑混合(PLM)模型表示法.该方法易于实现,支持推理,具有高开放性和可扩展性.使用本体描述模型参数的语义,并基于参数的语义匹配,设计模型集成策略,可自动、智能地创建易于理解的模型集成方案.给出模型集成的形式化定义并证明相关定理. 蔡树彬 明仲 李师贤 刘显明关键词:决策支持系统 本体