期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

一种用于基于知识系统开发的形式化模型

下载PDF

导出

摘要ＬＫＯ是一个新面向对象和逻辑范型相结合用于基行知识的系统的形式化开发模型，其中逻辑对象是集状态，约束，行为，继承于一体的抽象实体，它支持框架，规则，语义网络，黑板等多种知识表示，因而可用来形式地描述基于知识系统的需求规范。在知识获了过程中通过对形式规范反复地修改，验证及确认而形成软件原型。／

作者徐殿祥郑国梁

出处《软件学报》 EI CSCD 北大核心 1995年第A01期266-273,共8页 Journal of Software

关键词知识系统逻辑程序设计面向对象形式化模型

分类号 TP311 [自动化与计算机技术—计算机软件与理论]

引文网络
相关文献

参考文献2

1徐殿祥，In proc of international conference on expert systems for development，1994年
2徐殿祥，In proc of JKJCE’94，1994年

1杨铭.Sql Server系统数据库及数据库结构的研究[J].考试周刊,2014,0(104):121-121.
2余建武.面向对象程序设计刍议[J].现代电子技术,2004,27(24):98-99.
3徐殿祥,郑国梁.类型化面向对象逻辑语言LKO的元级解释[J].计算机研究与发展,1997,34(9):694-699.
4崔超,张宪忠.DBMS聚簇技术在用户相关数据管理中的应用分析[J].齐齐哈尔大学学报（自然科学版）,2015,31(2):79-81.
5徐殿祥,郑国梁.对象式逻辑语言LKO的实现技术[J].软件,1995,16(3):1-7.
6王海峰,陈建明,张仲义.安全苛求系统的形式化开发方法[J].北方交通大学学报,2002,26(6):52-55. 被引量：2
7王海峰,张仲义.一种安全关键软件系统的形式化开发模型[J].铁路计算机应用,2002,11(10):10-12.
8徐殿祥,郑国梁.面向对象逻辑语言LKO的类型系统[J].计算机研究与发展,1998,35(3):246-250. 被引量：1
9易润忠,鄢萍,胡新元,刘飞.一种基于域名的对等网实现方法[J].计算机工程,2006,32(3):149-150.
10崔超,张宪忠.ORACLE视图技术在用户数据管理中的应用分析[J].齐齐哈尔大学学报（自然科学版）,2016,32(2):64-65. 被引量：1

软件学报

1995年第A01期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部