找回密碼
 To register

QQ登錄

只需一步,快速開始

掃一掃,訪問微社區(qū)

12345
返回列表
打印 上一主題 下一主題

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

[復(fù)制鏈接]
樓主: Osteopenia
41#
發(fā)表于 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).
42#
發(fā)表于 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.
43#
發(fā)表于 2025-3-28 23:30:28 | 只看該作者
44#
發(fā)表于 2025-3-29 03:13:51 | 只看該作者
45#
發(fā)表于 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.
46#
發(fā)表于 2025-3-29 11:53:14 | 只看該作者
47#
發(fā)表于 2025-3-29 15:53:35 | 只看該作者
48#
發(fā)表于 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.
49#
發(fā)表于 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.
50#
發(fā)表于 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.
12345
返回列表
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點(diǎn)評(píng) 投稿經(jīng)驗(yàn)總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國(guó)際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-7 04:35
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
金沙县| 榆社县| 黄骅市| 当雄县| 弋阳县| 搜索| 康定县| 光山县| 湘潭县| 永清县| 浠水县| 渭源县| 灌阳县| 青铜峡市| 阿尔山市| 内丘县| 尤溪县| 宜宾县| 贡山| 安图县| 金堂县| 高清| 泰兴市| 沁阳市| 叙永县| 宜州市| 茂名市| 绥阳县| 巫山县| 浦北县| 泸溪县| 乐山市| 桐梓县| 贡觉县| 永州市| 桂阳县| 闽侯县| 灌云县| 图木舒克市| 灵台县| 安康市|