李信本
- 作品数：4 被引量：21H指数：2
- 供职机构：浙江万里学院计算机与信息学院更多>>
- 发文基金：浙江省教育厅科研计划更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 形式规约模式及其重用技术研究综述
- 2007年
- 设计模式的形式规约描述的研究对于设计模式的广泛重用具有重要意义.规约模式就是用某种形式化语言表示的设计模式.文章从模式定义、重用机制、可用工具、方法可用性等角度分析比较了几种主要的设计模式形式化方法.最后讨论了当前存在的问题及其发展趋势。
- 李信本
- 关键词：设计模式形式化方法
- 基于Web的网络旅游服务系统的形式化B开发被引量：3
- 2007年
- 形式化B方法支持从规格说明到代码生成的全部软件开发过程。结合网络旅游服务系统模型,讨论了形式化B方法的具体运用,在分析服务器端和客户端状态表示的基础上,给出了该系统的抽象机模型及其精化过程。
- 李信本
- 关键词：形式化方法B方法WEB技术抽象机
- 基于Racer和nRQL的本体查询与推理被引量：16
- 2007年
- 语义网技术的兴起促进了本体技术的发展,本体作为语义网的基石,在知识表示与知识推理方面发挥着重要作用。本体描述语言与描述逻辑相结合,为本体推理的合理性和有效性提供了保证。在介绍描述逻辑及其系统的有关概念与查询推理机制的基础上,重点讨论了推理机Racer及其查询语言nRQL的功能,开发了一个基于Racer和nRQL的智能信息查询程序并应用于大学本体的信息查询。
- 李信本陈仲委
- 关键词：本体描述逻辑推理机
- 面向对象技术系列课程教学模式研究与实践被引量：2
- 2005年
- 在分析研究国内外相关教学资料的基础上,设计了面向对象技术系列课程的教学体系,并对教学实践和系列课程实施过程中应注意的问题进行了讨论,最后对今后教学改革的方向进行了分析展望。
- 李信本
- 关键词：面向对象技术课程体系教学改革
