找回密码
 To register

QQ登录

只需一步,快速开始

扫一扫,访问微社区

Titlebook: Current Issues in Safety-Critical Systems; Proceedings of the E Felix Redmill,Tom Anderson Conference proceedings 2003 Springer-Verlag Lond

[复制链接]
楼主: Osteopenia
发表于 2025-3-28 16:34:49 | 显示全部楼层
Vladimir Nikolikj,Toni Janevskithods of textual analysis usually found only in studies of the arts and literature, although the kinds of textual studies we propose have also been influential in the discipline of law (Ward 1998, Chapter 7).
发表于 2025-3-28 22:07:53 | 显示全部楼层
https://doi.org/10.1007/978-3-319-15524-1concepts of “safety case architecture” and contract based reasoning for managing inter-safety case dependency. Problems of division of responsibility in safety case development will also be discussed.
发表于 2025-3-28 23:30:28 | 显示全部楼层
发表于 2025-3-29 03:13:51 | 显示全部楼层
发表于 2025-3-29 10:24:55 | 显示全部楼层
Integrating Human Error Management Strategies Throughout the System Lifecycleement processes. Using a standard framework improves integration of human error into safety risk management and enables the sharing, comparison and validation of human error data across all stages of the system lifecycle.
发表于 2025-3-29 11:53:14 | 显示全部楼层
发表于 2025-3-29 15:53:35 | 显示全部楼层
发表于 2025-3-29 20:54:43 | 显示全部楼层
White Box Software Developmentuality of software “in the large”, the public’s (and the industry’s) view that this is in some way acceptable, and then presents some real case studies which show how quality can be built in without the need to invest in overweight tools and technologies.
发表于 2025-3-30 00:00:21 | 显示全部楼层
Assurance of safety-related applications on a COTS platformheck’ on the outputs displayed. A significant issue is how to avoid ‘common cause’ or latent failures, such as the operating system failing to run the monitor. The approach is illustrated by a number of case studies: a military pilot’s planning aide, an ‘ATC-like’ display and a critical document control.
发表于 2025-3-30 05:08:12 | 显示全部楼层
An Integrated Approach to Dependability Requirements Engineeringion about system requirements from stakeholders. I also discuss briefly how concerns may be part of a more general requirements engineering method called DISCOS that integrates requirements engineering with high-level design. I use examples from a medical information system to illustrate how concerns may be used.
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-5-5 11:39
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表