首页>外文会议>High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000

High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000

召开年：2000
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Disappearing formal methods*

机译：消失的形式方法*
- 作者：Rushby J.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
2.Engineering ethics: principles and practical maxims*

机译：工程伦理：原则和实践准则*
- 作者：Stichman J.H.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
3.Four areas of overlapping interest

机译：四个重叠领域
- 作者：Lutz R.R.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
4.How can symposia be structured to benefit both industry and academia?

机译：如何组织研讨会以使行业和学术界受益？
- 作者：Gates A.Q.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
5.Issues concerning the future of computer science

机译：有关计算机科学未来的问题
- 作者：Cooke D.E.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
6.On how symposia can be structured to benefit academia and industry*

机译：关于如何组织研讨会以使学术界和行业受益的*
- 作者：Stichman J.H.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
7.Providing guaranteed assurance to connection-oriented group communications using disjoint routing

机译：使用不相交的路由为面向连接的组通信提供有保证的保证
- 作者：Yurcik;W.;Tipper;D.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
8.Reliable software construction: a logic programming based methodology

机译：可靠的软件构造：基于逻辑编程的方法
- 作者：Gupta;G.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
9.The use of formal methods in hardware and software cannot be abandoned

机译：不能放弃在硬件和软件中使用形式化方法
- 作者：Kapur;D.
- 会议名称：《》 | 2000年
10.Do formal methods really belong in the toolbox of the practicing engineer?

机译：形式方法真的属于实践工程师的工具箱吗？
- 作者：King L.A.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
11.First principles applied to software safety - the novel use of silicon machinery

机译：适用于软件安全的首要原则-硅机械的新颖用途
- 作者：Dalton;L.J.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
12.High assurance software testing in business and DoD

机译：业务和国防部中的高保证软件测试
- 作者：Bayrak C.;Sahinoglu M.;Cummings T.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
13.Structured language for specifications of quantitative requirements

机译：定量要求规范的结构化语言
- 作者：Dal Cin M.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
14.An embedded system for safe, secure and reliable execution of high consequence software

机译：嵌入式系统，用于安全，可靠和可靠地执行高结果软件
- 作者：McCoy;J.A.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
15.Assurance system architecture for information service by utilizing autonomous mobile agents

机译：利用自主移动代理的信息服务保障系统架构
- 作者：Mori;K.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
16.Determining the expected time to unsafe failure

机译：确定不安全故障的预期时间
- 作者：Smith D.T.;DeLong T.A.;Johnson B.W.;Giras T.C.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
17.Integration of system dependability and software reliability growth models for e-commerce systems

机译：集成电子商务系统的系统可靠性和软件可靠性增长模型
- 作者：Hecht;M.;He;Y.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
18.A flexible real-time architecture

机译：灵活的实时架构
- 作者：Wickstrom G.L.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
19.A high-assurance measurement repository system

机译：高保证度的测量库系统
- 作者：Bastani F.B.;Ntafos S.;I-Ling Yen;Harris D.E.;Morrow R.R.;Paul R.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
20.On the sensitivity of NMR unreliability to non-exponential repair distributions

机译：关于NMR不可靠对非指数修复分布的敏感性
- 作者：Kieckhafer;R.M.;Azadmanesh;M.H.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
21.Requirements formalization and validation for a telecommunication equipment protection switcher

机译：电信设备保护切换台的需求形式化和验证
- 作者：Cecconi;M.;Tronci;E.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
22.The DADSim air defense simulation environment

机译：DADSim防空仿真环境
- 作者：Sang Yeong Choi;Wijesekera D.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
23.Bayesian framework for reliability assurance of a deployed safety critical system

机译：贝叶斯框架，用于确保已部署的安全关键系统的可靠性
- 作者：Cukic;B.;Chakravarthy;D.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
24.Modeling with extended fault trees

机译：用扩展故障树建模
- 作者：Buchacker K.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
25.An exception handling software architecture for developing fault-tolerant software

机译：用于开发容错软件的异常处理软件体系结构
- 作者：Garcia;A.F.;Beder;D.M.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
26.Analysis of group communication protocols to assess quality of service properties

机译：分析组通信协议以评估服务质量
- 作者：Coccoli;A.;Schemmer;S.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
27.Analysis of software cost models with rejuvenation

机译：振兴软件成本模型
- 作者：Dohi T.;Goseva-Popstojanova K.;Trivedi K.S.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
28.Application of the B formal method to the proof of a type verification algorithm

机译：B形式方法在类型验证算法证明中的应用
- 作者：Requet;A.;Casset;L.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
29.Capturing an application's temporal properties with UML for Real-Time

机译：使用UML实时捕获应用程序的时间属性
- 作者：Weiguo He;Goddard;S.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
30.Constructions of behaviour observation schemes in software testing

机译：软件测试中行为观察方案的构建
- 作者：Hong Zhu;Xudong He
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
31.Generating evidence for certification of modern processors for use in safety-critical systems

机译：为安全关键系统中使用的现代处理器的认证生成证据
- 作者：Bate;I.;Conmy;P.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
32.A stochastic extension of a behavioural subset of UML statechart diagrams

机译：UML状态图的行为子集的随机扩展
- 作者：Gnesi;S.;Latella;D.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
33.Prediction of software faults using fuzzy nonlinear regression modeling

机译：用模糊非线性回归模型预测软件故障
- 作者：Zhiwei Xu;Khoshgoftaar;T.M.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
34.Quantitative analysis of dependability critical systems based on UML statechart models

机译：基于UML状态图模型的可靠性关键系统的定量分析
- 作者：Gabor;H.;Istvan;M.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
35.Safety analysis of an evolving software architecture

机译：不断发展的软件架构的安全性分析
- 作者：de Lemos R.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
36.Safety validation of embedded control software using Z animation

机译：使用Z动画的嵌入式控制软件的安全性验证
- 作者：Atchison B.M.;Lindsay P.A.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
37.The synthesis of real-time systems from processing graphs

机译：从处理图综合实时系统
- 作者：Goddard S.;Jeffay K.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
38.Using product, process, and execution metrics to predict fault-prone software modules with classification trees

机译：使用产品，过程和执行指标来预测带有分类树的易出错软件模块
- 作者：Khoshgoftaar;T.M.;Shan;R.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
39.Automatic abstractions of real-time specifications

机译：实时规范的自动抽象
- 作者：Brockmeyer M.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
40.Formal specification techniques as a catalyst in validation

机译：形式规范技术是验证的催化剂
- 作者：Aichernig B.K.;Gerstinger A.;Aster R.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
41.A layered framework strategy for deploying high assurance VPNs

机译：部署高安全性VPN的分层框架策略
- 作者：Patton S.;Smith B.;Doss D.;Yurcik W.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
42.Measuring and assessing software test processes using test data

机译：使用测试数据衡量和评估软件测试过程
- 作者：Yutao He;Hecht H.;Paul R.A.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
43.GSU middleware architecture design

机译：GSU中间件架构设计
- 作者：Tso K.S.;Tai A.T.;Alkalai L.;Chau S.N.;Sanders W.H.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
44.Providing convincing evidence of safety in X-by-wire automotive systems

机译：提供线控汽车系统安全性的令人信服的证据
- 作者：Czerny;B.J.;DAmbrosio;J.G.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年
45.The experience of auditing software for safety critical railway signalling equipment

机译：安全关键铁路信号设备审计软件的经验
- 作者：Ghoshal;T.K.;Bhattacharya;S.
- 会议名称：《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》 | 2000年