全部 标题 作者
关键词 摘要

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

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

-

ISSN Print: 1000—9825

ISSN Online:

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

分享:




Go

“青鸟”系统中永久对象的实现*

杨芙清,柳军飞,邵维忠

对象形式语义模型*

冯玉琳,李京,黄涛

MIs系统的程序生成方法*

仲萃豪,郭荷清,马建

信息系统的开发方法及其体系模型*

仲萃豪,曹东启,郭荷清

拟双线性方程(组)的展开算法及其求解*

孙永强,袁华强

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

徐殿祥,郑国梁

一个基于SQL的并发控制机制

施伯乐,曲云尧

模态K4、D4系统的归结推理

刘叙华,孙吉贵,李乔

三维布局中八叉树节点的快速分解算法

倪中力,戴佐,查建中

XYZ／SE程序的验证

张文辉

从软件工程的发展看软件自动化*

徐崇,白光野,范植华,蒋东溟

一个逻辑程序并行执行的粒度控制模型

孙钟秀,屠红蕾,谢立,郑宇华

确定任意多边形凸凹顶点的算法

周培德

NF2关系模型与属性继承

李天柱

基于类型系统的元数据模型

蔡希尧,陈睿

维护的证明论系统

张玉平,李未

装配知识库模型及其核心设计

余卫东,张钹,陆玉昌

一种类比匹配原理及其实现

李波,罗玉龙,赵沁平

结构化证明搜索

谭庆平,陈火旺

Eiffel语言的语义

李师贤,阮文江

高效异步并行图算法及ADA的实现

马军,马绍汉

Smalltalk－80的指称语义研究

李舟军,王兵山

行为规范作为类型

孙永强,梅宏

关于有ω-穷自动机的两个新的接受条件*

周文俊,苏锦祥

MIDS P++语言*

车敦仁,麦中凡

函数式语言编译实现技术的研究*

廖湖声

分配问题及其数学模型*

洪先龙,苏明,薛宏熙

门阵列和标准单元布图中一种有效的走线道分配算法*

洪先龙,黄劲

支持智能体的通信原语库系统的研究与实现*

吴泉源,周立,陈火旺

关于McEliece公钥体制的安全性*

隆永红

基于多UIO序列的协议一致性测试生成*

刘积仁,都军

最小平方高阶联想存贮器*

陈德建,陈松灿

持久对象访问的自动捕获

何志均,孙建伶

基于结构化功能规格说明的测试方法和工具

吴定一,林振

基于X窗口的图形用户接口编辑器的设计与实现

吴庆炜,蔡士杰

解释学习中模糊概念的学习

于津,石纯一

标志树文法及其语法分析

方林,程景云

MIDS／BUAA存储管理子系统的设计

周立柱,车敦仁,麦中凡

体绘制中基于透明度标尺的色彩合成方法

吴恩华,王文成

一种新的用于分布共享存储系统的存储器一致性算法

沈美明,邢浩,高耀清

签证机关管理系统

佘坤,周明天,蔡兵

OOSDM的对象模型与系统构造

杨芙清,王立福,阮闯

面向对象软件规格语言的设计

全炳哲,金淳兆

基于小波变换的多尺度立体视觉方法*

石青云,程民德,钟声

一种责任驱动的面向对象分析与设计方法*

田忠,赵文耘,钱乐秋,钱家骅

对象的类比推理研究

诸葛海

软件复用

朱冰,杨芙清,梅宏

通信协议转换器及其构造

赵锦蓉

基于复杂对象的知识库语言

叶道兵,周傲英,郭德培

多媒介数据库系统的分析及设计

周龙骧,柴兴无

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