掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
Proceedings of the conference on TRI-ADA '90
Proceedings of the conference on TRI-ADA '90
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
电子政务
高性能计算技术
模式识别与人工智能
课堂内外·中学生电脑
电脑知识与技术
化学传感器
智能系统学报
光盘技术
通讯和计算机
控制理论与应用
更多>>
相关外文期刊
Software Success
Studies in Informatics and Control
Programming and Computer Software
International journal of applied geospatial research
Journal of information technology case and application research
eWeek
Software Testing, Verification and Reliability
International Journal of Networking and Virtual Organisations
ACM transactions on autonomous and adaptive systems
International journal of business data communications and networking
更多>>
相关中文会议
第十届全国遥感遥测遥控学术研讨会
第一届中国情感计算及智能交互学术会议
1998年工业仪表与自动化学术会议
1999年澳门资讯年会
第7届全国计算机系系主任论坛
第十届全国少数民族语言文字信息处理学术研讨会
中国自动化学会第21届青年学术年会
中国遥感奋进创新二十年学术讨论会
NCIS2015第21届全国信息存储技术学术会议
第二十一届中国数据库学术会议
更多>>
相关外文会议
26th International Conference on Very Large Databases Cairo, Egypt, 10-14 September 2000
2013 4th International Workshop on Software Engineering for Sensor Network Applications
Algorithms and Models for the Web-Graph
Second workshop on hybrid approaches to translation 2013
Games and learning alliance
Electro-optical remote sensing, photonic technologies, and applications X
2016 Cybersecurity and Cyberforensics Conference
Photovoltaics for the 21st century
Languages and compilers for parallel computing
Trends in distributed systems for electronic commerce
更多>>
热门会议
Meeting of the internet engineering task force;IETF
日本建築学会;日本建築学会大会
日本建築学会(Architectural Institute of Japan);日本建築学会年度大会
日本建築学会学術講演会;日本建築学会
日本建築学会2010年度大会(北陸)
Korean Society of Noise & Vibration Control;Institute of Noise Control Engineering;International congress and exposition on noise control engineering;ASME Noise Control & Acoustics Division
土木学会;土木学会全国大会年次学術講演会
応用物理学会秋季学術講演会;応用物理学会
総合大会;電子情報通信学会
The 4th International Conference on Wireless Communications, Networking and Mobile Computing(第四届IEEE无线通信、网络技术及移动计算国际会议)论文集
更多>>
最新会议
2011 IEEE Cool Chips XIV
International workshop on Java technologies for real-time and embedded systems
Supercomputing '88. [Vol.1]. Proceedings.
RILEM Proceedings PRO 40; International RILEM Conference on the Use of Recycled Materials in Buildings and Structures vol.1; 20041108-11; Barcelona(ES)
International Workshop on Hybrid Metaheuristics(HM 2007); 20071008-09; Dortmund(DE)
The 57th ARFTG(Automatic RF Techniques Group) Conference, May 25, 2001, Phoenix, AZ
Real Time Systems Symposium, 1989., Proceedings.
Conference on Chemical and Biological Sensing V; 20040412-20040413; Orlando,FL; US
American Filtration and Separations Society conference
Combined structures congress;North American steel construction conference;NASCC
更多>>
全选(
0
)
清除
导出
1.
Future approaches to software procurement
机译:
未来软件采购方法
作者:
Judah Mogilensky
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
2.
Ada awareness issues
机译:
Ada意识问题
作者:
Ralph Crafts
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
3.
Status of Ada then and now (panel)
机译:
Ada过去和现在的状态(面板)
作者:
Erhard Ploedereder
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
4.
Ada interface technology (panel)
机译:
Ada接口技术(面板)
作者:
Stowe Boyd
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
5.
Design of a communication system for a real-time C2 simulator
机译:
实时C2模拟器通信系统的设计
作者:
F. Dennis Kenyon
;
Terry J. Westley
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
6.
Weirton Steel---Ada in process control
机译:
威尔顿钢铁公司(Weirton Steel)-Ada在过程控制
作者:
Kenneth L. James
;
Gregory J. Saul
;
David L. Shroads
;
William F. Zickefoose
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
7.
Combining object-oriented and functional paradigms in a design methodology for Ada
机译:
在Ada的设计方法中结合面向对象和功能范例
作者:
Sidney C. Bailin
;
Manju Bewtra
;
J. Mike Moore
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
8.
Towards reuse of verified Ada software
机译:
致力于重用经过验证的Ada软件
作者:
Geoffrey R. Hird
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
9.
A tailored design language
机译:
量身定制的设计语言
作者:
R. A. Lees
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
10.
Managing Ada development risk in a non-Ada-based workstation environment
机译:
在非基于Ada的工作站环境中管理Ada开发风险
作者:
Kourosh R. Dinyari
;
Thomas M. Johndrew
;
Kenneth J. Lamarche
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
11.
Ada development system technical and performance requirements (with rationale)
机译:
Ada开发系统的技术和性能要求(依据)
作者:
Donald G. Krantz
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
12.
Ada and the Navy next generation computer resources operating system interface standard
机译:
Ada与海军下一代计算机资源操作系统接口标准
作者:
Dan Juttelstad
;
Rich Bergman
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
13.
Ada impacts on a second generation project
机译:
Ada对第二代项目的影响
作者:
Keith Hines
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
14.
Selecting an Ada contractor---one way that worked
机译:
选择Ada承包商-一种可行的方法
作者:
Dan Conners
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
15.
Why COBOL programmers refuse Ada
机译:
为什么COBOL程序员拒绝Ada
作者:
Kenneth Fussichen
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
16.
Software engineering as a radical novelty
机译:
软件工程是一种全新的事物
作者:
Richard R. Gross
;
David A. Umphress
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
17.
Ideas for kick-starting the Ada market of the 1990s
机译:
启动1990年代Ada市场的想法
作者:
S. Tucker Taft
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
18.
An Ada 9X town meeting
机译:
Ada 9X城镇会议
作者:
Geoffrey O. Mendal
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
19.
Ada implementation of a real-time communications system
机译:
Ada实施实时通信系统
作者:
Thomas J. Brady
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
20.
Getting Ada into the mainstream
机译:
使Ada成为主流
作者:
Chris Anderson
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
21.
A systematic approach for implementing fault tolerant software designs in Ada
机译:
在Ada中实现容错软件设计的系统方法
作者:
John D. Litke
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
22.
Command center processing and display system replacement---CCPDS-R
机译:
指挥中心处理和显示系统更换--- CCPDS-R
作者:
Michael Springman
;
Jeffrey L. Richardson
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
23.
STANFINS
机译:
斯坦金斯
作者:
Julia Ottenweller
;
Nathan Palmer
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
24.
Bofors 9LV Mk3 system---developing for maximum software reuse
机译:
Bofors 9LV Mk3系统---开发以最大程度地复用软件
作者:
Ulf Olsson
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
25.
Reuse
机译:
重用
作者:
Richard Drake
;
William Ett
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
26.
Current and future trends in compiler validation and evaluation (invited presentation)
机译:
编译器验证和评估的当前和未来趋势(邀请演讲)
作者:
John Solomond
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
27.
Compiler evaluation within DoD (panel)
机译:
国防部内部的编译器评估(面板)
作者:
Rebecca Abraham
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
28.
Barriers to Ada adoption
机译:
Ada采用的障碍
作者:
Judah Mogilensky
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
29.
Reverse engineering Ada into HOOD
机译:
将Ada逆向工程为HOOD
作者:
R. H. Pierce
;
S. D. Bluck
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
30.
Effects of Ada on design problems in a discrete event simulator
机译:
Ada对离散事件模拟器中的设计问题的影响
作者:
Philip E. Railsback
;
Louis C. Rose
;
Ann E. Corrigan
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
31.
Software reuse
机译:
软件重用
作者:
Kent Allen
;
William Krutz
;
Dan Olivier
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
32.
Ada interrupt handlers for hard real-time systems
机译:
适用于硬实时系统的Ada中断处理程序
作者:
Paul A. Jennings
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
33.
A real-time Ada design method based on DoD-STD-2167A
机译:
基于DoD-STD-2167A的实时Ada设计方法
作者:
Christophe Ville
;
Alain Bratel
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
34.
Building real-time imprecise computations in Ada
机译:
在Ada中构建实时不精确计算
作者:
Gary J. Gregory
;
Kwei-Jay Lin
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
35.
Personal thoughts on Ada's object orientation
机译:
关于Ada面向对象的个人想法
作者:
Bob Mathis
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
36.
A proposal for a recursive object-oriented life-cycle
机译:
递归的面向对象生命周期的建议
作者:
Kevin E. Carlin
;
Dino R. Russo
;
Brad Balfour
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
37.
Toward a real-time Ada design methodology
机译:
迈向实时Ada设计方法
作者:
Norman R. Howes
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
38.
Process and products for software reuse in Ada
机译:
Ada中软件复用的过程和产品
作者:
Sholom Cohen
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
39.
A prototype implementation of the SQL Ada module extension (SAME) method
机译:
SQL Ada模块扩展(SAME)方法的原型实现
作者:
Allison LeClair
;
Susan Phillips
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
40.
An experiment with Graphite
机译:
石墨实验
作者:
John Chludzinski
;
Robert Chi Tau Lai
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
41.
A comparison of experiences with the maintenance of object-oriented systems
机译:
维护面向对象系统的经验比较
作者:
Frederic H. Wild
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
42.
Simulation and design in an object-oriented world
机译:
面向对象的世界中的仿真和设计
作者:
Ron Van Huss
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
43.
The performance of a prototype coprocessor for Ada tasking
机译:
用于Ada任务的协处理器原型的性能
作者:
Joachim Roos
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
44.
Fashioning conceptual constructs in Ada
机译:
Ada中的时尚概念构造
作者:
Robert C. Shock
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
45.
How much object-orientation in Ada? (panel)
机译:
Ada中有多少面向对象的? (面板)
作者:
Ed. Seidewitz
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
46.
Object oriented extensions to Ada
机译:
面向对象的Ada扩展
作者:
Jack H. Schwartz
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
47.
Reuters
机译:
路透社
作者:
Alfred Scholldorf
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
48.
Ada systems
机译:
有系统
作者:
Harlan D. Mills
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
49.
Ada education in universities (panel)
机译:
大学中的Ada教育(面板)
作者:
Chuck Engle
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
50.
AFATDS---from concept evaluation to full scale development
机译:
AFATDS-从概念评估到全面开发
作者:
Dale Gaumer
;
Ron Lawson
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
51.
A new approach to prototyping Ada-based hardware/software systems
机译:
原型基于Ada的硬件/软件系统的新方法
作者:
Frank C. Belz
;
David C. Luckham
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
52.
A prototype implementation of the Ada binding to POSIX
机译:
Ada绑定到POSIX的原型实现
作者:
David Emery
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
53.
Position paper
机译:
立场文件
作者:
Brad Balfour
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
54.
DAda---an Ada preprocessor for functional programming
机译:
DAda-一种用于函数式编程的Ada预处理器
作者:
Paul A. Bailes
;
Dan Johnson
;
Eric Salzman
;
Li Wang
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
55.
Practical use of Ada in a heterogeneous multi-processor computer
机译:
Ada在异构多处理器计算机中的实际使用
作者:
Valerie Lecompte
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
56.
Allocation strategies for Ada tasks on hypercube multi-processors
机译:
超立方体多处理器上Ada任务的分配策略
作者:
Pen-Nan Lee
;
Ravinder P. Reddy
;
Yiwei Chen
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
关键词:
task termination;
57.
Proving specifications of tasking systems using Ada/TL
机译:
使用Ada / TL验证任务系统的规范
作者:
James Peters
;
William Hankley
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
关键词:
verification;
58.
Application of Ada on a distributed missile control system
机译:
Ada在分布式导弹控制系统中的应用
作者:
D. Wengelin
;
L. Asplund
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
59.
Implementing a distributed fault-tolerant embedded system in Ada
机译:
在Ada中实现分布式容错嵌入式系统
作者:
Devesh Bhatt
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
60.
Ada run-time system contention measurement
机译:
Ada运行时系统竞争度量
作者:
J. F. Barhorst
;
R. W. Seelye
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
61.
SoftCost-Ada
机译:
SoftCost-Ada
作者:
Donald J. Reifer
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
62.
Ada optimizations---why the user should care (panel)
机译:
Ada优化-为什么用户要关心(面板)
作者:
Daniel Roy
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
63.
Ada
机译:
有
作者:
Paul E. McMahon
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
64.
Sociological concerns about Ada in the 1990s
机译:
1990年代对Ada的社会学关注
作者:
Mark S. Gerhardt
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
65.
Distributed deadlock detection in Ada run-time environments
机译:
Ada运行时环境中的分布式死锁检测
作者:
Chia-Shiang Shih
;
John A. Stankovic
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
66.
Task-wait-for graphs and their application to handling tasking deadlocks
机译:
任务等待图及其在处理任务死锁中的应用
作者:
Jingde Cheng
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
67.
LINX---Ada in an open systems architecture
机译:
LINX--开放系统架构中的Ada
作者:
Patti J. Hicks
;
Jennifer M. Taulbee
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
68.
Ada as a parallel language for high performance computers
机译:
Ada作为高性能计算机的并行语言
作者:
Philippe Collard
;
Andre Goforth
;
Matthew Marquardt
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
69.
Track 4 background and purpose
机译:
跟踪4的背景和目的
作者:
John Foreman
;
Richard R. Gross
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
70.
Pragmatic quality metrics for evolutionary software development models
机译:
演化软件开发模型的务实质量指标
作者:
Walker Royce
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
71.
Toward the efficient implementation of expert systems in Ada
机译:
致力于在Ada中有效实施专家系统
作者:
S. Daniel Lee
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
72.
On the accuracy of predicting rate monotonic scheduling performance
机译:
预测速率单调调度性能的准确性
作者:
Steve Vestal
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
73.
The Ada tasking model is adequate for real-time embedded applications (panel)
机译:
Ada任务模型适用于实时嵌入式应用程序(面板)
作者:
Eli Solomon
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
74.
ABET---a standard for Ada in a test environment
机译:
ABET-测试环境中Ada的标准
作者:
Robert L. McGarvey
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
75.
DIGITAC III digital flight control system
机译:
DIGITAC III数字飞行控制系统
作者:
Richard T. Gallivan
;
Tom McMannus
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
76.
SPARK---an annotated Ada subset for safety-critical programming
机译:
SPARK-用于安全关键编程的带注释的Ada子集
作者:
Bernard Carre
;
Jonathan Garnsworthy
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
77.
A portable communication facility for distributed client/server architectures
机译:
用于分布式客户端/服务器体系结构的便携式通信工具
作者:
T. James Cannaliato
;
F. Michael Thomas
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
78.
Getting Ada into the mainstream in the 1990's
机译:
在1990年代使Ada成为主流
作者:
Kenneth Fussichen
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
79.
Integrating Ada with existing systems
机译:
将Ada与现有系统集成
作者:
James Ware
会议名称:
《Proceedings of the conference on TRI-ADA '90》
|
1990年
意见反馈
回到顶部
回到首页