李信本
【姓名】 李信本
【职称】 高级工程师;
【研究领域】 计算机软件及计算机应用;教育理论与教育管理;
【研究方向】
【发表文献关键词】 面向对象技术,课程体系,教学改革,形式化方法,设计模式,规约模式,研究与实践,重用技术,系列课程,课程教学模式,本体语言,描述逻辑,推理机Racer,nRQL,B方法,Web技术,抽象机模型,旅游服务...
【工作单位】 浙江万里学院
【曾工作单位】 浙江万里学院;
【所在地域】 浙江宁波
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/4 1 2 4 41 861
中国期刊全文数据库    共找到4篇
[1]李信本;.基于Web的网络旅游服务系统的形式化B开发[J]计算机工程.2007,(07)
[2]李信本;.形式规约模式及其重用技术研究综述[J]浙江万里学院学报.2007,(02)
[3]李信本;陈仲委;.基于Racer和nRQL的本体查询与推理[J]计算机系统应用.2007,(05)
[4]李信本.面向对象技术系列课程教学模式研究与实践[J]浙江万里学院学报.2005,(04)
更多