首页> 外文OA文献 >Improving Software Quality in Safety-Critical Applications by Model-Driven Verification

【2h】

Improving Software Quality in Safety-Critical Applications by Model-Driven Verification

机译：通过模型驱动的验证提高安全关键型应用程序中的软件质量

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Henriksson Anders; Aßman Uwe; Hunt James;
展开▼
作者单位

展开▼
年度 2005
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. An Empirical Evaluation of Mutation Testing for Improving the Test Quality of Safety-Critical Software [J] . Baker Richard, Habli Ibrahim Software Engineering, IEEE Transactions on . 2013,第6期

机译：为提高安全关键软件的测试质量而进行的突变测试的经验评估
2. Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems [J] . Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Journal of internet services and applications . 2021,第1期

机译：迈向安全关键网络物理系统软件的验证驱动的迭代开发
3. Testing and verification of neural-network-based safety-critical control software: A systematic literature review [J] . Zhang Jin, Li Jingyue Information and software technology . 2020,第Jula期

机译：基于神经网络的安全关键控制软件的测试与验证：系统文献综述
4. A combined analysis method of FMEA and FTA for improving the safety analysis quality of safety-critical software [C] . Han Xiangyu, Zhang Jun IEEE International Conference on Granular Computing . 2013

机译：FMEA和FTA的组合分析方法可提高安全关键软件的安全分析质量
5. Verifying safety-critical software: A static and dynamic methodology. [D] . Gowen, Lon Douglas. 1991

机译：验证安全关键软件：静态和动态方法。
6. Achieving Higher Levels of Efficiency in a Diabetes Outpatient ClinicWith Improved Patient Care Quality Through the Use of Digital Clinical AssistantSoftware Application [O] . Subramanian Kannan, Kumbenahalli S. Shivaprasad, Kranti Khadilkar, 2020

机译：在糖尿病门诊诊所实现更高水平的效率通过使用数字临床助手改善患者护理品质软件应用
7. Model-driven software development of safety-critical avionics systems: an experience report [O] . Hovsepyan Aram, Van Landuyt Dimitri, Op de beeck Steven, 2014

机译：安全关键航空电子系统的模型驱动软件开发：经验报告
8. Four Pillars for Improving the Quality of Safety-Critical Software- Reliant Systems. [R] . Feiler, P., Goodenough, J., Gurfinkel, A., 2013

机译：提高安全关键软件 - Reliant系统质量的四大支柱。

Improving Software Quality in Safety-Critical Applications by Model-Driven Verification

著录项

引文网络

相似文献

相关主题

期刊订阅