掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on
Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on
召开年:
1992
召开地:
Capri
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Knowledge-based transformational programming
机译:
基于知识的转型编程
作者:
Liu
;
J.
;
Traynor
;
O.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
2.
Mapping of conceptual specifications into object-oriented programs
机译:
将概念规范映射到面向对象的程序
作者:
Kraiem
;
N.
;
Brunet
;
J.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
3.
Proceedings. Fourth International Conference on Software Engineering and Knowledge Engineering (Cat. No.92TH0438-2)
机译:
议事录。第四届软件工程与知识工程国际会议(目录号:92TH0438-2)
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
4.
Linear programming supporting Ada-tasking static analysis: a Petri net approach
机译:
支持Ada任务静态分析的线性编程:Petri网方法
作者:
Shengru Tu
;
Wei Sun
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
5.
A knowledge-based approach to encouraging reuse of simulation and modeling programs
机译:
一种基于知识的方法来鼓励重用仿真和建模程序
作者:
Miller
;
L.
;
Quilici
;
A.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
6.
A knowledge-based method for engineering navigational capability into user interface software
机译:
一种基于知识的将导航功能设计到用户界面软件中的方法
作者:
St. Jacques
;
M.
;
Stevens
;
D.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
7.
Prototyping in the GEDBLOG system
机译:
GEDBLOG系统中的原型制作
作者:
Aquilino D.
;
Asirelli P.
;
Inverardi P.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
8.
Supporting multiple domains in a single reuse repository
机译:
在单个重用存储库中支持多个域
作者:
Eichmann D.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
9.
TEDIUM's window into design
机译:
TEDIUM设计的窗口
作者:
Blum B.I.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
10.
The SEAR tool suite: CASE for expert system development in OPS5
机译:
SEAR工具套件:用于OPS5中专家系统开发的CASE
作者:
Lynch P.A.
;
Cooper T.A.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
11.
Two real-time expert systems for the monitoring and maintenance of digital exchanges
机译:
两个实时专家系统,用于监视和维护数字交换
作者:
Alcaraz
;
F.
;
Nunez
;
M.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
12.
A distributed load building algorithm for parallel compilation of files in a software application
机译:
用于在软件应用程序中并行编译文件的分布式负载构建算法
作者:
Hac
;
A.
;
Loka
;
R.R.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
13.
A graph proof procedure for real time logic
机译:
实时逻辑的图证明过程
作者:
Jung-Hong Kao
;
Henschen L.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
14.
A hierarchical blackboard architecture for distributed AI systems
机译:
分布式AI系统的分层黑板架构
作者:
Weiss M.
;
Stetter F.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
15.
A knowledge base management system on relation model and term rewriting
机译:
基于关系模型和术语重写的知识库管理系统
作者:
Jinpeng Huai
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
16.
An integrated system for query formulation and database design
机译:
查询制定和数据库设计的集成系统
作者:
Semmel R.D.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
17.
Compiling rules and queries in knowledge base systems: a substitution-based approach
机译:
在知识库系统中编译规则和查询:基于替换的方法
作者:
Jonghoon Chun
;
Henschen
;
L.J.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
18.
Decomposition of data flow diagrams
机译:
分解数据流程图
作者:
Arndt T.
;
Guercio A.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
19.
Expert-supported object-oriented analysis in knowledge engineering
机译:
专家支持的知识工程中的面向对象分析
作者:
Schaschinger H.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
20.
Layout algorithms for DFD processors
机译:
DFD处理器的布局算法
作者:
Tan K.P.
;
Tan T.C.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
21.
Modularity for logical knowledge bases
机译:
逻辑知识库的模块化
作者:
Antoniou G.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
22.
ProTest: a knowledge analysis tool for the development of expert systems
机译:
ProTest:用于专家系统开发的知识分析工具
作者:
Watson
;
I.
;
Norman
;
M.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
23.
Towards integrating logic, object, frame, and production
机译:
致力于集成逻辑,对象,框架和生产
作者:
Tak-Wai Chan
;
Wei-Ren Hwang
会议名称:
《》
|
1992年
24.
Uncertain temporal knowledge management
机译:
不确定的时间知识管理
作者:
Chen Ziqiang
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
25.
A blackboard model to design integrated intelligent software maintenance environment
机译:
设计集成智能软件维护环境的黑板模型
作者:
Avellis
;
G.
;
Borzacchini
;
L.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
26.
A case study of knowledge engineering in the application area of elliptic partial differential equations (PDEs)
机译:
椭圆偏微分方程(PDE)应用领域的知识工程案例研究
作者:
Sotiropoulou
;
V.V.
;
Papatheodorou
;
T.S.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
27.
A constraint satisfaction system on the entity and relationship model
机译:
实体和关系模型的约束满足系统
作者:
Sato
;
M.
;
Hashimoto
;
M.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
28.
A kernel architecture for a computer aided knowledge engineering workbench
机译:
计算机辅助知识工程工作台的内核体系结构
作者:
Karssen Z.
;
Toussaint C.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
29.
A Petri net semantics for logic programs with negation
机译:
带否定逻辑程序的Petri网语义
作者:
Shimura T.
;
Lobo J.
;
Murata T.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
30.
A process model for software process management
机译:
软件过程管理的过程模型
作者:
Hazeyama A.
;
Komiya S.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
31.
A rule-based tool for reverse engineering from source code to graphical models
机译:
基于规则的工具,用于从源代码到图形模型的逆向工程
作者:
Huang
;
H.
;
Sugihara
;
K.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
32.
A simulation-based SDL support system
机译:
基于仿真的SDL支持系统
作者:
Xiaofeng Li
;
Shigo O.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
33.
A software engineering approach to the design of a medical expert system
机译:
设计医学专家系统的软件工程方法
作者:
Stamper
;
R.
;
Todd
;
B.S.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
34.
A support environment for knowledge-based software design
机译:
基于知识的软件设计的支持环境
作者:
Harandi M.T.
;
Hing-Yan Lee
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
35.
An introduction to BagL
机译:
BagL简介
作者:
Cooke D.E.
;
Gutierrez A.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
36.
An iterative-cyclic software process model
机译:
迭代循环软件过程模型
作者:
Rauterberg M.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
37.
An object-oriented analysis model of an iconic interface to Macsyma
机译:
Macsyma图标界面的面向对象分析模型
作者:
Olson A.M.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
38.
An open system protocol for agent-oriented programming
机译:
一种面向代理编程的开放系统协议
作者:
Wen-Ran Zhang
;
Wenhua Wang
;
Guercio A.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
39.
An optimized concurrency control algorithm for transaction processing
机译:
一种优化的事务处理并发控制算法
作者:
Shiwei Wang
;
Gagliardi
;
U.O.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
40.
Applying metrics to rule-based systems
机译:
将指标应用于基于规则的系统
作者:
Doyle P.
;
Verbruggen R.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
41.
Automatic configuration management in a General Object-Based Environment
机译:
通用基于对象的环境中的自动配置管理
作者:
Bendix
;
L.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
42.
Automatic layout of diagrams for software specification
机译:
自动布局软件规格图
作者:
Sugihara K.
;
Yamamoto K.
;
Miyamoto I.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
43.
Correctness of full first-order specifications
机译:
一阶完整规格的正确性
作者:
Reif W.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
44.
Formal program developments directed by operational properties evaluation
机译:
由运营属性评估指导的正式计划开发
作者:
Ameur
;
Y.A.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
45.
Formal specification of a rule-based expert system
机译:
基于规则的专家系统的正式规范
作者:
Todd B.S.
;
Stamper R.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
46.
Knowledge acquisition and validation for implicit expertise
机译:
隐性专业知识的获取和验证
作者:
Gwo-Jen Hwang
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
47.
MERA: meta language for software engineering
机译:
MERA:用于软件工程的元语言
作者:
Takeda K.
;
Chin D.N.
;
Miyamoto I.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
48.
Network-based simple recursive answer evaluation for deductive databases in parallel environment
机译:
并行环境中基于网络的演绎数据库简单递归答案评估
作者:
Kim
;
K.
;
Henschen
;
L.J.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
49.
Object-oriented programming testing methodology
机译:
面向对象的编程测试方法
作者:
Chi-Ming Chung
;
Ming-Chi Lee
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
50.
Operational construction of integrity constraints
机译:
完整性约束的运营构建
作者:
Berztiss A.T.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
51.
Opportunistic production planning through interactive problem solving
机译:
通过交互式解决问题的机会进行生产计划
作者:
Bertolotti
;
E.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
52.
Program refinement using generic object
机译:
使用通用对象优化程序
作者:
Sato Y.
;
Morimoto Y.
;
Ichikawa T.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
53.
Prototyping an inconsistency checking tool for software process models
机译:
为软件过程模型制作不一致检查工具的原型
作者:
Hao
;
J.-K.
;
Trousset
;
F.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
54.
Quality control within an expert system prototype development
机译:
专家系统原型开发中的质量控制
作者:
Flauto P.
;
Musella S.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
55.
Quality-driven validation: a link between four research traditions
机译:
质量驱动的验证:四个研究传统之间的联系
作者:
Tervonen I.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
56.
Recognizing objects from constraints
机译:
从约束中识别对象
作者:
Maim E.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
57.
Reusing software with ESTRO (Evolving Software Repository)
机译:
在ESTRO(不断发展的软件存储库)中重用软件
作者:
Macchini B.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
58.
SESAM-simulating software projects
机译:
SESAM模拟软件项目
作者:
Ludewig J.
;
Bassler T.
;
Deininger M.
;
Schneider K.
;
Schwille J.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
59.
Software process modeling and evolution in EPOS
机译:
EPOS中的软件过程建模和演进
作者:
Jaccheri L.
;
Larsen J.O.
;
Conradi R.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
60.
Software processes representation languages: survey and assessment
机译:
软件过程表示语言:调查和评估
作者:
Armenise P.
;
Bandinelli S.
;
Ghezzi C.
;
Morzenti A.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
61.
Supporting inheritance in relational database systems
机译:
在关系数据库系统中支持继承
作者:
Wei Sun
;
Sha Guo
;
Arafi F.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
62.
System design as derivation via rewriting
机译:
通过重写进行系统设计
作者:
Parisi-Presicce F.
;
Pierantonio A.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
63.
The development of a knowledge based system for predicting strategic building maintenance
机译:
基于知识的系统预测战略建筑维护的开发
作者:
Watson
;
I.
;
Brandon
;
P.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
64.
The reuse of software design and software architecture
机译:
软件设计和软件架构的重用
作者:
Li H.
;
van Katwijk J.
;
Levy A.M.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
65.
Towards dynamic generation of knowledge-based environments for software process assistance
机译:
致力于动态生成基于知识的环境,以提供软件过程帮助
作者:
Akhras
;
F.N.
;
Melnikoff
;
S.S.S.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
66.
Unifying multi-paradigms in software system design
机译:
统一软件系统设计中的多种范例
作者:
Yi Deng
;
Shi-Kuo Chang
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
67.
Using version spaces to support incremental searches in a software library
机译:
使用版本空间来支持软件库中的增量搜索
作者:
Yu Chung Wong
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
68.
Extracting procedural knowledge from software systems using inductive learning in the PM system
机译:
使用PM系统中的归纳学习从软件系统中提取过程知识
作者:
Reynolds
;
R.G.
;
Maletic
;
J.I.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
69.
Querying and analysis of software specifications
机译:
查询和分析软件规格
作者:
Abate A.F.
;
DApolito C.
;
Nota G.
;
Pacini G.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
70.
The renaissance of CASE through computer aided reverse engineering (CARE)
机译:
通过计算机辅助逆向工程(CARE)复兴CASE
作者:
Wagner
;
J.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
71.
The software development workbench WSDW
机译:
WSDW软件开发工作台
作者:
De Lucia A.
;
Imperatore A.
;
Napoli M.
;
Tortora G.
;
Tucci M.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
72.
Distributed intelligent control and management: concepts, methods and tools for developing DICAM applications
机译:
分布式智能控制和管理:用于开发DICAM应用程序的概念,方法和工具
作者:
Hayes-Roth
;
F.
;
Erman
;
L.D.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
73.
Incremental, high level implementation of Prolog in an open system framework
机译:
在开放系统框架中增量,高级地实现Prolog
作者:
Loia
;
V.
;
Cattaneo
;
G.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
74.
Integrated specification of method and graphic knowledge
机译:
方法和图形知识的集成规范
作者:
ter Hofstede A.H.M.
;
Verhoef T.F.
;
Nieuwland E.R.
;
Wijers G.M.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
75.
Maintainability via structure models and software metrics
机译:
通过结构模型和软件指标进行维护
作者:
Lanubile F.
;
Visaggio G.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
76.
Parallelism profiling of an Ops5 production system interpreter
机译:
Ops5生产系统解释器的并行分析
作者:
Sohn A.
;
Gaudiot J.-L.
;
Guyot M.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
77.
Towards reuse reengineering of old software
机译:
进行旧软件的重用改造
作者:
Cimitile A.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
78.
CASE approach in telecom. software development
机译:
电信中的CASE方法。软件开发
作者:
Caporaso C.
;
De Rosa G.
;
Fortunato G.
;
Marra F.A.
;
Pierri A.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
79.
A software engineering environment for modeling and developing knowledge-intensive systems
机译:
用于建模和开发知识密集型系统的软件工程环境
作者:
Bruno
;
G.
;
Macario
;
G.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
80.
Knowledge engineering for protein structure and motifs: design of a prototype system
机译:
蛋白质结构和基序的知识工程:原型系统的设计
作者:
Subramaniam
;
S.
;
Tcheng
;
D.K.
会议名称:
《Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on》
|
1992年
意见反馈
回到顶部
回到首页