全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用：99美元
投递稿件

为什么选择我们？ >>
- 开源期刊
- 同行审议
- 快速出刊
- 终身存储
- 免费检索
- 免费推广
- 更多...
- 搜索引擎

-

ISSN Print: 1000—9825

ISSN Online:

主页: http://www.jos.org.cn/jos/ch/index.aspx

分享:




Go

使用显式策略进行程序构造

谭庆平,陈火旺

问题的有序分解及中转站网络

万发贯,胡振华

汉字二级存储系统及其LFU算法分析

吴克西

基于CCS执行模型的逻辑式语言POLYLOG的设计与实现

徐凯,章萃

自然语言句法分析的顺序控制算法

宋柔,王鑫

计算高级Petri网S-不变量的一种简单算法

张彤,林闯

图(k,m)最优划分的近似算法

吕其诚

数据库应用程序的转换方法

杜小勇

三种归结原理间的相容性问题

刘叙华

一类表达式及其典型形式的推广

罗昕,郭福顺,黄仲伟

SAIS:一个基于规则的软件结构分析集成系统

朱根江,汪承藻,王和珍,费翔林,魏红

方程式语言及其实现

奚宏伟,孙永强,林凯,陆汝占,韩启龙

一体化MIS快速开发自动生成器CDBAG-4GL的设计与实现

李昭原,王辉

基于程序生成的软件过程模型

周善琼,居德华,廖素萍

论面向对象与逻辑系统的结合

朱海滨

模型描述语言NUMDL的设计与实现

徐殿祥,樊莉萍,陆庆文,陈世福

基于形式源级转换的可执行规格说明技术

张幸儿,朱晓军

一个基于无约束通孔优化的双层布线算法—FOREST

何江安,洪先龙

并行算法的FP描述及其脉动化的判定

孙永强,胡振江

一种缺省推理方法及其应用

徐殿祥,潘金贵,陈世福

脉动阵列的自动综合—FP方法

夏心杰,孙永强,胡振江

CEIP:用于电脑刺绣的图象预处理系统

潘金贵,罗秋清,陈世福

基于扩展的BNF文法的通用语法分析算法

杨明辉,郭肇德

基于知识的软件全程生成系统体系结构设计与综合

吴振容

模式化简序与重写系统的终止性

孙永强,林凯,陆汝占

关于概率无限寄存器机器PURM及其程序可模拟的随机函数

党哲,周维芳

从软件功能实例规格说明到软件功能形式规格说明的自动转换

吕建,徐家福

因素空间与概念描述

汪培庄

GI—一个图形交互用户接口生成器

孙智勇,柳西玲

建立于谓词逻辑上的递归程序及其操作语义

邵志清

KBE—Pascal:基于知识的程序编辑

唐清,郑国梁

论Folding/Unfolding程序转换的能力

朱鸿

一个函数式数据模型FM的完备性

丁公才

Bézier三角曲面片生成显示与求交算法

田捷

紧凑(a,b)树

张希,李万学

一个自动编译系统ACS

李爱武,程虎

管理信息系统的开发途径——一个大型系统BD-MIS的研制

唐世渭,方裕,杨冬青,杨芙清

设计异构型分布式数据库系统的几个问题

周晓方,孙钟秀,金志权

一个支持软件重用的信息检索系统—KDZ

张少平,王怀民,陈火旺

证明策略及其有效性问题

何锫

不等长记录的公式索引分组字典排序

周建钦,徐绪松

自动文摘系统EAAS

徐越,李小滨

分布式数据库管理系统POREL的进程通信系统CS

徐泽同

模块硅编译专家系统—SCES

杨乔林

系统模型开发的形式化技术

丁茂顺,冯玉琳,桂自强

PETRI网工具——GPNT的设计与实现

侯红,张慧,郝克刚

面向概念的通用知识获取系统

王申康

缺言推理系统GKD-DIS

杨莉,胡守仁

一种源程序到流程图的转换方法及实现

周国强,毋国庆,陶培基

死锁的PETRI NETS模型

吴启明,袁崇义

Go




©2008-2020 OALib, Inc | Public user content licensed CC-BY 4.0 unless otherwise specified. OALib ISSN Online: 2333-9721 OALib ISSN Print: 2333-9705